Paper XI — lean guide source
This is the active source for revised edition 1.1.0, 18 October 2026. Build it with the portable root tools/build_readers.py; the builder stages an independent copy and selects installed fonts without editing this directory. See root BUILD.md.
The current source changes and their mathematical review are recorded in evidence/release_1_1/ relative to the release root. The three original readers share the typography profile and have no top-right decorative motif. All mathematical figures and their retained generators use Python. Figure assets are preserved; this edition does not claim fresh figure regeneration.
The 423 selected Lean modules, original catalogue JSON, and forty literal teaching excerpts keep their inherited identities. The fresh compiler audit and the two separately counted formal targets are documented in root formalization/ and verification/lean/. PDF compilation and arithmetic existence have separate evidentiary scopes.
The earlier complete source-and-evidence release is retained under root historical/. Paths, dates, source hashes and status text inside its records refer to their original checkpoints. The selected Henniart–Lemaire full-text review is new to this edition. The full Block 2 editable archive is still unavailable; its research-reader text is preserved. General realization and same-candidate H5 remain open.