F.8:5 - Invariants

1. Four facts, one use. Every disposition names the expression, governed value or relation, its subject pattern, and one proposed use. Split an expression that covers more than one governed subject or use.
2. Lightest sufficient result. Try the ordinary reuse ladder before creating a cell, NameCard, row, or policy identifier. An unsettled U-kind proposal stops before naming.
3. Reuse preserves meaning. Reuse or aliasing changes no kind, scope, occurrence identity, local-sense claim, admitted use, authority, or lineage. Shared spelling under another scheme establishes neither sameness nor an F.9 Bridge.
4. Kind, description, assignment, and Work stay distinct. A designation may name a recovered local system-role kind K without creating the optional F.4 description D. Neither name classifies a candidate, creates an A.2.1 assignment A, or demonstrates Work. Other governed uses remain with their subject patterns.
5. Rows stay within admitted use. Reusing an F.17 row supplies only its AdmissibleUse and no equivalence.
6. Ordinary and accountable decisions stay distinct. Ordinary F.8 use needs no decision occurrence or result episteme. The §4.5 branch opens only after the decision or choice pattern admits the occurrence; otherwise it returns missing-governor.
7. Naming objects imply none of one another. A designation, cell, basis relation, NameCard, row, identifier, publication occurrence, form, or carrier is created only for its receiving use. A selected Structure appears only when its organization changes interpretation of this naming use.
8. Admission precedes naming. Before E.24.UK returns a stable disposition, F.8 can only block or lower the proposed naming use. Afterward it may name only the admitted, reused, local, or recovered non-kind object identified by that result.
9. Policy identifiers remain references. Every identifier resolves a policy specification. Its mint occurrence and history are required only for the stronger uses stated in §8.1 and remain distinct from any C.11 result, decision-making Work, result episteme, or record.
10. Labels grant no authority. A source title, suffix, row, record, or identifier creates no governed subject, obtaining relation, permission, evidence, equivalence, or publication authority.