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 q7 printed leading $1.1021$ while the large-aspect bound stays $R/(R+1)$. The same wall holds at $R=8$ ($8/9$, leading $1.125$). q7 already recorded this wall against $1.1026$; it is stricter against $1.1021$.

A sharper large-aspect cut ($Q>c>0.90741$ 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.

$R=9.8$ with the cut binding would print $10.8/9.8\approx 1.10204$, which still prints as $1.1021$. $R=9.9$ binding would print $10.9/9.9\approx 1.10101$, but only after a compact $\gamma$ that clears $9.9/10.9$ and a printed leading below $1.1021$.

Replay: python3 r9_cut.py.