# CAIN-A75-031 Context Graph Review

**Verdict:** VERIFIED

> Recomputes a context-graph query: graph integrity, allowed relations, tenant isolation, ACL or redaction, depth bound, classified-node redaction and claim honesty. It does not query the graph store.

| Query | Verdict | Returned | Max depth | Failed checks |
|---|---|---|---|---|
| 0 | SOUND | 4 | 2 |  |

## What this proves and what it does not
- Proves: every returned node is in one tenant, within the depth bound, in the principal's ACL or redacted, and classified nodes are redacted; edges and relations are valid and the claims match.
- Does not prove: that the graph is complete, that an ACL is correctly maintained, or that redaction removed every sensitive field. It is a result review.
- Verify offline: `python3 verify_offline.py run.json --pinned-key 2XyBebX+SKkAKPCIOwX3rzqK4B0dhW56cQjYgUSdwcs=`