Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Evidence
The verification script beside this page
expands the printed templates into exact exponent boxes and checks the printed
package ledgers, as documented on
the signature and count certificate
and
the initial-template page.
The certificate page states its command, expected runtime, JSON output and
failure behavior. The script checks that the Nielsen dependency pages exist,
resolving them relative to its own file, and never reads the source PDF; the
source_pdf field of its certificate gives a card-folder path at which the
library holds no file. 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.