back to table · edit · history · where entries came from · files
As of the current version, 2026-11-01 09:03, “Link the coefficients to their Riesz generating function and ordinary alternating sum”. See the history to look at the files of an earlier one.
| name | size | last changed | |
|---|---|---|---|
| argument-selection.md | 2361 bytes | 2026-11-01 | |
| build-handoff.md | 5504 bytes | 2026-11-01 | |
| check.py | 17709 bytes | 2026-11-01 | |
| checks.py | 8991 bytes | 2026-11-01 | |
| dry-run.log | 502 bytes | 2026-11-01 | not shown as text |
| final-audit.json | 95 bytes | 2026-11-01 | |
| generate.py | 3313 bytes | 2026-11-01 | |
| numerical-evidence.json | 41845 bytes | 2026-11-01 | |
| pre-fill-evidence.json | 41508 bytes | 2026-11-01 | |
| program-evidence.json | 72 bytes | 2026-11-01 | |
| program.py | 308 bytes | 2026-11-01 | |
| public-access.json | 115 bytes | 2026-11-01 | |
| selection-fingerprint.json | 578 bytes | 2026-11-01 | |
| skill-evidence.json | 426 bytes | 2026-11-01 | |
| skill-manifest.json | 526 bytes | 2026-11-01 | |
| source-evidence.json | 470 bytes | 2026-11-01 |
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.
