back to table · edit · history · where entries came from · files
As of the current version, 2026-10-27 17:40, “Clarify that all polygon conformal radii are distinct from hyperbolic distances”. See the history to look at the files of an earlier one.
| name | size | last changed | |
|---|---|---|---|
| argument-selection.md | 3618 bytes | 2026-10-27 | |
| audit-disposition.md | 1859 bytes | 2026-10-27 | |
| audit.json | 623 bytes | 2026-10-27 | |
| checks.py | 7685 bytes | 2026-10-27 | |
| dry-run.log | 519 bytes | 2026-10-27 | not shown as text |
| generate.py | 3038 bytes | 2026-10-27 | |
| handoff.md | 5423 bytes | 2026-10-27 | |
| numerical-evidence.json | 91968 bytes | 2026-10-27 | |
| program-check.log | 41 bytes | 2026-10-27 | not shown as text |
| skill-evidence.json | 343 bytes | 2026-10-27 | |
| skill-manifest.json | 526 bytes | 2026-10-27 | |
| source-notes.md | 2422 bytes | 2026-10-27 | |
| tag-evidence.json | 318 bytes | 2026-10-27 | |
| verification-status.json | 475 bytes | 2026-10-27 | |
| verify.log | 68 bytes | 2026-10-27 | not shown as text |
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.
