CAIN-42 CAIN StudioEvidence library · family
State machine
36 tested rules in the 'state_machine' family, 36 held.
Last reviewed 2026-10-01
36 of 36 held niche Core guarantees
What this family tests
Every rule the CAIN-42 test suites recorded under the family state_machine, across 2 evidence bundles. 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-TX-IDENTIFIED | CREATED->IDENTIFIED | E25 | held |
| I-TX-PROVENANCE_VERIFIED | CREATED->PROVENANCE_VERIFIED refused | E25 | held |
| I-TX-INTENT_RECEIVED | CREATED->INTENT_RECEIVED refused | E25 | held |
| I-TX-CAPABILITY_RESOLVED | CREATED->CAPABILITY_RESOLVED refused | E25 | held |
| I-TX-DELEGATION_RESOLVED | CREATED->DELEGATION_RESOLVED refused | E25 | held |
| I-TX-AUTHORITY_RESOLVED | CREATED->AUTHORITY_RESOLVED refused | E25 | held |
| I-TX-POLICY_EVALUATED | CREATED->POLICY_EVALUATED refused | E25 | held |
| I-TX-RISK_EVALUATED | CREATED->RISK_EVALUATED refused | E25 | held |
| I-TX-AUTHORIZATION_PENDING | CREATED->AUTHORIZATION_PENDING refused | E25 | held |
| I-TX-AUTHORIZED | CREATED->AUTHORIZED refused | E25 | held |
| I-TX-EXECUTION_PREPARED | CREATED->EXECUTION_PREPARED refused | E25 | held |
| I-TX-EXECUTING | CREATED->EXECUTING refused | E25 | held |
| I-TX-EXECUTED | CREATED->EXECUTED refused | E25 | held |
| I-TX-OUTCOME_RECORDED | CREATED->OUTCOME_RECORDED refused | E25 | held |
| I-TX-EVIDENCE_COMMITTED | CREATED->EVIDENCE_COMMITTED refused | E25 | held |
| I-TX-REVOKED | CREATED->REVOKED | E25 | held |
| I-TX-ABORTED | CREATED->ABORTED | E25 | held |
| I-TX-ROLLED_BACK | CREATED->ROLLED_BACK refused | E25 | held |
| I-TX-EXPIRED | CREATED->EXPIRED | E25 | held |
| I-TX-QUARANTINED | CREATED->QUARANTINED | E25 | held |
| I-TX-DISPUTED | CREATED->DISPUTED refused | E25 | held |
| I-TX-SUPERSEDED | CREATED->SUPERSEDED refused | E25 | held |
| I-TX-AUTH-agent-d | AUTHORIZED only by engine+allow | E25 | held |
| I-TX-AUTH-engine-empty | AUTHORIZED only by engine+allow | E25 | held |
| I-TX-AUTH-engine-notallowed | AUTHORIZED only by engine+allow | E25 | held |
| E30-STATE-REGISTERED | only the listed states reach REGISTERED, by the listed actor | E30 | held |
| E30-STATE-IDENTIFIED | only the listed states reach IDENTIFIED, by the listed actor | E30 | held |
| E30-STATE-ATTESTED | only the listed states reach ATTESTED, by the listed actor | E30 | held |
| E30-STATE-GOVERNED | only the listed states reach GOVERNED, by the listed actor | E30 | held |
| E30-STATE-AUTHORIZED | only the listed states reach AUTHORIZED, by the listed actor | E30 | held |
| E30-STATE-EXECUTING | only the listed states reach EXECUTING, by the listed actor | E30 | held |
| E30-STATE-DEGRADED | only the listed states reach DEGRADED, by the listed actor | E30 | held |
| E30-STATE-QUARANTINED | only the listed states reach QUARANTINED, by the listed actor | E30 | held |
| E30-STATE-REVOKED | only the listed states reach REVOKED, by the listed actor | E30 | held |
| E30-STATE-RECOVERING | only the listed states reach RECOVERING, by the listed actor | E30 | held |
| E30-STATE-RETIRED | only the listed states reach RETIRED, by the listed actor | E30 | held |
Other families in this niche
moat · action · research · agency_graph · relationship · telemetry · fabric_component · integrity · operation_kind · graph · radar · risk · swe · operation_state · cross_domain · status · environment_query · reassessment · profile · swarm · research_to_implementation · plan_check_act · r2e · hardware
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