Projective quantum measurement engine sampling qubit collapses via Born's rule with Monte Carlo shot histograms.
Projective quantum measurement engine sampling qubit collapses via Born's rule with Monte Carlo shot histograms.
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.
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.
A derivation from the semiconjugacy of the doubling map
Quantum-Certified Anonymization: Irreversibility Beyond Computational Hardness — Preprint 2026
Is anything truly random — and how much of quantum mechanics can a deterministic machine fake? (Quest for Entropy #1)
SYNTHETIC classical emulation: amplitude-encoded statevectors projected onto a stored subspace, with multi-seed sweeps and controls. Standard library only; no speedup, no Bell violation.
Paper I — Geometry First
Quantum interference field machine: Hamiltonian evolution and Born-rule readout as a neural-network alternative.
A Lean 4 research platform for mathematical physics: unbounded operators, spectral theory, quantum mechanics, and quantum information — built on Mathlib.
Companion code for Quest for Entropy #17: Two to Sign Is the Norm
Observer Frequency Structure Interpretation – interpretative framework on the quantum measurement problem.
Companion code for Quest for Entropy #19, Evidence Adds Up to a Fact: how a world of possibilities settles into one answer, on an exact simulator
Computational framework for studying layered post-selection dynamics, detector geometry, survival/capture filtering, and admissibility constraints within Born-aligned probabilistic systems.
A priced map of how far finite, exact constructions reach toward quantum mechanics, starting from an inert mark: a derivation DAG with statuses, E0-E4 evidence grades, and Lean 4 / Rust / Python checks. Every import is named.
Code and figures for "Physics from Finite Validation: Classical Recovery and the Quantum Boundary"
Quantum Structure beyond Spin-1/2: Co-Admissible Sectors and the Emergence of SU(2) as a Fixed Point
Cosmochrony — Quantum Structure sub-programme presentation note
To associate your repository with the born-rule topic, visit your repo's landing page and select "manage topics."