F.12:8 - Invariants

1. Exact promise. The evaluation identifies the U.PromiseContent claim, not merely an SLO label or cell.
2. Delivery-side relations. The judged delivery Work or population and the applicable A.2.3 promise-use, delivered-outcome, and fulfilment relations remain distinct from evaluation.
3. Outcome evidence. Observations and values concern the promised characteristic of that Work; outputs and approvals alone are insufficient.
4. Direct-before-proxy. When observation and measurement directly concern the promised characteristic, use C.16 and A.10 and add no proxy. A distinct indicator relation needs exact participants and a defining or testing pattern, or the result is missing-governor.
5. Window and population. Both are explicit and match the promise.
6. Evaluation Work and application. A System performs dated evaluation Work, enacts the evaluation Method, and applies the exact A.6.1 operation with recoverable inputs and result binding.
7. Declared result scale. Characteristic, scale, unit, aggregation, threshold, exclusions, and admissible result values are stated as applicable. Boolean, trichotomous, graded, N/A, and Inconclusive-including scales are examples, not defaults.
8. Status separation. Satisfied and Violated are RequirementStatus values reached only through a direct acceptance result. Inconclusive is an EvidenceStatus value unless the declared local result scale independently admits that label; insufficient evidence otherwise leaves RequirementStatus pending.
9. Optional verdict episteme. A durable C.2.1 assertion is created only for a named later use and never replaces the application result, status-use occurrence, evidence relation, or fulfilment relation.
10. Bounded reliance. A.10 supplies the descriptive evidence-provenance path and local bounded-reliance disposition; B.3 is used only for an actual named assurance claim; E.13 is used only for an optimized or decision-driving proxy.
11. Non-retroactivity. Later promise, monitor, MethodDescription edition, or interpretation changes do not silently alter past evaluations or assertions.
12. Cells are addresses only. An F.17 cell may identify local meaning but establishes none of the substantive claims above.