Verifier-in-the-loop CONSTRUCTION of quantum error-correcting codes with transversal non-Clifford gates (CCZ/T). Applies whenever the project goal is a new or better code/construction — INCLUDING search-phrased goals ("find codes beating X"), where the construct-loop (propose algebraic rule → qverify → debug) is the REQUIRED mode, replacing blind random/grid sampling (empirically caps far below frontier). Gate certification is currently abelian/CCZ only, validated against the 11 Menon codes; CSS + distance checks are general. Brain, do not run this yourself — forward this SKILL.md path into every code-construction experiment spawn task; experiment/tool_impl run the loop.
