giviのトップケースって共通で

1 鍵をさす→2 90°回す→3 ボタンを押す→4 パネルが飛び出して箱が開閉可能になる→5 パネルを押し戻す→6 鍵を90°逆に回す→7 鍵を抜く　が一連の使い方

鍵を90°回した状態では鍵は抜けない
鍵を抜くとボタンもパネルも動かせないから開錠もロックもできない
よってインキーはgiviでは発生しない

という認識なんだが合ってる？