(trying a second time.. sorry if this answer repeats)
It's 1 of n operators for *liveness* of exit. But the 1 of n honesty is only on the signing committee at setup, for covenant emulation. There's no 1 of n honesty assumption in the fraud proof part, in bitvm2 (otherwise you could ditch all the ma...