内容を見ない方法では到達可能集合が最小

$\mathcal{V}$ を有限バイト列の全体とし、ビルドの記述の形 $(I, T, D)$（依存グラフは DAG）を固定する。変更された入力の集合 $C \subseteq I$ だけから、再実行するタスクの集合 $\rho(C) \subseteq T$ を決める規則 $\rho$ を考える。$\rho$ が、密閉的になるようなすべての $f = (f_t)_{t \in T}$ と、$\{i : x(i) \ne x'(i)\} = C$ を満たすすべての $x, x'$ について「$v_x$ から始めて入力を $x'$ に書き換え、$\rho(C)$ のタスクをトポロジカル順に実行すると $v_{x'}$ になる」を満たすならば、すべての $C$ について $\rho(C) \supseteq R$ である（$R$ は 定理 4.2 のもの）。