| # QUANTUM PIPER β Sovereign Quantum Civilization | |
| Inverted Piper architecture. Local-first. WORM-anchored. Capability-gated. | |
| Formal law: `LiquidLean.QuantumPiper` (8-phase pipeline). | |
| ## Structure | |
| ``` | |
| quantum-piper/ | |
| βββ orchestrator/ BOB sovereign compliance agent β WORM, NATS, Ada gate, Lean 4, Prolog | |
| βββ kernels/ | |
| β βββ fortran/ BOB quantum civilization engine (15 modules: QFT/Grover/Shor/WORM ABI) | |
| β βββ cuda/ RTX 4090 inference β PagedAttention PTX, scheduler C--, GGUF loader | |
| βββ bindings/ | |
| β βββ rust/ bob-quantum-sys β Rust FFI over Fortran engine | |
| β βββ elixir/janet/julia/odin/r/racket/zig/ | |
| βββ reasoning/ BOB reasoning engine β SSM pipeline + Lean 4 Goldilocks proof | |
| βββ qec/ Quantum error correction β stabilizer search (Rust + Fortran) | |
| βββ resonance/ quantum.mjs / entropy.mjs β superposition monad, Born rule, KL divergence | |
| βββ formal/ | |
| β βββ axioms/ quantum.axiom β base axioms | |
| β βββ lean/ SovereignGate.lean β capability gate theorems | |
| βββ wasm/ Compiled WASM frontend | |
| βββ demos/ BOB vortex civilization ASCII renderer | |
| βββ tools/ build_quantum.py, nemotron.py β automated build + Nemotron agent | |
| β | |
| βββ infra/ SOV-KERNEL-MONSTER sovereign Docker + registry stack (Haiku swarm infra) | |
| β βββ docker-compose.sov.yml gitea + sov-registry-proxy + haiku-fn-ops (internal net only) | |
| β βββ Dockerfile.gitea hardened Gitea from source, FROM scratch, no telemetry | |
| β βββ Dockerfile.hauki Haiku fn-ops runner (Rust, musl static) | |
| β βββ sov-base.Dockerfile base template for all sovereign agent images (FROM scratch) | |
| β βββ sov-registry.yaml standalone local registry, 127.0.0.1:5000 | |
| β βββ sov-attest.sh Blake3 hash β Ed25519 sign β .worm sidecar β push | |
| β βββ hooks/ | |
| β βββ pre-receive ASP enforcer β rejects unsigned/unauthorized git pushes | |
| β βββ verify_asp.pl Prolog deterministic heart β architect_key/engineer_key rules | |
| β | |
| βββ provision/ Ansible bootstrap for sovereign infrastructure | |
| β βββ sov-bootstrap.yml 6-phase playbook: WORM vol + Ed25519 keys + hooks + deed | |
| β βββ inventory/sov-local.yml 7 identities: architect, 5 engineers, hauki-bot | |
| β βββ templates/sov-worm.mount.j2 systemd unit for persistent loop mount across reboots | |
| β | |
| βββ .sov/ Sovereign kernel config (gitignored locally, tracked in WORM) | |
| β βββ personas/ | |
| β βββ SnapKitty_Sovereign_Transformer.xml Haiku swarm identity + constraint set | |
| β | |
| βββ TRUST_DEED.xml Signed sovereign trust deed β ASP_MAXIMAL/STRICT/POLITE_CODING rules | |
| ``` | |
| ## Sovereign Infra β How It Works | |
| The `infra/` module implements a **Bifrost WORM-Chain** attestation pipeline for the Haiku swarm: | |
| ``` | |
| Haiku agent builds image | |
| β | |
| sov-attest.sh: Blake3(image tar) β Ed25519 sign β write .worm sidecar | |
| β | |
| git push β sov-git-server (localhost:3000) | |
| β | |
| pre-receive hook: verify all commits signed, run verify_asp.pl (Prolog) | |
| β fail β push rejected | |
| Gitea mirrors to GitHub (--mirror, read-only facade) | |
| β | |
| haiku-fn-ops: pulls image, checks .worm sidecar, verifies hash + sig | |
| β fail β quarantine + alert | |
| VALID β push to GHCR with semver tag. Chain sealed. | |
| ``` | |
| **Mock mode (current):** `verify_asp.pl` uses deterministic mock fingerprints. `sov-attest.sh` | |
| falls back to `MOCK_SIG` when `BIFROST_KEY` env var is not set. Safe to run and test without | |
| real keys. | |
| **To activate real keys:** run `provision/sov-bootstrap.yml`, copy the Ed25519 fingerprints | |
| from its audit output into `infra/hooks/verify_asp.pl`, set `BIFROST_KEY=/path/to/ed25519.priv`. | |
| ## Absorbed from (now archivable) | |
| - `bob-orchestrator` (.newrepos) | |
| - `tmp_bob/` | |
| - `sov-kernel-monster/rust/bob-quantum-sys/` | |
| - `sov-kernel-monster/` multi-lang bindings | |
| - `tmp/main-repo/bob-reasoning-engine/` | |
| - `qec-discovery/` | |
| - `bobs-games/` | |
| - `build_quantum.py` | |
| ## Formal law | |
| `liquidlean/src/LiquidLean/QuantumPiper.hs` β 8-phase kernel pipeline governs all artifacts. | |
| All kernels must pass: Parse β TypeCheck β Entangle β Optimize β AliveCheck β Compile β Attest β Deploy. | |