CAIN-42 CAIN StudioCAIN-42 claim
CLM-13-01
N=4, f=1 satisfies inequality 3f+1 <= N; quorum intersection Q >= 2f+1=3 mathematically guarantees quorum overlap >= f+1.
Last reviewed 2026-10-01
VALIDATED
The claim
N=4, f=1 satisfies inequality 3f+1 <= N; quorum intersection Q >= 2f+1=3 mathematically guarantees quorum overlap >= f+1.
Level VALIDATED is how far the evidence goes: TESTED means a test suite exercised it, LIVE means it was observed on the hosted system. Nothing is claimed beyond its level.
| status | VALIDATED |
|---|---|
| verification method | analytic_bft_inequality_proof |
From v13.
Try CAIN-42 on your own agents
Create a free account and every new account starts with a 7-day trial of the full platform. Or try the sandbox first, with no account at all.
Create a free account → · Try the sandbox · See the whole ecosystem