back to table · edit · history · where entries came from · files
As of the current version, 2026-10-27 14:23, “Attach reproducible symplectic generator, independent checks and coverage evidence”. See the history to look at the files of an earlier one.
| name | size | last changed | |
|---|---|---|---|
| argument-selection.md | 3240 bytes | 2026-10-27 — in this version | |
| artifact-sha256.json | 1188 bytes | 2026-10-27 — in this version | |
| audit.json | 100 bytes | 2026-10-27 — in this version | |
| check.py | 17709 bytes | 2026-10-27 — in this version | |
| checks.py | 8690 bytes | 2026-10-27 — in this version | |
| dependency-versions.json | 87 bytes | 2026-10-27 — in this version | |
| generate.py | 4150 bytes | 2026-10-27 — in this version | |
| numerical-evidence.md | 5424 bytes | 2026-10-27 — in this version | |
| reader-program.py | 1006 bytes | 2026-10-27 — in this version | |
| skill-evidence.json | 669 bytes | 2026-10-27 — in this version | |
| stored-results.json | 3865 bytes | 2026-10-27 — in this version | |
| values.json | 5816 bytes | 2026-10-27 — in this version |
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.