fix: regression gate reported exit 0 on real regressions (#134) - #140

Open

kiki830621 wants to merge 3 commits into

mainfrom

idd/134-gate-fail-open

Commits on Aug 2, 2026

fix: regression gate reported exit 0 on real regressions (#134)
kiki830621
committed
fix: four more fail-open paths found by cross-model verify (#134)
kiki830621
committed
fix: bound the effective threshold, not one of its two handles (#134)
kiki830621
committed