Stopping Under a Noisy Verifier

Wu et al.: with a noisy verifier and noisy repairer, a verify-repair loop's true quality peaks then declines while reported acceptance keeps rising; the stopping boundary b* = α/(α+β) is a property of the repairer — verifier discrimination (Youden's J) only locates you against it — and VRR-Stop acts on true marginal gain, with a keep-best fallback when J ≈ 0.