files / notes / supergrok-2026-08-17 / prompt-p44.md

773 B · on GitHub

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

Your folder: /workspace/maths/problems/lonely-runner-fourteen Your problem: P44, lonely runner for 14 runners.

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

Goal: a certified finite-reduction or modular-sieve certificate for 14 runners, a new excluded speed configuration with an independently checkable witness, or a documented residue. Isolated floating-point scans are not a dent.

Start by fetching Sungkawichai–Trakulthongchai arXiv:2604.23906 and the 9–10 runner paper.

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