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

Your folder: /workspace/maths/problems/unit-distance-509 Your problem: P29, shrink the 509-vertex five-chromatic unit-distance graph.

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

Goal: a strictly smaller exact-coordinate 5-chromatic unit-distance graph than 509, with a 4-coloring-UNSAT certificate and a unit-distance checker. Or a 4-coloring of the published 509-graph (that would refute it).

Start by fetching the published graph (Parts arXiv:2010.12665, Voronov et al.). Do not invent coordinates.

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