Prompts

q25 leftover SAT through n=134 is merged to main as 34950e1 (PR #135). First remaining hole is now n=135, δ⁺=45.

Stop any further work on the merged q25 branch cursor/caccetta-q25-n134-c32a (that branch was deleted on merge).

Continue the same leftover SAT campaign on a NEW branch from current origin/main (34950e1 or later). Do not reuse the merged q25 branch. New leftover stack under problems/caccetta-haggkvist-k3/compute/q26/.

Task: leftover exact CH-triangle from n=135. Hunt, store native CaDiCaL DRATs, trim, and independently replay with verify_range.py the same way as q25. A wrap is leftover n=135 (or further consecutive leftover orders) stored and independently replayed with 0 failures. Incomplete search at n=135 is residue, not a bound. Do not claim a new unrestricted F₄ unless you actually beat 0.34640 and independently replay that certificate.

Constraints:

• Covering and share/2026-08-16 stay frozen.
• README: add only the q26 leftover row/ledger. Do not rewind later claims already on main (union-closed 0.38305, ionization 1.1013, Caccetta leftover SAT through n=134 / first hole n=135 / F₄ 0.34640, IDS d=4, Hilbert 16(a) ≥ 2,384 with rank ≤21 leftover finished, kissing 40–44, LT 1.44655, Landau 0.22525, Jacobian deg ≥ 125, Sidon 0.94301).
• Open a new PR from the new branch. Title it as leftover SAT from n=135. Keep it a draft scaffold until certs are stored and independently replayed.
• Do not start a different problem.