back to table · edit · history · where entries came from · files
As of the current version, 2026-11-02 02:40, “Reject unsupported primes in Fermat zeta sample code; all 48 exact polynomials verified unchanged; remove isolated tag”. See the history to look at the files of an earlier one.
| name | size | last changed | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| argument-selection.md | 4786 bytes | 2026-11-02 | |||||||||
| before-document.json | 21690 bytes | 2026-11-02 — in this version | |||||||||
| build-evidence.md | 6432 bytes | 2026-11-02 | |||||||||
| character-orbits.json | 141089 bytes | 2026-11-02 | |||||||||
| check.py | 17709 bytes | 2026-11-02 | |||||||||
| checks.py | 7585 bytes | 2026-11-02 | |||||||||
| context_checks.py | 2579 bytes | 2026-11-02 — in this version | |||||||||
2 versions of this file
|
|||||||||||
| dry-run.txt | 1454 bytes | 2026-11-02 | |||||||||
| generate.py | 3801 bytes | 2026-11-02 | |||||||||
| numerical-evidence.json | 23801 bytes | 2026-11-02 | |||||||||
| proposed-document.json | 22740 bytes | 2026-11-02 — in this version | |||||||||
| repair-evidence.json | 7224 bytes | 2026-11-02 — in this version | |||||||||
| repair_checks.py | 4215 bytes | 2026-11-02 — in this version | |||||||||
| skill-evidence.json | 511 bytes | 2026-11-02 — in this version | |||||||||
| skill-manifest.json | 526 bytes | 2026-11-02 | |||||||||
| source-sha256.json | 439 bytes | 2026-11-02 | |||||||||
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.
