(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 n...
Liveness of exit relies on 1 of n operators, but fraud proof lacks 1 of n honesty assumption, a design flaw.