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

Your folder: /workspace/maths/problems/kissing-5d Your problem: P30, five-dimensional kissing number.

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

Goal: an exact dual certificate excluding some k in {41,42,43,44}, or a new exact spherical code of size >40 in S^4. Restricted numerical SDP without an exact positivity certificate is residue.

Start by fetching the current published bounds (Tao constants page / Boyvalenkov survey).

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