Repository navigation

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

Merged

hyperpolymath merged 8 commits into

mainfrom

feat/pons-m4-t1-signed

Sep 30, 2026

Merged

feat: M4 — Python CFG, dataflow, T1 rules dead-store and read-before-init#49
hyperpolymath merged 8 commits into
mainfrom
feat/pons-m4-t1-signed

Commits on Sep 30, 2026
- feat(cfg): assert the Python grammar vocabulary before building against it
  
  hyperpolymath
  and
  claude
  committed
  2a912cb
- refactor(engine): construct RuleCtx through RuleCtx::new
  
  hyperpolymath
  and
  claude
  committed
  1feb17e
- feat(cfg): M4 step 2 — Python CFG builder, locals pre-pass, OPAQUE hatch
  
  hyperpolymath
  and
  claude
  committed
  cf7135d
- feat(dataflow): M4 step 3 — liveness and may-unbound over the CFG
  
  hyperpolymath
  and
  claude
  committed
  48a908a
- feat(rules): M4 steps 4–5 — T1 rules dead-store and read-before-init
  
  hyperpolymath
  and
  claude
  committed
  c75c689
- fix(t1): address #46 review — probe coverage, honest rule docs
  
  hyperpolymath
  and
  claude
  committed
  caee724
- docs(analysis): document CFG construction, dataflow contracts, and T1 rule behavior
  
  authored and
  hyperpolymath
  committed
  288582e
- test(cfg): probe the import and scope fields cfg/ reads, not only builder.rs
  
  hyperpolymath
  and
  claude
  committed
  e0f5f8d