back to table · edit · history · where entries came from · files
As of the current version, 2026-11-02 02:56, “Relate marked Fermat periods to the full cohomology zeta polynomials”. See the history to look at the files of an earlier one.
| name | size | last changed | |
|---|---|---|---|
| argument-selection.md | 4119 bytes | 2026-11-02 | |
| audit.json | 202 bytes | 2026-11-02 | |
| build-evidence.json | 3250 bytes | 2026-11-02 | |
| build-fingerprint.json | 772 bytes | 2026-11-02 | |
| character-data.json | 108707 bytes | 2026-11-02 | |
| check.py | 17709 bytes | 2026-11-02 | |
| checks.py | 11065 bytes | 2026-11-02 | |
| conventions.md | 5076 bytes | 2026-11-02 | |
| dry-run.log | 510 bytes | 2026-11-02 | not shown as text |
| environment-findings.md | 1515 bytes | 2026-11-02 | |
| generate.py | 3772 bytes | 2026-11-02 | |
| program-check.log | 67 bytes | 2026-11-02 | not shown as text |
| readback-checks.json | 28383 bytes | 2026-11-02 | |
| skill-manifest.json | 526 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.