FPF Reference

A.6.B:4.2 — The square

Preface node heading:a-6-b-4-2-the-square:7065

Content

Truth‑conditional (definitions & invariants)Governance (permissions & obligations)
In‑description / in‑theoryL — Laws & DefinitionsD — Deontics & Commitments
In‑work / in‑executionE — Work‑Effects & EvidenceA — Admissibility & Gates

Clarification (do not conflate). The Governance column includes two different “normative” roles:

  • D is agent/role governance (duties, commitments, prohibitions).
  • A is mechanism governance (permission/admission predicates: what the mechanism admits at application time). A-* is not an obligation on an actor; obligations belong in D-* and may reference A-*.

Normative rule (single quadrant). Each atomic claim MUST be routable to exactly one quadrant L/A/D/E.

Normative rule (no mixed sentences). A conforming boundary text SHALL decompose any sentence that bundles multiple quadrants (typical form: “MUST … if … then … and it is logged …”) into multiple atomic claims before those claims are treated as normative.