F.0.1:4.6 - Invariants

1. Every load-bearing local meaning has a recoverable source, edition, and passage.
2. A plain source-backed statement may be the complete result.
3. A SchemeSenseCell is created only for a named durable use and keeps scheme, expression, and claim distinct.
4. A basis relation is stated only when it obtains; reliance and assurance remain separate.
5. Different local meanings remain distinct unless an exact relation between them is established.
6. Designed and performed readings do not become identical through shared wording.
7. A changed edition, passage, or relation reopens only claims and uses that relied on the changed premise.
8. Historical artifacts remain historical; current recovery does not require corpus-wide relabelling.