feat(rust): P-022 step 4 — port own-analysis (worklist solver + ownership/lifetime/effect/DI) with layered parity (#214) - #249

Merged

PhysShell merged 13 commits into

mainfrom

claude/own-net-analysis-rust-port-38dslc

Jul 12, 2026

Commits on Jul 12, 2026

feat(rust): P-022 step 4 checkpoint 1 — diagnostics parity fixture + own-diagnostics types (#214)
claude
committed
b6c6ff1
docs: verify #238 empty-Dispose fix live on main (precondition discharge)
claude
committed
b951bd6
docs: real-repo ClosedXML re-measure confirms #238 fix (precondition)
claude
committed
2363b10
docs: scope the checkpoint-1 precondition claims per owner direction
claude
committed
507ba6e
feat(rust): own-analysis crate — generic monotone-lattice worklist solver (#214 checkpoint 2a)
claude
committed
f0ca1cf
feat(rust): port ownership analysis with exact (line,code) parity (#214 checkpoint 2b)
claude
committed
fbb3513
fix(rust): address checkpoint-2 review — lattice contract, schedules, DAG, generated differential (#214)
claude
committed
548e77b
fix(rust): represent lattice bottom explicitly, separate from a concrete empty state (#214 review r3)
claude
committed
87d9582
harden(rust): fail loud if a reachable block stays at lattice bottom (#214 review r3 follow-up)
claude
committed
e138f2f
feat(rust): checkpoint 3a — lifetime + buffer policy → full .own corpus parity (#214)
claude
committed
d3deca1
feat(rust): checkpoint 3b — port effect (EFF001) + DI (DI001-005) analyses (#214)
claude
committed
ad96ce3
fix(rust): effect/DI verdict path+line anchors + Python-authored fact-level differential (#214 3b review)
claude
committed
6dd7609
fix(own-analysis): match Python last-wins for duplicate DI site records
claude
committed
7b55b5e