TY - RPRT TI - The Cone Fixing the Reals of $\mathrm{HOD}^{M_{2n}(x)}$ AU - Farmer Schlutzenberg AU - Connor Watson PY - 2026 UR - https://arxiv.org/abs/2611.06032 ID - 2611.06032 ER -