back to table · edit · history · where entries came from · files
As of the current version, 2026-10-30 02:01, “Give the related radius table its readable title; preserve values and conventions.”. See the history to look at the files of an earlier one.
| name | size | last changed | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| argument-selection.md | 6072 bytes | 2026-10-30 | |||||||||
| audit.json | 113 bytes | 2026-10-30 | |||||||||
| compute.py | 1912 bytes | 2026-10-30 | |||||||||
| generate.py | 4403 bytes | 2026-10-30 | |||||||||
| independent-evidence.json | 8814 bytes | 2026-10-30 | |||||||||
| independent_checks.py | 5254 bytes | 2026-10-30 | |||||||||
| numerical-evidence.json | 20561 bytes | 2026-10-30 | |||||||||
| readback-evidence.json | 7803 bytes | 2026-10-30 | |||||||||
| readback_checks.py | 3757 bytes | 2026-10-30 | |||||||||
2 versions of this file
|
|||||||||||
| skills-evidence.json | 559 bytes | 2026-10-30 | |||||||||
| solver.py | 3189 bytes | 2026-10-30 | |||||||||
| source-manifest.json | 1611 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.
