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 | 1932 bytes | 2026-11-10 | |
| audit-assessment.md | 1175 bytes | 2026-11-10 | |
| browser-final.json | 1211 bytes | 2026-11-10 | |
| checks-executed.py | 7519 bytes | 2026-11-10 | |
| checks.py | 7615 bytes | 2026-11-10 | |
| derivation.md | 5141 bytes | 2026-11-10 | |
| dry-run.log | 499 bytes | 2026-11-10 | not shown as text |
| generate.py | 4063 bytes | 2026-11-10 | |
| integral_kernel.py | 3328 bytes | 2026-11-10 | |
| lesson-proposals.md | 1076 bytes | 2026-11-10 | |
| numerical-evidence-original.json | 64319 bytes | 2026-11-10 | |
| numerical-evidence.json | 94694 bytes | 2026-11-10 | |
| readback-evidence.json | 24061 bytes | 2026-11-10 | |
| research.md | 3500 bytes | 2026-11-10 | |
| serialize.py | 1628 bytes | 2026-11-10 | |
| skill-manifest.json | 4060 bytes | 2026-11-10 | |
| source-archives.json | 533 bytes | 2026-11-10 | |
| verify-generator.log | 68 bytes | 2026-11-10 | not shown as text |
| verify_stored.py | 2936 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.
