CAIN-42 CAIN StudioEvidence library · family
Proof graph
14 tested rules in the 'proof_graph' family, 14 held.
Last reviewed 2026-10-01
14 of 14 held niche Evidence, receipts & proofs
What this family tests
Every rule the CAIN-42 test suites recorded under the family proof_graph, 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 |
|---|---|---|---|
| E31-PG-IDENTITY-LINEAGE | graph edge IDENTITY -> LINEAGE is traceable or visibly missing | E31 | held |
| E31-PG-LINEAGE-DELEGATION | graph edge LINEAGE -> DELEGATION is traceable or visibly missing | E31 | held |
| E31-PG-DELEGATION-AUTHORITY | graph edge DELEGATION -> AUTHORITY is traceable or visibly missing | E31 | held |
| E31-PG-AUTHORITY-CAPABILITY | graph edge AUTHORITY -> CAPABILITY is traceable or visibly missing | E31 | held |
| E31-PG-CAPABILITY-POLICY | graph edge CAPABILITY -> POLICY is traceable or visibly missing | E31 | held |
| E31-PG-POLICY-RISK | graph edge POLICY -> RISK is traceable or visibly missing | E31 | held |
| E31-PG-RISK-CONTEXT | graph edge RISK -> CONTEXT is traceable or visibly missing | E31 | held |
| E31-PG-CONTEXT-DECISION | graph edge CONTEXT -> DECISION is traceable or visibly missing | E31 | held |
| E31-PG-DECISION-AUTHORIZATION | graph edge DECISION -> AUTHORIZATION is traceable or visibly missing | E31 | held |
| E31-PG-AUTHORIZATION-EXECUTION | graph edge AUTHORIZATION -> EXECUTION is traceable or visibly missing | E31 | held |
| E31-PG-EXECUTION-OUTCOME | graph edge EXECUTION -> OUTCOME is traceable or visibly missing | E31 | held |
| E31-PG-OUTCOME-EVIDENCE | graph edge OUTCOME -> EVIDENCE is traceable or visibly missing | E31 | held |
| E31-PG-EVIDENCE-PROOF | graph edge EVIDENCE -> PROOF is traceable or visibly missing | E31 | held |
| E31-PG-PROOF-VERIFICATION | graph edge PROOF -> VERIFICATION is traceable or visibly missing | E31 | 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