Repository navigation

feat: M4 — Python CFG, dataflow, T1 rules dead-store and read-before-init - #46

Closed

hyperpolymath wants to merge 8 commits into

mainfrom

feat/pons-m4-python-dataflow

Closed

feat: M4 — Python CFG, dataflow, T1 rules dead-store and read-before-init#46
hyperpolymath wants to merge 8 commits into
mainfrom
feat/pons-m4-python-dataflow

Commits on Sep 30, 2026
- feat(cfg): assert the Python grammar vocabulary before building against it
  
  hyperpolymath
  and
  claude
  committed
  08a8042
- refactor(engine): construct RuleCtx through RuleCtx::new
  
  hyperpolymath
  and
  claude
  committed
  cbb14e6
- feat(cfg): M4 step 2 — Python CFG builder, locals pre-pass, OPAQUE hatch
  
  hyperpolymath
  and
  claude
  committed
  04bac1e
- feat(dataflow): M4 step 3 — liveness and may-unbound over the CFG
  
  hyperpolymath
  and
  claude
  committed
  0c974e1
- feat(rules): M4 steps 4–5 — T1 rules dead-store and read-before-init
  
  hyperpolymath
  and
  claude
  committed
  037463d
- fix(t1): address #46 review — probe coverage, honest rule docs
  
  hyperpolymath
  and
  claude
  committed
  d172272
- docs(analysis): document CFG construction, dataflow contracts, and T1 rule behavior
  coderabbitai[bot]
  committed
  2ed317d
- test(cfg): probe the import and scope fields cfg/ reads, not only builder.rs
  
  hyperpolymath
  and
  claude
  committed
  bf96065