Library / First Principles Framework (FPF) - Core Conceptual Specification
Jump to passage
In this reading

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 08:50:20 UTC

E.4.DPF.DA:7 - Conformance Checklist

CheckPassing condition
CC-DPFDA.0 Evaluation objects separatedFramework episteme edition, package architecture, PFAD decisions, pattern set, relation records, edition dependencies, publication units and occurrences, publication forms, exact presentation carriers, access-facing presentation carriers, access routes, actual access or use relations, characteristic space and specification, semantic Method, ordinary evaluator action, an optional A.6.1 application only when an exact operation declared by a separately admitted Mechanism is actually used, coordinate claims, aggregate result episteme, witnesses and evidence use, optional record, local status, F.10 status use, E.19 admission or refresh, assurance, publication, and later repair remain separately recoverable. When dated assessment U.Work is asserted, the exact actual evaluator System is recoverable through A.13 and one independently valid A.15.1 Work account is cited. Assignment and F.6 references appear only when the result expressly represents precise assignment-bound attribution through the same obtaining A.13 assignment; F.6 identifies neither assignment nor performer, missing or failed F.6 leaves the Work intact, and the assignment never acts as evaluator.
CC-DPFDA.0a Coordinate results constitutedEvery D1-D12 value is an ordinal content-evaluation quality ascription about the same exact framework edition with recoverable ReferenceScheme, characteristic, scale value, evaluation rule/probe, ClaimScope/use/window, assessment account and any asserted Mechanism-operation application, rationale, evidence locus, and repair/no-proposal. The aggregate C.2.1 result episteme carries the complete set; a table, record, witness, or evaluator identity creates no value.
CC-DPFDA.1 Object and use declaredExact authored framework episteme edition of concern, open plain description of the visible form or use, package architecture and selected package refs, effective ReferenceScheme, ClaimScope, intended reader, declared use, qualification window, next usable action, and stop or return are named. Add a non-use boundary only for an independently grounded competing use. No file, manifest, list, or package boundary supplies identity, kind, or membership.
CC-DPFDA.2 All coordinates evaluatedAll twelve coordinates receive ordinal value, short rationale, evidence locus, and repair or no-proposal disposition inside the aggregate result episteme.
CC-DPFDA.3 E.2.DA boundary respectedThe result does not claim FPF-level Pillar adequacy unless E.2.DA is separately invoked.
CC-DPFDA.4 E.21 not averagedIndividual pattern-quality results are evidence only where they change package adequacy.
CC-DPFDA.5 Source and SoTA payload checkedSource rows change pattern selection, solution, examples, boundaries, or refresh; decorative citation lowers D11.
CC-DPFDA.6 Relation and publication separatedPackage architecture, decisions, relation records, edition dependencies, maps, manifests, readmes, prefaces, ToCs, framework epistemes, publication units and occurrences, forms, exact presentation carriers, access routes, actual access or use relations, source packs, quality records, and pattern bodies remain distinct, and each claim is judged under the pattern or record that defines or constrains it.
CC-DPFDA.6a Package-form subpass completePFM1, PFM1a, and PFM2 through PFM12 have explicit pass, fail, or not-applicable-with-reason dispositions against the exact reader-facing package form before D1, D2, D4, D5, D7, D8, D9, D10, D11, and D12 values are assigned. PFM1 owns practitioner entry and navigation; PFM1a owns one product-native entry declaration plus the mnemonic-gain and plausible-non-card content tests; PFM12 owns only incremental common-form and edition-projection agreement. One observation and repair used by more than one PFM check are recorded and applied once rather than scored twice. Editable source-body conformance, a manifest, or a successful build run does not stand in for that subpass.
CC-DPFDA.6b Reverse dependency blockedThe result checks that FPF Core and the main monolith do not depend on this DPF; any needed Core-level content returns through a Core amendment decision.
CC-DPFDA.6c Structure-account checkedThe result checks whether the Readme, Preface, ToC, all-in-one carrier, skill/index/response carrier, or MCP/search/retrieval/assistant front door states the reader, selected or exposed structure, controlled coarsening, abstraction, omission, loss, and return to fuller sources. A route identifies the first form-bearing artifact it reaches; it is not scored as that carrier.
CC-DPFDA.6d Field and architecture evidence checkedD12 judges the current framework edition: its public field promise, selected problem-family pattern sets and how they actually work together, representative cross-problem use, omissions, and source returns. It checks that the first use includes every required pattern from this DPF. For each relied-on external result, it identifies the result, direct kind, supplying product and edition or current state, receiving use, discovery route, material currentness or availability, and externality, while keeping MethodDescription reference, source-evidence use, and unavailable-result statement separate. A completed Method result may support the answer; its action sequence is not copied, and its use creates no edition dependency. An earlier review act or ledger entry is not D12 evidence.
CC-DPFDA.7 Improvement route concreteBelow-floor coordinates return smallest useful repair slices; above-floor improvement proposals are substantive or explicitly dominated.
CC-DPFDA.8 Seed status honestSeed, prompt-output, and generated candidates are not promoted to reliance-bearing package status without evidence, admission, quality, and refresh routes.
CC-DPFDA.9 Status and receiving-use boundaryDPFPackageAdequacyStatus remains a local claim in the aggregate result. Any F.10 status use, E.19 admission/refresh decision, assurance, publication, or later improvement is a separate receiving relation or Work and does not follow from table order or a favorable value.