REFERENCE AUDIT AND CORRECTIONS -- 18 OCTOBER 2026

All 23 references are sorted alphabetically by author, then title. Article
and preprint titles use roman sentence case; venues and book titles are italic.
Corollary 2.3 now cites Fortin-Reutenauer, Section 2, Corollary 1 alone.
Table 1 explains the inversion-height reduction behind the Arvind et al. row.
The bibliography adds the verified Guruswami-Kopparty, Forbes-Guruswami and
Derksen-Makam small-fields DOIs, and SIAM pages STOC24-260--STOC24-296.
Brakensiek et al. gains arXiv:2510.13777 and STOC 2026 acceptance; the ECCC
version remains authoritative for Remark 6.4. OpenAI result 116 uses the
actual document heading. Both source quotations were visually checked.
See formal/tc10/validation/reference-audit.json for primary-source evidence.

All 18 numbered statements, proof arguments, literal encoding, 366 production
Lean sources, nine reviewer scripts, 31 displayed source excerpts and
dependency pins are preserved. The sole proof-source change is a citation
pointer correction. Main paper: 22 pages; formal supplement: 24 pages.
The full reviewer command is rerun with reusable compiled artifacts. The
preceding isolated build covers identical Lean sources and reviewer scripts.

Reserved DOI: 10.5281/zenodo.23453468. The Zenodo record remains unpublished.
No files were uploaded by this revision. Linux verification is excluded.
Historical audit records are retained; working files and caches are excluded.
