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 11:52:20 UTC · snapshot created 2026-10-03 11:53:41 UTC · last check 2026-10-03 12:50:07 UTC

C.16.Q:7 - Conformance Checklist (CC-C16Q)

A text or pattern conforms to C.16.Q iff:

  1. CC-C16Q-1 - Explicit endpoint classification and explicit sense. Every in-scope use resolves either to the evaluative form for one declared endpoint or to one declared qualityTermAscription(...) transitional record with a QualitySense and explicit endpoint classification.
  2. CC-C16Q-2 - Exact bearer and arity. The evaluated bearer designator or tuple is explicit; description, carrier, evaluator, viewpoint, work, and result are not substituted for it.
  3. CC-C16Q-3 - Exact probe/model and comparison frames. The domain-local probe or model frame and the separately governed comparison frame or explicit none are stated and reviewable; no generic field silently selects either frame.
  4. CC-C16Q-4 - Effective scheme, evaluator, and viewpoint reference. The effective U.ReferenceScheme is explicit. Evaluator and U.ViewpointRef are separate; a non-none reference resolves one exact viewpoint episteme and grants no conformance, membership, authority, or result.
  5. CC-C16Q-5 - Substrate and referencePlane are declared when relevant. Cross-talk across articulation modes (including preconceptual), representation substrates (including latent-distributed and symbolic-local), or ReferencePlane values world, concept, and episteme is not allowed without explicit substrate and, when live, plane declarations.
  6. CC-C16Q-6 - ClaimScope, slices, and Γ_time are explicit. One U.ClaimScope, its meaning-changing U.ContextSlice members, and any meaning-changing Γ_time are stated; work or publication scope does not substitute for claim scope.
  7. CC-C16Q-7 - Admissible normal form and result boundary. The ascription uses SignalPack, Characteristic, Bundle, or Objective with the corresponding normal-form discipline; any checked object, assessment work, result claim, witnesses, evidence-provenance path, and empirical-grounding relation remain independently identified.
  8. CC-C16Q-8 - No illegal scalarization. Composite senses are not collapsed into one score without an explicit admissible scoring and comparison method.
  9. CC-C16Q-9 - No silent sense rewrite. Any semantic change uses the declared change lexicon; changing sense, scheme, frame, scope, or neighboring relation silently is forbidden.
  10. CC-C16Q-10 - QD default. In search, selection, or NQD practice, quality resolves to QS.UseValue unless overridden explicitly.
  11. CC-C16Q-11 - Engineering family discipline. Engineering -ility uses resolve to one explicit U.Characteristic or one explicit Bundle, preferably a Q-Bundle when composite; they do not remain free-floating adjectives.
  12. CC-C16Q-12 - Functional separation. Function or capability claims remain distinct from quality-family claims.
  13. CC-C16Q-13 - Bridge accountability. Cross-local comparison resolves exact F.17 cells and cites an obtaining F.9 Bridge plus the exact bounded-use claim when a use is proposed. Any optional Card and F.9.1 stance note remain separate; the stance note’s EntityOfConcern is that claim. A stance word, CL, shared label, or loss note establishes none of them.
  14. CC-C16Q-14 - Boundary-claim hook when needed. If a repaired ascription is used for admissibility, commitment, publication, evidence-bearing decision, or adjudication, the downstream L/A/D/E claims and the patterns used to define or test them are explicit.
  15. CC-C16Q-15 - Lexical firewall. Bare quality is absent from Tech and normative prose except as quoted and marked metalinguistic discussion.
  16. CC-C16Q-16 - Transitional skeleton is complete. The published skeleton carries bearer position and bearer-kind mismatch repair, sense, effective scheme, exact frames, evaluator, U.ViewpointRef, ClaimScope, qualifier expectations, normal form, result, witness/evidence/grounding discipline, admissible change classes, and cross-local boundaries without minting universal context, frame, evidence, or grounding kinds.
  17. CC-C16Q-17 - Candidate-Set Note is used when ambiguity is live. If sense selection, bearer facet, or the distinction between the evaluated EntityOfConcern, a description or other episteme, a publication face, and a carrier evaluated in its own right is non-obvious, the text records a short Candidate-Set Note before decision-bearing or publication-bearing use.
  18. CC-C16Q-18 - Reference resolution is not object substitution. Designators, governed refs, their resolved viewpoint or bearer objects, evaluator, result, frame, scope, grounding holon, and any selected structure remain distinct.
  19. CC-C16Q-19 - Change verbs dock cleanly with A.6.P and A.6.5. retargetBearer(...) and the other declared reference moves are used only for ref retargeting; by-value revisions use their declared verbs; a scheme or scope change triggers claim-identity review; edits to witnesses, evidence paths, grounding, Bridge, bounded-use-claim, Card, or stance-note refs do not silently rewrite one another; and silent retyping is forbidden.