Evidence

../

The entry point recomputes all 1,015 eligible triples and checks the non-strict threshold, four strict exceptions, and exact witnesses. It uses the root Python environment and shared failure harness, reads no input files, and writes no output files. Run it from the repository root:

uv run --no-sync python wiki/research/finite_experiments/binomial_gcd_search/evidence/main.py

The owning account states the mathematical question, exact domain, observed results, runtime, and verification limits. This finite check supplies no all-order proof.