Wraps OUROBOROS_RUN_ALL.py (szl-holdings/ouroboros) to be callable from this HF Space.
Stdlib-only · zero pip installs · each module is base64-embedded in the runner. Exit 0 = all GREEN.
— results appear here —
/api/a11oy/internal/run-all, which executes the real OUROBOROS_RUN_ALL.py runner in a subprocess on the
Space and returns the genuine pass/fail JSON (module name · GREEN/RED · per-module duration · total duration · exit code).
The runner header historically advertised "25 modules"; the actual embedded count is 32 (count drift, tracked).
This proves the 32 self-test suites run end-to-end; it does not assert any Lean theorem is closed — see /evidence for proof status.