vbpf / prevail / 21880446004

push

github

Fix inverted is_stable predicate in close_after_widen

UnstableWrap::operator[] returned true for unstable vertices, but was
passed as the `is_stable` parameter to close_after_widen. This caused
Dijkstra recovery to run from stable vertices (no-op) instead of
unstable vertices, missing transitive edge tightenings after widening.

Negate the predicate so unstable vertices are correctly marked V_UNSTABLE
and recovery discovers shortest paths through them.

https://claude.ai/code/session_01XRADiTjoWyzfaoyhF2odaf
Signed-off-by: Claude Code <claude@anthropic.com>

33 of 34 new or added lines in 2 files covered. (97.06%)

9370 of 10797 relevant lines covered (86.78%)

3129900.88 hits per line