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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 08:25:59 UTC · snapshot created 2026-10-03 08:26:43 UTC · last check 2026-10-03 09:40:10 UTC

C.19.2:7 - Conformance Checklist

IDCheck
CC-C19.2-1The declared use names a direct result kind, guarantee, constraints, and horizon.
CC-C19.2-2A current single-apparatus case proceeds without a fabricated OptionSet or ChoiceResult.
CC-C19.2-3Candidate generation, local choice, planning, tool-call planning, dated work, and direct result retain their subject patterns.
CC-C19.2-4Every candidate retains its direct kind and satisfies one explicit eligibility predicate for the same use and guarantee.
CC-C19.2-5Any C.11 result is exactly choose now, reject current set, probe again, or reroute.
CC-C19.2-6The intended-reader position, U.MethodDescription episteme, described U.Method, admitted performing U.System, dated U.Work, and problem-facing result remain distinct. Every precise performer has an A.13 core, and the Work is independently admitted under A.15.1. F.6 is required only when the receiving use also needs precise assignment-bound attribution. A short projection exposes assignment identity, species, participants, or attribution detail only when that use relies on them, attribution is ambiguous, or source wording must be repaired.
CC-C19.2-7The first useful result and stop are practical, and every reopen condition changes a named next action.
CC-C19.2-8No generic apparatus U-kind, hidden scalar, or unadmitted CGUS is introduced.