Prompts — ionization q2

User (2026-08-27): attack Simon ionization excess (2000 #9) as the second compute campaign on problems/simon-ionization-excess. Do not start a new problem. covering/ and share/2026-08-16 stay frozen.

On main: HPS §7 independently replayed. Printed remainders tightened. Leading coefficient 1.1185 unchanged (Hundertmark–Pattakos–Schulz arXiv:2504.18487v1). $N_0(Z)-Z$ bounded still open. Hydrogen $N_0(1)=2$ is Lieb 1984.

Targets: beat 1.1185 or prove a $Z$-independent bound on $N_0(Z)-Z$. If the leading coefficient will not move, a new remainder class or a concrete $Z$-range bound counts only if it improves a published record and has a verifier+certificate. Do not treat hydrogen uniqueness as new.

Update ATTACK, WALKTHROUGH, PROBLEM status, README Problems row and ledger. One PR. Residue if nothing certifies. Independent verifier + certificate for any claimed dent.