PR #112 is merged to main as a4cbbde (leftover exact CH through n=119, 38 stored DRATs, first hole n=120). F4 still 0.34640. Covering stays frozen.

Continue leftover SAT from n=120 on a NEW branch from current origin/main (a4cbbde), for example cursor/caccetta-q11-n120. Do not push the deleted q10 branch cursor/caccetta-q10-n119-32f8. Do not start from that old branch.

Store DRATs under compute/q11/. Wrap a PR when a consecutive leftover range from n=120 certifies (same verify_range + replay JSON pattern as q10). Keep every main README claim: leftover SAT through n=119, ionization leading 1.1021, kissing 40≤τ₅≤44, CCR 1.44655, Landau 0.22525, Jacobian deg ≥125. Do not edit covering.

Open leftover is n=120, δ⁺=40. F4 hunt below 0.34640 is leftover, not required for this wrap. Did not beat 0.3388. Conjecture 1/3 still open.