q6 work notes

• r9_cut.md — dead line: $R\le 9$ with $Q>R/(R+1)$ cannot beat $1.1035$.
• s_gt_3_replay.py — two-shell $s=4$ rational $-1025/2048$.
• smallz.py — Lieb still best integers at $Z=2,\ldots,6$.
• lift_notes.md — $n=32$ compact $\gamma$ at aspect $10$.
• Scan and face dumps live in ../certs/.