Correct State Evolution

Kind: invariant

Record: reasoning:invariant-correct-state-evolution

Canonical: Reasoning

State evolves correctly

Listed in Reasoning records, after Correct Outputs and before Valid State Transitions.

Surfaces

• functional-correctness

Linked from

• The test surfaces