back to table · edit · history · where entries came from · files
As of the current version, 2026-10-30 20:20, “Preserve the program-language repair diagnosis and successful rendering and interval checks.”. See the history to look at the files of an earlier one.
| name | size | last changed | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| argument-selection.md | 3307 bytes | 2026-10-30 | |||||||||
| certification.md | 5391 bytes | 2026-10-30 | |||||||||
| checks.py | 8211 bytes | 2026-10-30 | |||||||||
| generate.py | 4962 bytes | 2026-10-30 | |||||||||
| numerical-evidence.json | 14128 bytes | 2026-10-30 | |||||||||
2 versions of this file
|
|||||||||||
| repair-check.py | 2737 bytes | 2026-10-30 — in this version | |||||||||
| repair-evidence.json | 15244 bytes | 2026-10-30 — in this version | |||||||||
| repair-notes.md | 2781 bytes | 2026-10-30 — in this version | |||||||||
| skill-manifest.json | 526 bytes | 2026-10-30 | |||||||||
| source-provenance.json | 477 bytes | 2026-10-30 | |||||||||
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.
