fix(main): waive #973's selector growth — the subtraction gate caught its first real event - #994

Closed

avrabe wants to merge 2 commits into

mainfrom

fix/subtraction-waiver-973

Commits on Aug 18, 2026

fix(main): waive #973's selector growth — the subtraction gate caught its first real event

avrabe
and
claude
committed
8684c17
fix(ci): restore the MC/DC rustc pin that #984 silently defeated

avrabe
and
claude
committed
70e8d63