Fano Labs (China)

From Fold to Physics

Local publication candidate for From Fold to Physics, 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 Physical Science 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 Fold to Materials

Local publication candidate for From Fold to Materials, 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 Materials 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.

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 Fold to Chemistry

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

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 One Law to a Working World

Local publication candidate for From One Law to a Working World, version 1.1.0. Integrates the independent Lean 4 whole-model PASS over 2,777 current claims. An Exact, Zero-Parameter and Machine-Closed Foundation for Engineering Translation from Smithian Fold Theory

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

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

From One Relation to Society

Local publication candidate for From One Relation to Society, 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 Social and Collective Sciences from Smithian Fold Theory

From Fold to Consciousness

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

There Is No Nothing

Published open-access status correction for There Is No Nothing, version 0.4.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

From Fold to Mathematics

Local publication candidate for From Fold to Mathematics, version 1.6.0. Integrates the independent Lean 4 whole-model PASS over 2,777 current claims. An Exact, Parameter-Free and Machine-Closed Derivation of Mathematical Foundations from Smithian Fold Theory

From Fold to Mathematics

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

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

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 Materials

Published open-access status correction for From Fold to Materials, version 1.4.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