Read /workspace/maths/notes/supergrok-2026-08-17/house.md and follow it.

Your folder: /workspace/maths/problems/ramsey-r55 Your problem: P41, determine R(5,5).

Read PROBLEM.md, notes/lists/2026-08-16-proposed-50.md P41, notes/picks/2026-08-16-judge-codex.md P41, refs/walkthrough-style.md.

Goal: a certified 43-vertex Ramsey graph, a nonexistence proof at 45 with an independently checkable log, or a documented residue. Isolated SAT timeouts are not a dent.

Start by fetching Radziszowski revision 18 and Angeltveit–McKay.

Work until you have a verified dent or a documented residue. Write ATTACK.md as you go. Finish with WALKTHROUGH.md and RESEARCH.md.