back to table · edit · history · where entries came from · files
As of the current version, 2026-10-27 08:39, “Remove redundant digits warning and link Airy root families”. See the history to look at the files of an earlier one.
| name | size | last changed | |
|---|---|---|---|
| accelerate.py | 1158 bytes | 2026-10-27 | |
| argument-selection.md | 4758 bytes | 2026-10-27 | |
| check.py | 17709 bytes | 2026-10-27 | |
| checks.py | 7880 bytes | 2026-10-27 | |
| generate.py | 4819 bytes | 2026-10-27 | |
| numerical-checks.json | 52262 bytes | 2026-10-27 | |
| numerical-evidence.md | 6852 bytes | 2026-10-27 | |
| repair-20261027T083248Z-checks.zip | 121602 bytes | 2026-10-27 — in this version | not shown as text |
| skill-manifest.json | 526 bytes | 2026-10-27 | |
| values.json | 27325 bytes | 2026-10-27 |
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.
