密閉性

ビルドの記述が密閉的（hermetic）であるとは、各タスク $t \in T$ に写像 $f_t : \mathcal{V}^{D(t)} \to \mathcal{V}$ があり、どのストア $s$ のもとで、いつ、どの計算機で $t$ を実行しても、$t$ に書き込まれる値が

であることをいう。ここで $s|_{D(t)}$ は $s$ の $D(t)$ への制限である。すなわち、タスクの出力は宣言された依存の現在の値だけの関数である。