github.com/blackwell-systems/gsm

Governed state machines with build-time convergence verification. Process events in any order, get the same valid state. O(1) runtime via precomputed table lookup.