Maria Smith

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

From One Law to a Working World

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

From One Sky to Cosmos

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

From Fold to Medicine

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

From Nothing to Fold

Local publication candidate for From Nothing to Fold, version 1.4.0. Integrates the independent Lean 4 whole-model PASS over 2,777 current claims. A premise-free, parameter-free and machine-closed Foundation for Smithian Fold Theory

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.

Formal Verification Is Not Foundational Derivation

Twelve Closed SFT Source-Validity Disproofs of OpenAI's 2026 Mathematical Artifacts. This paper freezes twelve principal Lean declarations associated with OpenAI's ten advertised advances and asks whether each exact submitted artifact is a valid derivation inside the already admi...

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.

There Is No Nothing

Local publication candidate for There Is No Nothing, version 0.4.0. Integrates the independent Lean 4 whole-model PASS over 2,777 current claims. A premise-free operational foundation and an open verification platform for Smithian Fold Theory

The Quantum Fold Machine

Local publication candidate for The Quantum 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 Reversible and Quantum Computation from Smithian Fold Theory