"""Run every exact upper, lower, and local-stability certificate.
Requires Python 3.9 or later; no third-party packages are used.
"""
from pathlib import Path
import subprocess
import sys

if not __debug__:
    raise SystemExit("Run without -O: verification requires assertions.")
if sys.version_info < (3, 9):
    raise SystemExit("Python 3.9 or later is required.")

ROOT = Path(__file__).resolve().parent
CHECKS = [
    "verify_global.py",
    "general-certificate/verify_general.py",
    "lower-certificate/verify_algebraic.py",
    "lower-certificate/verify_elimination_independent.py",
    "lower-certificate/verify_atom_stability.py",
    "lower-certificate/check_neutral_pairs_exact.py",
    "lower-certificate/verify_stationarity.py",
]
for name in CHECKS:
    print("Checking " + name, flush=True)
    subprocess.run([sys.executable, str(ROOT / name)], cwd=ROOT, check=True)
print("PASS: all exact certificates.", flush=True)