# Exhaustive State Reasoning

> The ability to enumerate and reason about every state a system can occupy and every transition between them.

Record: `lex:exhaustive-state-reasoning`
Kind: capability
Layer: [Design Patterns Core](https://banes-lab.com/records/layer/design-patterns-core.md)
Canonical: https://banes-lab.com/ontology/lexicon#lex-exhaustive-state-reasoning

## category

- [Behavioral Patterns](https://banes-lab.com/records/lex-category/behavioral-patterns.md)

## referenced-by

- [Finite State Machine](https://banes-lab.com/records/arch/finite-state-machine.md)