back to table · edit · history · where entries came from · files
As of the current version, 2026-10-16 11:15, “Attach the genus-one comment checks and their exact inputs”. See the history to look at the files of an earlier one.
| name | size | last changed | |
|---|---|---|---|
| README.md | 2724 bytes | 2026-10-16 | |
| T458.json | 23618 bytes | 2026-10-16 | |
| T462.json | 15571 bytes | 2026-10-16 | |
| T463-stored.json | 38072 bytes | 2026-10-16 | |
| audit.json | 104 bytes | 2026-10-16 | |
| check.py | 17709 bytes | 2026-10-16 | |
| checks-offline.json | 651 bytes | 2026-10-16 | |
| checks-stored.json | 651 bytes | 2026-10-16 | |
| checks.py | 5932 bytes | 2026-10-16 | |
| companion-stored.log | 74 bytes | 2026-10-16 | not shown as text |
| companion_checks.py | 2060 bytes | 2026-10-16 | |
| document-final.json | 38182 bytes | 2026-10-16 | |
| dry-run.log | 524 bytes | 2026-10-16 | not shown as text |
| generate.py | 4276 bytes | 2026-10-16 | |
| independent.py | 6575 bytes | 2026-10-16 | |
| measure.log | 548 bytes | 2026-10-16 | not shown as text |
| published-examples.json | 8746 bytes | 2026-10-16 | |
| repair-check-genus-one.py | 2612 bytes | 2026-10-16 — in this version | |
| repair-evidence.md | 2133 bytes | 2026-10-16 — in this version | |
| repair-genus-one-checks.json | 957 bytes | 2026-10-16 — in this version | |
| repair-inputs.json | 2935 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.
