back to table · edit · history · where entries came from · files
As of the current version, 2026-10-28 15:38, “Record independent checks on all 306 stored derivative intervals”. See the history to look at the files of an earlier one.
| name | size | last changed | |
|---|---|---|---|
| argument-selection.md | 5069 bytes | 2026-10-28 | |
| check.py | 17709 bytes | 2026-10-28 | |
| checks.py | 10598 bytes | 2026-10-28 | |
| generate.py | 3627 bytes | 2026-10-28 | |
| hardy_arb.pyx | 2640 bytes | 2026-10-28 | not shown as text |
| numerical-evidence.json | 194565 bytes | 2026-10-28 | |
| readback-evidence.json | 194564 bytes | 2026-10-28 — in this version | |
| skill-manifest.json | 526 bytes | 2026-10-28 |
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.
