back to table · edit · history · where entries came from · files
As of the current version, 2026-10-29 02:42, “Remove unsupported digits display metadata; retain 100-digit precision in the rigour note”. See the history to look at the files of an earlier one.
| name | size | last changed | |
|---|---|---|---|
| argument-selection.md | 4463 bytes | 2026-10-29 | |
| checks-local.json | 25027 bytes | 2026-10-29 | |
| checks-stored.json | 401 bytes | 2026-10-29 | |
| checks.py | 7830 bytes | 2026-10-29 | |
| generate.py | 4494 bytes | 2026-10-29 | |
| numerical-evidence.md | 5404 bytes | 2026-10-29 | |
| skill-evidence.json | 466 bytes | 2026-10-29 | |
| source-archive.json | 508 bytes | 2026-10-29 |
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.
