Maria Smith

From One World to Earth

Local publication candidate for From One World to Earth, version 1.1.0. Integrates the independent Lean 4 whole-model PASS over 2,777 current claims. An Exact, Zero-Parameter and Machine-Closed Reconstruction of Earth and Environmental Sciences from Smithian Fold Theory

From Fold to Medicine

Local publication candidate for From Fold to Medicine, version 1.1.0. Integrates the independent Lean 4 whole-model PASS over 2,777 current claims. An Exact, Zero-Parameter and Machine-Closed Reconstruction of Medicine and Health Sciences from Smithian Fold Theory

Independent Lean 4 Verification of the Complete Smithian Fold Theory Model

Published open-access status correction for Independent Lean 4 Verification of the Complete Smithian Fold Theory Model, version 1.0.1. This patch removes erroneous prepublication wording from the already-published paper and changes no scientific content.

From Fold to Chemistry

Local publication candidate for From Fold to Chemistry, version 1.4.0. Integrates the independent Lean 4 whole-model PASS over 2,777 current claims. An Exact, Parameter-Free and Machine-Closed Complete-Field Reconstruction of Chemical Science from Smithian Fold Theory

From Fold to Physics

Published open-access status correction for From Fold to Physics, version 1.4.1. This patch removes erroneous prepublication wording from the already-published paper and changes no scientific content.

The Quantum Fold Machine

Published open-access status correction for The Quantum Fold Machine, version 1.5.1. This patch removes erroneous prepublication wording from the already-published paper and changes no scientific content.

From Fold to Life

Local publication candidate for From Fold to Life, version 1.1.0. Integrates the independent Lean 4 whole-model PASS over 2,777 current claims. An Exact, Zero-Parameter and Machine-Closed Reconstruction of Biology and Life Sciences from Smithian Fold Theory

From One World to Earth

Published open-access status correction for From One World to Earth, version 1.1.1. This patch removes erroneous prepublication wording from the already-published paper and changes no scientific content.

From Nothing to Fold

Published open-access status correction for From Nothing to Fold, version 1.4.1. This patch removes erroneous prepublication wording from the already-published paper and changes no scientific content.

After Turing: The Fold Machine

Local publication candidate for After Turing: The Fold Machine, version 1.5.0. Integrates the independent Lean 4 whole-model PASS over 2,777 current claims. An Exact, Parameter-Free and Machine-Closed Derivation of Classical Computational Science from Smithian Fold Theory