README.md

---
license: other
license_name: snapkitty-tri-license
license_link: https://huggingface.co/Snapkitty/sovereign-trinity-kernel/blob/main/LICENSE
tags:
- snapkitty
- formal-verification
- lean4
- latex
- 6502-asm
---

> Source: [github.com/SNAPKITTYWEST/sovereign-trinity-kernel](https://github.com/SNAPKITTYWEST/sovereign-trinity-kernel)

# Sovereign Trinity Kernel

[![License: Tri](https://img.shields.io/badge/license-AGPL%20%7C%20BSL%201.1%20%7C%20MIT-blue)](LICENSE)
[![Lean 4](https://img.shields.io/badge/proofs-Lean%204%20zero%20sorry-brightgreen)](lean/)
[![Dex](https://img.shields.io/badge/kernels-Dex%20verified-orange)](dex/)
[![ANU QRNG](https://img.shields.io/badge/entropy-ANU%20vacuum%20fluctuations-blueviolet)](lua/quantum-resources.lua)
[![6502](https://img.shields.io/badge/orchestrator-6502%20MoA%20VM-critical)](lua/lua6502.lua)
[![LuaLaTeX](https://img.shields.io/badge/render-LuaLaTeX%20compile%20time-informational)](latex/)
[![Assembler](https://img.shields.io/badge/assembler-two--pass%20mini%20asm-yellow)](lua/assembler.lua)
[![Kernels](https://img.shields.io/badge/kernels-GF2%20%7C%20GCD%20%7C%20Horner%20%7C%20CAD-orange)](lua/kernels_6502.lua)
[![Part of](https://img.shields.io/badge/part%20of-aes--formal%20NIST-informational)](https://github.com/SNAPKITTYWEST/aes-formal)
[![Sovereign Stack](https://img.shields.io/badge/stack-Sovereign%20Stack-blueviolet)](https://snapkittywest.github.io/hyperkitty/papers/sovereign-stack-unified.pdf)

**Authors:** Ahmad Ali Parr, Jessica L. Williams (SNAPKITTYWEST)  
**Part of:** [aes-formal](https://github.com/SNAPKITTYWEST/aes-formal) NIST submission package

> **The PDF is a cryptographic commitment to the quantum state of the universe at the moment of compilation.**

---

## What This Is

A LaTeX package where every number in a cryptographic research paper is:

1. **Proven** by Lean 4 (zero sorry, `norm_num` closes all arithmetic)
2. **Verified** by Dex shape-safe kernels (`libaes_kernels.so`)
3. **Orchestrated** by a 6502 CPU emulator running as a Mixture-of-Agents controller
4. **Seeded** by true quantum randomness from the Australian National University QRNG (vacuum fluctuations)
5. **Rendered** by LuaLaTeX at compile time

No hardcoded numbers. No trusted intermediaries. The paper is the executable specification.

---

## The Pipeline

```
ANU QRNG (vacuum fluctuations, Australia)
    ↓
6502 VM (MoA orchestrator, embedded in LuaLaTeX)
    ↓ quantum seed → accumulator register A
Dex verified kernels (libaes_kernels.so)
    ↓ gf2_rank=128, branch=2 (shape-safe proofs)
Lean 4 constants (artifacts/qr_constants.json)
    ↓ BICLIQUE_TIME_EXP=96, SBOX_T_GATES=42
LuaLaTeX compile-time computation
    ↓
PDF (every number computed, none typed)
    ↓
Bifrost WORM chain seal
```

---

## The 6502 MoA Routing Logic

```asm
; aes_moa_routing.asm
; Memory: $2000 = ANU entropy input, $2001 = multiplier output
         LDA $2000      ; Load quantum seed
         CMP #$80       ; Compare with 128
         BCC aggressive ; If seed < 128: aggressive agent (95%)
conservative:
         LDA #115       ; 115% overhead (conservative)
         STA $2001
         BRK
aggressive:
         LDA #95        ; 95% overhead (aggressive)
         STA $2001
         BRK
```

The 6502 accumulator IS the quantum state. The routing decision emerges from vacuum fluctuations measured in real-time in Australia.

---

## Usage

```latex
\usepackage{quantum-resources}

% Dynamic (ANU + 6502 + Dex):
\QubitCountTrinity{shor}{2048}
% Output: "6146 qubits | Agent: conservative | ANU seed: A3 | Rank: 128 | Branch: true"

% Biclique (Lean 4 proven, 6502 annotated):
\BicliqueTrinitySeal
% Output: "Time: 2^96 | Mem: 2^32 | Agent: aggressive | ANU seed: 7F"

% Verify chain (log only):
\TrinityVerifyChain
```

---

## Build

```bash
# Full pipeline: Lean → Dex → LuaLaTeX
./scripts/build.sh

# Or manual:
lualatex --shell-escape main.tex
```

Requires: `luasocket`, `lua-cjson`, `libaes_kernels.so` in working directory.

---

## Verification Artifacts

| Artifact | Verification |
|----------|-------------|
| `lean/` | `lake build` → 0 sorries, `norm_num` closes all |
| `dex/aes_kernels.dex` | Shape-safe GF(2) kernels, LLVM target |
| `lua/lua6502.lua` | 6502 NMOS emulator, tested opcodes |
| `lua/quantum-resources.lua` | ANU QRNG + Dex FFI + MoA routing |
| `latex/quantum-resources.sty` | LaTeX3/expl3 user interface |
| `paper/main.pdf` | Zero hardcoded numbers |

---

## Compiler Log Output

When it works, the log shows:
```
TRINITY KERNEL: ANU + 6502 + Dex + Lean 4 — ACTIVE
Rank: 128 | Branch: true | Lean Phase 13: CLOSED
⚡ 6502 Controller Initialized with ANU Seed: A3
💥 ASP Stable Model Verified.
```

---

## License

Tri-license — choose any one:  
AGPL-3.0 | BSL 1.1 → MIT (2029-01-01) | MIT

Copyright (C) 2026 Ahmad Ali Parr, Jessica L. Williams / SNAPKITTYWEST  
Bel Esprit D'Accord Irrevocable Trust

### 💼 Commercial License

Snapkitty code is free and open under **AGPL-3.0** for open-source use. Building a commercial product or service? A **proprietary commercial license** from Snapkitty Collective LLC lets you ship this code without the AGPL's source-sharing and network-use obligations.

**[→ Get a commercial license](mailto:A.parr@belespritdaccord.uk?subject=Commercial%20license:%20sovereign-trinity-kernel)** · A.parr@belespritdaccord.uk