CAIN-42 CAIN StudioEvidence library · niche
Tools, MCP, protocols & adapters
How agents reach tools, APIs and each other, safely. 684 tested invariants.
Last reviewed 2026-10-01
684 of 684 held
Test families in this niche
adapter (270) · protocol_domain (56) · discovery (36) · abi (28) · interchange (28) · universal_action (20) · routing (19) · sdk (19) · gateway (19) · gip_carrier (16) · channel (14) · overlay_protocol (13) · uact (12) · route (12) · runtime_adapter (12) · agency_graph (12) · runtime_swap (9) · message_class (9) · runtime_binding (8) · protocol_conformance (8) · operation_kind (8) · edge (6) · abi_error (5) · action (5) · carrier (3) · radar (3) · telemetry (2) · moat (2) · competitive_gap (2) · risk (1) · translation (1) · out_of_band (1) · reassessment (1) · integrity (1) · developer (1) · gap_detector (1) · ip (1) · lab (1) · physical_hybrid (1) · protocol (1)
Where these come from
- CAIN-42 Evolution 25 -- Universal Machine Agency Fabric: 270
- CAIN-42 Evolution 33 -- Governed Agentic Operating Fabric: 109
- CAIN-42 Evolution 35 -- Continuous Governance Intelligence Fabric: 63
- CAIN-42 Evolution 34 -- Proof-Carrying Machine Agency: 40
- CAIN-42 Evolution 27 -- Agentic Internet Control Plane: 36
- CAIN-42 Evolution 31 -- Universal Proof-of-Governance Fabric: 24
- CAIN-42 Evolution 26 -- Universal Machine Agency Trust Fabric: 23
- CAIN-42 Evolution 32 -- Governed Autonomy Learning Fabric: 22
- CAIN-42 Evolution 30 -- Governed Machine Autonomy Fabric: 21
- CAIN-42 Evolution 42 -- Supreme Governed Agentic Infrastructure Platform: 19
- CAIN-42 Evolution 41 -- Machine Agency Exchange Fabric: 18
- CAIN-42 Evolution 36 -- Machine Agency Exchange Fabric: 16
- CAIN-42 Evolution 24 -- Governed Agentic Internet Fabric: 7
- CAIN-42 Evolution 21 -- Governed Open-Ended Intelligence Fabric: 5
- CAIN-42 Evolution 23 -- Governed Meta-Intelligence Fabric: 3
- CAIN-42 Evolution 28 -- Portable Machine Agency & Execution Identity: 3
- CAIN-42 Evolution 38 -- Portable Proof-Carrying Machine Agency: 2
- CAIN-42 Evolution 19 -- Governed Autonomy Operating Fabric: 1
- CAIN-42 Evolution 20 -- Governed Agentic Civilization Fabric: 1
- CAIN-42 Evolution 39 -- Governed Agent Factory: 1
Rules 451–600 of 684
| ID | Rule | Bundle | Result |
|---|---|---|---|
| E33-MSGCLASS-informational | a informational message grants no authority | E33 | held |
| E33-MSGCLASS-evidentiary | a evidentiary message grants no authority | E33 | held |
| E33-MSGCLASS-instructional | a instructional message grants no authority | E33 | held |
| E33-MSGCLASS-delegated | a delegated message grants no authority | E33 | held |
| E33-MSGCLASS-negotiated | a negotiated message grants no authority | E33 | held |
| E33-MSGCLASS-contractual | a contractual message grants no authority | E33 | held |
| E33-MSGCLASS-authorization_related | a authorization_related message grants no authority | E33 | held |
| E33-MSGCLASS-security_sensitive | a security_sensitive message grants no authority | E33 | held |
| E33-MSGCLASS-policy_sensitive | a policy_sensitive message grants no authority | E33 | held |
| E33-ABI-identify | ABI identify fails closed on malformed/forged/unknown input | E33 | held |
| E33-ABI-authorize | ABI authorize fails closed on malformed/forged/unknown input | E33 | held |
| E33-ABI-check_capability | ABI check_capability fails closed on malformed/forged/unknown input | E33 | held |
| E33-ABI-evaluate_risk | ABI evaluate_risk fails closed on malformed/forged/unknown input | E33 | held |
| E33-ABI-request_execution | ABI request_execution fails closed on malformed/forged/unknown input | E33 | held |
| E33-ABI-produce_proof | ABI produce_proof fails closed on malformed/forged/unknown input | E33 | held |
| E33-ABI-verify_proof | ABI verify_proof fails closed on malformed/forged/unknown input | E33 | held |
| E33-ABI-record_evidence | ABI record_evidence fails closed on malformed/forged/unknown input | E33 | held |
| E33-ABI-revoke | ABI revoke fails closed on malformed/forged/unknown input | E33 | held |
| E33-ABI-replay | ABI replay fails closed on malformed/forged/unknown input | E33 | held |
| E33-ABI-conform | ABI conform fails closed on malformed/forged/unknown input | E33 | held |
| E33-ABI-recover | ABI recover fails closed on malformed/forged/unknown input | E33 | held |
| E33-ABI-delegate | ABI delegate fails closed on malformed/forged/unknown input | E33 | held |
| E33-ABI-commit | ABI commit fails closed on malformed/forged/unknown input | E33 | held |
| E33-ABIERR-ABI_VERSION_UNSUPPORTED | ABI_VERSION_UNSUPPORTED is returned, never an allow | E33 | held |
| E33-ABIERR-ABI_OP_UNKNOWN | ABI_OP_UNKNOWN is returned, never an allow | E33 | held |
| E33-ABIERR-ABI_ARGUMENT_MISSING | ABI_ARGUMENT_MISSING is returned, never an allow | E33 | held |
| E33-ABIERR-ABI_MALFORMED | ABI_MALFORMED is returned, never an allow | E33 | held |
| E33-ABIERR-ABI_UNAUTHENTICATED | ABI_UNAUTHENTICATED is returned, never an allow | E33 | held |
| E33-RUNTIME-generic_llm_agent | generic_llm_agent is classified ENFORCED with a stated basis | E33 | held |
| E33-RUNTIME-mcp_agent | mcp_agent is classified ENFORCED with a stated basis | E33 | held |
| E33-RUNTIME-a2a_agent | a2a_agent is classified ENFORCED with a stated basis | E33 | held |
| E33-RUNTIME-coding_agent | coding_agent is classified PARTIAL with a stated basis | E33 | held |
| E33-RUNTIME-browser_agent | browser_agent is classified PARTIAL with a stated basis | E33 | held |
| E33-RUNTIME-computer_use_agent | computer_use_agent is classified PARTIAL with a stated basis | E33 | held |
| E33-RUNTIME-workflow_agent | workflow_agent is classified UNKNOWN with a stated basis | E33 | held |
| E33-RUNTIME-multi_agent_system | multi_agent_system is classified PARTIAL with a stated basis | E33 | held |
| E33-RUNTIME-research_agent | research_agent is classified SIMULATED with a stated basis | E33 | held |
| E33-RUNTIME-physical_robotic_system | physical_robotic_system is classified UNKNOWN with a stated basis | E33 | held |
| E33-RUNTIME-enterprise_automation | enterprise_automation is classified UNKNOWN with a stated basis | E33 | held |
| E33-RUNTIME-cloud_agent | cloud_agent is classified PARTIAL with a stated basis | E33 | held |
| E33-SDK-identify | SDK identify is a signed ABI call | E33 | held |
| E33-SDK-authorize | SDK authorize is a signed ABI call | E33 | held |
| E33-SDK-check_capability | SDK check_capability is a signed ABI call | E33 | held |
| E33-SDK-evaluate_risk | SDK evaluate_risk is a signed ABI call | E33 | held |
| E33-SDK-request_execution | SDK request_execution is a signed ABI call | E33 | held |
| E33-SDK-commit | SDK commit is a signed ABI call | E33 | held |
| E33-SDK-produce_proof | SDK produce_proof is a signed ABI call | E33 | held |
| E33-SDK-verify_proof | SDK verify_proof is a signed ABI call | E33 | held |
| E33-SDK-record_evidence | SDK record_evidence is a signed ABI call | E33 | held |
| E33-SDK-revoke | SDK revoke is a signed ABI call | E33 | held |
| E33-SDK-delegate | SDK delegate is a signed ABI call | E33 | held |
| E33-SDK-replay | SDK replay is a signed ABI call | E33 | held |
| E33-SDK-conform | SDK conform is a signed ABI call | E33 | held |
| E33-SDK-recover | SDK recover is a signed ABI call | E33 | held |
| E33-GATEWAY-mcp | gateway surface mcp states its real status | E33 | held |
| E33-GATEWAY-a2a | gateway surface a2a states its real status | E33 | held |
| E33-GATEWAY-http | gateway surface http states its real status | E33 | held |
| E33-GATEWAY-api | gateway surface api states its real status | E33 | held |
| E33-GATEWAY-tools | gateway surface tools states its real status | E33 | held |
| E33-GATEWAY-browser | gateway surface browser states its real status | E33 | held |
| E33-GATEWAY-computer_use | gateway surface computer_use states its real status | E33 | held |
| E33-GATEWAY-cloud | gateway surface cloud states its real status | E33 | held |
| E33-GATEWAY-code | gateway surface code states its real status | E33 | held |
| E33-GATEWAY-databases | gateway surface databases states its real status | E33 | held |
| E33-GATEWAY-financial_systems | gateway surface financial_systems states its real status | E33 | held |
| E33-GATEWAY-physical_interfaces | gateway surface physical_interfaces states its real status | E33 | held |
| E33-DISCOVERY-policy | policy discovery records must be signed | E33 | held |
| E33-DISCOVERY-identity | identity discovery records must be signed | E33 | held |
| E33-DISCOVERY-verification | verification discovery records must be signed | E33 | held |
| E33-DISCOVERY-proof | proof discovery records must be signed | E33 | held |
| E33-DISCOVERY-conformance | conformance discovery records must be signed | E33 | held |
| E33-DISCOVERY-trust_domain | trust_domain discovery records must be signed | E33 | held |
| E33-DISCOVERY-enforcement_boundary | enforcement_boundary discovery records must be signed | E33 | held |
| E33-DISCOVERY-incident | incident discovery records must be signed | E33 | held |
| E33-GAP-unknown_channel | the gap detector knows unknown_channel | E33 | held |
| E34-PROTOCOL-mcp | protocol mcp is classified SUPPORTED with a basis | E34 | held |
| E34-PROTOCOL-a2a | protocol a2a is classified SUPPORTED with a basis | E34 | held |
| E34-PROTOCOL-http | protocol http is classified SUPPORTED with a basis | E34 | held |
| E34-PROTOCOL-rest | protocol rest is classified SUPPORTED with a basis | E34 | held |
| E34-PROTOCOL-grpc | protocol grpc is classified SUPPORTED with a basis | E34 | held |
| E34-PROTOCOL-websocket | protocol websocket is classified SUPPORTED with a basis | E34 | held |
| E34-PROTOCOL-event_bus | protocol event_bus is classified SUPPORTED with a basis | E34 | held |
| E34-PROTOCOL-cli | protocol cli is classified SUPPORTED with a basis | E34 | held |
| E34-PROTOCOL-local_ipc | protocol local_ipc is classified PARTIALLY_SUPPORTED with a basis | E34 | held |
| E34-PROTOCOL-cloud_api | protocol cloud_api is classified PARTIALLY_SUPPORTED with a basis | E34 | held |
| E34-PROTOCOL-browser | protocol browser is classified PARTIALLY_SUPPORTED with a basis | E34 | held |
| E34-PROTOCOL-computer_use | protocol computer_use is classified PARTIALLY_SUPPORTED with a basis | E34 | held |
| E34-PROTOCOL-physical | protocol physical is classified UNSUPPORTED with a basis | E34 | held |
| E34-PROTOCOL-unknown_transport | protocol unknown_transport is classified UNKNOWN with a basis | E34 | held |
| E34-SDK-python | SDK target python states its real status | E34 | held |
| E34-SDK-typescript | SDK target typescript states its real status | E34 | held |
| E34-SDK-go | SDK target go states its real status | E34 | held |
| E34-SDK-rest | SDK target rest states its real status | E34 | held |
| E34-SDK-grpc | SDK target grpc states its real status | E34 | held |
| E34-GATEWAY-MCP | gateway surface MCP states its real status | E34 | held |
| E34-GATEWAY-A2A | gateway surface A2A states its real status | E34 | held |
| E34-GATEWAY-cloud | gateway surface cloud states its real status | E34 | held |
| E34-GATEWAY-code | gateway surface code states its real status | E34 | held |
| E34-GATEWAY-database | gateway surface database states its real status | E34 | held |
| E34-GATEWAY-financial | gateway surface financial states its real status | E34 | held |
| E34-GATEWAY-physical | gateway surface physical states its real status | E34 | held |
| E34-PROTOCOL2-mcp | protocol mcp never carries authority across a domain | E34 | held |
| E34-PROTOCOL2-a2a | protocol a2a never carries authority across a domain | E34 | held |
| E34-PROTOCOL2-http | protocol http never carries authority across a domain | E34 | held |
| E34-PROTOCOL2-rest | protocol rest never carries authority across a domain | E34 | held |
| E34-PROTOCOL2-grpc | protocol grpc never carries authority across a domain | E34 | held |
| E34-PROTOCOL2-websocket | protocol websocket never carries authority across a domain | E34 | held |
| E34-PROTOCOL2-event_bus | protocol event_bus never carries authority across a domain | E34 | held |
| E34-PROTOCOL2-cli | protocol cli never carries authority across a domain | E34 | held |
| E34-PROTOCOL2-local_ipc | protocol local_ipc never carries authority across a domain | E34 | held |
| E34-PROTOCOL2-cloud_api | protocol cloud_api never carries authority across a domain | E34 | held |
| E34-PROTOCOL2-browser | protocol browser never carries authority across a domain | E34 | held |
| E34-PROTOCOL2-computer_use | protocol computer_use never carries authority across a domain | E34 | held |
| E34-PROTOCOL2-physical | protocol physical never carries authority across a domain | E34 | held |
| E34-PROTOCOL2-unknown_transport | protocol unknown_transport never carries authority across a domain | E34 | held |
| E35-DOMAIN-OBSERVATION | the signed domain OBSERVATION is defined | E35 | held |
| E35-DOMAIN-PREDICTION | the signed domain PREDICTION is defined | E35 | held |
| E35-DOMAIN-RECOMMENDATION | the signed domain RECOMMENDATION is defined | E35 | held |
| E35-DOMAIN-POLICY-PROPOSAL | the signed domain POLICY-PROPOSAL is defined | E35 | held |
| E35-DOMAIN-CONTROL-PROPOSAL | the signed domain CONTROL-PROPOSAL is defined | E35 | held |
| E35-DOMAIN-MEMORY | the signed domain MEMORY is defined | E35 | held |
| E35-DOMAIN-COUNTERFACTUAL | the signed domain COUNTERFACTUAL is defined | E35 | held |
| E35-DOMAIN-SIMULATION | the signed domain SIMULATION is defined | E35 | held |
| E35-DOMAIN-EVALUATION | the signed domain EVALUATION is defined | E35 | held |
| E35-DOMAIN-RESEARCH | the signed domain RESEARCH is defined | E35 | held |
| E35-DOMAIN-EVOLUTION | the signed domain EVOLUTION is defined | E35 | held |
| E35-DOMAIN-CANARY | the signed domain CANARY is defined | E35 | held |
| E35-DOMAIN-REGRET | the signed domain REGRET is defined | E35 | held |
| E35-DOMAIN-CALIBRATION | the signed domain CALIBRATION is defined | E35 | held |
| E35-DOMAIN-DEPLOYMENT | the signed domain DEPLOYMENT is defined | E35 | held |
| E35-DOMAIN-PROFILE | the signed domain PROFILE is defined | E35 | held |
| E35-DOMAIN-OBLIGATION | the signed domain OBLIGATION is defined | E35 | held |
| E35-DOMAIN-POLICY | the signed domain POLICY is defined | E35 | held |
| E35-DOMAIN-HARNESS | the signed domain HARNESS is defined | E35 | held |
| E35-DOMAIN-PLAN | the signed domain PLAN is defined | E35 | held |
| E35-DOMAIN-GOAL | the signed domain GOAL is defined | E35 | held |
| E35-DOMAIN-INTENT | the signed domain INTENT is defined | E35 | held |
| E35-DOMAIN-ACTION | the signed domain ACTION is defined | E35 | held |
| E35-DOMAIN-TRAJECTORY | the signed domain TRAJECTORY is defined | E35 | held |
| E35-DOMAIN-COMMUNICATION | the signed domain COMMUNICATION is defined | E35 | held |
| E35-DOMAIN-COLLUSION | the signed domain COLLUSION is defined | E35 | held |
| E35-DOMAIN-ECONOMY | the signed domain ECONOMY is defined | E35 | held |
| E35-DOMAIN-LABOR | the signed domain LABOR is defined | E35 | held |
| E35-DOMAIN-MARKETPLACE | the signed domain MARKETPLACE is defined | E35 | held |
| E35-DOMAIN-COMPILE | the signed domain COMPILE is defined | E35 | held |
| E35-DOMAIN-FAILURE-PREDICTION | the signed domain FAILURE-PREDICTION is defined | E35 | held |
| E35-DOMAIN-FAILURE-TO-PRODUCT | the signed domain FAILURE-TO-PRODUCT is defined | E35 | held |
| E35-DOMAIN-ADVERSARIAL | the signed domain ADVERSARIAL is defined | E35 | held |
| E35-DOMAIN-REDTEAM | the signed domain REDTEAM is defined | E35 | held |
| E35-DOMAIN-BLUETEAM | the signed domain BLUETEAM is defined | E35 | held |
Other niches
Consensus & distributed systems · Attacks, threats & containment · Identity, authority & delegation · Evidence, receipts & proofs · Memory, data & privacy · Prediction, world models & simulation · Transactions, markets & economics · Autonomy, control loops & recovery · Policy, law & governance · Trust & reputation · Supply chain, registry & lifecycle · Benchmarks, coverage & performance · Core guarantees
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