PAPER X BOUNDED GRANT AND FONT NOTICE REVIEW
21 October 2026

Original MIT code/machine-readable and CC BY 4.0 writing/figures/editable-source grants were already applied 20 October. Existing grant/status/fulltext/fontnotice files and three identical PDFsidecars remain unchanged. Third-party exceptions remain.

CebotarevDensity selectedsupport retains ChrisBirkbeck/AINTLIB Apache2.0 terms. The Apachelicense and three original attribution files match all four NOTICE_PROVENANCE hashes. Existing Mathlib/license notices and originals remain preserved. None of this material is reassigned to projectMIT.

All 75 baseline PDF paths parse, including all three current readers. Current 27 font resource names yield 40 program/resource records: 38 actual programs parsed and 30 installed candidate files independently reread/hashed. Two DejaVuType3 families retain explicit name-only origin evidence limits. Exact entire-font build identity is not claimed for subsets.

Existing modernURW, LatinModern and DejaVu full notices are retained. Prepared 21 supplementary notice files under notices/ address actual current olderURW/Pazo, AMS/ComputerModern/EUFM10, rsfs10, additional LatinModern primaryheaders and applicable generic license references. No current STIXresource is present, so no new STIXnotice is added.

EUFM10 actualmetadata independently matches the primary PFB version003.003 and AMS1997/2009/2011copyright, with explicit SIL OFL 1.1 terms. BoldLatinModernmath2.003 and Mono12Regular2.004 match installed PFBmetadata; primaryheaders explicitly grant GUST and retain2003--2009Jackowski/Nowacki copyrights. OlderURW/Pazo primary notices retainGPL plus documentembedding exceptions; no unstatedGPLversion is invented. GenericGPL2 text is a reference only. RSFS primary author permissions and originalMFconditions are retained through the previously authenticated exact-family cache, while currentX metadata were independently checked.

No standalone font binaries occur in baseline or the retainedZIP. HistoricalPDF font origins are separately bounded; this is not a universal historical font/license certificate. No unresolved extraction or family-match error remains. Baseline/scientific/PDF files were unchanged. Rootintegration should add a dated supplement only, preserving all existing grants and notices.
