Library / First Principles Framework (FPF) - Core Conceptual Specification
Jump to passage
In this reading

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 17:24:51 UTC · snapshot created 2026-10-03 17:30:20 UTC · last check 2026-10-03 18:50:15 UTC

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-P requires covered subjects to satisfy or enforce A-*”; or
  • individual D-*: “Actual bearer S has commitment C to satisfy or enforce A-*.”

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 to A-*, carrier C was 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-P requires covered subjects to retain or expose carrier class C used by E-* …”; or
  • individual D-*: “Actual bearer S has commitment CMT to meet E-* 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-* references L-* 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-* references L-* 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 reference A-*, D-*, or E-* claims (except for purely informative notes explicitly marked informative).
  • A-* claims MUST NOT depend on or reference D-* claims. (A-* may reference L-* for defined terms or invariants.)
  • An E-* claim MAY reference a D-* claim as its evidence target or to identify the norm, duty, or grant used by its evaluation. The E-* result MUST still satisfy its own predicate and the actual-work, evaluation, or observation requirements of §5.4; the D-* claim alone establishes no result or compliance. (E-* may also reference A-* for conditioning and L-* for metric or term meanings.)
  • D-* claims MAY reference L-*, A-*, and E-* 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.