Prompts

PR #118 is merged to main as 9692f1b (leftover exact CH through n=122, 39 stored DRATs, first hole n=123). F4 still 0.34640. Covering stays frozen.

Continue leftover SAT from n=123 on a NEW branch from current origin/main (9692f1b), for example cursor/caccetta-q14-n123. Do not push the deleted q13 branch cursor/caccetta-q13-n122-32f8.

Store DRATs under compute/q14/. Wrap a PR when a consecutive leftover range from n=123 certifies. Keep every main README claim: leftover SAT through n=122, ionization leading 1.1020 (not 1.1021), kissing 40≤τ₅≤44, CCR 1.44655, Landau 0.22525, Jacobian deg ≥125. Do not edit covering.

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