compute — simon-ionization-excess

q1/ replays the published record and the remainder tightening. q2/ is the compact-aspect search (residue without the lift). q3/ lifts the aspect-12 compact bound and replaces printed $1.1185$ by $1.1118$. q4/ tightens the compact mid-radius bound at aspect $10$ and replaces $1.1118$ by $1.1057$. q5/ raises the bin count at the same split and replaces $1.1057$ by $1.1035$. q6/ raises the bin count at the same split and replaces $1.1035$ by $1.1026$. q7/ raises the bin count at the same split and replaces $1.1026$ by $1.1021$. q8/ raises the face target on the $n=33$ matrix and replaces $1.1021$ by $1.1020$. q9/ raises the bin count at the same split and replaces $1.1020$ by $1.1017$. q10/ raises the bin count at the same split and replaces $1.1017$ by $1.1013$. q11/ raises the bin count at the same split and replaces $1.1013$ by $1.1010$. q12/ copies the stack and starts $n=37$ at the same split. The faces dump was stopped incomplete. Printed leading stays $1.1010$. q13/ replaces that dump with a single-thread Gray-code enumerator at the same split and target, and replaces printed $1.1010$ by $1.1006$.

q14/ proves $N_c(Z)<1.1005Z+3.933Z^{1/3}$ for $Z\ge4$ with two independently verified rational matrix witnesses. Its replay needs only Python's standard library and rustc:

./q14/run_all.sh

The historical driver below covers q1–q8 only:

./run_all.sh