back to table · edit · history · where entries came from · files
As of the current version, 2026-11-10 22:01, “Explain scoped companion constructions in Similar tables; preserve mathematics and sources”. See the history to look at the files of an earlier one.
| name | size | last changed | |
|---|---|---|---|
| argument-selection.md | 1928 bytes | 2026-11-10 | |
| audit.json | 148 bytes | 2026-11-10 | |
| browser-check.json | 3881 bytes | 2026-11-10 | |
| browser_check.py | 1962 bytes | 2026-11-10 | |
| build-handoff.md | 4868 bytes | 2026-11-10 | |
| check_program.py | 328 bytes | 2026-11-10 | |
| checks.py | 7270 bytes | 2026-11-10 | |
| derivation.md | 4788 bytes | 2026-11-10 | |
| dry-run.log | 499 bytes | 2026-11-10 | not shown as text |
| fingerprint.json | 320 bytes | 2026-11-10 | |
| generate.py | 4112 bytes | 2026-11-10 | |
| integral_kernel.py | 3328 bytes | 2026-11-10 | |
| link-checks.json | 722 bytes | 2026-11-10 | |
| numerical-evidence.json | 61415 bytes | 2026-11-10 | |
| program-check.log | 211 bytes | 2026-11-10 | not shown as text |
| program.py | 945 bytes | 2026-11-10 | |
| research.md | 2528 bytes | 2026-11-10 | |
| skill-manifest.json | 4060 bytes | 2026-11-10 | |
| source-archives.json | 830 bytes | 2026-11-10 | |
| stored-verification.json | 6128 bytes | 2026-11-10 | |
| verify-generator.log | 68 bytes | 2026-11-10 | not shown as text |
| verify_stored.py | 2121 bytes | 2026-11-10 |
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.
