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:12637
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 into its actual claim jobs. Recover the predicate and modality of an observability clause before assigning its quadrant. The triangle applies when the source states all three:
- A: admissibility predicate (
A-*) - D: generic prescription or individual-duty claim referencing the gate (
D-* → A-*) - E: actual observation or result referencing the gate, with carriers when needed (
E-* → A-*)
Keep a prescription or individually instituted duty to produce evidence in D. Preserve an expectation or plan as such; leave the actual E result absent until its basis exists. This repairs mixed validity, authorization, compliance, audit, and security claims without manufacturing a third claim.
Last Updated: 2026-10-12 — upstream FPF commit f2bc67dd (github.com/ailev/FPF)