LoopHarness with mediated commits and arbiter detection floor can bound expected unauthorized irreversible actions to a constant independent of horizon N, with part of the bound surviving fully colluding verifiers.

Under mediated commits and an arbiter detection floor $δ_M$, it bounds the expected number of unauthorized irreversible actions by $B+m-1+m/δ_M$, a constant in $N$, of which the $B+m-1$ term is decided by a model-free rule and therefore survives a fully colluding verifier

http://arxiv.org/abs/2608.27141v1