back to table · edit · history · where entries came from · files
As of the current version, 2026-10-31 22:58, “Attach reproducible Selberg computation and independent checks”. See the history to look at the files of an earlier one.
| name | size | last changed | |
|---|---|---|---|
| argument-selection.md | 3010 bytes | 2026-10-31 — in this version | |
| audit.json | 124 bytes | 2026-10-31 — in this version | |
| build-handoff.md | 6102 bytes | 2026-10-31 — in this version | |
| check_program.py | 252 bytes | 2026-10-31 — in this version | |
| checks.py | 9877 bytes | 2026-10-31 — in this version | |
| derivation.md | 5867 bytes | 2026-10-31 — in this version | |
| draft-state.json | 364 bytes | 2026-10-31 — in this version | |
| dry-run.log | 499 bytes | 2026-10-31 — in this version | not shown as text |
| fingerprint.json | 397 bytes | 2026-10-31 — in this version | |
| generate.py | 4231 bytes | 2026-10-31 — in this version | |
| link-checks.json | 511 bytes | 2026-10-31 — in this version | |
| numerical-evidence.json | 29725 bytes | 2026-10-31 — in this version | |
| program-check.log | 211 bytes | 2026-10-31 — in this version | not shown as text |
| program.py | 904 bytes | 2026-10-31 — in this version | |
| skill-manifest.json | 525 bytes | 2026-10-31 — in this version | |
| sources.json | 732 bytes | 2026-10-31 — in this version | |
| stored-evidence.json | 30124 bytes | 2026-10-31 — in this version | |
| verify_stored.py | 641 bytes | 2026-10-31 — 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.
