Verification Pulses and the Cost of Escaping Wrong Consensus

研究在异步二进制寄存器中，固定验证预算的时机与寻址方式如何影响从错误共识中恢复。对于一般非线性响应，推导出在峰值验证约束下跨越势阱边界的最小代价。有限群体的精确生灭计算给出脉冲后错误共识的概率，主渐近结果识别出临界预算窗口：主导项 $N\log(x_0/b)$ 加 $\sqrt N$ 阶修正。