back to table · edit · history · where entries came from · files
As of the current version, 2026-10-25 10:54, “Attach exact Euler identity checks and unchanged-value verification”. See the history to look at the files of an earlier one.
| name | size | last changed | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| build-handoff.md | 5685 bytes | 2026-10-25 | |||||||||
| check.py | 17709 bytes | 2026-10-25 | |||||||||
| checks-stored.json | 2888 bytes | 2026-10-25 | |||||||||
| checks.py | 12319 bytes | 2026-10-25 | |||||||||
2 versions of this file
|
|||||||||||
| dry-run.txt | 553 bytes | 2026-10-25 | |||||||||
| generate.py | 4682 bytes | 2026-10-25 | |||||||||
| repair-checks-after.json | 485 bytes | 2026-10-25 — in this version | |||||||||
| repair-handoff.md | 2548 bytes | 2026-10-25 — in this version | |||||||||
| repair_checks.py | 2518 bytes | 2026-10-25 — in this version | |||||||||
| source-notes.md | 3823 bytes | 2026-10-25 | |||||||||
| versions.json | 171 bytes | 2026-10-25 | |||||||||
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.
