A.6.B:6 — Cross‑quadrant link discipline
Preface node
heading:a-6-b-6-cross-quadrant-link-discipline:7196
Content
The square is not just classification; it is a dependency discipline. Claims often depend on each other; such dependencies MUST be explicit (by claim ID) rather than duplicated prose.
A.6.B:6.1 — Explicit reference rule
If a claim’s meaning materially depends on another routed claim, that dependency MUST be represented as an explicit reference to the other claim’s ID (or to the canonical location where it lives), rather than by restating it.
Guideline (informative). Treat this as “import hygiene” for prose: reuse by reference, not by copy.
A.6.B:6.2 — Canonical cross‑quadrant dependency patterns
These patterns are allowed (and common). The square becomes operational when these links are used systematically.
(D → A) Duty-to-gate linkage
When governance requires someone to comply with a gate:
D-*: “Role MUST satisfy/enforceA-*.”
This separates what is admissible (A) from who is responsible (D).
(E → A) Evidence-for-gate linkage
When gate decisions must be observable:
E-*: “On rejection/acceptance due toA-*, carrierCis produced/observable under conditions …”
This separates gate semantics (A) from evidence semantics (E).
(D → E) Duty-to-evidence linkage
When governance requires evidence production/retention/exposure or commits to measured properties:
D-*: “Role MUST retain/expose carrier classCused byE-*…”D-*: “Provider SHALL meetE-*under exclusions …”
This separates obligation/commitment (D) from adjudication (E).
(A/E → L) Semantic grounding linkage
When a gate predicate or measurement relies on definitions/invariants:
A-*/E-*referencesL-*that define terms/metrics.
This prevents “metric drift” and “definition drift” across views.
(D → L) Governance-to-definition linkage
When an obligation/commitment relies on precise term or metric meanings:
D-*referencesL-*that define the terms/metrics it uses.
This keeps governance text from accidentally redefining semantics in prose.
A.6.B:6.3 — The “triangle decomposition” for mixed sentences
Normative rule (decomposition). A conforming boundary text SHALL decompose any mixed sentence that expresses (i) an entry condition, (ii) an obligation to satisfy/enforce it, and (iii) an observability expectation into the three quadrants:
- A: admissibility predicate (
A-*) - D: duty/commitment referencing the gate (
D-* → A-*) - E: evidence binding referencing the gate (and carriers) (
E-* → A-*)
This is the canonical repair for “contract soup” around validity, authorization, compliance, audit, and security boundaries.
A.6.B:6.4 — Dependency direction (no “upward” imports)
The square is intended to preserve layered modularity: semantics should not depend on governance text, and evidence semantics should not depend on duties.
Normative rule (no upward dependencies).
L-*claims MUST NOT depend on or referenceA-*,D-*, orE-*claims (except for purely informative notes explicitly marked informative).A-*claims MUST NOT depend on or referenceD-*claims. (A-*may referenceL-*for defined terms/invariants.)E-*claims MUST NOT depend on or referenceD-*claims. (E-*may referenceA-*for conditioning andL-*for metric/term meanings.)D-*claims MAY referenceL-*,A-*, and/orE-*claims as needed, and SHOULD do so by ID rather than restating content.
Rationale (informative). This keeps foundational meaning stable (L), keeps runtime gates independent of governance prose (A), and keeps evidence semantics independent of enforcement policy (E). Governance (D) is the place where “who must do what, using which gates and which evidence” is assembled.