Current reader-build instructions (no Lean execution)
Paper XII: Patching Support, Hecke Packets, and Conditional Automorphic Completion
README.md
1 # Paper XII reading release 1.0.0
2
3 This is a current editable reader, not the historical standalone build folder. From the release root run:
4
5 ```text
6 python tools/build_readers.py --output /absolute/path/to/fresh-output
7 ```
8
9 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.