Drive a match through a formal state machine. Illegal actions are rejected with a rule citation before state mutates.