Published August 2, 2026
| Version 1.0.0
Journal article
Open
Independent Lean 4 Verification of the Complete Smithian Fold Theory Model
Description
Standalone verification paper for the Lean 4 PASS over 2,777 current SFT claims, 898,902 candidates and 11,108 controls, including a native proof of the two-class operational root's unique survivor.
Notes
Standalone Lean 4 verification paper explicitly authorised for publication by Maria Smith on 2 August 2026. The release includes the proof sources, machine report, evidence map, and publication audits.
Files
01_lean4-whole-model-verification-v1.0.0.pdf
Files
(973.0 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:3853fa0efb02224444b5e6195bb61730
|
241.3 kB | Preview Download |
|
md5:c0143b0ab48c1789173e807e2cf6983a
|
34.6 kB | Preview Download |
|
md5:d5eb69de8ec486de8c43eddb241c52a9
|
4.3 kB | Preview Download |
|
md5:fa87fb3eee387e2e4a5b61eedceaebcf
|
1.2 kB | Preview Download |
|
md5:bc54380891be1c6c112cbbc3e08f628b
|
81.6 kB | Preview Download |
|
md5:1629d2fa0e73ae7d3039f1590fd2e933
|
36.0 kB | Preview Download |
|
md5:f34b333f3f8d263856a4e0eecf1d9814
|
2.5 kB | Preview Download |
|
md5:ff911336706b404ad4cd6a6ebe9cc83b
|
3.0 kB | Preview Download |
|
md5:3560489cddcb0c83e6dc1179aa8e0e9b
|
1.5 kB | Download |
|
md5:5d907139bc2f3b5fab6ac79b188b1626
|
562.3 kB | Preview Download |
|
md5:b9e62f238f5786fcbd3702ef335bedb2
|
3.5 kB | Preview Download |
|
md5:b04a4fe3a5937e0d7f956e1a79cf4afc
|
1.2 kB | Preview Download |