back to table · edit · history · where entries came from · files
As of the current version, 2026-10-27 21:27, “Attach verification and source evidence for the normalized-quotient correction.”. See the history to look at the files of an earlier one.
| name | size | last changed | |
|---|---|---|---|
| argument-selection.md | 4448 bytes | 2026-10-27 | |
| check.py | 17709 bytes | 2026-10-27 | |
| checks.py | 10630 bytes | 2026-10-27 | |
| generate.py | 5724 bytes | 2026-10-27 | |
| numerical-evidence.json | 11379 bytes | 2026-10-27 | |
| repair-check.py | 1719 bytes | 2026-10-27 — in this version | |
| repair-evidence.json | 5142 bytes | 2026-10-27 — in this version | |
| repair-notes.md | 2917 bytes | 2026-10-27 — in this version | |
| skill-evidence.json | 660 bytes | 2026-10-27 — in this version | |
| source-evidence.md | 6674 bytes | 2026-10-27 | |
| table_records.py | 9159 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.
