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.