back to table · edit · history · where entries came from · files
As of the current version, 2026-10-16 10:44, “Attach checks supporting the citation and definition repair”. See the history to look at the files of an earlier one.
| name | size | last changed | |
|---|---|---|---|
| T458.json | 23618 bytes | 2026-10-16 | |
| T462-repaired.md | 713 bytes | 2026-10-16 — in this version | |
| audit-final.json | 132 bytes | 2026-10-16 | |
| bernoulli.json | 22146 bytes | 2026-10-16 | |
| check.py | 17709 bytes | 2026-10-16 | |
| checks.py | 8009 bytes | 2026-10-16 | |
| dry-run.txt | 509 bytes | 2026-10-16 | |
| evidence.json | 888 bytes | 2026-10-16 | |
| generate.py | 4114 bytes | 2026-10-16 | |
| handoff.md | 6217 bytes | 2026-10-16 | |
| program-check.txt | 9 bytes | 2026-10-16 | |
| repair-evidence.json | 1875 bytes | 2026-10-16 — in this version | |
| repair_checks.py | 5080 bytes | 2026-10-16 — in this version | |
| source-notes.md | 2180 bytes | 2026-10-16 | |
| stored-checks.txt | 976 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.
