Part of #27. Extractor grows MIR bodies with source spans; dataflow/: MIR CFG coarsened to HIR statements via span containment, dominance -> CDG, def-use -> syntactic DDG (prov ssa); unwind edges for diverging terminators only; is_unsafe statement flags; per-callable parallelism (-j). Gate: hand-computed backward slice matches exactly; L2 subset-of L3.
Part of #27. Extractor grows MIR bodies with source spans; dataflow/: MIR CFG coarsened to HIR statements via span containment, dominance -> CDG, def-use -> syntactic DDG (prov ssa); unwind edges for diverging terminators only; is_unsafe statement flags; per-callable parallelism (-j). Gate: hand-computed backward slice matches exactly; L2 subset-of L3.