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:11373

    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) a generic prescription or individual obligation to satisfy or enforce it, and (iii) an observability expectation into the three quadrants:

    • A: admissibility predicate (A-*)
    • D: generic prescription or individual-duty claim 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-09-03 — upstream FPF commit b999972c (github.com/ailev/FPF)