CAIN-42 MCPGateCAIN-42 live multi-region cluster
This is the running cain-mr-01 PBFT cluster: 4 replicas on 3 hosts in 3 regions (Atlanta, Los Angeles ×2, Miami), n=4, f=1, quorum 3. The replicas talk over an encrypted WireGuard mesh. Every number and certificate below comes from the live replicas right now. Your browser checks each Ed25519 signature against the members' public keys, so you don't have to trust this server or its operator.
Live status (refreshes every 5 s)
Verify a decision on all four replicas
Fetches the COMMIT and PREPARE quorum certificates for one sequence from every replica, verifies every vote signature, and checks that all four replicas hold the same decision.
or sequenceContinuous audit
Keeps picking random decisions from the cluster's history and re-verifying them on all four replicas until you stop it. You can leave it running.
Walk the whole decision chain
Folds decision_hash(seq) = H(cluster, epoch, seq, digest, parent) from genesis to the head on one replica. Each COMMIT certificate must verify and continue the previous link.
Tamper lab
The box holds the last real certificate you verified. Pick an attack, or edit the JSON yourself, and see whether verification catches it. A verifier that accepted everything would be worthless. Try to get a modified certificate accepted.
What this placement survives
Computed from the actual replica placement, not asserted. It shows how many losses of each failure domain progress survives in the worst case, and which single losses stop it. Crashes never break safety: below a quorum, the cluster refuses to commit.
Membership
Recorded fault-injection run on this cluster
We stopped real replicas on their real hosts: Miami down, one Los Angeles replica down, the whole Los Angeles host down (must refuse to commit), and Atlanta plus the primary down (view change). Every resulting certificate is in a signed-vote bundle that you can verify offline with ~400 lines of Python that import nothing from CAIN: