repair-evidence.md

back to table · edit · history · where entries came from · files · download

2369 bytes, as of the version from 2026-10-25 07:54 (current). Recorded here, not run.

# T478 editorial repair, 25 October 2026

The source-retrieval paragraph was moved verbatim from `Comments: comment-source` to the final paragraph of `Data properties: rigour details`. The proof-status paragraph now leads Comments. Source citations, dates, all other prose, parameter order and all 99 entries are unchanged. Document revision: `8bf39098b49403b333ad3c4f6f9ef9ad7dfff08d2753fee8099f00d0ba2c3601`.

Before editing, both the current live skill and the local skill were read, with the stricter local range conventions retained. The live document and clean audit were retrieved. The authenticated document was visible while an anonymous API read returned "does not exist", confirming this was a private draft. The canonical page returned HTTP 404; affected sections were checked through the live preview renderer instead.

The attached `source-manifest.json` confirms retrieval on 2026-10-25 and index Last-Modified dates of 10-Oct-2026 for Deeter and 13-Aug-2026 for Cambridge. The proposed diff and full changed paragraphs were printed and reread before submitting through the authenticated API as zeta3. The source paragraph is preserved exactly, so no new mathematical assertion was introduced.

The existing attached `generate.py` and `sources.json` were downloaded from the website and run in read-only verification mode via `agents/sage.sh`. Result: 99/99 matched, 0 differing, 0 missing, 0 extra. This verifies the existing generator's agreement with stored values; it is not a new independent proof of global optimality. Original generator and numerical-check attachments remain in place.

Read-back equals the proposed document, including entry order. The post-edit audit returned `clean: true`, with no findings. `repair-checks.py` reproduces the document checks; `repair-checks.json` records its output. `repair-rendering-checks.json` records successful live previews without MathJax or JavaScript errors and with both moved source citations linked.

The separate wrapping observation is confirmed: entry notes inherit `word-break: break-all`, and the mobile preview splits ordinary words. That requires a site-maintainer decision; no table comment was rewritten to compensate. The full-page preview limitation and renderer evidence are preserved in this run's environment handoff.

No draft was offered, published or reviewed in this repair run.