Continue Frankl's union-closed campaign on https://github.com/wustep/maths from current main. Read AGENTS.md and problems/union-closed/.

Current record in this repo: ray-certified frequency 0.38285 on {b,1} with iid+Example-4 at β=1/5. Recovers Liu 0.382709. The 1/2 conjecture is open. Replay compute/run_all.sh first.

Work in compute/q1/. Outcome to hunt: a certified frequency constant strictly above 0.38285, or a new finite classification with a verifier. Do not claim 1/2 unless you prove it. Fetch Gilmer and the current published constant before searching.