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 10:10:13 UTC

A.22.CGUS:7 - Conformance Checklist

IDPassing conditionFailed-check repair
CC-CGUS-1 Identity and profile.The four A.22 discriminators identify one U.Structure; local locus bindings, relations, and constraints define at least two potential continuations across allowed cases.Recover the missing value or keep the artifact as an explanation.
CC-CGUS-2 Local loci and relation participants.Every CGUSLocusBinding uses a locus declared inside this CGUS and binds one constituent for a stated meaning. A needed relation participant retains its definition, occurrence, order, and binding; RelationSignature and SlotSpec appear together only for declaration-level replay.Restore the locus or complete relation-participant basis. Never use a free-standing SlotSpec as a structure position.
CC-CGUS-3 Explanation and description separation.An ordinary or persisted provisional explanation concerns the domain question or proposed alternatives. Post-qualification descriptions and slices concern the CGUS. None is the structure or a membership condition.Restore the right EntityOfConcern or keep the explanation ordinary.
CC-CGUS-4 Current continuation result.Each judgement retains its test or obtaining-relation basis, applicability, inputs, facts, polarity, dependent occurrences, window, outcome, and reason. The enabled set may contain zero, one, or several alternatives.Mark the affected candidate unknown or stop on the missing value.
CC-CGUS-5 Separate decisions.Identity and membership, case result, description adequacy, and each neighboring claim are judged separately.Reopen only the affected decision.
CC-CGUS-6 Work-order boundary.The selected structure and display expose branches and conditions.Put any prescribed or performed Work order under the Method, work-plan, or Work pattern that establishes it.
CC-CGUS-7 Graph-shaped coverage.Branches, joins, cycles, partial order, and live alternatives are preserved or explicitly omitted for the declared use.Keep a chain provisional or state what its demonstrative slice omits.