Continue the Caccetta–Häggkvist directed-triangle campaign from current main. Work in compute/q2/. Hunt the next exact SAT/DRAT orders (21, 24, …) or a certified improvement of the F₄ threshold below 0.34645. Isolated random-graph statistics are an incomplete search. Fetch the published threshold before claiming a dent.