Ambitious continuation of Caccetta–Häggkvist from current main. Hunt a large jump: exact SAT/DRAT at n=38 and later holes, and/or a certified numerical threshold strictly below 0.34645. Work in compute/q3/. Replay q2 run_all.sh first.