CAIN-42 CAIN StudioEvidence library · family
Proof state
12 tested rules in the 'proof_state' family, 12 held.
Last reviewed 2026-10-01
12 of 12 held niche Evidence, receipts & proofs
What this family tests
Every rule the CAIN-42 test suites recorded under the family proof_state, 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 |
|---|---|---|---|
| E31-ST-PROPOSED | PROPOSED: only the declared transitions are accepted | E31 | held |
| E31-ST-EVALUATED | EVALUATED: only the declared transitions are accepted | E31 | held |
| E31-ST-AUTHORIZED | AUTHORIZED: only the declared transitions are accepted | E31 | held |
| E31-ST-COMMITTED | COMMITTED: only the declared transitions are accepted | E31 | held |
| E31-ST-EXECUTED | EXECUTED: only the declared transitions are accepted | E31 | held |
| E31-ST-VERIFIED | VERIFIED: only the declared transitions are accepted | E31 | held |
| E31-ST-PARTIALLY_VERIFIED | PARTIALLY_VERIFIED: only the declared transitions are accepted | E31 | held |
| E31-ST-REVOKED | REVOKED: only the declared transitions are accepted | E31 | held |
| E31-ST-EXPIRED | EXPIRED: only the declared transitions are accepted | E31 | held |
| E31-ST-SUPERSEDED | SUPERSEDED: only the declared transitions are accepted | E31 | held |
| E31-ST-FAILED_VERIFICATION | FAILED_VERIFICATION: only the declared transitions are accepted | E31 | held |
| E31-ST-UNKNOWN | UNKNOWN: only the declared transitions are accepted | E31 | held |
Other families in this niche
domain · moat · packet · receipt · envelope · research · certificate · supply_chain · state_machine · agency_graph · envelope_binding · telemetry · integrity · graph · proof · radar · risk · event_kind · action_binding · proof_carrying_action · ip · failure_class · status · environment_query
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