実行記録

1 回の実行の実行記録（manifest）とは、次の項目を 1 つのファイルにまとめたものである。

• 設定 $\theta$ の全体と乱数種 $\sigma$
• コードの版（コミットの識別子）
• 環境 $\eta$（処理系とライブラリの版、機種）
• 入力 $x$ の内容ハッシュと、出力 $y$ の内容ハッシュ
• 開始と終了の時刻