{"schema":"vela.problem-packet.v0.1","problem":1076,"statement":"Let $k\\geq 5$ and let $\\mathcal{F}_k$ be the family of all $3$-uniform hypergraphs with $k$ vertices and $k-2$ edges. Is it true that\\[\\mathrm{ex}_3(n,\\mathcal{F}_k)\\sim \\frac{n^2}{6}?\\]","status":"solved","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}