FPF Reference

    A.6.B:4.2 — The square

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

    What this page is

    This is generated FPF reference text from the specification preface or supporting sections. It helps interpret FPF; it is not FPF Reference product documentation.

    Methodology

    Use it to understand how the specification wants to be read, then return to a route, pattern, or work packet for active work. Cite generated IDs only when the wording changes the task decision.

    Content

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

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

    • D is role-assignment, U.Role, or admitted acting-system governance (duties, commitments, prohibitions).
    • A is mechanism governance (admissibility 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 classifiable under 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.

    Last Updated: 2026-06-17 — upstream FPF commit 646b0b9b (github.com/ailev/FPF)