[Depreciated and replaced by V3] There Is No Nothing: One Machine-Checked Self-Proven Theorem, Zero Axioms, and the Uniquely Forced Fold

[Depreciated and replaced by V3] This pre-V3 paper is replaced by the corresponding V3 clean-room reconstruction: There Is No Nothing: A Premise-Free Operational Foundation and an Open Verification Platform for Smithian Fold Theory; From Nothing to Fold: A Premise-Free, Parameter-Free and Machine-Closed Foundation for Smithian Fold Theory. The V3 source platform is https://github.com/MettaMazza/ernos-labs-sft-platform. The original DOI, concept DOI, version number and files are preserved for transparent historical provenance; this record must not be presented or cited as current V3 work. Smithian Fold Theory begins with one machine-checked self-proven theorem: there is no nothing. Any denial of existence already occurs within a non-empty whole; an absent total domain cannot state its own absence. The act that could deny the theorem supplies the existence that proves it. From that self-proof the construction forces the One and the exact domain of positive parts (0,1]. A complete normal-form argument then exhausts the minimal parameter-free self-maps as identity, square, constant One and closed doubling. Identity is static, square contracts, constant One collapses and closed doubling alone is both non-injective and recurrent. The unique generator is therefore the fold, F(x) = cast_out(x+x). The engine's forced_unique guard halts if a rival qualifies. The displaced ground is forced as the unique positive self-antipodal solution of x+x=1: x=1/2. It folds to the One, while the One remains the fold's fixed point. The fold's exact orbit spectrum then supplies the binary and colour counts rather than receiving them as assumptions. Three self-contained machine certificates verify the unique generator, full registered residue-class coverage, the displaced ground and unison identities using exact arithmetic. The One began chronologically as the project's operational axiom and was subsequently derived. That history remains in the development audit, but the completed foundation is accurately stated as one self-proven theorem, zero axioms, zero fitted parameters and one uniquely forced fold. Open source and evidence: Smithian Fold Theory of Everything. Author and publication authority: Maria Smith, Ernos Labs.