chore: formalize reaching-defs ddg prov token#40

Open

rahlk wants to merge 1 commit into

fix/issue-31-level-gate-callgraphfrom

chore/issue-32-formalize-reaching-defs

Commits on Jul 7, 2026

chore: sanction reaching-defs as an additive ddg prov token (schema decisions + neo4j lockstep)
rahlk
committed