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

Your folder: /workspace/maths/problems/union-closed Your problem: P33, Frankl's union-closed sets conjecture.

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

Goal: a certified improvement of the published frequency constant, or a new finite classification with a verifier. Do not claim 1/2 unless you prove it.

Start by fetching Gilmer arXiv:2211.09055 and the current best constant.

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