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

    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 or enforce it, and (iii) an observability expectation into the three quadrants:

    • A: admissibility predicate (A-*)
    • D: duty or 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-17 — upstream FPF commit 646b0b9b (github.com/ailev/FPF)