Verified Criterion Expansion and Collective Choice: Unanimity Cycles and the Geometry of Dimension-Proofness | Synapse