back to table · edit · history · where entries came from · files
As of the current version, 2026-10-27 20:42, “Add independently checked hyperelliptic volume example beyond the stored range”. See the history to look at the files of an earlier one.
| name | size | last changed | |
|---|---|---|---|
| argument-selection.md | 3781 bytes | 2026-10-27 | |
| check.py | 17709 bytes | 2026-10-27 | |
| checks.py | 7276 bytes | 2026-10-27 | |
| generate.py | 4359 bytes | 2026-10-27 | |
| handoff.md | 6021 bytes | 2026-10-27 | |
| hyperelliptic_program.py | 897 bytes | 2026-10-27 — in this version | |
| independent.py | 3699 bytes | 2026-10-27 | |
| numerical-evidence.json | 10261 bytes | 2026-10-27 | |
| reference-coefficients.json | 2994 bytes | 2026-10-27 | |
| repair-document-before.json | 11730 bytes | 2026-10-27 — in this version | |
| repair-program-checks.json | 12379 bytes | 2026-10-27 — in this version | |
| repair-skill-evidence.json | 747 bytes | 2026-10-27 — in this version | |
| repair_checks.py | 4736 bytes | 2026-10-27 — in this version | |
| skill-evidence.json | 416 bytes | 2026-10-27 | |
| sources.json | 1579 bytes | 2026-10-27 | |
| stored-verification.json | 10357 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.
