Well Being Digital (China)

Epistemic Incompleteness, Cognitive Neurodynamics, and Ergodic Path-Minimization: A Machine-Checked Lean 4 Model of Embedded Observers

Paper 3 of the 3-part Process Ontology Master Preprint Series. Formalizes embedded observer cartography, algorithmic complexity bounds (P != NP), consciousness scaling harmonics, stochastic differential equations, and autopoietic self-healing in Lean 4 with Mathlib. Proves Cartog...

Physical Cosmology, Standard Model Invariants, and Non-Hermitian Topological Protection: A Machine-Checked Lean 4 Derivation

Paper 2 of the 3-part Process Ontology Master Preprint Series. Formalizes physical cosmology, particle mass hierarchies, zero-parameter constants, and non-Hermitian topological protection in Lean 4 with Mathlib. Proves A₅ GUT symmetry breaking yielding exactly 3 fermion families...

The Circular Theory of Ego and Awareness-Flow Dynamics of Consciousness

THE ARCHITECTURE OF BECOMING: AN ONTOLOGICAL DISSOLUTION This paper performs an ontological dissolution of the subject-object dichotomy and the "Hard Problem" of consciousness. Identity is reframed not as a pre-existing vessel, but as a Dynamic Fixed Point—a recursive byproduct o...

Continuous Field Semantics and Discrete Proof-Assistant Verification: A Unified Lean 4 Conceptual Audit of Process Ontology and KTLean

We present the first machine-checked formalization of Process Ontology—a relational, process-first physical framework—and the derivation of its core dynamic gauge symmetries in the Lean 4 interactive theorem prover. Process Ontology shifts the fundamental physical paradigm from s...