User: attack Simon ionization excess on https://github.com/wustep/maths. Read AGENTS.md and problems/simon-ionization-excess/ including q3. Covering stays frozen. Do not start a new problem.

On main: q3 dent L/Nc leading 1.1118 (was HPS 1.1185), via mass-opt dichotomy + compact aspect≤12. 1.1087 is still class-only (aspect≤4). 1.1168 withdrawn. N0(Z)−Z bounded still open. Replay q1+q2+q3 first (compute/run_all.sh).

This is q4. Orchestrate up to 8 light workers, cap heavy numeric at 3–4. Aim for a larger jump: turn 1.1087 into an unrestricted bound, beat 1.1118 further, or bound N0(Z)−Z. Do not recycle the withdrawn 1.1168.

Update ATTACK/WALKTHROUGH/PROBLEM/README. Open one PR. Verifier+cert for any dent. Residue if 1.1118 stands.