31-unit-edge-tilings: machine-checked companion to "The 31 types of vertex-transitive tilings of the plane by convex unit-edge polygons"

The verification artifact for the paper's claims G0-G3 and their Tier-2 exact witnesses: the 12n chamber bound, the 93 equivariant isogonal types, the exact metric/moduli layer, and the 31 realizable types, re-derived in exact rational and cyclotomic arithmetic. Surface B certifies enumeration and quotient completeness by 105 DRAT-checked UNSAT proofs. The repository holds only the claim specs; all machinery is the pinned research-core library.