# Valid State Transitions

> State transitions are valid

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

## surfaces

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

## referenced-by

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