フックの決定と権限規則の合成

フックの決定の集合を $H = \{\mathrm{deny}, \mathrm{ask}, \mathrm{allow}, \bot\}$ とし、順序 $\mathrm{deny} \succ \mathrm{ask} \succ \mathrm{allow} \succ \bot$ を入れる（$\bot$ は決定なし。終了コード 2 による中止は $\mathrm{deny}$ に含める。defer は扱わない）。呼び出し $q$ に対して複数のフックが決定 $\eta_1, \ldots, \eta_k$ を返したとき、合成したフックの決定を、この順序での最大元 $\eta = \max(\eta_1, \ldots, \eta_k)$ とする（フックが無ければ $\bot$）。フックの決定 $\eta$、規則集合 $R$、モード $\mu$ に対する判定 $C_{\mu,R}(\eta, q)$ を、次の順に調べて最初に当てはまるもので定める。

1. $\eta = \mathrm{deny}$ ならば $\mathrm{block}$。
2. $q \in \mathrm{Mat}_{\mathrm{deny}}(R)$ ならば $\mathrm{block}$。
3. $q \in \mathrm{Mat}_{\mathrm{ask}}(R)$ ならば $\mathrm{prompt}$。
4. $\eta = \mathrm{ask}$ ならば $\mathrm{prompt}$。
5. $\eta = \mathrm{allow}$ ならば $\mathrm{run}$。
6. それ以外（$\eta = \bot$）は $D_{\mu,R}(q)$（定義 6.1）。