feat(graph): L3/L4 program-slice engine core (Tasks 1–6 of #270) - #271

Merged

rahlk merged 19 commits into

release/2.0from

feat/issue-270-slice-engine

Jul 15, 2026

Commits on Jul 14, 2026

feat(graph): slice/flow result objects (#270)
rahlk
committed
aa3a261
fix(graph): serialize FlowResult paths in to_json (#270)
rahlk
committed
8ecaad3
feat(graph): provider ABC seam + polymorphic resolve_vertex (#270)
rahlk
committed
5e80c6d
feat(graph): capability gating with honest-degrade + strict (#270)
rahlk
committed
c8bddd7
feat(graph): engine intraprocedural slices + control_deps (#270)
rahlk
committed
eed15f7
fix(graph): MultiDiGraph program graph + seed-consistent slices (#270)
rahlk
committed
0e54293
feat(graph): flows_to witnesses + def_use with data-derived confidence (#270)
rahlk
committed
4ecede2
fix(graph): dedup flows_to witnesses over parallel edges; def_use seed-consistency (#270)
rahlk
committed
0fc1fdf
feat(graph): level-driven interprocedural slice depth (#270)
rahlk
committed
48bf60d
fix(graph): control_deps is intraprocedural — no sdg overlay at L4 (#270)
rahlk
committed
557573a
fix(graph): gate the sdg overlay on the ddg edge family (#270)
rahlk
committed
f9459a6
fix(graph): flows_to requires L4, honest-degrade to intra ddg at L3 (#270)
rahlk
committed
a452296
fix(graph): flows_to spans source and sink callables (#270)
rahlk
committed
ce2a5b3
fix(graph): empty location resolution raises ValueError, not IndexError (#270)
rahlk
committed
7eeb329
fix(graph): MultiDiGraph annotations and provider contract docstrings (#270)
rahlk
committed
a076a76
fix(graph): preserve sdg edge kind in flow witnesses (#270)
rahlk
committed
ef9df6d
fix(graph): per-verb evidence roles — control and use, not always def (#270)
rahlk
committed
78c196f
fix(graph): bound flows_to witness enumeration, report truncation (#270)
rahlk
committed
069950e
fix(graph): _ddg_tier ranks by prov membership, not exact-list match (#270)
rahlk
committed
bfe7fa7

Navigation Menu

feat(graph): L3/L4 program-slice engine core (Tasks 1–6 of #270) - #271

feat(graph): L3/L4 program-slice engine core (Tasks 1–6 of #270)#271
rahlk merged 19 commits into
release/2.0from
feat/issue-270-slice-engine

Commits on Jul 14, 2026

feat(graph): slice/flow result objects (#270)

fix(graph): serialize FlowResult paths in to_json (#270)

feat(graph): provider ABC seam + polymorphic resolve_vertex (#270)

feat(graph): capability gating with honest-degrade + strict (#270)

feat(graph): engine intraprocedural slices + control_deps (#270)

fix(graph): MultiDiGraph program graph + seed-consistent slices (#270)

feat(graph): flows_to witnesses + def_use with data-derived confidence (#270)

fix(graph): dedup flows_to witnesses over parallel edges; def_use seed-consistency (#270)

feat(graph): level-driven interprocedural slice depth (#270)

fix(graph): control_deps is intraprocedural — no sdg overlay at L4 (#270)

fix(graph): gate the sdg overlay on the ddg edge family (#270)

fix(graph): flows_to requires L4, honest-degrade to intra ddg at L3 (#270)

fix(graph): flows_to spans source and sink callables (#270)

fix(graph): empty location resolution raises ValueError, not IndexError (#270)

fix(graph): MultiDiGraph annotations and provider contract docstrings (#270)

fix(graph): preserve sdg edge kind in flow witnesses (#270)

fix(graph): per-verb evidence roles — control and use, not always def (#270)

fix(graph): bound flows_to witness enumeration, report truncation (#270)

fix(graph): _ddg_tier ranks by prov membership, not exact-list match (#270)