# Correct State Evolution

> State evolves correctly

Record: `reason:invariant-correct-state-evolution`
Kind: invariant
Canonical: https://banes-lab.com/ontology/reasoning#reason-invariant-correct-state-evolution

## surfaces

- [functional-correctness](https://banes-lab.com/records/reason/test-surface-functional-correctness.md)

## referenced-by

- [Functional Correctness](https://banes-lab.com/records/reason/test-surface-functional-correctness.md)