docs/STATE_MODEL.md