NEW leftover q11, NEW branch from current origin/main (fd14170). Suggested name cursor/simon-ionization-q11-n36. Open a new draft PR. Do not merge. Do not keep working on the merged q10 branch.
Same HPS §7 / arXiv:2504.18487v1 chain. Stored q10 cert (R=10, n=35, φ=0.9115, 1/γ=1.10129973 prints 1.1013) stays frozen. Do not re-enumerate those faces. Covering and share/2026-08-16 stay frozen.
Leftover, in this order:
- Thicken at the proven aspect-10 split: n=36 bins.
- Optional cheaper probe only if n=36 is blocked: a higher target on a full re-enum of the n=34 or n=35 matrix.
- Still leftover: R≤9 with Q>R/(R+1); finite-Z integers; N0(Z)−Z bounded; s>3 along Lemma 4.3.
If faces certify and printed leading beats 1.1013, update only the ionization folder plus the ionization README row/ledger. If faces fail or you only hunt: leftover/residue wrap, do not claim 1.1013 moved.