Lean 4 formalisation of a deterministic reconstruction of finite-dimensional quantum mechanics: the Born rule as a Liouville volume ratio
Sovereign method repository. Public code, proofs, specs.
Quantum-Certified Anonymization: Irreversibility Beyond Computational Hardness — Preprint 2026
A Lean 4 research platform for mathematical physics: unbounded operators, spectral theory, quantum mechanics, and quantum information — built on Mathlib.
A derivation from the semiconjugacy of the doubling map
Computational framework for studying layered post-selection dynamics, detector geometry, survival/capture filtering, and admissibility constraints within Born-aligned probabilistic systems.
Observer Frequency Structure Interpretation – interpretative framework on the quantum measurement problem.
Paper I — Geometry First
Quantum interference field machine: Hamiltonian evolution and Born-rule readout as a neural-network alternative.
Quantum Structure beyond Spin-1/2: Co-Admissible Sectors and the Emergence of SU(2) as a Fixed Point
A finite reconstruction program: from one-use contact to the quantum boundary, Born weights, contextuality, the structure of time, the price of irreversibility, and the hosted observer — every result a runnable, dependency-free proof, every claim scoped and labeled.
Code and figures for "Physics from Finite Validation: Classical Recovery and the Quantum Boundary"
Cosmochrony — Quantum Structure sub-programme presentation note
Universal Spin-j Singlet from Admissibility: Completion of the SU(2) Quantum Sector
To associate your repository with the born-rule topic, visit your repo's landing page and select "manage topics."