back to table · edit · history · where entries came from · files
As of the current version, 2026-11-11 08:15, “Define a in the x parameter declaration, retaining compact a and 2a row labels. Keep endpoint motivation in comments. All 44 values, entry identities and sources are unchanged.”. See the history to look at the files of an earlier one.
| name | size | last changed | |
|---|---|---|---|
| DLMF-passages.md | 608 bytes | 2026-11-11 | |
| argument-selection.md | 2812 bytes | 2026-11-11 | |
| browser-results.json | 3358 bytes | 2026-11-11 | |
| browser_check.py | 4520 bytes | 2026-11-11 | |
| build-evidence.md | 4600 bytes | 2026-11-11 | |
| check-results.json | 20461 bytes | 2026-11-11 | |
| checks.py | 7062 bytes | 2026-11-11 | |
| companion-link-check.json | 1185 bytes | 2026-11-11 | |
| computation.md | 2535 bytes | 2026-11-11 | |
| deterministic-checks.log | 904 bytes | 2026-11-11 | not shown as text |
| generate.py | 4001 bytes | 2026-11-11 | |
| offline-rows.json | 54797 bytes | 2026-11-11 | |
| offline-summary.json | 83 bytes | 2026-11-11 | |
| research.md | 3107 bytes | 2026-11-11 | |
| runtime-versions.json | 316 bytes | 2026-11-11 | |
| serialization-check.json | 112 bytes | 2026-11-11 | |
| skill-manifest.json | 4060 bytes | 2026-11-11 | |
| stored-check-results.json | 20943 bytes | 2026-11-11 | |
| stored-rows.json | 28815 bytes | 2026-11-11 | |
| verify.log | 68 bytes | 2026-11-11 | 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.
