In stage 1, a security council can override with approval of 75% (at least 6 of 8). Meanwhile, in stage 2, the security council can only act in case of provable bugs. Provable bugs could be two redundant proof systems, like the OP and ZK.