Model exception edges in try lowering for dispose-not-called-on-throw - #32

Merged

PhysShell merged 8 commits into

mainfrom

claude/zen-pasteur-76hfs1

Jun 18, 2026

Commits on Jun 18, 2026

feat(extractor): model exception edges in try -> catch dispose-not-called-on-throw
claude
committed
77b2edd
test(oracle): add dispose-on-throw case to fixture for exception-edge re-validation
claude
committed
09e31c8
fix(bridge): dedupe a resource that leaks on multiple exits; tighten oracle fixture
claude
committed
f2d3706
docs: record the exception-edge slice + its clean cross-tool oracle result
claude
committed
994dde6
fix(extractor): two exception-edge false positives from PR #32 review
claude
committed
f9563ef
docs: record the PR #32 exception-edge FP fixes + nested-try deferral
claude
committed
2110e64
fix(extractor): don't inject try exception-edges before compound statements
claude
committed
be778d9
docs(extractor): record constructor-throw + typed-catch as deferred recall gaps
claude
committed
118d08e