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

713 B · on GitHub

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

Your folder: /workspace/maths/problems/long-gap-dilate Your problem: P08, a long gap in a dilate modulo a prime.

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

Goal: a certified improvement of the universal constant 2 (some dilate misses C√p with C>2), or a documented residue. Isolated small-p tables are not a dent unless they imply a larger universal C.

Start by fetching Green 100 #32 and Shakan arXiv:2205.14038.

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