っていうか

ステートの遷移時に正しくない遷移先を指定したら、エラーを投げるべきなのでは…。
ガード条件はその前にチェックするのだから、あとは「ガード条件に合って、サポートしてない状態に落ちる」ようなtransitionsの定義がまずいような気がするのだが、どうだろう。