back to table · edit · history · where entries came from · files
As of the current version, 2026-10-16 09:08, “Preserve evidence that the title repair leaves all values unchanged”. See the history to look at the files of an earlier one.
| name | size | last changed | |
|---|---|---|---|
| check.py | 17709 bytes | 2026-10-16 | |
| checks.py | 7677 bytes | 2026-10-16 | |
| dry-run.log | 503 bytes | 2026-10-16 | not shown as text |
| dry_run.py | 3776 bytes | 2026-10-16 | |
| generate.py | 5275 bytes | 2026-10-16 | |
| numerical-evidence.json | 1486 bytes | 2026-10-16 | |
| repair-check-results.json | 318 bytes | 2026-10-16 — in this version | |
| stored-evidence.json | 5209 bytes | 2026-10-16 | |
| verify_repair.py | 3400 bytes | 2026-10-16 — in this version |
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.
