CAIN-42 CAIN StudioEvidence library · family
Conformance
65 tested rules in the 'conformance' family, 65 held.
Last reviewed 2026-10-01
65 of 65 held niche Policy, law & governance
What this family tests
Every rule the CAIN-42 test suites recorded under the family conformance, across 6 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-AIC-identity_binding | aic identity_binding | E27 | held |
| I-AIC-request_binding | aic request_binding | E27 | held |
| I-AIC-authority_binding | aic authority_binding | E27 | held |
| I-AIC-delegation_security | aic delegation_security | E27 | held |
| I-AIC-capability_restrictions | aic capability_restrictions | E27 | held |
| I-AIC-replay_resistance | aic replay_resistance | E27 | held |
| I-AIC-revocation | aic revocation | E27 | held |
| I-AIC-model_substitution | aic model_substitution | E27 | held |
| I-AIC-runtime_substitution | aic runtime_substitution | E27 | held |
| I-AIC-identity_continuity | aic identity_continuity | E27 | held |
| I-AIC-execution_receipts | aic execution_receipts | E27 | held |
| I-AIC-evidence_integrity | aic evidence_integrity | E27 | held |
| I-AIC-policy_enforcement | aic policy_enforcement | E27 | held |
| I-AIC-mcp_enforcement | aic mcp_enforcement | E27 | held |
| I-AIC-a2a_governance | aic a2a_governance | E27 | held |
| I-AIC-computer_use_governance | aic computer_use_governance | E27 | held |
| I-AIC-subagent_governance | aic subagent_governance | E27 | held |
| E28-I89 | the conformance runner executes every dimension against the real fabric | E28 | held |
| E31-CF-G0 | G0 (identity observed) cannot be skipped | E31 | held |
| E31-CF-G1 | G1 (identity verified) cannot be skipped | E31 | held |
| E31-CF-G2 | G2 (authority verified) cannot be skipped | E31 | held |
| E31-CF-G3 | G3 (authorization verified) cannot be skipped | E31 | held |
| E31-CF-G4 | G4 (execution boundary verified) cannot be skipped | E31 | held |
| E31-CF-G5 | G5 (proof-carrying execution) cannot be skipped | E31 | held |
| E31-CF-G6 | G6 (independent proof verification) cannot be skipped | E31 | held |
| E31-CF-G7 | G7 (continuous governance and revocation verification) cannot be skipped | E31 | held |
| E31-CF-G8 | G8 (end-to-end governed execution with verified postconditions) cannot be skipped | E31 | held |
| E34-PROFILE-agent | profile agent is defined | E34 | held |
| E34-PROFILE-model_runtime | profile model_runtime is defined | E34 | held |
| E34-PROFILE-tool | profile tool is defined | E34 | held |
| E34-PROFILE-mcp_server | profile mcp_server is defined | E34 | held |
| E34-PROFILE-a2a_agent | profile a2a_agent is defined | E34 | held |
| E34-PROFILE-gateway | profile gateway is defined | E34 | held |
| E34-PROFILE-sidecar | profile sidecar is defined | E34 | held |
| E34-PROFILE-organization | profile organization is defined | E34 | held |
| E34-PROFILE-transaction | profile transaction is defined | E34 | held |
| E34-PROFILE-physical_system | profile physical_system is defined | E34 | held |
| E34-PROFILE-computer_use_runtime | profile computer_use_runtime is defined | E34 | held |
| E34-PROFILE-research_agent | profile research_agent is defined | E34 | held |
| E34-PROFILE-self_improving_agent | profile self_improving_agent is defined | E34 | held |
| E34-LEVEL-G0 | level G0 means UNKNOWN | E34 | held |
| E34-LEVEL-G1 | level G1 means OBSERVED | E34 | held |
| E34-LEVEL-G2 | level G2 means IDENTIFIED | E34 | held |
| E34-LEVEL-G3 | level G3 means AUTHORIZED | E34 | held |
| E34-LEVEL-G4 | level G4 means ENFORCED | E34 | held |
| E34-LEVEL-G5 | level G5 means PROOF-CARRYING | E34 | held |
| E34-LEVEL-G6 | level G6 means INDEPENDENTLY VERIFIABLE | E34 | held |
| E34-LEVEL-G7 | level G7 means FEDERATED GOVERNANCE | E34 | held |
| conformance | every 'conformance' invariant in this bundle (11 of 11 held) | E38 | held |
| E41-LIFECYCLE-DISCOVER | lifecycle step DISCOVER exists | E41 | held |
| E41-LIFECYCLE-IDENTIFY | lifecycle step IDENTIFY exists | E41 | held |
| E41-LIFECYCLE-ATTEST | lifecycle step ATTEST exists | E41 | held |
| E41-LIFECYCLE-ASSESS | lifecycle step ASSESS exists | E41 | held |
| E41-LIFECYCLE-NEGOTIATE | lifecycle step NEGOTIATE exists | E41 | held |
| E41-LIFECYCLE-CONTRACT | lifecycle step CONTRACT exists | E41 | held |
| E41-LIFECYCLE-DELEGATE | lifecycle step DELEGATE exists | E41 | held |
| E41-LIFECYCLE-AUTHORIZE | lifecycle step AUTHORIZE exists | E41 | held |
| E41-LIFECYCLE-EXECUTE | lifecycle step EXECUTE exists | E41 | held |
| E41-LIFECYCLE-OBSERVE | lifecycle step OBSERVE exists | E41 | held |
| E41-LIFECYCLE-VERIFY | lifecycle step VERIFY exists | E41 | held |
| E41-LIFECYCLE-SETTLE | lifecycle step SETTLE exists | E41 | held |
| E41-LIFECYCLE-RECORD | lifecycle step RECORD exists | E41 | held |
| E41-LIFECYCLE-LEARN | lifecycle step LEARN exists | E41 | held |
| E41-LIFECYCLE-REASSESS | lifecycle step REASSESS exists | E41 | held |
| E41-LIFECYCLE-REVOKE_RENEW_ESCALATE | lifecycle step REVOKE_RENEW_ESCALATE exists | E41 | held |
Other families in this niche
law · moat · action · state_machine · laws · policy_distribution · governance_cloud · telemetry · fabric_component · integrity · graph · risk · obligation · governance_os · swe · operation_state · ip · environment_query · reassessment · enforcement_binding · profile · swarm · research_to_implementation · out_of_band
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