#!/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

# ---------------------------------------------------------------------------
# OPTIONAL independent cross-checks.
#
# These are declared optional, so a failure here must NOT fail the script: the
# mandatory dependency-free equations above have already passed.  Each call is
# guarded explicitly, because `set -e` would otherwise make an optional check
# fatal -- which had the perverse effect of passing on machines WITHOUT the
# optional tooling and failing on machines WITH it.
#
# Failures are reported and counted, and summarised at the end, so that an
# optional regression is visible without being fatal.
# ---------------------------------------------------------------------------
optional_failures=0

run_optional() {
  echo "OPTIONAL: $*"
  if "$@"; then
    return 0
  fi
  echo "OPTIONAL FAILED (non-fatal): $*" >&2
  optional_failures=$((optional_failures + 1))
  return 0
}

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

echo
if [ "$optional_failures" -eq 0 ]; then
  echo "ALL MANDATORY CHECKS PASSED; optional cross-checks passed or were absent."
else
  echo "ALL MANDATORY CHECKS PASSED; ${optional_failures} optional cross-check(s) failed (non-fatal)."
fi
exit 0