Link to current text
F.15:3 - Forces
| Force | Tension to resolve |
| Parsimony versus coverage | Keep the finite scope and triggered rules small while preserving every live distinction. |
| Locality versus reuse | Interpret each local sense under an exact scheme while allowing a separately established Bridge and bounded-use claim when cross-local use is current. |
| Stability versus change | Recover exact earlier and later objects without treating spelling, ids, table position, or edition labels as continuity evidence. |
| Clarity versus ontology | Keep the harness teachable without minting universal scope, frame, check, result, evidence, or context kinds. |
| Composition versus defining rules | Check a combined slice without replacing the rules in F.4, F.9, F.10, F.17, F.18, C.2.1, A.10, A.15.1, or E.24.PUB that define or test its members. |