CAIN-42 CAIN StudioEvidence library · family
Proof
21 tested rules in the 'proof' family, 21 held.
Last reviewed 2026-10-01
21 of 21 held niche Evidence, receipts & proofs
What this family tests
Every rule the CAIN-42 test suites recorded under the family proof, 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 |
|---|---|---|---|
| E42-EVIDCLASS-FORMAL_PROOF | evidence class FORMAL_PROOF is never merged | E42 | held |
| E42-EVIDCLASS-EMPIRICAL_EVIDENCE | evidence class EMPIRICAL_EVIDENCE is never merged | E42 | held |
| E42-EVIDCLASS-REPRODUCIBLE_TEST | evidence class REPRODUCIBLE_TEST is never merged | E42 | held |
| E42-EVIDCLASS-MACHINE_VERIFICATION | evidence class MACHINE_VERIFICATION is never merged | E42 | held |
| E42-EVIDCLASS-INDEPENDENT_REPRODUCTION | evidence class INDEPENDENT_REPRODUCTION is never merged | E42 | held |
| E42-EVIDCLASS-SIMULATION | evidence class SIMULATION is never merged | E42 | held |
| E42-EVIDCLASS-OBSERVATION | evidence class OBSERVATION is never merged | E42 | held |
| E42-EVIDCLASS-CLAIM | evidence class CLAIM is never merged | E42 | held |
| E42-PROOFKIND-identity | proof kind identity exists | E42 | held |
| E42-PROOFKIND-authorization | proof kind authorization exists | E42 | held |
| E42-PROOFKIND-policy | proof kind policy exists | E42 | held |
| E42-PROOFKIND-capability | proof kind capability exists | E42 | held |
| E42-PROOFKIND-execution | proof kind execution exists | E42 | held |
| E42-PROOFKIND-outcome | proof kind outcome exists | E42 | held |
| E42-PROOFKIND-provenance | proof kind provenance exists | E42 | held |
| E42-PROOFKIND-conformance | proof kind conformance exists | E42 | held |
| E42-PROOFKIND-revocation | proof kind revocation exists | E42 | held |
| E42-PROOFKIND-coverage | proof kind coverage exists | E42 | held |
| E42-PROOFKIND-evidence_integrity | proof kind evidence_integrity exists | E42 | held |
| E42-PROOFKIND-recovery | proof kind recovery exists | E42 | held |
| E42-PROOFKIND-evolution | proof kind evolution exists | E42 | held |
Other families in this niche
domain · moat · packet · receipt · envelope · research · certificate · supply_chain · state_machine · agency_graph · envelope_binding · telemetry · integrity · graph · radar · risk · event_kind · action_binding · proof_carrying_action · ip · failure_class · status · environment_query · attestation
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