files / notes / cursor-grok-2026-08-27-caccetta-q8 / prompts.md

1.0 KB · on GitHub

PR #109 is merged to main (64ef419). Leftover exact CH through n=116 is on main. Do not push to the deleted cursor/caccetta-q7-n116-32f8 branch.

Continue as q8 on a new branch from current origin/main (suggested cursor/caccetta-q8-n117). New work under problems/caccetta-haggkvist-k3/compute/q8/. Do not remint the problem folder. Covering stays frozen.

Hunt leftover exact cubes from n=117 onward (you already started n=117; it was not fully stored). Keep F4 at 0.34640 unless you certify a better published ray. Dent = verified leftover SAT past n=116 (stored DRATs + verify_range 0 failures) or a better F4. Residue = incomplete search.

When you have a clean certified range, open a new wrap PR (not a reopen of #109) with certified-vs-open and replay commands. Keep every later notebook claim already on main when you touch README (ionization 1.1026, kissing 40–44, CCR 1.44655, Landau 0.22525, Jacobian deg 125, Hilbert 16, Sidon, union-closed, Caccetta through n=116). Short 7-char SHAs. No AI-ish "X, not Y" couplets.