back to table · edit · history · where entries came from · files
As of the current version, 2026-10-30 22:06, “Complete definition, Hodge relations, coverage and verification evidence”. See the history to look at the files of an earlier one.
| name | size | last changed | |
|---|---|---|---|
| argument-selection.md | 5279 bytes | 2026-10-30 | |
| check.py | 17709 bytes | 2026-10-30 | |
| checks.py | 8890 bytes | 2026-10-30 | |
| continuation.md | 9179 bytes | 2026-10-30 | |
| generate.py | 7479 bytes | 2026-10-30 | |
| independent.py | 4123 bytes | 2026-10-30 | |
| numerical-evidence.json | 217437 bytes | 2026-10-30 | |
| skill-evidence.json | 413 bytes | 2026-10-30 | |
| source-evidence.json | 3602 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.
