back to table · edit · history · where entries came from · files
As of the current version, 2026-10-31 10:48, “Connect CM evaluation, Faber polynomials and their zeros in the scoped family”. See the history to look at the files of an earlier one.
| name | size | last changed | |
|---|---|---|---|
| algebraic-check-data.json | 2762 bytes | 2026-10-31 | |
| argument-selection.md | 5232 bytes | 2026-10-31 | |
| audit.json | 141 bytes | 2026-10-31 | |
| checks-computed.json | 59277 bytes | 2026-10-31 | |
| checks-stored.json | 63677 bytes | 2026-10-31 | |
| checks.py | 7930 bytes | 2026-10-31 | |
| generate.py | 4303 bytes | 2026-10-31 | |
| handoff.md | 5788 bytes | 2026-10-31 | |
| numerical-evidence.md | 5258 bytes | 2026-10-31 | |
| selection-fingerprint.json | 793 bytes | 2026-10-31 | |
| skill-evidence.json | 499 bytes | 2026-10-31 | |
| source-checks.md | 3617 bytes | 2026-10-31 |
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.
