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

Your folder: /workspace/maths/problems/cohn-elkies Your problem: P27, exact Cohn–Elkies certificate for planar circle packing.

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

Goal: an exact admissible auxiliary function whose Fourier sign conditions can be independently checked, meeting or beating a published Cohn–Elkies ratio. Floating-point LP without exact coefficients is residue.

Start by fetching Green 100 #42 and Cohn–Elkies 2003.

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