fix(extractor): WPF002 Stop() teardown soundness — one doctrine with `-=` - #302

Merged

PhysShell merged 3 commits into

mainfrom

claude/wpf002-stop-teardown

Jul 19, 2026

Commits on Jul 19, 2026

test(corpus): red — WPF002 Stop() teardown soundness: 7 timer fixtures
claude
committed
8f936f5
fix(extractor): green — WPF002 Stop() shares the -= teardown/guard doctrine
claude
committed
07ac2cf
docs(notes): WPF002 Stop() obeys the shared #278 teardown doctrine
claude
committed
c1d4fe6