Numerical Validity

Kind: invariant

Record: reasoning:invariant-numerical-validity

Canonical: Reasoning

Numerical results are valid

Listed in Reasoning records, after Required Determinism and before Security Boundaries.

Surfaces

• numerical-correctness

Linked from

• The test surfaces