back to table · edit · history · where entries came from · files
As of the current version, 2026-10-30 02:35, “Keep the verified profile wording and reproducible repair checks with T615.”. See the history to look at the files of an earlier one.
| name | size | last changed | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| argument-selection.md | 7717 bytes | 2026-10-30 — in this version | |||||||||
2 versions of this file
|
|||||||||||
| audit.json | 118 bytes | 2026-10-30 | |||||||||
| check.py | 17709 bytes | 2026-10-30 | |||||||||
| dry_run.py | 3776 bytes | 2026-10-30 | |||||||||
| generate.py | 4249 bytes | 2026-10-30 — in this version | |||||||||
2 versions of this file
|
|||||||||||
| independent-evidence.json | 9989 bytes | 2026-10-30 | |||||||||
| independent_checks.py | 5017 bytes | 2026-10-30 | |||||||||
| numerical-evidence.json | 25683 bytes | 2026-10-30 | |||||||||
| readback-evidence.json | 7366 bytes | 2026-10-30 | |||||||||
| readback_checks.py | 4341 bytes | 2026-10-30 | |||||||||
| repair-numerical-evidence.json | 2432 bytes | 2026-10-30 — in this version | |||||||||
| repair-skill-evidence.json | 363 bytes | 2026-10-30 — in this version | |||||||||
| repair_checks.py | 4523 bytes | 2026-10-30 — in this version | |||||||||
| skill-evidence.json | 291 bytes | 2026-10-30 | |||||||||
| solver.py | 3189 bytes | 2026-10-30 | |||||||||
| source-manifest.json | 1348 bytes | 2026-10-30 | |||||||||
| validate.py | 1413 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.
