Fano Labs (China)

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 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 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 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 Relation to Society

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

After Turing: The Fold Machine

Published open-access status correction for After Turing: The 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 Consciousness

Local publication candidate for From Fold to Consciousness, 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 Consciousness and Cognitive Science from Smithian Fold Theory

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 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 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

From Distinction to Information

Local publication candidate for From Distinction to Information, 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 the Complete Dated Information Sciences from Smithian Fold Theor...

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 Sky to Cosmos

Local publication candidate for From One Sky to Cosmos, 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 Astronomy and Cosmology from Smithian Fold Theory

Independent Lean 4 Verification of the Complete Smithian Fold Theory Model

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.

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

From Sequence to an Auditable Fold: Smithian Fold Theory V3 Protein Fold Computational Proof — Preliminary Results

Updated preliminary version 0.9.4 of the standalone Smithian Fold Theory V3 Protein Fold computational-proof paper. The scientific gate remains the independently verified v20 boundary: one complete 42,173,082-candidate parent, a closed 583-state high-attraction slice, adverse his...