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 02:22:15 UTC · snapshot created 2026-10-03 03:38:22 UTC · last check 2026-10-03 04:25:17 UTC

A.22:7 - Conformance Checklist

IDRequirementFailed-check repair
CC-A22-1 Base identity.The selected U.Structure is recoverable from exact independently identified constituents, exact selected obtaining relation occurrences, exact constraints as applied, and one named selection-use frame.Recover the missing discriminator. If a constituent lacks its defining identity content or a relation lacks its predicate or occurrence rule, stop at that blocker rather than naming a structure from a graph or record.
CC-A22-1a Independent grounding.Every constituent and selected relation occurrence keeps its direct identity; a collection, constraint episteme, graph, table, description, view, or publication neither creates them nor makes a relation obtain.Apply the constituent and direct relation patterns first; treat the visible artifact as a C.29 representation or C.2.1 episteme only when that is what is present.
CC-A22-1b Selection work and result separation.When a load-bearing selection claim is current, an exact system performs dated work with an exact method-enactment relation and exact participation relations or A.6.1 bindings. Any durable result is a separate C.2.1 episteme, and any accountable choice uses its decision predicate and test.Name the acting system, method, work, bindings, and result or decision separately; remove them from structure identity.
CC-A22-1c Reidentification.A changed designator, method, work, result episteme, graph, description, or publication leaves the structure unchanged when all four identity discriminators remain unchanged; a changed discriminator reopens identity.Compare the four discriminators and apply each selected relation occurrence’s direct identity rule before reapplying A.22.
CC-A22-1d Transformation-flow network profile.An E.18.NET value applies all four A.22 discriminators to exact TFS or nested-network constituents, exact cross-member relation occurrences satisfying their predicates, the E.18.NET constraints as applied, and one named network-use frame. A constituent row supplies no generic membership occurrence, and A.22 carries no duplicate network fields.Recover any missing member, relation predicate, or identity rule, then apply E.18.NET. If a separate membership relation is actually needed, state its participants and apply its predicate rather than inferring it from the constituent list or graph.
CC-A22-2 Non-agentive structure.Any claimed action has a recoverable capable actor. Use F.19:4 to test literal or metonymic action wording; apply the relevant proof, decision, warrant, or adaptation predicate when that claim is current.Recover the actor and action; identify exact System and Work only when the claim needs their identity. For another claim, use the pattern that defines or tests its result.
CC-A22-3 Structure-claim reliance relation boundary.When source-description, source-use, base-dependence, grounding, evidence, lens, simulation, extraction, or representation reliance is claimed, name the concrete relation and the definition or test used for it.Add the exact relation kind, definition or test, validation boundary, admissible use, and stop or return condition. Test any optional non-admissible use through F.19:4. If no admissible reliance is established, mark the reliance phrase as carrying no admissible reliance.
CC-A22-4 Description and view separation.A structural description, structural view, extracted view, diagram, table, graph, dashboard, or publication face is not treated as the structure itself.Recover any description or view and its publication form or occurrence; resolve any source-description relation or A.6.6 base declaration separately. Name the selected structure separately only if selected organization is being claimed.
CC-A22-5 Describing-use separation.Description epistemes keep exact claim content, EntityOfConcern, and effective scheme under C.2.1. A named describing use may separately select one viewpoint, and a receiving calculation or assertion may separately select one independently identified BoundedModelUseStructure. E.17.0 alone supplies the U.View conformance test; A.6.3 supplies optional viewing construction.Remove any compound context field; state only the exact episteme values and the optional use selections that the current action needs.
CC-A22-6 Structure-use return.StructureUseReturnCondition is present when hidden selected-structure, source-basis, source-description, evidence, lens, simulation, extraction, or representation distinctions are used for action, assurance, causal use, legal or regulatory review, comparison, or decision reopening.Add one structure-use return condition or narrow the record’s admissible use so the hidden distinction is not relied on.
CC-A22-7 Non-structure claim kind.Evidence, assurance, gate, release, causal, dynamics, measurement, work, decision, publication, bridge, and mathematical-lens claims use the patterns that define or test those claims.The check passes when that concrete contribution and the claim kind are named, while the A.22 record remains limited to selected-structure use.
CC-A22-8 Architecture pattern application.Architecture claims use C.30 and ArchitectureRelation; A.22 does not treat architecture as a root kind or define C.30-specific records.Apply C.30 or a C.30 subpattern and keep A.22 only as the selected-structure EntityOfConcern and structure-claim reliance relation.
CC-A22-9 Plain and Tech recovery.Plain structure phrases may remain, but if they carry ontological, evidence, causal, assurance, bridge, gate, work, decision, or admissibility claim, the relevant Tech fields and FPF pattern applications are recoverable.Add the missing Tech fields or demote the Plain phrase to ordinary recognition wording.
CC-A22-10 Useful action.The repair leaves a remaining admissible practitioner use: name the structure, name the structure-claim reliance relation record by value, state a structural view, add a StructureUseReturnCondition, or apply the definition or test needed by the claim.Restore that use, or classify the phrase as reduced-use cue, quote-only wording, blocked transfer, or incomplete rewrite.
CC-A22-11 CGUS qualification and case use.A constraint-governed unfolding claim identifies one A.22 structure by the four discriminators; its local locus bindings, selected relations, and applied constraints define at least two potential continuations. The present-case result, any description, and every stronger neighboring claim are judged separately.Use A.22.CGUS only after structure identity and CGUS membership are recoverable. If the structure qualifies but case facts are missing, return unknown for the affected alternatives. If only a display is present, keep it as an explanation; send description adequacy and stronger claims to their direct patterns.