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:20:03 UTC

F.5:7 - Conformance Checklist

CheckPass condition
CC-F5-1The exact named value and kind are explicit.
CC-F5-2The direct meaning source is explicit: E.24.UK or direct admission for a U-kind, A.2 with C.3 for a local system-role kind, F.4 for its description, or another exact relation. A Concept-Set row, card, or citation is not admission or identity.
CC-F5-3The Tech designation is no broader than the recovered meaning.
CC-F5-4The Plain designation points to the same value without widening it.
CC-F5-5Edition, source, witness provenance, local boundary, scheme, threshold, and window stay outside the main label. A locator may carry such metadata when navigation requires it, but the metadata does not identify the named kind or value unless its own direct recovery rule makes that distinction part of the object.
CC-F5-6A U-kind name is neutral across the named witness sources or practices. Shared source spelling establishes neither the governed value nor a local kind’s identity; the direct admission and identity rules must already have done that work. Treat the term as genuinely shared only when evidence establishes the same referent.
CC-F5-7The system-role-kind designation, local kind, F.4 description, classification judgment, assignment species, and assignment occurrence remain distinct. For any assignment identity used, recover the occurrence and its declared A.2.1 species. The species defines the participant meanings, assigned-kind domain, predicate, applicability, and occurrence identity; the occurrence supplies the holder, assigned-kind value, case applicability, extent, and any other participant values. Otherwise the text does not invent an occurrence.
CC-F5-8Status, evidence, requirement, source, publication, assurance, gate, decision, responsibility, and relation-position names remain at their direct objects before durable naming.
CC-F5-9A source term, symbol, predecessor term, or translation is marked as lineage or alias, not another selected Tech designation.
CC-F5-10For durable or public reuse, use F.18 and F.17 as needed; actual cross-local use names the exact C.3.3 kind relation or F.9 local-sense relation and the proportionate receiving-use, A.10, or B.3 claims required by rule 9. None substitutes for the receiving Work, result, provenance, assurance, or publication occurrence.
CC-F5-11A worked case does not mint a dated Work identity merely to support naming. When it consumes an already admitted Work, each exact actual performer has its A.13 basis and A.15.1 independently supplies the Method, time, containing System, and Work identity. A covering assignment and F.6 relation are recoverable only when the naming record or receiving use expressly represents that precise attribution. Result epistemes, provenance values, and their relations remain separate; no label, description, suffix, card, row, or citation substitutes for them.