back to table · edit · history · where entries came from · files
As of the current version, 2026-10-24 20:50, “Attach census-count verification, Arb wheel checks, and the executed Sage example”. See the history to look at the files of an earlier one.
| name | size | last changed | |
|---|---|---|---|
| PeriodsNonPhi4 | 434573 bytes | 2026-10-24 | not shown as text |
| T466-repair-checks.json | 1916 bytes | 2026-10-24 — in this version | |
| build-handoff.md | 4642 bytes | 2026-10-24 | |
| check.py | 17709 bytes | 2026-10-24 | |
| check_t466_repair.py | 4923 bytes | 2026-10-24 — in this version | |
| checks-before.log | 734 bytes | 2026-10-24 | not shown as text |
| checks.py | 8001 bytes | 2026-10-24 | |
| cross-equalities.json | 2067 bytes | 2026-10-24 | |
| cross-equality-proofs.json | 31565 bytes | 2026-10-24 | |
| cross-source-values.json | 2864 bytes | 2026-10-24 | |
| dry-run.log | 516 bytes | 2026-10-24 | not shown as text |
| generate.py | 7183 bytes | 2026-10-24 | |
| numerical-results.json | 208720 bytes | 2026-10-24 | |
| numerical-summary.json | 215 bytes | 2026-10-24 | |
| parse_census.py | 3783 bytes | 2026-10-24 | |
| stored-check-results.json | 732 bytes | 2026-10-24 | |
| verify-summary.txt | 810 bytes | 2026-10-24 |
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.
