サンドボックスは権限の判定から独立な層である

定義 8.1 の模型について次が成り立つ。ここで設定 $S = (P, H)$ は実行の間固定されていて、$H$ の外のホストへの接続が利用者の承認や権限モードによってあとから許されることは無いとする（模型の仮定。実物でこれにあたる設定は定義の直後の説明を参照）。

1. 設定 $S$ のもとで実行されたシェルコマンドの効果は、$\mathrm{Eff}_S(c) \subseteq \mathrm{Perm}(S)$ を満たす。これは、関門の判定がどんな写像であっても（すべてを許可する写像であっても）、モデルが何を出力しても成り立つ。したがって、1 回のループの実行の中でサンドボックス下で実行されたシェルコマンドの効果の合併も $\mathrm{Perm}(S)$ に含まれる。
2. サンドボックスの外で実行される呼び出しには 1 が及ばない。すなわち、$p \notin P$ であるパスについて、関門が許可すれば $\mathsf{w}(p)$ が効果を持つ呼び出しが存在する。