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 05:00:10 UTC

A.10.1:7 - Conformance Checklist

IDRequirementPurpose
CC-A10.1-1 (Source and claim).A conforming use MUST name predecessor and later or replacement source epistemes, exact claim addresses or recoverable content, and unresolved identity or edition facts.Prevents carrier or version labels from becoming source meaning.
CC-A10.1-2 (Material difference).Material claim changes MUST be separated from wording, publication, carrier, layout, and revision-label changes; established compatible meaning, applicability and access MUST take the cheap stop. Missing comparison or access facts MUST remain a scoped limit rather than proof of no change.Keeps harmless republishing cheap and one-word semantic changes visible.
CC-A10.1-3 (Bounded frame).The present question, organizational or product boundary, receiving families, conditions, discovery surfaces, owners, and explicit exclusions MUST be stated before a clean no-impact conclusion.Makes “where uses count” inspectable.
CC-A10.1-4 (Coverage and gaps).When a search supports the returned impact conclusion, coverage MUST name exact identifiers and aliases, source-outward and receiver-oriented routes or a justified index covering both, included surfaces, and every unsearched, inaccessible, stale, unindexed, or identity-ambiguous surface.Prevents omitted coverage from becoming evidence of no use.
CC-A10.1-5 (Direct reliance).Every depends disposition MUST cite an exact receiving action or result and the direct premise, evidence-use, operation-argument, specification, decision-basis, or other relation by which it uses the changed claim.Rejects mention, adjacency, and graph reachability as impact.
CC-A10.1-6 (Discovery dispositions).A searched frame MUST distinguish dependent, irrelevant and unresolved candidates at the detail needed for its conclusion. Equivalent irrelevant mentions MAY be grouped; a separate exclusion record per mention is not required. Discovery values MUST NOT replace A.10 RelianceDisposition or a subject result.Keeps discovery membership distinct from use admissibility and subject judgment.
CC-A10.1-7 (Action-changing closure).Reach MUST follow only exact direct use relations and MUST stop after the last receiving action, condition, result, or check that can change.Prevents transitive fanout.
CC-A10.1-8 (Dispatchable statement).Every branch prepared for application of direct subject-pattern guidance MUST carry the changed claim, bounded frame, coverage and gaps, exact direct use, current conditions, action-changing reach, stop, and direct subject pattern.Gives the applying practitioner or admitted System a usable input without a universal impact record.
CC-A10.1-9 (Subject governance).Truth, evidence, causality, choice, currentness, assurance, authority, permission, release, planning, Work, and other subject results MUST remain governed by their direct patterns and continue to their existing consumers.Prevents common discovery from becoming domain authority.
CC-A10.1-10 (Acyclic completion).A common account summarizing a subject judgment MUST cite its independently governed result and MUST NOT be used as that result’s own input. A sufficient reference repair or direct result needs no additional account.Preserves the changed source → subject result → completed account direction.
CC-A10.1-11 (Local summaries and reuse).Local summaries of subject judgments MUST retain their subject basis. Inspected unaffected uses and earlier source/result values MUST remain recoverable for their stated conditions; a harmless reference repair requires no separate preservation judgment.Avoids a shadow status ontology and needless invalidation.
CC-A10.1-12 (Honest stop).Completion MUST meet the branch conditions in 4.7 for the conclusion actually returned. A no-impact claim requires adequate frame, coverage and actual-use support; unresolved coverage MUST NOT be called unaffected. Further records, Work and continuation fields are required only by the receiving use.Makes local closure reproducible without claiming global completeness.