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 08:25:59 UTC · snapshot created 2026-10-03 08:26:43 UTC · last check 2026-10-03 10:00:09 UTC

A.6.3.RT:7.2 - Counterexample replay

CaseRequired result
Ordinary entryA service note can become a useful comparison table and loss note without first inventing X, Y, v, Work, publication, or assurance records.
Constructive useGivens and an intermediate geometric construction can become a diagram used in an argument. RT compares the diagram with those inputs; geometry establishes any new conclusion.
Scheme limitIf the selected conventions cannot express a required distinction, choose another scheme or design the missing rules before claiming a usable expression under them.
Preserve vs retargetExact RT requires equal EntityOfConcern; a changed concern requires A.6.4 even when labels overlap.
Same schemeIf scheme and reasoning medium are unchanged and only wording changes, use A.6.3.CR.
Different schemeScheme difference alone establishes neither v, correspondence, Work, Bridge, nor the six-participant occurrence.
Candidate vs U.ViewA valid receiving episteme and RT construction may fail E.17.0 conformance and remain a non-View candidate.
Publication/form/carrierAvailability, form change, or carrier replacement substitutes for no endpoint and reidentifies no unchanged construction or occurrence.
Work without conservativityA system may produce Y, yet unsupported strengthening or hidden loss blocks the exact construction and occurrence.
Grounded source, ungrounded receiverGrounding of X does not transfer through v; Y has an EpistemeEmpiricalGroundingRelation only when its own covered claims and conditions make one obtain.
Readable decode without recovery basisKeep a fluent decoded output exploratory, report-only, or blocked until the same-concern source, a declared decoding or access relation, recoverability evidence for the intended use, admissible and non-admissible use, remaining user action, and return are present. Readability, probe score, feature geometry, or publication form fills no episteme endpoint.
Selected structure overreadThe exact BoundedModelUseStructure is one participant only in the triggered occurrence; it is not transformer, viewpoint, U.View, representation, publication, or EntityOfConcern.
Cross-scheme dependencyScheme difference, similar content, a description, or C.29 output cannot replace an exact transition. When the dependency crosses semantic contexts, none of those cues can replace the obtaining F.9 Bridge and separate bounded-use claim.
Description or C.29 outputEditing the transition description or mathematical output does not change the occurrence unless an exact participant changes.