back to table · edit · history · where entries came from · files
As of the current version, 2026-10-16 08:41, “Preserve reproducible checks for the degree-condition wording repair”. See the history to look at the files of an earlier one.
| name | size | last changed | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| T458-repaired.md | 662 bytes | 2026-10-16 — in this version | |||||||||
| audit.json | 143 bytes | 2026-10-16 | |||||||||
| build-handoff.md | 3607 bytes | 2026-10-16 | |||||||||
| check.py | 17709 bytes | 2026-10-16 | |||||||||
| checks.py | 7114 bytes | 2026-10-16 | |||||||||
2 versions of this file
|
|||||||||||
| computed-values.json | 40414 bytes | 2026-10-16 | |||||||||
| generate.py | 4830 bytes | 2026-10-16 | |||||||||
| local-check-report.json | 492 bytes | 2026-10-16 | |||||||||
| range-measurements.log | 661 bytes | 2026-10-16 | not shown as text | ||||||||
| repair-checks.json | 434 bytes | 2026-10-16 — in this version | |||||||||
| repair_checks.py | 3926 bytes | 2026-10-16 — in this version | |||||||||
| sources.md | 1454 bytes | 2026-10-16 | |||||||||
| stored-check-report.json | 492 bytes | 2026-10-16 | |||||||||
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.
