Data and code for "The square lattice admits no finite flat defect"

Supplementary material for the preprint "The square lattice admits no finite flat defect: sphere growth and Busemann functions under non-lazy Ollivier curvature" (I. A. Guerrero Díaz, 2026). The proofs of the paper's main theorems (A–D) do not depend on this material. The archive contains: the graphs of Section 7 and Appendix A in graph6 format; the explicit OR-flatness certificate of G16 (32 admissible bijections) and the covering map G32 → G16; presentations of the fundamental groups of the associated square complexes; a single script (scripts/verify.py) that reproduces every computer check of Appendix A in about 70 seconds, with its log; and the original SAT encodings, preregistrations and solver logs (CaDiCaL via PySAT). Unsatisfiability results are not accompanied by DRAT/LRAT certificates; every satisfying assignment was checked independently and every encoding was validated with positive controls. The archive also includes the LaTeX source and PDF of the preprint draft, and SHA-256 checksums of all files.