q7 work notes

• r9_cut.md — dead line: $R\le 9$ with $Q>R/(R+1)$ cannot beat $1.1026$.
• s_gt_3_replay.py — two-shell $s=4$ rational $-1025/2048$.
• smallz.py — Lieb still best integers at $Z=2,\ldots,6$.
• analyze_M.py — $M$ has two negative eigenvalues; PSD+NN fails; PD-pruning does not beat $2^n$.
• lift_notes.md — $n=33$ compact $\gamma$ at aspect $10$.
• Scan and face dumps live in ../certs/.