CAIN-42 CAIN StudioEvidence library · niche
Evidence, receipts & proofs
Signed records that prove what happened, checkable by anyone. 928 tested invariants.
Last reviewed 2026-10-01
928 of 928 held
Test families in this niche
domain (179) · packet (146) · receipt (68) · envelope (52) · certificate (42) · moat (41) · supply_chain (38) · envelope_binding (24) · proof (21) · event_kind (16) · proof_carrying_action (16) · attestation (14) · proof_graph (14) · manifest (14) · status (13) · proof_state (12) · action_binding (12) · crypto (12) · evidence_class (10) · failure_class (9) · failure_to_proof (8) · lineage (7) · primitive (7) · enforcement_proof (6) · log (4) · integrity (3) · research (3) · registration (3) · cross-domain (3) · gap_detector (3) · ip (3) · signed_object (3) · state_machine (2) · time (2) · soc (2) · swarm (2) · graph (2) · risk (1) · hardware (1) · federation (1) · translation (1) · reassessment (1) · failure_to_test (1) · telemetry (1) · consistency (1) · scientist (1) · research_to_implementation (1) · environment_query (1) · profile (1) · r2e (1) · radar (1) · agency_graph (1) · event_log (1) · fingerprint (1) · action_proof (1) · evidence_basis (1) · proof_confusion (1) · transparency (1) · factory_proof (1) · f2t (1)
Where these come from
- CAIN-42 Evolution 27 -- Agentic Internet Control Plane: 165
- CAIN-42 Evolution 36 -- Machine Agency Exchange Fabric: 157
- CAIN-42 Evolution 34 -- Proof-Carrying Machine Agency: 124
- CAIN-42 Evolution 33 -- Governed Agentic Operating Fabric: 64
- CAIN-42 Evolution 41 -- Machine Agency Exchange Fabric: 60
- CAIN-42 Evolution 31 -- Universal Proof-of-Governance Fabric: 59
- CAIN-42 Evolution 42 -- Supreme Governed Agentic Infrastructure Platform: 53
- CAIN-42 Evolution 28 -- Portable Machine Agency & Execution Identity: 30
- CAIN-42 Evolution 40 -- Autonomous Enterprise Intelligence Fabric: 28
- CAIN-42 Evolution 29 -- Governed Agentic Internet Transaction Fabric: 24
- CAIN-42 Evolution 21 -- Governed Open-Ended Intelligence Fabric: 22
- CAIN-42 Evolution 24 -- Governed Agentic Internet Fabric: 22
- CAIN-42 Evolution 19 -- Governed Autonomy Operating Fabric: 16
- CAIN-42 Evolution 26 -- Universal Machine Agency Trust Fabric: 16
- CAIN-42 Evolution 23 -- Governed Meta-Intelligence Fabric: 15
- CAIN-42 Evolution 35 -- Continuous Governance Intelligence Fabric: 15
- CAIN-42 Evolution 20 -- Governed Agentic Civilization Fabric: 14
- CAIN-42 Evolution 30 -- Governed Machine Autonomy Fabric: 14
- CAIN-42 Evolution 32 -- Governed Autonomy Learning Fabric: 12
- CAIN-42 Evolution 38 -- Portable Proof-Carrying Machine Agency: 7
- CAIN-42 Evolution 25 -- Universal Machine Agency Fabric: 4
- CAIN-42 Evolution 37 -- Autonomous Execution Mesh: 4
- CAIN-42 Evolution 39 -- Governed Agent Factory: 3
Rules 151–300 of 928
| ID | Rule | Bundle | Result |
|---|---|---|---|
| I-PACKET-observe-tx | packet observe wrong transaction refused | E27 | held |
| I-PACKET-observe-policy | packet observe stale policy refused | E27 | held |
| I-PACKET-observe-epoch | packet observe stale epoch refused | E27 | held |
| I-PACKET-pay-sign | packet pay signs | E27 | held |
| I-PACKET-pay-tx | packet pay wrong transaction refused | E27 | held |
| I-PACKET-pay-policy | packet pay stale policy refused | E27 | held |
| I-PACKET-pay-epoch | packet pay stale epoch refused | E27 | held |
| I-PACKET-query-sign | packet query signs | E27 | held |
| I-PACKET-query-tx | packet query wrong transaction refused | E27 | held |
| I-PACKET-query-policy | packet query stale policy refused | E27 | held |
| I-PACKET-query-epoch | packet query stale epoch refused | E27 | held |
| I-PACKET-read-sign | packet read signs | E27 | held |
| I-PACKET-read-tx | packet read wrong transaction refused | E27 | held |
| I-PACKET-read-policy | packet read stale policy refused | E27 | held |
| I-PACKET-read-epoch | packet read stale epoch refused | E27 | held |
| I-PACKET-send-sign | packet send signs | E27 | held |
| I-PACKET-send-tx | packet send wrong transaction refused | E27 | held |
| I-PACKET-send-policy | packet send stale policy refused | E27 | held |
| I-PACKET-send-epoch | packet send stale epoch refused | E27 | held |
| I-PACKET-submit-sign | packet submit signs | E27 | held |
| I-PACKET-submit-tx | packet submit wrong transaction refused | E27 | held |
| I-PACKET-submit-policy | packet submit stale policy refused | E27 | held |
| I-PACKET-submit-epoch | packet submit stale epoch refused | E27 | held |
| I-PACKET-transfer-sign | packet transfer signs | E27 | held |
| I-PACKET-transfer-tx | packet transfer wrong transaction refused | E27 | held |
| I-PACKET-transfer-policy | packet transfer stale policy refused | E27 | held |
| I-PACKET-transfer-epoch | packet transfer stale epoch refused | E27 | held |
| I-PACKET-write-sign | packet write signs | E27 | held |
| I-PACKET-write-tx | packet write wrong transaction refused | E27 | held |
| I-PACKET-write-policy | packet write stale policy refused | E27 | held |
| I-PACKET-write-epoch | packet write stale epoch refused | E27 | held |
| I-F2T-evidence | evidence generated | E27 | held |
| I-RESEARCH-evidence | memory kind evidence | E27 | held |
| I-RESEARCH-LOOP-EVIDENCE | loop EVIDENCE | E27 | held |
| I-RISK-supply_chain_risk | forecast supply_chain_risk | E27 | held |
| I-SUPPLY-model | part model | E27 | held |
| I-SUPPLY-weights | part weights | E27 | held |
| I-SUPPLY-adapter | part adapter | E27 | held |
| I-SUPPLY-quantization | part quantization | E27 | held |
| I-SUPPLY-runtime | part runtime | E27 | held |
| I-SUPPLY-prompt | part prompt | E27 | held |
| I-SUPPLY-system_config | part system_config | E27 | held |
| I-SUPPLY-fine_tuning | part fine_tuning | E27 | held |
| I-SUPPLY-retrieval | part retrieval | E27 | held |
| I-SUPPLY-tools | part tools | E27 | held |
| I-CONSIST-evidence | consistency evidence | E27 | held |
| I-CERT-verify | certificate verifies | E27 | held |
| I-CERT-scoped | certificate is scoped | E27 | held |
| I-SOC-attestation_failures | feed attestation_failures | E27 | held |
| I-SOC-supply_chain_changes | feed supply_chain_changes | E27 | held |
| I-PACKET-configure-audience | packet configure audience mismatch refused | E27 | held |
| I-PACKET-configure-expiry | packet configure expiry refused | E27 | held |
| I-PACKET-configure-id | packet configure content-addressed | E27 | held |
| I-PACKET-create-audience | packet create audience mismatch refused | E27 | held |
| I-PACKET-create-expiry | packet create expiry refused | E27 | held |
| I-PACKET-create-id | packet create content-addressed | E27 | held |
| I-PACKET-credential-audience | packet credential audience mismatch refused | E27 | held |
| I-PACKET-credential-expiry | packet credential expiry refused | E27 | held |
| I-PACKET-credential-id | packet credential content-addressed | E27 | held |
| I-PACKET-delegate-audience | packet delegate audience mismatch refused | E27 | held |
| I-PACKET-delegate-expiry | packet delegate expiry refused | E27 | held |
| I-PACKET-delegate-id | packet delegate content-addressed | E27 | held |
| I-PACKET-delete-audience | packet delete audience mismatch refused | E27 | held |
| I-PACKET-delete-expiry | packet delete expiry refused | E27 | held |
| I-PACKET-delete-id | packet delete content-addressed | E27 | held |
| I-PACKET-deploy-audience | packet deploy audience mismatch refused | E27 | held |
| I-PACKET-deploy-expiry | packet deploy expiry refused | E27 | held |
| I-PACKET-deploy-id | packet deploy content-addressed | E27 | held |
| I-PACKET-destroy-audience | packet destroy audience mismatch refused | E27 | held |
| I-PACKET-destroy-expiry | packet destroy expiry refused | E27 | held |
| I-PACKET-destroy-id | packet destroy content-addressed | E27 | held |
| I-PACKET-execute-audience | packet execute audience mismatch refused | E27 | held |
| I-PACKET-execute-expiry | packet execute expiry refused | E27 | held |
| I-PACKET-execute-id | packet execute content-addressed | E27 | held |
| I-PACKET-list-audience | packet list audience mismatch refused | E27 | held |
| I-PACKET-list-expiry | packet list expiry refused | E27 | held |
| I-PACKET-list-id | packet list content-addressed | E27 | held |
| I-PACKET-notify-audience | packet notify audience mismatch refused | E27 | held |
| I-PACKET-notify-expiry | packet notify expiry refused | E27 | held |
| I-PACKET-notify-id | packet notify content-addressed | E27 | held |
| I-PACKET-observe-audience | packet observe audience mismatch refused | E27 | held |
| I-PACKET-observe-expiry | packet observe expiry refused | E27 | held |
| I-PACKET-observe-id | packet observe content-addressed | E27 | held |
| I-PACKET-pay-audience | packet pay audience mismatch refused | E27 | held |
| I-PACKET-pay-expiry | packet pay expiry refused | E27 | held |
| I-PACKET-pay-id | packet pay content-addressed | E27 | held |
| I-PACKET-query-audience | packet query audience mismatch refused | E27 | held |
| I-PACKET-query-expiry | packet query expiry refused | E27 | held |
| I-PACKET-query-id | packet query content-addressed | E27 | held |
| I-PACKET-read-audience | packet read audience mismatch refused | E27 | held |
| I-PACKET-read-expiry | packet read expiry refused | E27 | held |
| I-PACKET-read-id | packet read content-addressed | E27 | held |
| I-PACKET-send-audience | packet send audience mismatch refused | E27 | held |
| I-PACKET-send-expiry | packet send expiry refused | E27 | held |
| I-PACKET-send-id | packet send content-addressed | E27 | held |
| I-PACKET-submit-audience | packet submit audience mismatch refused | E27 | held |
| I-PACKET-submit-expiry | packet submit expiry refused | E27 | held |
| I-PACKET-submit-id | packet submit content-addressed | E27 | held |
| I-PACKET-transfer-audience | packet transfer audience mismatch refused | E27 | held |
| I-PACKET-transfer-expiry | packet transfer expiry refused | E27 | held |
| I-PACKET-transfer-id | packet transfer content-addressed | E27 | held |
| I-PACKET-write-audience | packet write audience mismatch refused | E27 | held |
| I-PACKET-write-expiry | packet write expiry refused | E27 | held |
| I-PACKET-write-id | packet write content-addressed | E27 | held |
| I-PACKET-FIELD-schema | packet field schema | E27 | held |
| I-PACKET-FIELD-packet_id | packet field packet_id | E27 | held |
| I-PACKET-FIELD-principal | packet field principal | E27 | held |
| I-PACKET-FIELD-agent | packet field agent | E27 | held |
| I-PACKET-FIELD-intent_digest | packet field intent_digest | E27 | held |
| I-PACKET-FIELD-capability | packet field capability | E27 | held |
| I-PACKET-FIELD-authority_ref | packet field authority_ref | E27 | held |
| I-PACKET-FIELD-policy_digest | packet field policy_digest | E27 | held |
| I-PACKET-FIELD-risk_digest | packet field risk_digest | E27 | held |
| I-PACKET-FIELD-delegation_chain | packet field delegation_chain | E27 | held |
| I-PACKET-FIELD-authorization_id | packet field authorization_id | E27 | held |
| I-PACKET-FIELD-transaction_id | packet field transaction_id | E27 | held |
| I-PACKET-FIELD-constraints | packet field constraints | E27 | held |
| I-PACKET-FIELD-expires_at | packet field expires_at | E27 | held |
| I-PACKET-FIELD-revocation_epoch | packet field revocation_epoch | E27 | held |
| I-PACKET-FIELD-evidence_refs | packet field evidence_refs | E27 | held |
| I-PACKET-FIELD-issuer | packet field issuer | E27 | held |
| I-PACKET-FIELD-audience | packet field audience | E27 | held |
| I-PACKET-FIELD-nonce | packet field nonce | E27 | held |
| I-PACKET-FIELD-sequence | packet field sequence | E27 | held |
| E28-I21 | identity envelope signed by another key is refused | E28 | held |
| E28-I22 | a tampered envelope field is refused on decode | E28 | held |
| E28-I23 | an envelope for another audience is refused | E28 | held |
| E28-I24 | an expired envelope is refused | E28 | held |
| E28-I25 | a session envelope cannot stand in for a transaction envelope | E28 | held |
| E28-I26 | a transaction envelope cannot live longer than 30 s | E28 | held |
| E28-I27 | the envelope authority field is always NONE, whatever the issuer is asked | E28 | held |
| E28-I31 | registration without proof of possession is refused | E28 | held |
| E28-I32 | a proof-of-possession challenge is single use | E28 | held |
| E28-I34 | a registration signed by a non-sponsor key is refused | E28 | held |
| E28-I36 | a measurement mismatch gives attestation level 0 | E28 | held |
| E28-I37 | hardware attestation is UNKNOWN, never simulated | E28 | held |
| E28-I46 | a lineage edge signed by anyone but its source is refused | E28 | held |
| E28-I47 | a lineage cycle is refused | E28 | held |
| E28-I48 | a tampered lineage edge is detected | E28 | held |
| E28-I49 | a compressed path proof verifies; a tampered one does not | E28 | held |
| E28-I50 | the root principal of a depth-2 subagent is the human sponsor | E28 | held |
| E28-I51 | revoking a parent identity revokes every descendant identity, token and lease | E28 | held |
| E28-I63 | a deleted, reordered or altered receipt breaks the chain | E28 | held |
| E28-I64 | a public-safe receipt commits to identities without revealing them | E28 | held |
| E28-I65 | supersession and revocation are new receipts; status reflects them | E28 | held |
| E28-I66 | a refused action also produces a signed receipt | E28 | held |
| E28-I67 | every log entry has a verifying RFC 6962 inclusion proof | E28 | held |
| E28-I68 | every earlier tree is provably a prefix of the current tree | E28 | held |
| E28-I69 | an altered log entry is detected | E28 | held |
| E28-I70 | a signed tree head verifies; a forged one does not | E28 | held |
Other niches
Consensus & distributed systems · Attacks, threats & containment · Identity, authority & delegation · Memory, data & privacy · Prediction, world models & simulation · Transactions, markets & economics · Tools, MCP, protocols & adapters · 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