Dead line — R=9 with the mass-opt cut

The mass-stationary identities force $Q>R/(R+1)$ on a used support of aspect $\ge R$. At $R=9$ that cut is $9/10=0.9$, so

No compact $\gamma_9$ can beat the q5 printed leading $1.1035$ while the large-aspect bound stays $R/(R+1)$. The same wall holds at $R=8$ ($8/9$, leading $1.125$). q5 already recorded this wall against $1.1057$; it is stricter against $1.1035$.

A sharper large-aspect cut ($Q>c>0.9063$ on aspect $\ge 9$) would reopen this line. Two-atom mass-crit still sits near $0.92$, but that is a search, not a cut.

Replay: python3 r9_cut.py.