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 q4 printed leading while the large-aspect bound stays . The same wall holds at (, leading ).
A sharper large-aspect cut ( on aspect ) would reopen this line. Two-atom mass-crit and forced-endpoint -atomic sit well above , but that is a search, not a cut. q4 moment notes already left the abstract region without a pen-and-paper improvement of .
Replay: python3 r9_cut.py.