Current reader-build instructions (no Lean execution)

Paper XII: Patching Support, Hecke Packets, and Conditional Automorphic Completion

README.md

Download original file

Original Markdown with line links

Paper XII reading release 1.0.0

This is a current editable reader, not the historical standalone build folder. From the release root run:

python tools/build_readers.py --output /absolute/path/to/fresh-output

All three readers are built together so companion destinations agree. A working TeX Live installation, PyMuPDF and Matplotlib are required. Fonts are installed build dependencies, not bundled files. Consult the root BUILD.md and RELEASE_SCOPE.md. Preserved original instructions and audits are under predecessor/. No PDF build invokes Lean or Lake.

Other PDFs for this work

Original file and source record

This copy matches the recorded source file. Its publication here does not change the work’s review status.

SHA-256: a37fa78d373e756fade6f8c84f9e40bf5cc391a6e95c02b943739f05abaceddb

Original source on GitHub

Back to Paper XII: Patching Support, Hecke Packets, and Conditional Automorphic Completion