F.7:8 - Invariants

1. Exact entries. Every filled source-local cell identifies the exact source and edition and claim, or an exact F.17 cell.
2. No row-created relation. Co-placement, matching labels, or a shared FPF designation establishes nothing about the entries.
3. Direct relation basis. Every stated relation cites its direct pattern and available evidence; F.9 is conditional, not universal.
4. Separate receiving use. Any conclusion about comparison, substitution, reporting, or reuse is stated and supported separately.
5. Direction, time stance, and loss. Asymmetric relations show direction; any design-time, run-time, or other temporal difference that changes the comparison is explicit; every material limitation remains visible.
6. No automatic closure. Relations are not completed pairwise or transitively merely to fill a row.
7. No universal row type. A senseFamily label is not required and cannot substitute for an intensional account of what is being compared.
8. Parsimony. Keep only entries and columns that change the current answer.
9. Didactic bound. Split a row that a careful reader cannot understand in about thirty seconds.