Continue the R(5,5) campaign on https://github.com/wustep/maths from current main. Read AGENTS.md and problems/ramsey-r55/. Work in compute/q1/. Outcome: a certified 43-vertex (5,5)-graph, or a nonexistence proof at 45, or a documented incomplete search. Isolated SAT timeouts are not a bound. Fetch Radziszowski / Angeltveit–McKay before claiming a dent. Do not touch covering. Open a PR.