And at least a large state machine has the dignity to make the state + transitions explicit.

I’d much rather deal with a large state machine than something that does the same thing, but implicitly or inconsistently.