Smithian Fold Theory: A Zero-Axiom, Zero-Free-Parameter Derivation of the Fine-Structure Constant — Lean 4 Formal Verification

Zero axioms. Zero free scientific parameters. An exact fine-structure ratio, verified in Lean. Maria Smith's Smithian Fold Theory (SFT) is a structural theory-of-everything programme. This cumulative preprint opens with the first-principles derivation of alpha^(-1) = 503846395469/3676744786 and develops the wider model in the same manuscript. The alpha construction retains the original least binary covers, typed structural blocks and complete finite promotion ladder. Measurement is excluded from the construction. Native Lean proofs verify its exact result and termination, with zero axiom dependencies. Read the paper: Full manuscript with linked contents. Inspect the evidence: download the complete source snapshot, timeline and machine-readable release index below. This edition 109 completed V3 entries out of 2,781. 6,024 audited Lean theorems; 13,133 audited declarations; zero axiom dependencies. 47,206 fresh candidate-output comparison rows in the latest retained aggregate verification. The full cumulative paper, chronological timeline, coverage census, source correspondence, Lean code and verification records. A growing scientific record Future editions will incorporate the unified constants and other completed major results, with expanded releases planned at 500 completed entries and approximately every 250 thereafter until full-model formalisation is complete. Read, inspect, reproduce Begin with the paper, inspect the exact alpha derivation and its evidence, or use the machine-readable release index to follow source entries into their Lean implementations. Human readers and automated research agents can trace the same pinned sources and reported checks. Code, manuscript and verification evidence