实现三轮有限分片计算，采用独立候选数组与阶段提交边界，注入中途失败验证不会采用半轮结果，并处理提交拒绝、超时与取消。

运行动态参与者实验，观察三方中的一方注销后仍需协调者到达，区分arrive、await、注销、终止和异常退出资格。