#!/usr/bin/env bash
set -euo pipefail

cd "$(dirname "$0")"

python3 certificates/p28_rank_ode_bound_verifier.py
python3 certificates/p28_convergence_constants.py
python3 certificates/p28_standalone_equations.py
python3 certificates/p28_dominant_product_algebra.py

python3 - <<'PY'
from pathlib import Path

forbidden = {
    Path("solution.tex"): (
        "Birkhoff",
        "Poincar",
        "standard ascension",
        "analytic solution normalized at",
    ),
    Path("certificates/p28_kernel_contiguity_certificate.sage"): ("quo_rem",),
    Path("certificates/all_four_columns_certificate.sage"): (
        "is_irreducible",
        "gcd(",
    ),
}
for path, needles in forbidden.items():
    text = path.read_text(encoding="utf-8")
    for needle in needles:
        if needle in text:
            raise SystemExit(f"FAIL: forbidden proof shortcut {needle!r} in {path}")
print("PASS: no forbidden proof shortcuts in the mandatory path")
PY

echo "DIAGNOSTIC (not an all-N proof): finite Padé regression"
python3 certificates/p28_parametric_pade_probe.py

if command -v wolframscript >/dev/null 2>&1; then
  wolframscript -file certificates/p28_full_closure_certificate.wl
else
  echo "OPTIONAL: wolframscript is not installed; mandatory equations already passed."
fi

if command -v sage >/dev/null 2>&1; then
  sage certificates/p28_kernel_contiguity_certificate.sage
  sage certificates/p28_lattice_hypotheses_certificate.sage
  sage certificates/all_four_columns_certificate.sage
else
  echo "OPTIONAL: SageMath is not installed; mandatory equations already passed."
fi