You are attacking one open problem in /workspace/maths (github.com/wustep/maths).

House rules:

• Write ONLY under your problem folder. Do not touch other problems, notes/chat, or covering/compute.
• Required files: PROBLEM.md (already started), ATTACK.md, WALKTHROUGH.md, RESEARCH.md, compute/ for scripts and certificates.
• Walkthrough style: refs/walkthrough-style.md. Discovery notes, not a cleaned proof. Empty sections mean not done.
• Do not invent a dent. A failed search with a verifier is the product. Search residue is not a bound.
• Independently verify every claimed number. Cite the published record you beat, or say you did not beat it.
• Do not git commit, push, or change git config.
• Do not purchase extra Grok usage or enable auto top-up.
• Use the web to fetch papers and current bounds before searching.
• Keep ATTACK.md chronological as you go.