F.16:6 - Invariants

1. Claim first. The example states one recognizable claim and practical gain before its architecture.
2. Actual subjects. World, claim, evidence, status, and use assertions attach to actual values, not lexical cells or rows.
3. Direct relations. Every substantive relation cites the pattern that defines or tests it; F.9 is conditional on a real local-meaning relation, and the word proxy never supplies an indicator relation.
4. Optional aids. F.17 cells and F.7 tables appear only when they reduce reader effort and remain evidentially inert.
5. Source precision. Source and edition and the effective scheme are explicit where wording or interpretation changes the claim.
6. Temporal honesty. MethodDescription, Work, observation, and output remain distinct; windows are stated when they change the result.
7. Agency precision. Every asserted dated Work uses the performer’s recovered A.13 core and independent A.15.1 admission. The core includes its obtaining assignment; add F.6 only when the worked claim needs precise assignment-bound attribution. Recover a separately needed local-kind or description claim under its own rule.
8. Evidence, evaluation, and boundary. The page shows why the claim is supported; when evaluation occurs, it keeps evaluation Work, operation result, declared scale, EvidenceStatus, RequirementStatus, and optional verdict episteme distinct; and it states what none of them establishes.
9. Didactic parsimony. Every item changes the worked answer; optional machinery is omitted when it does not.