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:30:19 UTC

E.17:5.1b - Shared source-relation and bounded-use vocabulary

Use this vocabulary when a publication face, rendering, generated text, comparison note, narrower-use rendering, source-finding cue, or authority-looking display can be overinterpreted as carrying a wider source relation or bounded-use permission than it actually carries. The vocabulary names the source relation or bounded-use value for one claim or use. It does not instantiate evidence, gate, assurance, work, commitment, speech act, decision, release, or authority.

Source-relation or bounded-use valueMeaning for the local claim or use
source-pointer-onlyThe publication-facing unit points to a possible source but does not show that the source is available, was used, or makes the claim recoverable.
source-relation-unknownThe publication-facing unit does not yet show whether the needed source relation exists or makes the local claim recoverable. This blocks the downstream use until checked; it does not show that the underlying world claim is false.
source-relation-not-neededNo operative work, reliance, evidence, gate, assurance, bridge, source-dispute, release, or durable-naming claim is present for this publication-facing unit. Orientation, learning, source-finding, review, or planning preparation can proceed without inventing a source relation.
source-not-recoverable-hereThe needed source relation can exist elsewhere, but it is not recoverable from this publication-facing unit or its stated source refs. Treat the unit as orientation or source-finding only, or reopen the source-bearing side.
source-relation-absentThe needed source relation is known absent from the current publication-facing unit and available source set for the stated use. Block that use; do not infer that the underlying world claim is false merely from this absence.
source-availableThe cited source can be recovered or inspected for the current use. This does not yet show that the rendering used it correctly.
source-retrievedThe cited source has actually been recovered for the current check. This still does not show that it was used correctly or makes the local claim recoverable.
source-usedThe named source, rather than only similar background, was actually used in the generation, rewrite, rendering, comparison, work, or reliance linked by the inspectable source relation. If that relation is unavailable, treat the unit as pointer-only or orientation-only until a source relation is recovered.
source-faithfulThe publication-facing unit stays within the source claim relation for the stated use; omissions, declared source-loss modes, and additions are visible enough to inspect.
claim-recoverable-from-sourceThe local claim is recoverable from the source, declared correspondence relation, or required typed project-side FPF kind and reference named by value for the stated use.
claim-not-recoverable-from-sourceThe local claim is not recoverable from the source relation currently available.
claim-conflicts-with-sourceThe local claim conflicts with the available source relation.
claim-plausible-onlyThe claim can sound reasonable, but the source relation currently available does not carry it.
source-omittedRelevant source claim, source passage, qualifier, condition, alternative, caveat, or uncertainty is missing from the publication-facing unit.
source-loss-declaredThe publication-facing unit declares a source-loss mode such as omitted-detail, qualifier-loss, redaction, aggregation, scope-narrowing, recoverability-loss, or representation-factor-loss for the local source-to-rendering relation.
claim-widenedThe publication-facing unit turns a source possibility, hypothesis, bounded condition, low-confidence statement, narrower permission, or source-finding cue into a wider claim or use.
added-linkageThe publication-facing unit adds a causal, explanatory, bridge, comparison, work, evidence, gate, or authority relation not already carried by the source relation.
independent-verification-presentThe exact result or evidence basis of an independent check of the local claim is recoverable under the pattern that defines or tests that result, together with the outcome, applicable qualifications, and named bounded use; for example, an A.20 ConstraintValidityResult with evaluationState=evaluated and outcome=satisfied for a named applicable constraint, subject, case, and evaluation window, with its witness. An existing qualifying result suffices; source availability alone does not establish verification.
admissible-for-this-useThe face is usable for the named bounded purpose only. Wider work, evidence, decision, bridge, gate, release, or assurance use requires the exact separate object and relation that carry that claim.
downstream-use-forbiddenThe publication-facing unit is not used for the named downstream claim or effect because the needed source relation is absent, source-loss-declared, contradicted, or outside scope.
reopen-trigger-presentA stated change, dispute, use escalation, source update, context shift, missing source relation, or contradiction requires return to the source-bearing side or recheck of the concrete claim, predicate, definition, constraint, or downstream record. Add exact assertion or ClaimGraph identity only when that identity is material.

Patterns can use shorter local field names such as sourceRelationStatus, explanationSourceStatus, or representationValidityStatus when the local object is clear. Comparative patterns split source-relation status from comparative-relation status instead of using one overloaded field. The local field remains interpretable through the vocabulary above, and the bounded use is named beside it when downstream reliance could change.

For ordinary use, name only the status distinction that changes the next bounded use. The common light states are source-pointer-only, source-relation-unknown, source-relation-not-needed, source-not-recoverable-here, admissible-for-this-use, downstream-use-forbidden, and reopen-trigger-present. The vocabulary is neither an ordered source-stage scale nor a source-record or authority taxonomy, and it does not substitute for evidence, assurance, gate, or work records. A missing source relation blocks only the unsupported use; it does not prove the underlying world claim false. If independent-verification-present is relied on, name the exact separate evidence, assurance, decision, work, or bridge record that supplies the independent basis.