Sovereign Quantum Computer — QATAAUM compiler (OpenQASM 2/3, 9-level IR, SABRE) + execution kernel (Fortran 2018, MLIR, ARM64 SVE2, AVX-512, PTX). Jordan Spectral Transformer. Lean 4 formally verified. Blake3+Ed25519 WORM. FSL-1.1.
fortran formal-verification quantum-compiler quantum-computer sovereign openqasm mlir lean4 jacobian-conjecture born-rule snapkitty zero-sorry jordan-spectral-transformer worm-attestation qataaum
-
Updated
Jul 26, 2026 - Rust