back to table · edit · history · where entries came from · files
As of the current version, 2026-11-02 13:17, “Explain the Wilton companion through alternating Gauss-map weights and the Brjuno bound”. See the history to look at the files of an earlier one.
| name | size | last changed | |
|---|---|---|---|
| additional-checks.json | 77 bytes | 2026-11-02 | |
| additional_checks.py | 851 bytes | 2026-11-02 | |
| argument-selection.md | 5579 bytes | 2026-11-02 | |
| audit-assessment.md | 1177 bytes | 2026-11-02 | |
| audit.json | 274 bytes | 2026-11-02 | |
| check.py | 17709 bytes | 2026-11-02 | |
| checks.py | 8210 bytes | 2026-11-02 | |
| generate.py | 3903 bytes | 2026-11-02 | |
| numerical-evidence.json | 448715 bytes | 2026-11-02 | |
| numerical-method.md | 4292 bytes | 2026-11-02 | |
| program.py | 718 bytes | 2026-11-02 | |
| skill-evidence.json | 691 bytes | 2026-11-02 | |
| skill-manifest.json | 526 bytes | 2026-11-02 | |
| sources.json | 743 bytes | 2026-11-02 | |
| stored-evidence.json | 448836 bytes | 2026-11-02 |
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.
