FPF Reference

    A.6.B:6.3 — The “triangle decomposition” for mixed sentences

    Preface node heading:a-6-b-6-3-the-triangle-decomposition-for-mixed-sentences:8111

    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

    Normative rule (decomposition). A conforming boundary text SHALL decompose any mixed sentence that expresses (i) an entry condition, (ii) an obligation to satisfy/enforce it, and (iii) an observability expectation into the three quadrants:

    • A: admissibility predicate (A-*)
    • D: duty/commitment referencing the gate (D-* → A-*)
    • E: evidence binding referencing the gate (and carriers) (E-* → A-*)

    This is the canonical repair for “contract soup” around validity, authorization, compliance, audit, and security boundaries.

    Last Updated: 2026-06-08 — upstream FPF commit 093d30e8 (github.com/ailev/FPF)