P2 · 行为构筑

先选规则,再处理同一漂移事故

目标:围住漂移目标并在故障前提交。选择会改变一次拖动影响几个节点、提交读取哪个时刻、或维修后的故障顺序;每项都有代价。

构筑选择(选择前冻结)

状态: · 构筑: · 帧:

真实动作

当前故障: · 下一故障:

BuildSnapshot

查看 P2 证据