back to table · edit · history · where entries came from · files
As of the current version, 2026-11-10 20:59, “Create draft; proposal https://github.com/numberdb/numberdb-data/issues/313; contributes to https://github.com/numberdb/numberdb-data/issues/273”. See the history to look at the files of an earlier one.
| name | size | last changed | |
|---|---|---|---|
| argument-selection.md | 2136 bytes | 2026-11-10 — in this version | |
| browser-evidence.json | 1182 bytes | 2026-11-10 — in this version | |
| checks.py | 8294 bytes | 2026-11-10 — in this version | |
| derivation.md | 5085 bytes | 2026-11-10 — in this version | |
| generate.py | 4079 bytes | 2026-11-10 — in this version | |
| generator-verify.log | 68 bytes | 2026-11-10 — in this version | not shown as text |
| integral_kernel.py | 3328 bytes | 2026-11-10 — in this version | |
| kernel-checkpoints.jsonl | 426015 bytes | 2026-11-10 — in this version | not shown as text |
| numerical-evidence.json | 93889 bytes | 2026-11-10 — in this version | |
| offline-results.log | 3894 bytes | 2026-11-10 — in this version | not shown as text |
| program.py | 1079 bytes | 2026-11-10 — in this version | |
| readback-evidence.json | 23986 bytes | 2026-11-10 — in this version | |
| research.md | 3051 bytes | 2026-11-10 — in this version | |
| skill-manifest.json | 4060 bytes | 2026-11-10 — in this version | |
| source-archives.json | 480 bytes | 2026-11-10 — in this version | |
| verify_stored.py | 2939 bytes | 2026-11-10 — in this version |
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.
