再現可能なビルドとキャッシュのキー

ビルドが再現可能であるとは、同じ入力の状態 $x$ から、いつ・どの計算機で実行しても、ビット単位で同じ成果物が得られることをいう。

各タスク $t$ に、その定義の直列化 $\delta_t$（実行するコマンド、道具の版、オプションなど、$f_t$ と依存の並びを決める情報を 1 つのバイト列にしたもの）が与えられているとする。$\mathrm{enc}$ をバイト列の並びの単射な符号化、$H$ をハッシュ関数として、ストア $s$ のもとでのタスク $t$ のキャッシュのキーを

と定める。キャッシュは、キーから出力の値への対応表である。