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

Your folder: /workspace/maths/problems/seymour-second-neighborhood Your problem: P37, Seymour's second-neighborhood conjecture.

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

Goal: a certified new small-order census, a new reducible configuration with an independently checkable certificate, or a proof for another hereditary class.

Start by fetching the 2026 small-order status (arXiv:2601.21563) and Espuny Díaz et al.

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