CAIN-42 CAIN StudioEvidence library · niche
Supply chain, registry & lifecycle
Where agents, models and tools come from, and how they change. 246 tested invariants.
Last reviewed 2026-10-01
246 of 246 held
Test families in this niche
registry (157) · product (28) · deployment (13) · failure_to_product (12) · research_pipeline (5) · swe (2) · action (2) · version (1) · operation_kind (1) · tech_radar (1) · fabric_component (1) · environment_query (1) · r2e (1) · ip (1) · agency_graph (1) · competitive_gap (1) · migration (1) · dependency (1) · lifecycle (1) · mission (1) · organization (1) · pipeline (1) · population (1) · replacement (1) · spawn (1) · workflow (1) · systemic (1)
Where these come from
- CAIN-42 Evolution 27 -- Agentic Internet Control Plane: 126
- CAIN-42 Evolution 42 -- Supreme Governed Agentic Infrastructure Platform: 36
- CAIN-42 Evolution 35 -- Continuous Governance Intelligence Fabric: 29
- CAIN-42 Evolution 33 -- Governed Agentic Operating Fabric: 16
- CAIN-42 Evolution 34 -- Proof-Carrying Machine Agency: 14
- CAIN-42 Evolution 39 -- Governed Agent Factory: 8
- CAIN-42 Evolution 32 -- Governed Autonomy Learning Fabric: 5
- CAIN-42 Evolution 21 -- Governed Open-Ended Intelligence Fabric: 3
- CAIN-42 Evolution 20 -- Governed Agentic Civilization Fabric: 2
- CAIN-42 Evolution 36 -- Machine Agency Exchange Fabric: 2
- CAIN-42 Evolution 19 -- Governed Autonomy Operating Fabric: 1
- CAIN-42 Evolution 23 -- Governed Meta-Intelligence Fabric: 1
- CAIN-42 Evolution 37 -- Autonomous Execution Mesh: 1
- CAIN-42 Evolution 38 -- Portable Proof-Carrying Machine Agency: 1
- CAIN-42 Evolution 41 -- Machine Agency Exchange Fabric: 1
Rules 151–246 of 246
| ID | Rule | Bundle | Result |
|---|---|---|---|
| E33-PRODUCT-CAIN_Evolution | CAIN Evolution maps to real code or says it is not deployed | E33 | held |
| E33-PRODUCT-CAIN_Machine_Economy | CAIN Machine Economy maps to real code or says it is not deployed | E33 | held |
| E33-PRODUCT-CAIN_Governance_Cloud | CAIN Governance Cloud maps to real code or says it is not deployed | E33 | held |
| E33-RADAR-PRODUCTION | radar ring PRODUCTION is never entered from research directly | E33 | held |
| E34-PRODUCT-CAIN_Gateway | CAIN Gateway maps to real code or says it is not deployed | E34 | held |
| E34-PRODUCT-CAIN_Sidecar | CAIN Sidecar maps to real code or says it is not deployed | E34 | held |
| E34-PRODUCT-CAIN_Passport | CAIN Passport maps to real code or says it is not deployed | E34 | held |
| E34-PRODUCT-CAIN_Proof | CAIN Proof maps to real code or says it is not deployed | E34 | held |
| E34-PRODUCT-CAIN_Verify | CAIN Verify maps to real code or says it is not deployed | E34 | held |
| E34-PRODUCT-CAIN_Conformance | CAIN Conformance maps to real code or says it is not deployed | E34 | held |
| E34-PRODUCT-CAIN_Trust | CAIN Trust maps to real code or says it is not deployed | E34 | held |
| E34-PRODUCT-CAIN_Incident | CAIN Incident maps to real code or says it is not deployed | E34 | held |
| E34-PRODUCT-CAIN_Transactions | CAIN Transactions maps to real code or says it is not deployed | E34 | held |
| E34-PRODUCT-CAIN_Edge | CAIN Edge maps to real code or says it is not deployed | E34 | held |
| E34-PRODUCT-CAIN_Research | CAIN Research maps to real code or says it is not deployed | E34 | held |
| E34-PRODUCT-CAIN_Evolution | CAIN Evolution maps to real code or says it is not deployed | E34 | held |
| E34-PRODUCT-CAIN_Governance_Cloud | CAIN Governance Cloud maps to real code or says it is not deployed | E34 | held |
| E34-PRODUCT-CAIN_Proof_Exchange | CAIN Proof Exchange maps to real code or says it is not deployed | E34 | held |
| E35-FABRIC-pipeline | the intelligence fabric exposes pipeline | E35 | held |
| E35-QUERY-dependency_loss | environment query dependency_loss exists | E35 | held |
| E35-F2P-INCIDENT | failure-to-product stage INCIDENT exists | E35 | held |
| E35-F2P-ROOT_CAUSE | failure-to-product stage ROOT_CAUSE exists | E35 | held |
| E35-F2P-INVARIANT | failure-to-product stage INVARIANT exists | E35 | held |
| E35-F2P-ATTACK | failure-to-product stage ATTACK exists | E35 | held |
| E35-F2P-TEST | failure-to-product stage TEST exists | E35 | held |
| E35-F2P-VERIFIER | failure-to-product stage VERIFIER exists | E35 | held |
| E35-F2P-CONTROL | failure-to-product stage CONTROL exists | E35 | held |
| E35-F2P-ADAPTER | failure-to-product stage ADAPTER exists | E35 | held |
| E35-F2P-PRODUCT_FEATURE | failure-to-product stage PRODUCT_FEATURE exists | E35 | held |
| E35-F2P-DOCUMENTATION | failure-to-product stage DOCUMENTATION exists | E35 | held |
| E35-F2P-EVIDENCE | failure-to-product stage EVIDENCE exists | E35 | held |
| E35-F2P-MARKETPLACE_PACKAGE | failure-to-product stage MARKETPLACE_PACKAGE exists | E35 | held |
| E35-DEPLOY-capability | deployment dimension capability exists | E35 | held |
| E35-DEPLOY-safety | deployment dimension safety exists | E35 | held |
| E35-DEPLOY-governability | deployment dimension governability exists | E35 | held |
| E35-DEPLOY-observability | deployment dimension observability exists | E35 | held |
| E35-DEPLOY-recoverability | deployment dimension recoverability exists | E35 | held |
| E35-DEPLOY-maintainability | deployment dimension maintainability exists | E35 | held |
| E35-DEPLOY-cost | deployment dimension cost exists | E35 | held |
| E35-DEPLOY-latency | deployment dimension latency exists | E35 | held |
| E35-DEPLOY-integration | deployment dimension integration exists | E35 | held |
| E35-DEPLOY-evidence | deployment dimension evidence exists | E35 | held |
| E35-DEPLOY-conformance | deployment dimension conformance exists | E35 | held |
| E35-DEPLOY-incident_history | deployment dimension incident_history exists | E35 | held |
| E35-DEPLOY-unknown_surface | deployment dimension unknown_surface exists | E35 | held |
| E35-R2E-PRODUCT | research-to-engineering stage PRODUCT exists | E35 | held |
| E35-IP-failure_to_product_compilation | IP primitive failure_to_product_compilation exists | E35 | held |
| E36-AGENCY-NODE-organization | agency graph node organization exists | E36 | held |
| E36-COMPETITOR-agent_security_products | competitor category agent_security_products makes no claim | E36 | held |
| migration | every 'migration' invariant in this bundle (96 of 96 held) | E37 | held |
| dependency | every 'dependency' invariant in this bundle (12 of 12 held) | E38 | held |
| lifecycle | every 'lifecycle' invariant in this bundle (14 of 14 held) | E39 | held |
| mission | every 'mission' invariant in this bundle (10 of 10 held) | E39 | held |
| organization | every 'organization' invariant in this bundle (31 of 31 held) | E39 | held |
| pipeline | every 'pipeline' invariant in this bundle (31 of 31 held) | E39 | held |
| population | every 'population' invariant in this bundle (9 of 9 held) | E39 | held |
| replacement | every 'replacement' invariant in this bundle (6 of 6 held) | E39 | held |
| spawn | every 'spawn' invariant in this bundle (7 of 7 held) | E39 | held |
| workflow | every 'workflow' invariant in this bundle (31 of 31 held) | E39 | held |
| E41-BOUNDARY-dependency | systemic risk reports the dependency boundary | E41 | held |
| E42-SURFACE-deployment | universal action surface deployment is covered | E42 | held |
| E42-SURFACE-agent_spawn | universal action surface agent_spawn is covered | E42 | held |
| E42-EVOLUTION-E7 | evolution E7 is mapped to its module and bundle | E42 | held |
| E42-EVOLUTION-E8 | evolution E8 is mapped to its module and bundle | E42 | held |
| E42-EVOLUTION-E9 | evolution E9 is mapped to its module and bundle | E42 | held |
| E42-EVOLUTION-E10 | evolution E10 is mapped to its module and bundle | E42 | held |
| E42-EVOLUTION-E11 | evolution E11 is mapped to its module and bundle | E42 | held |
| E42-EVOLUTION-E12 | evolution E12 is mapped to its module and bundle | E42 | held |
| E42-EVOLUTION-E13 | evolution E13 is mapped to its module and bundle | E42 | held |
| E42-EVOLUTION-E14 | evolution E14 is mapped to its module and bundle | E42 | held |
| E42-EVOLUTION-E15 | evolution E15 is mapped to its module and bundle | E42 | held |
| E42-EVOLUTION-E16 | evolution E16 is mapped to its module and bundle | E42 | held |
| E42-EVOLUTION-E17 | evolution E17 is mapped to its module and bundle | E42 | held |
| E42-EVOLUTION-E18 | evolution E18 is mapped to its module and bundle | E42 | held |
| E42-EVOLUTION-E19 | evolution E19 is mapped to its module and bundle | E42 | held |
| E42-EVOLUTION-E20 | evolution E20 is mapped to its module and bundle | E42 | held |
| E42-EVOLUTION-E21 | evolution E21 is mapped to its module and bundle | E42 | held |
| E42-EVOLUTION-E23 | evolution E23 is mapped to its module and bundle | E42 | held |
| E42-EVOLUTION-E24 | evolution E24 is mapped to its module and bundle | E42 | held |
| E42-EVOLUTION-E25 | evolution E25 is mapped to its module and bundle | E42 | held |
| E42-EVOLUTION-E26 | evolution E26 is mapped to its module and bundle | E42 | held |
| E42-EVOLUTION-E27 | evolution E27 is mapped to its module and bundle | E42 | held |
| E42-EVOLUTION-E28 | evolution E28 is mapped to its module and bundle | E42 | held |
| E42-EVOLUTION-E29 | evolution E29 is mapped to its module and bundle | E42 | held |
| E42-EVOLUTION-E30 | evolution E30 is mapped to its module and bundle | E42 | held |
| E42-EVOLUTION-E31 | evolution E31 is mapped to its module and bundle | E42 | held |
| E42-EVOLUTION-E32 | evolution E32 is mapped to its module and bundle | E42 | held |
| E42-EVOLUTION-E33 | evolution E33 is mapped to its module and bundle | E42 | held |
| E42-EVOLUTION-E34 | evolution E34 is mapped to its module and bundle | E42 | held |
| E42-EVOLUTION-E35 | evolution E35 is mapped to its module and bundle | E42 | held |
| E42-EVOLUTION-E36 | evolution E36 is mapped to its module and bundle | E42 | held |
| E42-EVOLUTION-E37 | evolution E37 is mapped to its module and bundle | E42 | held |
| E42-EVOLUTION-E38 | evolution E38 is mapped to its module and bundle | E42 | held |
| E42-EVOLUTION-E39 | evolution E39 is mapped to its module and bundle | E42 | held |
| E42-EVOLUTION-E40 | evolution E40 is mapped to its module and bundle | E42 | held |
| E42-EVOLUTION-E41 | evolution E41 is mapped to its module and bundle | E42 | held |
1 2
Other niches
Consensus & distributed systems · Attacks, threats & containment · Identity, authority & delegation · Evidence, receipts & proofs · Memory, data & privacy · Prediction, world models & simulation · Transactions, markets & economics · Tools, MCP, protocols & adapters · Autonomy, control loops & recovery · Policy, law & governance · Trust & reputation · 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