Evidence

../

---

The checker beside this page replays the finite analytic steps documented on the numerical certificate page, which states its command, expected runtime and failure behavior. It reads the retained parameters relative to its own file, names the source PDF by path in its result, and writes any requested replay JSON to the ignored output/ folder beside it. Dependencies are the standard library and the root tools package of the repository environment; every obligation is recorded through the shared Checker, and any failure exits nonzero, including under python -O.