A.6.B:6 — Cross‑quadrant link discipline
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 or canonical location) rather than duplicated prose.
A.6.B:6.1 — Explicit reference rule
If a claim’s meaning materially depends on another L/A/D/E-classified 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 valid (and common). The square becomes operational when these links are used systematically.
A.6.B:6.2.1 - (D → A) Prescription-or-duty-to-gate linkage
When governance says that a gate must be satisfied or enforced:
- generic
D-*: “Policy-Prequires covered subjects to satisfy or enforceA-*”; or - individual
D-*: “Actual bearerShas commitmentCto satisfy or enforceA-*.”
This separates what is admissible (A) from generic normative content and any separately instituted individual duty (D). If responsibility is also claimed, state its admitted direct domain predicate or exact missing governor rather than inferring it from the duty.
A.6.B:6.2.2 - (E → A) Evidence-for-gate linkage
When a claim reports actual observability of a gate decision:
E-*: “For the stated rejection or acceptance due toA-*, carrierCwas produced or observed under conditions …”
This separates gate semantics (A) from the actual observation or result (E). A prescription to produce or retain a carrier belongs in D; an expectation or plan alone supplies no actual E result.
A.6.B:6.2.3 - (D → E) Prescription-or-duty-to-evidence linkage
When governance prescribes evidence production, retention, exposure, or a
measured property and a separate E-* claim states the related result:
- generic
D-*: “Policy-Prequires covered subjects to retain or expose carrier classCused byE-*…”; or - individual
D-*: “Actual bearerShas commitmentCMTto meetE-*under exclusions …”
This separates a generic prescription or individual duty (D) from its adjudication (E).
A.6.B:6.2.4 - (A/E → L) Semantic grounding linkage
When a gate predicate or measurement relies on definitions or invariants:
A-*/E-*referencesL-*that define terms or metrics.
This prevents “metric drift” and “definition drift” across views.
A.6.B:6.2.5 - (D → L) Governance-to-definition linkage
When a generic prescription or individual obligation relies on precise term or metric meanings:
D-*referencesL-*that define the terms or 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 into its actual claim jobs. Recover the predicate and modality of an observability clause before assigning its quadrant. The triangle applies when the source states all three:
- A: admissibility predicate (
A-*) - D: generic prescription or individual-duty claim referencing the gate (
D-* → A-*) - E: actual observation or result referencing the gate, with carriers when needed (
E-* → A-*)
Keep a prescription or individually instituted duty to produce evidence in D. Preserve an expectation or plan as such; leave the actual E result absent until its basis exists. This repairs mixed validity, authorization, compliance, audit, and security claims without manufacturing a third claim.
A.6.B:6.4 — Dependency direction (no “upward” imports)
The square keeps laws and admissibility predicates independent of governance prose. An evidence or result claim may concern a prescription, duty, or grant, but its truth is settled by its own predicate and actual basis.
These are cross-quadrant restrictions. They do not prohibit same-quadrant
references, such as L-* → L-* or E-* → E-*.
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 or invariants.)- An
E-*claim MAY reference aD-*claim as its evidence target or to identify the norm, duty, or grant used by its evaluation. TheE-*result MUST still satisfy its own predicate and the actual-work, evaluation, or observation requirements of §5.4; theD-*claim alone establishes no result or compliance. (E-*may also referenceA-*for conditioning andL-*for metric or term meanings.) D-*claims MAY referenceL-*,A-*, andE-*claims when needed, and SHOULD do so by ID or canonical location rather than restating content.
Rationale (informative). Laws (L) and admission predicates (A) retain their own meanings. Governance (D) states prescriptions, duties, and grants. Evidence and results (E) may report on those claims or evaluate conduct against them; a prescribed result is not inferred from the prescription.