権限モードつきの判定（3 つのモード）

$\mathrm{Rd} \subseteq Q$ を読み取りの呼び出しの集合、$\mathrm{Ed} \subseteq Q$ をファイルの編集と一般的なファイルシステムのコマンドの呼び出しの集合とする。モード $\mu \in \{\mathtt{default}, \mathtt{acceptEdits}, \mathtt{bypassPermissions}\}$ に対して、モードが自動で承認する集合を

と定める。規則集合 $R$ とモード $\mu$ に対する最終の判定 $D_{\mu, R} : Q \to \{\mathrm{block}, \mathrm{prompt}, \mathrm{run}\}$ を、次の順に調べて最初に当てはまるもので定める。

1. $q \in \mathrm{Mat}_{\mathrm{deny}}(R)$ ならば $\mathrm{block}$（実行しない）。
2. $q \in \mathrm{Mat}_{\mathrm{ask}}(R)$ ならば $\mathrm{prompt}$（利用者に確認する）。
3. $q \in \mathrm{Auto}(\mu)$ ならば $\mathrm{run}$（確認なしで実行する）。
4. $q \in \mathrm{Mat}_{\mathrm{allow}}(R)$ ならば $\mathrm{run}$。
5. それ以外は $\mathrm{prompt}$。