back to table · edit · history · where entries came from · files
As of the current version, 2026-10-25 12:01, “Clarify integer triangle indices and remove run history from coverage”. See the history to look at the files of an earlier one.
| name | size | last changed | |
|---|---|---|---|
| T485-repair-checks.json | 7554 bytes | 2026-10-25 — in this version | |
| T485-repair-evidence.md | 2329 bytes | 2026-10-25 — in this version | |
| check_t485_repair.py | 3096 bytes | 2026-10-25 — in this version | |
| checks.py | 11293 bytes | 2026-10-25 | |
| generate.py | 8116 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.
