back to table · edit · history · where entries came from · files
As of the current version, 2026-10-25 13:49, “Record the exact check of the nonzero-eigenfunction requirement”. See the history to look at the files of an earlier one.
| name | size | last changed | |
|---|---|---|---|
| HANDOFF.md | 4613 bytes | 2026-10-25 | |
| audit.json | 101 bytes | 2026-10-25 | |
| certificates.md | 4838 bytes | 2026-10-25 | |
| check-definition-output.json | 474 bytes | 2026-10-25 — in this version | |
| check.py | 17709 bytes | 2026-10-25 | |
| check_definition.py | 1461 bytes | 2026-10-25 — in this version | |
| checks.log | 21632 bytes | 2026-10-25 | not shown as text |
| checks.py | 5495 bytes | 2026-10-25 | |
| dry-run.log | 517 bytes | 2026-10-25 | not shown as text |
| dry_run.py | 3776 bytes | 2026-10-25 | |
| generate.py | 6531 bytes | 2026-10-25 | |
| root-certificates.json | 15740 bytes | 2026-10-25 | |
| stored-checks.log | 21794 bytes | 2026-10-25 | not shown as text |
| versions.json | 87 bytes | 2026-10-25 |
Download the table and its files together — as of this version, so the code in it is the code that produced the numbers in it.
These are recorded, not executed. Several of them take hours or days to run, and nothing on this site runs them.
