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 05:29:54 UTC · snapshot created 2026-10-03 05:30:57 UTC · last check 2026-10-03 07:05:20 UTC

F.15:10 - Twin-register checks

Use these checks when the F.18 naming result records both a Tech and a Plain designation.

SCR-F15-T1 (Same exact settlement). Both expressions resolve through the same current NameCard to the same governed value, effective scheme, local-sense claim, and admitted naming use. The NameCard, expressions, value, and any F.17 cell remain distinct.

SCR-F15-T2 (Same governed kind). The Plain expression does not suggest a different kind, relation truth, system-role kind or assignment, status, work, evidence, or permission from the Tech expression’s exact governed object.

SCR-F15-T3 (Ambiguous head guarded). A high-risk Plain head receives a kind head or short recognition gloss at first use without turning the gloss into a second selected designation.

SCR-F15-T4 (No normative displacement). Reader-facing Plain wording does not silently replace the selected Tech designation in normative Core claims; both remain expressions, not the governed value.

SCR-F15-T5 (Projection-aware reuse). Same-projection reuse is a designation/alias question. A named reuse between different <ReferenceScheme, LocalSenseClaim> projections cites an obtaining F.9 Bridge, a separate affirmative bounded-use claim, and current A.10 or B.3 reliance. A public row, copied label, Card, or earlier pass supplies none of those premises.