Prompts

PR #125 is merged to main as 1d1f721 (leftover exact CH through n=127, 40 stored DRATs, first hole n=128). F4 still 0.34640. Covering stays frozen.

Continue leftover SAT from n=128 on a NEW branch from current origin/main (1d1f721), for example cursor/caccetta-q19-n128. Do not push the deleted q18 branch cursor/caccetta-q18-n127-32f8.

Store DRATs under compute/q19/. Wrap a PR when a consecutive leftover range from n=128 certifies. Keep every main README claim: leftover SAT through n=127, ionization leading 1.1020, kissing 40≤τ₅≤44, Hilbert 16(a) ≥2,384 with rank≤20 leftover thicken done, CCR 1.44655, Landau 0.22525, Jacobian deg ≥125. Do not edit covering.

Open leftover is n=128, δ⁺=43. F4 hunt below 0.34640 is leftover, not required. Did not beat 0.3388. Conjecture 1/3 still open.