ブロックするフックの保証と、失敗時の向き

定義 4.2 の規則を模型として置く。あるツール呼び出し $(n, x)$ について、マッチャが $n$ にマッチする PreToolUse のコマンドのフック $H$ が登録され、実行されるとする。ツールの判定に介入する mod（後述）は導入されていないとする。

1. $H$ の帰結がブロックするエラーなら、$(n, x)$ は実行されない。これは、権限規則の集合、権限モード、他のフックの決定に依らない。
2. 危険とみなす呼び出しの集合を $\mathrm{Bad}$ とし、$H$ は「$(n, x) \in \mathrm{Bad}$ ならブロックするエラーで終わる」ように書かれたプログラムとする。ところが、ある $(n, x) \in \mathrm{Bad}$ で $H$ が異常終了（ブロックしないエラー）したとする。onFailure が "continue"（既定）なら、$(n, x)$ は止められず、権限の判定に進む（fail-open）。"block" なら、$(n, x)$ は実行されない（fail-closed）。
3. したがって「$\mathrm{Bad}$ の呼び出しは実行されない」という保証が成り立つための $H$ への要求は、fail-open では「$\mathrm{Bad}$ のすべての入力で、ブロックするエラーで正しく終わる」こと、fail-closed では「$\mathrm{Bad}$ のすべての入力で、成功の帰結にならない」ことである。後者は前者より弱い。