CAIN-42 CAIN StudioEvidence library · family
Log
4 tested rules in the 'log' family, 4 held.
Last reviewed 2026-10-01
4 of 4 held niche Evidence, receipts & proofs
What this family tests
Every rule the CAIN-42 test suites recorded under the family log, across 1 evidence bundle. 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 |
|---|---|---|---|
| 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 families in this niche
domain · moat · packet · receipt · envelope · research · certificate · supply_chain · state_machine · agency_graph · envelope_binding · telemetry · integrity · graph · proof · radar · risk · event_kind · action_binding · proof_carrying_action · ip · failure_class · status · environment_query
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