Computational verification of Pisot pruning across the trinomial family x^n = x + 1 — three-test suite for the algebraic foundation of Pisot Dimensional Theory.

DTQEM (Dual‑Time Quantum Entanglement Model) attributes non‑locality to a negative imaginary time carried by entangled particles. Calibrated to Gisin’s lower bound (v>1e7c at 0K) and returning to classical speed at 300K, it explains thermal decoherence, Heisenberg uncertainty, and double‑slit fringe contrast. Includes interactive Python simulation.

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.