# CAIN-42 BFT conformance report

| vector | name | engine | clean-room |
|---|---|---|---|
| BFT-TV-01 | normal consensus | PASS | SAFE (12 certs) |
| BFT-TV-02 | duplicate requests | PASS | SAFE (4 certs) |
| BFT-TV-03 | conflicting requests | PASS | SAFE (8 certs) |
| BFT-TV-04 | invalid signature | PASS | SAFE (0 certs) |
| BFT-TV-05 | invalid digest | PASS | SAFE (0 certs) |
| BFT-TV-06 | Byzantine primary (equivocating PRE_PREPARE) | PASS | SAFE (0 certs) |
| BFT-TV-07 | Byzantine replica (COMMIT for unproposed digest) | PASS | SAFE (3 certs) |
| BFT-TV-08 | equivocation (two PREPAREs, same view/seq) | PASS | SAFE (0 certs) |
| BFT-TV-09 | message replay | PASS | SAFE (4 certs) |
| BFT-TV-10 | message delay | PASS | SAFE (12 certs) |
| BFT-TV-11 | message reorder | PASS | SAFE (16 certs) |
| BFT-TV-12 | message duplication | PASS | SAFE (16 certs) |
| BFT-TV-13 | network partition (1|3) | PASS | SAFE (8 certs) |
| BFT-TV-14 | view change (primary crash) | PASS | SAFE (6 certs) |
| BFT-TV-15 | checkpoint | PASS | SAFE (44 certs) |
| BFT-TV-16 | state recovery (WAL) | PASS | SAFE (12 certs) |
| BFT-TV-17 | replica restart + catch-up | PASS | SAFE (16 certs) |
| BFT-TV-18 | membership change / non-member | PASS | SAFE (0 certs) |
| BFT-TV-19 | stale state (old-view proposal) | PASS | SAFE (4 certs) |
| BFT-TV-20 | conflicting state (state transfer) | PASS | SAFE (8 certs) |

Governance coupling:
- GOV-BFT-01 PASS: BFT commit -> authorization -> permit
- GOV-BFT-02 PASS: no quorum (2 of 4 down) -> no authorization
- GOV-BFT-03 PASS: one replica serves a tampered commit certificate
- GOV-BFT-04 PASS: replica lies 'COMMITTED' (certificate is for another operation)
- GOV-BFT-05 PASS: non-permit decision: consensus deferred
- GOV-BFT-06 PASS: quorum-committed authorization snapshot -> local permit
- GOV-BFT-07 PASS: cluster outage: snapshot keeps authorizing until TTL, then stops
- GOV-BFT-09 PASS: identity change -> snapshot stale
- GOV-BFT-08 PASS: revocation during outage -> no authorization
- GOV-BFT-10 PASS: replicas order commitments; they do not re-evaluate governance