docs: update README with full DOI catalog, unified paper, SKM paper

README.md

@@ -0,0 +1,130 @@
+---
+license: other
+license_name: fsl-1.1-apache-2.0
+language:
+- en
+tags:
+- quantum-compiler
+- formal-verification
+- lean4
+- fortran
+- ptx
+- sovereign-compute
+- worm-chain
+- jordan-spectral-transformer
+- zero-dependency
+- custom-assembly
+- zero-sorry
+pretty_name: Sovereign Monster Kernel
+---
+
+# Sovereign Monster Kernel
+
+**A quantum computer that owns itself.**
+
+30 languages. 1 human. Formally verified end-to-end.
+No cloud. No vendor. No libc. No sorry.
+
+Ahmad Ali Parr · SnapKitty Collective · Bel Esprit D'Accord Irrevocable Trust · 2026
+
+---
+
+## One Command Boot
+
+```bash
+cd sov-kernel-monster && ./desktop/boot.sh
+```
+
+Launches nine layers simultaneously:
+1. ROWM-NR gate — no kernel fires without valid commit
+2. GGUF model — zero-libc mmap parser
+3. CUDA sm_89 — hand-written PTX flash attention + GEMM
+4. Fortran kernel — density matrices, Jordan blocks, Born rule
+5. ANU quantum — real vacuum fluctuation entropy
+6. Haskell AToKio — agent brain with 7 provable invariants
+7. SEB Erlang — agent FSMs, WORM lattice, supervision
+8. Shrew ONNX — governance inference at 1000 Hz
+9. 3D World — civilization at localhost:7777
+
+---
+
+## What Was Built From Scratch
+
+### Custom Assembly Entry Point (`src/start.S`)
+ARM64 and x86-64 assembly with no C runtime, no crt0, no libc.
+The machine boots directly into Fortran.
+
+### Zero-Dependency Fortran 2018 Kernel (`src/sov_monster_kernel.f90`)
+77KB, ~2,200 lines. Implements from scratch:
+- **Blake3** hashing (full state machine, BLAKE3_IV constants)
+- **Ed25519** signing and verification (twisted Edwards curve arithmetic)
+- **Padé-13** matrix exponential
+- **Plasma Gate** (density matrix verification)
+- **Fused ZGEMM** for unitary evolution UρU†
+
+No external crypto library. No BLAS. Pure Fortran 2018.
+
+### Hand-Written PTX 8.0 GPU Kernels (`rtx/src/cuda/`)
+- `flash_attention.ptx` — sm_89 paged attention, tensor core WMMA,
+  power suspend/resume, ROWM-NR gating
+- `gemm.ptx` — F16/F32 GEMM
+- Semantic refinement contract: floating-point is not treated as associative
+
+### C-- Continuous Batching Scheduler (`rtx/src/c--/scheduler.cmm`)
+Six-state machine: IDLE → PREFILL → GENERATE → SWAP → CHECKPOINT → RESUME.
+WORM checkpoint every 64 tokens. Janet config array (32 Word32 slots).
+
+### QATAAUM Quantum Compiler (`qataaum/`)
+Clean-room implementation, 33,000+ lines Rust, 221 tests:
+- 9-level IR (L0 source → L8 executable)
+- Three-dialect parser: OpenQASM 2, OpenQASM 3, MetaQASM 4
+- SABRE qubit routing (Floyd-Warshall topology)
+- Lean 4 compiler correctness proofs
+
+### Sovereign Event Bus (`seb/`, 146 files, 33K lines)
+- Erlang/OTP 4-state agent FSMs
+- Ada SPARK constitution kernel with machine-checked contracts
+- WASM SUBLEQ sandbox (Turing complete, isolated memory)
+- Idris 2 chain determinism proof
+- IBM i adapters (RPG, PL/I) for mainframe integration
+
+---
+
+## Formal Verification
+
+| System | Files | What is proved |
+|--------|-------|----------------|
+| Lean 4 | 60 | JST fixed-point, Born rule, SEB WORM, compiler |
+| Agda | 23 | 26 loop invariants (zero sorry) |
+| Coq | 2 | Entropy validation |
+| HOL Light | 1 | K3 entropy > 0.20 (complete) |
+| Isabelle | 2 | Jordan roundtrip, SEB WORM chain |
+| Idris 2 | 13 | Chain determinism, protocol types |
+
+---
+
+## The ROWM-NR / WORM Interlock
+
+- **ROWM-NR**: Read Once Write Many - No Replay. Every action gets a unique nonce, consumed exactly once.
+- **WORM**: Write Once Read Many. Every action sealed with Blake3 + Ed25519 to an append-only chain.
+
+Together: no GPU kernel executes without a verified fresh ROWM-NR commit.
+Replay attacks at GPU dispatch level are architecturally impossible.
+
+---
+
+## Paper
+
+**Sovereign Monster Kernel** (16pp)
+[github.com/SNAPKITTYWEST/sov-kernel-monster/blob/main/docs/papers/sovereign-monster-kernel.pdf](https://github.com/SNAPKITTYWEST/sov-kernel-monster/blob/main/docs/papers/sovereign-monster-kernel.pdf)
+
+Unified theory: [10.5281/zenodo.21816366](https://doi.org/10.5281/zenodo.21816366)
+
+---
+
+## License
+
+FSL-1.1-Apache-2.0 (Functional Source License)
+Converts to Apache-2.0 on 2030-07-22
+
+[github.com/SNAPKITTYWEST/sov-kernel-monster](https://github.com/SNAPKITTYWEST/sov-kernel-monster)