back to table · edit · history · where entries came from · files · download
2377 bytes, as of the version from 2026-10-25 09:43 (current). Recorded here, not run.
# T481 program-language repair, 2026-10-25
The live API document was read afresh. An anonymous API read returned the
draft-invisible response and GET /T481 returned 404. The missing
Programs.Sage.language field remained present as a defect.
Before writing, a read-only preview containing the original title, definition,
parameters, display properties, all five numbers, references, links and program
failed with `Error while Parse program Sage: 'language'`. Adding only
`language: Sage` made the same preview render its title, numbers and all six
code lines. Chromium inspected both responses with the site's styles and
MathJax; the repaired preview had no math errors. This tests the live renderer
with an excerpt preserving the relevant context, not the authenticated /T481
page or the full table layout.
The original six-line program ran under Sage 10.9. Its two results agree with
the stored 3-connected and maximal-planar entries. The existing attached
generate.py was fetched from the website and rerun at 100 requested digits.
All four finite Arb enclosures lie strictly inside the stored last-place
intervals and have radii below 1e-108; the maximal-planar value matches 256/27
exactly. These checks rerun the existing generator, rather than independently
derive the enumeration theorems. No mathematical claims or values changed.
The document was reread immediately before PUT /api/table/T481 and still
matched the initial snapshot. The successful response recorded reviewed=false.
Reading it back confirmed exactly the proposed document, with parameter order,
all prose and all values preserved. The authenticated audit returned no
findings and clean=true. The existing generator and source attachments were
preserved; repair_checks.py and repair-checks.json accompany this note.
No publication, review or offer-for-review action was taken.
Reproduction: download generate.py and repair_checks.py from this table and
run `sage -python repair_checks.py`. Reading the private draft requires
NUMBERDB_API_KEY. An optional T481-before.json beside the script selects the
captured snapshot instead. This campaign used agents/sage.sh for both runs.
Browser evidence used Playwright 1.64.1 and Chromium 156.0.8078.4. Before and
after HTML, screenshots, API documents, responses, browser checks and the Sage
results are retained in the repair run's artifact directory.