v1.0.0 — Sovereign Quantum Computer

Sovereign Quantum Computer — v1.0.0

Two systems. One quantum computer. Evidence or Silence.

QATAAUM — Quantum Assembly Runtime (IBM Bob)

• OpenQASM 2.0, OpenQASM 3.0, MetaQASM-4 parsers
• 9-level IR pipeline: SourceAST → TypedAST → CFG → SSA → Gate → Topo → Schedule → Pulse → Exec
• 15 optimisation passes · SABRE qubit router
• State-vector + density-matrix simulators
• ShadowRPG-Q runtime · IBM i FFI bridge
• 221/221 tests passing · 31 Lean 4 theorems · 0 sorry · 33,734 lines

Execution Kernel — sov-kernel-monster

• Fortran 2018 quantum engine (21 modules, 10,450 lines)
• Jordan Spectral Transformer: ρ' = φ⁻¹·UρU† + φ⁻²·ρ
• MLIR polyhedral fusion — one GPU kernel for the full JST forward pass
• RTX 4090 zero-libc inference engine (sm_89 PTX, C-- scheduler, GGUF v3)
• Blake3 + Ed25519 WORM attestation on every output
• Zero external dependencies · Zero libc · ARM64 SVE2 / x86_64 AVX-512 / PTX

Formal Verification

• jordan_fixed_point_commutes: T(ρ*)=ρ* ⟹ [U,ρ*]=0 — proved over Matrix n n ℂ, zero sorry
• LiquidLean: Jacobian Conjecture attack, Parr Conjecture named, Phase 8 negative certificate
• 43-page paper (The Parr Papers) — Nemotron-audited, 5 reviewer corrections applied

License

FSL-1.1-Apache-2.0 · Converts to Apache 2.0 on 2030-07-22
Prior Art PAR-001–020 under SSL v3.0 Part IX · Bel Esprit D'Accord Irrevocable Trust · EIN 42-697643