CAIN-42 CAIN StudioEvidence library · family
Memory
25 tested rules in the 'memory' family, 25 held.
Last reviewed 2026-10-01
25 of 25 held niche Memory, data & privacy
What this family tests
Every rule the CAIN-42 test suites recorded under the family memory, across 4 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-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 |
| 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 |
| 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 |
| memory | every 'memory' invariant in this bundle (9 of 9 held) | E39 | held |
Other families in this niche
moat · action · research · fabric_component · operation_kind · radar · risk · memory_field · dataplane · memory_state · disclosure · residency · secrecy
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