Data and code archive for: Noise thresholds of KCBS × KCBS and KCBS × C7 against the almost-quantum relaxation

Certificates, model data and checkers behind the statements of the paper. The core archive contains all certificates except the P3×P5 set, the exact checkers for the C5⊗C7 window, the window certificate of Theorem 1(b) and the non-window facet Z (witness and 21 interval certificates), and the driver verify_all.py, which checks the SHA-256 manifests and the hashes quoted in the paper and runs the checkers. The second file contains the P3×P5 certificate set (use verify_all.py --p3p5). See README.md in each archive.