back to table · edit · history · where entries came from · files
As of the current version, 2026-10-29 10:07, “Attach Gaussian-limit derivation and executed checks”. See the history to look at the files of an earlier one.
| name | size | last changed | |
|---|---|---|---|
| argument-selection.md | 5415 bytes | 2026-10-29 | |
| audit.json | 120 bytes | 2026-10-29 | |
| check.py | 17709 bytes | 2026-10-29 | |
| checks.py | 7739 bytes | 2026-10-29 | |
| dry-run.log | 503 bytes | 2026-10-29 | not shown as text |
| dry_run.py | 3776 bytes | 2026-10-29 | |
| generate.py | 3411 bytes | 2026-10-29 | |
| local-evidence.json | 23845 bytes | 2026-10-29 | |
| program-check.log | 54 bytes | 2026-10-29 | not shown as text |
| repair-limit-check.py | 4813 bytes | 2026-10-29 — in this version | |
| repair-numerical-evidence.json | 16528 bytes | 2026-10-29 — in this version | |
| repair-skill-evidence.json | 579 bytes | 2026-10-29 — in this version | |
| repair-source-evidence.json | 313 bytes | 2026-10-29 — in this version | |
| repair-verification.md | 5083 bytes | 2026-10-29 — in this version | |
| selection-fingerprint.json | 759 bytes | 2026-10-29 | |
| skill-evidence.json | 518 bytes | 2026-10-29 | |
| skill-manifest.json | 526 bytes | 2026-10-29 | |
| sources.md | 3491 bytes | 2026-10-29 | |
| stored-evidence.json | 24620 bytes | 2026-10-29 |
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.
