F.14:8 - Invariants

1. Governed value first. No durable naming object is added until the exact value or relation, kind, proposed use, and the pattern contribution that defines, constrains, or tests each needed claim are recoverable.
2. Lightest sufficient disposition. Prefer the dispositions no durable name, existing designation, alias, or local expression whenever one supports the use without hiding a distinction.
3. No status roles. Status, evidence, requirement, source, publication, and access uses do not become system-role kinds by suffix.
4. No assignment by name. A designation, SystemRoleKindDescription, system-role-kind relation expression, card, cell, or row assigns no system and proves no Work.
5. No hybrid kind by convenience. Exact A.2.7 relations remain relations unless A.2 with C.3 independently admits a different local system-role kind.
6. No capability or authority by label. System-role-kind and status names prove no capability, skill, permission, assurance, evidence use, Method validity, or publication authority.
7. Local senses do not globalize. Same spelling and different local-sense projections establish neither governed-value identity nor an F.9 Bridge.
8. Naming objects remain optional and distinct. Expression, designation, alias, cell, NameCard, row, identifier, publication occurrence, form, and carrier neither imply nor replace one another.
9. Selected structure is conditional. A BoundedModelUseStructure is cited only when its organization changes the exact naming use and never becomes a locality slot or naming identity field.
10. Lineage is not ontology. Historical spelling may be recorded as lineage without carrying its former fused commitments forward.