Graph-based state machines

This note is under construction — the full write-up is coming soon.