Continue the already-open simon-ionization-excess campaign on wustep/maths. Do not mint a new problem folder. Covering and share/2026-08-16 stay frozen.

On main the leading coefficient now stands at 1.1021 (q7 / PR #108, merge fd8c223). This is q8 under problems/simon-ionization-excess/compute/q8/. Goal: beat 1.1021 with a verified certificate, or record a hard barrier / residue.