ATMの「アイドル」状態で「カード挿入」イベントが発生すると「PIN入力待ち」に遷移する。この遷移が仕様書にない場合、これは何と呼ばれるか。

仕様書に記載されていない遷移が存在する場合、それは実装上の誤り(バグ)か、仕様漏れの可能性がある。