v2 Stage 3: L3 intraprocedural CFG/CDG/DDG#79

Open

rahlk wants to merge 10 commits into

feat/v2-stage2-l2from

feat/v2-stage3-l3

Commits on Jul 7, 2026

feat(dataflow): identity map — IR node ids ↔ ordinal can:// ids
rahlk
committed
feat(dataflow): syntactic oracle + factor build_function_pdgs (intraprocedural)
rahlk
committed
feat(dataflow): emit L3 body + cfg/cdg/ddg(ssa) onto the v2 tree
rahlk
committed
fix(dataflow): key L3 body + intra-callable edges by local id (canonical); keep global_id for neo4j
rahlk
committed
fix(dataflow): global_id single-@ for entry/exit bookends
rahlk
committed
feat(cli): gate --graphs for L3 (sdg requires -a 4)
rahlk
committed
fix(cache): rebuild when cached analysis_level differs (no cross-level body leak)
rahlk
committed
feat(neo4j): re-enable CPG overlay on v2 ordinal ids
rahlk
committed
test(dataflow): migrate sample_graph_app + cpg suite to the v2 CPG overlay
rahlk
committed
test(dataflow): L3 backward-slice gate + L2⊆L3 superset + conformance
rahlk
committed