RECORDED RELEASE BUILD ENVIRONMENT
==================================
Date: 2026-08-31 UTC source epoch (build executed 2026-09-01 EEST)

Article toolchain
-----------------
latexmk 4.87 (John Collins, 15 June 2025)
pdfTeX 3.141592653-2.6-1.40.27 (TeX Live 2025/nixos.org)
kpathsea 6.4.1
libpng 1.6.58
zlib 1.3.2
xpdf 4.04

Exact-verification launcher
---------------------------
Python 3.11.15
uv 0.12.3 (x86_64-unknown-linux-gnu)
SymPy 1.14.0 and its transitive dependencies are pinned by
pyproject.toml, uv.lock, and .python-version.

Lean toolchain
--------------
Lean 4.30.0
Mathlib tag v4.30.0
Pinned revisions are recorded in
lean/freudenthal_k4_edge_star_lean/lake-manifest.json.

Reproducibility boundary
------------------------
build_article.sh fixes SOURCE_DATE_EPOCH and TZ and produced identical bytes in
repeated clean builds under the toolchain above. The repository does not yet
ship a hermetic TeX Live/Nix/container closure, so byte identity across a
different TeX distribution is not claimed.
