back to table · edit · history · where entries came from · files
As of the current version, 2026-10-25 07:24, “Correct certified-row precision to 13 or 14 significant digits; six exact containment checks pass”. See the history to look at the files of an earlier one.
| name | size | last changed | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| audit.json | 500 bytes | 2026-10-25 | |||||||||
| build-handoff.md | 6418 bytes | 2026-10-25 | |||||||||
| checks.py | 7739 bytes | 2026-10-25 | |||||||||
| dry-run.log | 526 bytes | 2026-10-25 | not shown as text | ||||||||
| generate.py | 7371 bytes | 2026-10-25 — in this version | |||||||||
2 versions of this file
|
|||||||||||
| local-checks.json | 30963 bytes | 2026-10-25 | |||||||||
| repair-check-results.json | 2028 bytes | 2026-10-25 — in this version | |||||||||
| repair-checks.py | 3596 bytes | 2026-10-25 — in this version | |||||||||
| square-packings-source.json | 298078 bytes | 2026-10-25 | |||||||||
| stored-checks.json | 30963 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.
