back to table · edit · history · where entries came from · files
As of the current version, 2026-11-02 17:11, “Attach reproducible checks for the T681 program example repair”. See the history to look at the files of an earlier one.
| name | size | last changed | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| argument-selection.md | 4555 bytes | 2026-11-02 | |||||||||
| check.py | 17709 bytes | 2026-11-02 | |||||||||
| checks.py | 7452 bytes | 2026-11-02 | |||||||||
2 versions of this file
|
|||||||||||
| flatten.py | 9159 bytes | 2026-11-02 | |||||||||
| generate.py | 6002 bytes | 2026-11-02 | |||||||||
2 versions of this file
|
|||||||||||
| numerical-evidence.json | 35826 bytes | 2026-11-02 | |||||||||
| numerical-evidence.md | 8203 bytes | 2026-11-02 | |||||||||
2 versions of this file
|
|||||||||||
| quadrature-evidence.json | 11776 bytes | 2026-11-02 | |||||||||
| quadrature.py | 3301 bytes | 2026-11-02 | |||||||||
| repair-check.json | 4080 bytes | 2026-11-02 — in this version | |||||||||
| repair-check.py | 3759 bytes | 2026-11-02 — in this version | |||||||||
| repair-provenance.json | 1196 bytes | 2026-11-02 — in this version | |||||||||
| skill-evidence.json | 736 bytes | 2026-11-02 | |||||||||
| skill-manifest.json | 526 bytes | 2026-11-02 | |||||||||
| sources.json | 359 bytes | 2026-11-02 | |||||||||
| table-proposed.json | 18274 bytes | 2026-11-02 — in this version | |||||||||
| versions.json | 87 bytes | 2026-11-02 | |||||||||
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.