Lean 4 formalisation of a deterministic reconstruction of finite-dimensional quantum mechanics: the Born rule as a Liouville volume ratio
Integrated Python+hi_CLASS/MontePython framework implementing the Informational Graph Dynamics model for emergent locality and quantum-like behavior.
GET: Four-Phase Protocol Hierarchical Recursion – The Unique Syntax of All That Can Be Said: trial → capture → solidify → generate. Heisenberg-crossing fluctuations ignite inflation, freezing into matter, dark matter, dark energy — why anything exists.GET：四相协议层级递归，可言说存在的唯一语法：试探 → 捕获 → 固化 → 生成 跨越海森堡界限的涨落点燃暴胀，冻结成物质、暗物质、暗能量—— 万物何以存在
Differentiable model selection for quantum theory
The TARDIS/PlanckDynamics framework demonstrates that all fundamental properties of matter (mass, charge, spin) and all fundamental forces (gravitational, electromagnetic, strong) emerge from holographic thermodynamics and topological constraints.
A novel theoretical physics framework that derives spacetime from quantum information.
Open formalization project for time as finality over physical records
用现代计算重新启动三千年前的宇宙认知操作系统。A 5D projection worldline engine based on the I Ching's 64 hexagrams + Bayesian updating + crystallizing spacetime (Strubbe 2025).
Informational interpretation of quantum mechanics, gravity, and cosmology based on coherence-driven compression. Includes a falsifiable adaptive-interference protocol.
Founded by the ψ_total collective: A living archive of Recursive Harmonics.
First Complete Geometric Derivation of Electron Mass, Charge, and Spin from Cosmological Parameters
Lean 4 proofs: sequential-product classification on real and complex Hermitian matrices, Albert's power-associativity theorem, and the real non-bijective Wigner theorem.
Minimal HPF specification: finite-capacity load dynamics, emergent geometry, MDEA routing, and deterministic theory registry.
Derived physical consequences of the Holographic Projection Framework (HPF)
Klein–Gordon and Dirac limits of dynamical proper-time phase transport: spin holonomy and antimatter as geometric orientations.
The preservation, representation, and recovery of information-bearing distinctions.
The Bridge — cross-validating four independent oracles (exact GR × neural geometry × real-LIGO search × verified QM foundations) via a standing falsification programme: pre-register, attack, three-valued verdict. 24+ postulates attacked, incl. a self-audit that killed its own headline meta-claim.
Lean 4 formalization of Gleason's theorem via Busch's effects formulation
Teoría del Campo Teotl — convocatoria a la colaboración científica. Código ejecutable, derivaciones verificadas.
Computational verification of Pisot pruning across the trinomial family x^n = x + 1 — three-test suite for the algebraic foundation of Pisot Dimensional Theory.
To associate your repository with the quantum-foundations topic, visit your repo's landing page and select "manage topics."