CAIN-42 CAIN StudioEvidence library · niche
Memory, data & privacy
What agents remember and what must never leak. 92 tested invariants.
Last reviewed 2026-10-01
92 of 92 held
Test families in this niche
memory (25) · memory_field (15) · dataplane (15) · research (8) · memory_state (8) · operation_kind (2) · moat (2) · action (2) · risk (1) · disclosure (1) · fabric_component (1) · radar (1) · residency (1) · secrecy (1)
Where these come from
- CAIN-42 Evolution 32 -- Governed Autonomy Learning Fabric: 23
- CAIN-42 Evolution 34 -- Proof-Carrying Machine Agency: 16
- CAIN-42 Evolution 35 -- Continuous Governance Intelligence Fabric: 15
- CAIN-42 Evolution 27 -- Agentic Internet Control Plane: 11
- CAIN-42 Evolution 30 -- Governed Machine Autonomy Fabric: 9
- CAIN-42 Evolution 21 -- Governed Open-Ended Intelligence Fabric: 4
- CAIN-42 Evolution 23 -- Governed Meta-Intelligence Fabric: 3
- CAIN-42 Evolution 33 -- Governed Agentic Operating Fabric: 3
- CAIN-42 Evolution 24 -- Governed Agentic Internet Fabric: 2
- CAIN-42 Evolution 42 -- Supreme Governed Agentic Infrastructure Platform: 2
- CAIN-42 Evolution 28 -- Portable Machine Agency & Execution Identity: 1
- CAIN-42 Evolution 37 -- Autonomous Execution Mesh: 1
- CAIN-42 Evolution 38 -- Portable Proof-Carrying Machine Agency: 1
- CAIN-42 Evolution 39 -- Governed Agent Factory: 1
Rules 1–92 of 92
| ID | Rule | Bundle | Result |
|---|---|---|---|
| D19 | synthetic data remains synthetic | E21 | held |
| D20 | observed data remains observational | E21 | held |
| D95 | datasets are version-bound | E21 | held |
| D138 | data access is bound to mission and charter | E21 | held |
| META-B-cache_memory | legitimate mutation 'cache_memory' stays eligible (governance does not block improvement) | E23 | held |
| META-S-budget-memory | a child's memory budget is carved out of the parent's | E23 | held |
| META-S-unknown-unknown_memory_source | the self-unknown engine surfaces unknown_memory_source as a first-class state | E23 | held |
| NET-S-dataset-rollback | a rolled-back dataset is refused | E24 | held |
| NET-S-memory_pack-rollback | a rolled-back memory_pack is refused | E24 | held |
| I-RESEARCH-hypothesis | memory kind hypothesis | E27 | held |
| I-RESEARCH-observation | memory kind observation | E27 | held |
| I-RESEARCH-interpretation | memory kind interpretation | E27 | held |
| I-RESEARCH-verified_result | memory kind verified_result | E27 | held |
| I-RESEARCH-failed_experiment | memory kind failed_experiment | E27 | held |
| I-RESEARCH-superseded_result | memory kind superseded_result | E27 | held |
| I-RESEARCH-unknown | memory kind unknown | E27 | held |
| I-RESEARCH-external_claim | memory kind external_claim | E27 | held |
| I-MEM-provenance | memory needs provenance | E27 | held |
| I-MEM-poison | memory poisoning detected | E27 | held |
| I-MEM-not-authority | memory does not create authority | E27 | held |
| E28-I87 | selective disclosure verifies revealed attributes and detects a changed value | E28 | held |
| E30-MEM-observation | memory class 'observation' follows its write rule and never carries authority | E30 | held |
| E30-MEM-evidence | memory class 'evidence' follows its write rule and never carries authority | E30 | held |
| E30-MEM-hypothesis | memory class 'hypothesis' follows its write rule and never carries authority | E30 | held |
| E30-MEM-instruction | memory class 'instruction' follows its write rule and never carries authority | E30 | held |
| E30-MEM-preference | memory class 'preference' follows its write rule and never carries authority | E30 | held |
| E30-MEM-policy | memory class 'policy' follows its write rule and never carries authority | E30 | held |
| E30-MEM-authority | memory class 'authority' follows its write rule and never carries authority | E30 | held |
| E30-MEM-historical_record | memory class 'historical_record' follows its write rule and never carries authority | E30 | held |
| E30-MEM-unknown | memory class 'unknown' follows its write rule and never carries authority | E30 | held |
| E32-MEMF-source | memory requires source | E32 | held |
| E32-MEMF-timestamp | memory requires timestamp | E32 | held |
| E32-MEMF-provenance | memory requires provenance | E32 | held |
| E32-MEMF-confidence_milli | memory requires confidence_milli | E32 | held |
| E32-MEMF-verification | memory requires verification | E32 | held |
| E32-MEMF-domain | memory requires domain | E32 | held |
| E32-MEMF-context | memory requires context | E32 | held |
| E32-MEMF-policy_version | memory requires policy_version | E32 | held |
| E32-MEMF-world_state_version | memory requires world_state_version | E32 | held |
| E32-MEMF-originating_agent | memory requires originating_agent | E32 | held |
| E32-MEMF-originating_model_runtime | memory requires originating_model_runtime | E32 | held |
| E32-MEMF-action_link | memory requires action_link | E32 | held |
| E32-MEMF-evidence_link | memory requires evidence_link | E32 | held |
| E32-MEMF-contradiction | memory requires contradiction | E32 | held |
| E32-MEMF-revalidate_by | memory requires revalidate_by | E32 | held |
| E32-MEMS-OBSERVED | memory state OBSERVED is reached only by its rule | E32 | held |
| E32-MEMS-CLAIMED | memory state CLAIMED is reached only by its rule | E32 | held |
| E32-MEMS-CORROBORATED | memory state CORROBORATED is reached only by its rule | E32 | held |
| E32-MEMS-VERIFIED | memory state VERIFIED is reached only by its rule | E32 | held |
| E32-MEMS-DISPUTED | memory state DISPUTED is reached only by its rule | E32 | held |
| E32-MEMS-STALE | memory state STALE is reached only by its rule | E32 | held |
| E32-MEMS-REVOKED | memory state REVOKED is reached only by its rule | E32 | held |
| E32-MEMS-UNKNOWN | memory state UNKNOWN is reached only by its rule | E32 | held |
| E33-KIND-query_database | query_database is executed only through E8 | E33 | held |
| E33-KIND-modify_memory | modify_memory is executed only through E8 | E33 | held |
| E33-MOAT-governance_datasets | governance_datasets is not claimed as an established market moat | E33 | held |
| E34-DP-identity | data-plane kind identity is chained | E34 | held |
| E34-DP-capability | data-plane kind capability is chained | E34 | held |
| E34-DP-authority | data-plane kind authority is chained | E34 | held |
| E34-DP-policy | data-plane kind policy is chained | E34 | held |
| E34-DP-action | data-plane kind action is chained | E34 | held |
| E34-DP-decision | data-plane kind decision is chained | E34 | held |
| E34-DP-authorization | data-plane kind authorization is chained | E34 | held |
| E34-DP-execution | data-plane kind execution is chained | E34 | held |
| E34-DP-outcome | data-plane kind outcome is chained | E34 | held |
| E34-DP-incident | data-plane kind incident is chained | E34 | held |
| E34-DP-recovery | data-plane kind recovery is chained | E34 | held |
| E34-DP-transaction | data-plane kind transaction is chained | E34 | held |
| E34-DP-delegation | data-plane kind delegation is chained | E34 | held |
| E34-DP-proof | data-plane kind proof is chained | E34 | held |
| E34-DP-conformance | data-plane kind conformance is chained | E34 | held |
| E34-MOAT-governance_coverage_data | moat governance_coverage_data is technical only, not a market moat | E34 | held |
| E35-RISK-data | risk dimension data is separate | E35 | held |
| E35-FABRIC-memory | the intelligence fabric exposes memory | E35 | held |
| E35-MEMORY-incident | memory kind incident exists | E35 | held |
| E35-MEMORY-attack | memory kind attack exists | E35 | held |
| E35-MEMORY-proof | memory kind proof exists | E35 | held |
| E35-MEMORY-failure | memory kind failure exists | E35 | held |
| E35-MEMORY-policy | memory kind policy exists | E35 | held |
| E35-MEMORY-decision | memory kind decision exists | E35 | held |
| E35-MEMORY-environment | memory kind environment exists | E35 | held |
| E35-MEMORY-model_version | memory kind model_version exists | E35 | held |
| E35-MEMORY-runtime_version | memory kind runtime_version exists | E35 | held |
| E35-MEMORY-experiment | memory kind experiment exists | E35 | held |
| E35-MEMORY-calibration | memory kind calibration exists | E35 | held |
| E35-MEMORY-recovery | memory kind recovery exists | E35 | held |
| E35-RADAR-agent_memory | radar topic agent_memory exists | E35 | held |
| residency | every 'residency' invariant in this bundle (6 of 6 held) | E37 | held |
| secrecy | every 'secrecy' invariant in this bundle (17 of 17 held) | E38 | held |
| memory | every 'memory' invariant in this bundle (9 of 9 held) | E39 | held |
| E42-SURFACE-database | universal action surface database is covered | E42 | held |
| E42-SURFACE-memory_mutation | universal action surface memory_mutation is covered | E42 | held |
Other niches
Consensus & distributed systems · Attacks, threats & containment · Identity, authority & delegation · Evidence, receipts & proofs · 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