Machine-readable certificates for "Reconstructing Turaev–Viro Invariants from Four-Fold Simple Branched Covering Presentations"

This research-data package accompanies the manuscript “Reconstructing Turaev–Viro Invariants from Four-Fold Simple Branched Covering Presentations”. The manuscript proof is self-contained. The package provides exact, reproducible auxiliary checks of (i) the 16/4/16 finite equivariance comparisons for the three crossing types, (ii) the finite correspondence between the data in Appendices A–C and the crossing-local factors in Proposition 7.2, including tamper-rejection checks, and (iii) the exact L(2,1) calculation in Section 8.3. The checks use exact combinatorics, GF(2) linear algebra, and exact cyclotomic arithmetic. Floating-point approximation is not used as a PASS oracle.