back to table · edit · history · where entries came from · files
As of the current version, 2026-11-10 00:44, “Attach display-repair checks and regression evidence.”. See the history to look at the files of an earlier one.
| name | size | last changed | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| argument-selection.md | 3814 bytes | 2026-11-10 | |||||||||
| audit.json | 116 bytes | 2026-11-10 | |||||||||
| checks.py | 9358 bytes | 2026-11-10 | |||||||||
| coverage-and-size.json | 393 bytes | 2026-11-10 | |||||||||
| dry-run.log | 521 bytes | 2026-11-10 | not shown as text | ||||||||
| generate.py | 4857 bytes | 2026-11-10 | |||||||||
| numerical-evidence.json | 201517 bytes | 2026-11-10 | |||||||||
| repair-check.py | 2423 bytes | 2026-11-10 — in this version | |||||||||
| repair-evidence.json | 3973 bytes | 2026-11-10 — in this version | |||||||||
| skill-manifest.json | 525 bytes | 2026-11-10 | |||||||||
| sources.json | 1569 bytes | 2026-11-10 | |||||||||
2 versions of this file
|
|||||||||||
| stored-document.json | 58195 bytes | 2026-11-10 | |||||||||
| stored-evidence.json | 201515 bytes | 2026-11-10 | |||||||||
| stored-relations.json | 210 bytes | 2026-11-10 | |||||||||
| stored_relations.py | 1285 bytes | 2026-11-10 | |||||||||
| verify.log | 70 bytes | 2026-11-10 | not shown as text | ||||||||
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.
