Verifier archive for the corpus '4pi^3 + pi^2 + pi'.

Requirements: Python 3, numpy, mpmath (pip install numpy mpmath);
four scripts also use scipy.

Run a single verifier:
  cd Lumen/corpus/addenda/verify
  python3 verify_P273.py

Run everything:
  python3 run_all.py

Conventions: PASS/FAIL per check. The historical series (P000-P255)
contains deliberate expected-fail checks documenting each paper's
formal-status gaps (the gap registry in executable form), plus a few
workspace checks that require the author's full software environment.
The recent series (P256 onward) exits 0 with all checks passing.
