# Independent Lean reproduction

- **When:** 2026-09-29
- **Repo:** https://github.com/dappalumbo91/FSOT-2.1-Lean.git
- **Commit:** `95a11138933922200f529a55b5a026457e8e63fd` (GitHub `main`)
- **Clone:** `C:\Users\damia\Desktop\FSOT-2.1-Lean-repro-95a1113`
- **Authority pin:** `AEB2AD`, the SHA-256 prefix of `vendor/fsot_compute.py` in that clone. Same prefix as the published tree.
- **Mathlib:** cache completed, 8538 cached files, revision `fabf563a7c95a166b8d7b6efca11c8b4dc9d911f`
- **Command:** `lake build FSOT`
- **Result:** Build completed successfully (2206 jobs). Exit 0. No Lean errors.

The clone is a separate directory. It was not built from the working tree. Lean accepted the published library, including the formal spines from the passed gauntlet.