Vitalik Buterin’s simplified mathematical mode assumes each security‑council member has an independent 10% chance of liveness or safety failure