fpf.tools
Library / First Principles Framework (FPF) - Core Conceptual Specification
Jump to passage
In this reading
Source · lines 25181–25191

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 05:29:54 UTC · snapshot created 2026-10-03 05:30:57 UTC · last check 2026-10-03 06:25:20 UTC

A.11:3 - Conformance Checklist

CheckRequirement
CC-A11-1The candidate’s governed object is recovered before parsimony is judged.
CC-A11-2If the candidate uses U.* force, E.24.UK is applied before F.5, F.8, or F.18 naming.
CC-A11-3The best existing governed expression is attempted by value. For a relation-kind candidate this includes the exact A.6.P / A.6.RCD disposition. A representation may supply evidence. A derived relation-kind candidate requires its justified stable occurrence semantics, receiving use, and direct settlement; only a primitive candidate requires A.6.RCD disposition 4’s irreducibility test. Admission remains the complete governing result.
CC-A11-4Material loss is stated as a lost claim, lost distinction, lost boundary, or lost admissible use, not as naming discomfort.
CC-A11-5Strong overlap lowers or rejects the candidate unless the difference changes claims.
CC-A11-6The parsimony finding identifies the applicable section 2 continuation and, for a relation-kind candidate, the exact A.6.RCD result. Any actual U-kind admission cites the complete E.24.UK result rather than treating a continuation as admission.