The executable verification programs, machine-readable certificates, constants, recorded outputs, independent high-precision check, documentation, and exact historical source archives for the Paper I SU(2) and SU(3) finite witnesses are included in this computational reproducibility archive. The programs use only Python, NumPy, SymPy, and mpmath. Fresh reruns reproduce the recorded machine-readable certificates byte-for-byte.
