Dead line — R=9 with the mass-opt cut
The mass-stationary identities force on a used support of aspect . At that cut is , so
No compact can beat the q6 printed leading while the large-aspect bound stays . The same wall holds at (, leading ). q6 already recorded this wall against ; it is stricter against .
A sharper large-aspect cut ( on aspect ) would reopen this line. Two-atom mass-crit still sits near , but that is a search, not a cut.
with the cut binding would print , which beats , but only after a compact that actually clears . q6's prediction sat below that cut.
Replay: python3 r9_cut.py.