Continue SuperGrok’s existing campaign on Caccetta–Häggkvist (directed triangles). Start from main. Folder problems/caccetta-haggkvist-k3/. New compute/qN/. Update ATTACK.md.

Current record: published unrestricted threshold is still HKN Combinatorica 0.3465. This repo already has an independent F4 certificate for c=0.34645. First exact finite hole: n=18, δ⁺=6.

Outcome that counts: a DRAT/UNSAT (or SAT) certificate for the exact statement at n=18, a verified C3-free 6-outregular oriented graph, or a verified c better than 0.34645. Incomplete SAT is residue. Do not treat 0.3388 as published.