Test Ledger

Each test page records:

what the test checks;
which mathematical object it sees;
whether it killed rows, saturated, remains open, or is currently a validation target;
what kind of proof or verifier supports the status;
what a contributor could do next.

Tests