Attack the union-closed leftover after replaying q1 and q2. Work in problems/union-closed/compute/q3/. A result must either certify a frequency strictly above 0.38304 on a stated hypothesis class, with an independent verifier and certificate, or document residue. Preserve the protected notebook results, update the model ledger, and open a wrap pull request without merging it.