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 10:39:28 UTC · snapshot created 2026-10-03 10:40:04 UTC · last check 2026-10-03 11:15:11 UTC

A.6.S:7 - Conformance Checklist

IDRequirementPurpose
CC-A.6.S-1State the actual assertion, revision, relation, arrow, application, or Work first. If it answers the receiving use, no ConstructorSignature or pair object is required.Preserves the cheap direct path.
CC-A.6.S-2A ConstructorSignature appears only when one named receiving use needs reusable constructor vocabulary, laws, and applicability. It is an independently identified U.Signature; U.SignatureEngineeringPair is not used.Prevents an unsupported object and needless second signature.
CC-A.6.S-3When two signatures are both current, state the exact A.6.0 dependency, method/source use, or other direct relation that actually obtains. Co-mentioning them creates no relation.Keeps the connection explicit without inventing a universal pair.
CC-A.6.S-4The ConstructorSignature declares only operation families its named receiver reuses. A.6.5 slot verbs, A.6.6 declaration-change labels, A.6.2-A.6.4 arrows, E.17 views, assignment identity, and evidence are each conditional on their own current use.Prevents the constructor menu from becoming a mandatory package.
CC-A.6.S-5A meaning change identifies a new TargetSignature episteme when a C.2.1 discriminator changes. State edition, continuity, and reference-retargeting claims only under their actual predicates; use A.6.4 only when the exact EntityOfConcern-retargeting arrow r is current, and identify any bounded-use assertion q and current-case judgement separately.Separates episteme change, editioning, reference change, and retargeting.
CC-A.6.S-6If an A.6.2-A.6.4 arrow is declared, keep the arrow, any separately governed use assertion, any current-case judgement, operation description, application, and Work distinct. Name the endpoint values and neighboring facts read or compared; the arrow changes no neighboring relation occurrence.Preserves the accepted arrow/application/Work boundary.
CC-A.6.S-7If E.17 publication is used, each face is a faithful publication form over the exact source episteme and adds no new claim. A claimed U.View requires E.17.0 conformance; an A.6.3 construction is separate and conditional. Preserve applicable boundary claim-set traceability under §4.4. The publication occurrence, carrier, viewpoint use, conformance, and Work remain separate.Prevents publication drift.
CC-A.6.S-8A System, not a signature, assignment, or local system-role kind, performs actual Work. Recover each actual performer’s complete A.13 core, including its classification and obtaining A.2.1 assignment, and let A.15.1 independently admit the Work as in §4.0; add the separate F.6 Work-assignment relation afterward only when the receiving claim consumes precise attribution through that same assignment. Add application, carrier, provenance, or evidence relations only when their own distinctions are needed.Preserves agency without mandatory attribution paperwork.
CC-A.6.S-9Laws, operational admissibility, deontic commitments, evidence use, and Work remain under their direct patterns. The TargetSignature and ConstructorSignature do not become all-purpose containers.Preserves A.6.B and direct-relation boundaries.
CC-A.6.S-10The account begins with an ordinary sentence naming what changed or was reused and what visible result follows. Formal vocabulary is added only where it changes a receiving inference.Keeps the pattern usable by a cold reader.