Prompts

User: attack Simon ionization excess (2000 #9). Covering stays frozen. q2 residue on PR #94: leading fermionic coefficient still HPS 1.1185. Compact aspect≤4 certifies 1/Q≤1.108741 in that class only. Leftover handle: prove a minimizer of β3 has bounded aspect (or any global lower bound strictly above min f). This is q3. Replay q1 and q2 first. Residue if 1.1185 stands. Verifier+cert for any dent. If #94 is not on main, branch from the q2 branch.