CAIN-42 CAIN StudioEvidence library · family
Finality
12 tested rules in the 'finality' family, 12 held.
Last reviewed 2026-10-01
12 of 12 held niche Consensus & distributed systems
What this family tests
Every rule the CAIN-42 test suites recorded under the family finality, across 1 evidence bundle. Each rule links to its own page with the recorded result and an in-browser check of the file it came from.
| ID | Rule | Bundle | Result |
|---|---|---|---|
| I-FINALITY-order | finality advances in order | E26 | held |
| I-FINALITY-skip | out-of-order refused | E26 | held |
| I-FINALITY-distinct | authorization/execution/outcome distinct | E26 | held |
| I-ABE-valid | bound execution finalizes | E26 | held |
| I-ABE-invalid | violated condition is INVALID | E26 | held |
| I-ABE-missing | missing binding is INVALID | E26 | held |
| I-ABE-required-authorization_id | missing authorization_id invalid | E26 | held |
| I-ABE-required-transaction_id | missing transaction_id invalid | E26 | held |
| I-ABE-required-agent_instance | missing agent_instance invalid | E26 | held |
| I-ABE-required-runtime_binding | missing runtime_binding invalid | E26 | held |
| I-ABE-required-receipt_hash | missing receipt_hash invalid | E26 | held |
| I-ABE-required-evidence_root | missing evidence_root invalid | E26 | held |
Other families in this niche
research · clock · environment_query · reassessment · fork · time · epoch · partition · quorum · temporal_fence · freshness
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