Required Determinism
Kind: invariant
Record: reasoning:invariant-deterministic-behavior-where-required
Canonical: Reasoning
Behavior is deterministic where determinism is required
Listed in Reasoning records, after Consistency Across Components and before Numerical Validity.