The official repository for the HCSP Sovereign Core. A mathematically verified, open-source framework driven by the Al-Alawi Deterministic Theorem and USDL to eliminate quantum decoherence and noise. Includes complete machine-checked proofs in Coq, Frama-C, TLA+, and LTL.

This project implements a machine learning model capable of reconstructing a quantum density matrix ρ from measurement data (Classical Shadows). The model enforces strict physical constraints (Hermitian, Positive Semi-Definite, Unit Trace) using a Cholesky decomposition approach.