back to table · edit · history · where entries came from · files
As of the current version, 2026-10-16 09:47, “Retain reproducible checks of the formal pi convention”. See the history to look at the files of an earlier one.
| name | size | last changed | |
|---|---|---|---|
| BUILD.md | 5807 bytes | 2026-10-16 | |
| T459-live.json | 8040 bytes | 2026-10-16 — in this version | |
| T460-before.json | 7333 bytes | 2026-10-16 — in this version | |
| T460-proposed.diff | 805 bytes | 2026-10-16 — in this version | not shown as text |
| T460-repair-checks.json | 1919 bytes | 2026-10-16 — in this version | |
| T460-repair-evidence.md | 2270 bytes | 2026-10-16 — in this version | |
| T460-repaired.md | 914 bytes | 2026-10-16 — in this version | |
| audit.json | 129 bytes | 2026-10-16 | |
| check.py | 17709 bytes | 2026-10-16 | |
| check_T460_repair.py | 3376 bytes | 2026-10-16 — in this version | |
| checks.py | 10724 bytes | 2026-10-16 | |
| dry-run.log | 501 bytes | 2026-10-16 | not shown as text |
| dry_run.py | 3776 bytes | 2026-10-16 | |
| entries.json | 1286 bytes | 2026-10-16 | |
| generate.py | 5446 bytes | 2026-10-16 | |
| prepare_T460_repair.py | 1315 bytes | 2026-10-16 — in this version | |
| range-measurement.log | 3529 bytes | 2026-10-16 | not shown as text |
| verification-local.json | 609 bytes | 2026-10-16 | |
| verification-stored.json | 605 bytes | 2026-10-16 |
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.
