A.6.C:4.2 — Classification recipe into A.6.B (L/A/D/E)
Preface node
heading:a-6-c-4-2-classification-recipe-into-a-6-b-l-a-d-e:10578
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
After unpacking, classify each atomic statement using the Boundary Norm Square as defined normatively in A.6.B (quadrant semantics + form constraints + cross‑quadrant reference discipline). A.6.C does not redefine L/A/D/E; it applies them to contract-language as follows:
- Promise content → L/A (promise semantics + eligibility).
- Put meanings, invariants, and metric definitions for what is promised in L (
L-*in signature laws and definitions). - Put “eligible, covered, or valid iff …” predicates as A (
A-*admissibility or gate predicates), not as deontic obligations.
- Put meanings, invariants, and metric definitions for what is promised in L (
- Governance and permission-looking claims → claim-specific quadrant.
- Put “MUST, SHALL, or commits to …” statements as D (
D-*), preferably asU.Commitmentpayloads (A.2.8). - For authority-looking wording, select one A.6
A6-AW-*row: norm/grant → D, gate → A, and actual exercise or evaluated finding/conflict/source → E. Cite the exact A.2.8.PER object only where that row requires it; do not let its owner family choose the quadrant. - If compliance requires satisfying or enforcing a gate, the commitment MUST reference the relevant
A-*ID(s) (D→A). - If the commitment is meant to be auditable, include evidence hooks by referencing
E-*(D→E), preferably viaU.Commitment.adjudication.evidenceRefs.
- Put “MUST, SHALL, or commits to …” statements as D (
- Performed Work → E (did it happen?).
- Name the exact A.15.1 Work occurrence and its performer, assignment, method, extent, and containing system. Do not add an output or delivery field.
- Result or consequence → E when current (what else happened?).
- Use the one applicable
A.15.1:4.6direct owner for the returned value, production, change, evaluation result, delivery/transfer, or acceptance claim.
- Use the one applicable
- Evidence → E when relied on (how can the claim be used?).
- Name the exact A.10 path, observation conditions, and carrier for the Work or consequence claim being supported. Carrier presence establishes none of those objects.
Keyword placement rule (canonical claim set).
Within the canonical L/A/D/E-classified claim set, BCP-14 keywords are statement operators, not ontology or quadrant selectors.
MUST,MUST NOT,SHOULD, andSHOULD NOTenter D only for an accountable duty, recommendation-as-duty, or prohibition.MAY,OPTIONAL, and authority-looking synonyms trigger the A.6A6-AW-*branch: a current norm/grant enters D, a mechanism entry predicate enters A, and an actual exercise or evaluated finding enters E. If the wording does not expose the branch and direct object, rewrite it or mark it informative.
- Name the exact A.10 path, observation conditions, and carrier for the Work or consequence claim being supported. Carrier presence establishes none of those objects.
Keyword placement rule (canonical claim set).
Within the canonical L/A/D/E-classified claim set, BCP-14 keywords are statement operators, not ontology or quadrant selectors.
A helpful rewrite rule:
First recover what “allowed” asserts by selecting one A.6
A6-AW-*row. Put only the current norm/grant in D, the entry predicate in A, and actual exercise or evaluated findings in E; cite each direct object and source. The word and A.2.8.PER membership select neither quadrant nor obtaining.
Last Updated: 2026-07-28 — upstream FPF commit 17edd955 (github.com/ailev/FPF)