Certificates, checkers and search code for: Region bounds, error margins and certified positivity in the numerical conformal bootstrap; or the first mathematically rigorous bounds on the 3d Ising CFT critical exponents

Certificates, checkers and search code accompanying the paper Region bounds, error margins and certified positivity in the numerical conformal bootstrap; or the first mathematically rigorous bounds on the 3d Ising CFT critical exponents (M. Reehorst, 2026, arXiv:2610.20701). Three archives, each unpacking to one directory with its own README and a MANIFEST.sha256 listing every file with its SHA-256: certificate_release.zip: the forty exclusion tiles of the theorem: functionals, block data, Bernstein certificates, exact checkers (Wolfram Language and C++/GMP), logs and verdict tables. Needed to verify the theorem. certificate_release_mixed_extension.zip: the mixed-correlator extension: exact inputs, verdicts and tensor hashes of the 280 certified coefficient claims, with a script that regenerates and re-certifies them on a workstation (analytic inputs only; no mixed bounds are claimed). search_release.zip: the search-stage code and the runs behind the paper's comparison of region bounds and point probes (exact rational LP oracle, drivers, gates, logs, call tables, plot scripts). Not part of the trusted computing base. SHA256SUMS lists the SHA-256 of each archive. Requirements are stated in each README (Mathematica 14 with wolframscript for the checkers and drivers; g++ with GMP for the C++ certifier; Python 3 with matplotlib for the plots). Nothing requires cluster access. Licenses: the code is under the Apache License 2.0, everything else under CC BY 4.0; see LICENSE.md and NOTICE (which carries the citation request and must accompany redistributed code). Please cite the paper and this deposit.