back to table · edit · history · where entries came from · files
As of the current version, 2026-10-29 00:57, “Remove unsupported digits metadata; retain the 100-digit precision statement and all values”. See the history to look at the files of an earlier one.
| name | size | last changed | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| argument-selection.md | 2838 bytes | 2026-10-29 | |||||||||
| check.py | 17709 bytes | 2026-10-29 | |||||||||
| checks.py | 7002 bytes | 2026-10-29 | |||||||||
| derivation.md | 3101 bytes | 2026-10-29 | |||||||||
| generate.py | 4757 bytes | 2026-10-29 | |||||||||
| numerical-evidence.json | 18289 bytes | 2026-10-29 | |||||||||
| postfill.py | 2623 bytes | 2026-10-29 | |||||||||
2 versions of this file
|
|||||||||||
| skill-evidence.json | 665 bytes | 2026-10-29 | |||||||||
| source-evidence.json | 733 bytes | 2026-10-29 | |||||||||
| stored-verification.json | 368 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.
