back to table · edit · history · where entries came from · files
As of the current version, 2026-10-26 08:03, “Preserve the verified equality caption and independent repair checks”. See the history to look at the files of an earlier one.
| name | size | last changed | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| audit.json | 115 bytes | 2026-10-26 | |||||||||
| check.py | 17709 bytes | 2026-10-26 | |||||||||
| checks.py | 7744 bytes | 2026-10-26 | |||||||||
| dry-run.txt | 499 bytes | 2026-10-26 | |||||||||
| evidence.json | 2719 bytes | 2026-10-26 | |||||||||
| generate.py | 2995 bytes | 2026-10-26 — in this version | |||||||||
2 versions of this file
|
|||||||||||
| handoff.md | 3104 bytes | 2026-10-26 | |||||||||
| repair-checks.txt | 3722 bytes | 2026-10-26 — in this version | |||||||||
| repair_checks.py | 3585 bytes | 2026-10-26 — in this version | |||||||||
| stored-evidence.json | 2810 bytes | 2026-10-26 | |||||||||
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.