Theorems closed
- Bell-series — Bell, CHSH, chained Bell, Mermin, Leggett-Garg, singlet correlations
- Foundational — no-cloning, no-signalling, Heisenberg uncertainty, Holevo bound, monogamy
- Measurement — Gleason, POVM extension, Kochen-Specker contextuality, purification
- Information — von Neumann entropy, information causality
- Genesis-extension theorems across four families
Structure
Sadalsuud lifts the Genesis G2 substrate onto a graded pair of unit-sphere states. The lift preserves the original operator algebra while opening room for quantum-style observables.
Implementation is a Rust workspace spanning the type system, multiscale memory, epoch reasoning, and substrate dynamics.
Open frontiers
The standard quantum suite is closed. Further research extends to deeper proofs and cross-level confirmation; these run alongside the lab's applied IP work, not as a gate to it.