F.3:8 - Invariants

1. Basis explicit. Every LocalSenseClaim names the source and edition and the effective reference scheme needed to interpret it.
2. Parsimony. Prefer the coarsest partition that preserves source-grounded differences relevant to use.
3. Idiomatic Tech. The Tech label remains source-faithful.
4. Didactic Plain. The Plain label aids comprehension without adding scope.
5. Usage first. Claims follow source passages, not imported taxonomies.
6. Counterexample rule. A source-grounded counterexample that matters to the receiving question forces a split or tighter claim.
7. Category boundary. A local-sense claim does not establish behaviour, obligation, measurement, kindhood, assignment, or Work.
8. No relation by clustering. F.3 establishes no cross-source identity, hierarchy, Bridge, substitution, or permission.