research · sadalsuud

Sadalsuud — quantum substrate.

A quantum-theorem substrate built on Z/2-graded state spaces. The standard quantum suite is reproduced inside the framework — including Bell, Gleason, no-cloning, monogamy, and contextuality.

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 most recent Wave closed the standard quantum suite. Two further Waves remain on the roadmap, focused on deeper proofs and cross-level confirmation. These are research, not gating items for the lab's broader IP work.

cross-references

→ Genesis (parent)→ K2K (sibling)→ KeiBeta (above)@ Request access