FPF Reference

    A.6.B:4.2 — The square

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

    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 (classify the claim, not its owner family).

    • Classify the exact atomic claim by what its sentence states and by the conditions that let a reader decide it.
    • The pattern that owns a referenced object supplies its predicate and obtaining conditions; it does not choose the claim's quadrant.
    • When permission wording is present, use the single permission-word branch in §8.4.1. It separates the possible jobs of that wording without inventing a common “permission result” kind.

    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-07-28 — upstream FPF commit 17edd955 (github.com/ailev/FPF)