Constitutional OS: A Formal Governance Substrate for AI Ecosystems

Full formal paper with complete proofs. This version (v2) supersedes 
the original whitepaper (v1) and includes:

- Complete formal architecture: Σ = (Σ_R, Σ_C, Σ_X), Φ = G ∘ E
- Four canonical membranes with explicit Lyapunov policy schema
- Typed reversible delta calculus with groupoid structure
- Four formal theorems: Runtime Safety, Reversibility, 
  Lyapunov-style Governance Stability, A-safety
- Portability corollary for admissible controllers
- Open-source implementation: pip install constitutional-os
- 187 tests

GitHub: https://github.com/zetta55byte/constitutional-os
PyPI: https://pypi.org/project/constitutional-os/