1.2.0 — 2026-09-17 — connected Horizon research program
Lean/Mathlib v4.34.0 toolchain program and pin cycle #7 (2026-09-15)
Commits (in order): ff5c712 bridge re-pin to GNN
e983de5e5c997d413a24c8af212d0d4a2ecf61a6 sealing the post-fa931c8
owner content; 88ffd01 toolchain bump of Lean/Mathlib to v4.34.0 (the
newest-stable gate demanded it: lean/lean-toolchain v4.33.1 → v4.34.0,
lakefile + lake-manifest re-resolved at mathlib 5ed29652) with the
155-topic FepSketches workspace migrated to the 4.34 Mathlib API, canonical
surfaces migrated and projections regenerated byte-identical,
lake build FepSketches at zero warnings, fep-lean verify at 155/155
Manuscript
- Review PDF: attached (fep_lean-manuscript-2026-09-17.pdf) — graphical-abstract cover, roster v18, publication-plane custody at this release's HEAD.