bugc: sound per-instruction local-variable debug snapshot#261

Merged

gnidan merged 8 commits into

mainfrom

compiler-locals-emission

Jul 16, 2026

Commits on Jul 16, 2026

bugc: emit debug info for memory-homed local variables (O0)
gnidan
committed
bugc: verify local-variable pointers resolve to correct runtime bytes
gnidan
committed
Merge remote-tracking branch 'origin/main' into compiler-locals-emission
gnidan
committed
bugc: make local-variable debug a sound per-instruction snapshot
gnidan
committed
Merge remote-tracking branch 'origin/main' into compiler-locals-emission
gnidan
committed
bugc: prove scope-exit imprecision never yields a wrong value
gnidan
committed
bugc: fix type narrowing in shadowing soundness test
gnidan
committed
bugc: base local-variable listing on lexical scope, not availability
gnidan
committed