| --- |
| license: apache-2.0 |
| tags: |
| - integrity-dag |
| - formal-verification |
| - subleq-attention |
| - entropy-bound |
| - lean4 |
| - mumps |
| - answer-set-programming |
| - xml-metaprogramming |
| - sovereign-computation |
| - research |
| language: |
| - en |
| library_name: snapkitty |
| pipeline_tag: text-generation |
| --- |
| |
| # SnapKitty — Integrity DAG + Sovereign Computation Research |
|
|
| **One sentence:** A formally specified integrity DAG that gates every claim, proof, decision, and execution in an AI pipeline — plus experimental SUBLEQ-based attention routing, XML-driven meta-programming, and formally verified entropy bounds. |
|
|
| --- |
|
|
| ## What This Is |
|
|
| This repository is the research synthesis of the SnapKitty project. It contains: |
|
|
| 1. **The ICP-DAG** — a working governance DAG enforced by both Answer Set Programming and MUMPS, with 10 integrity invariants. Nothing executes without passing the graph. |
|
|
| 2. **SUBLEQ Attention** — an experimental replacement of softmax attention where activation vectors become SUBLEQ programs, integer routing replaces probability distributions. |
|
|
| 3. **Formally proved results** — Jordan fixed-point commutativity (0 sorry), entropy bound H < 0.20 nats (0 sorry), Fibonacci dimension recurrence. |
|
|
| 4. **Quantum swarm** — classical multi-agent inference system with real quantum entropy from ANU QRNG. Not a quantum computer. Precisely defined in `docs/QUANTUM_SWARM.md`. |
|
|
| 5. **Topological quantum computing** — Lean 4 formalizations of Fibonacci anyons, braid group, and classical simulations. Pentagon/hexagon axioms are incomplete. See `docs/TOPOLOGICAL_QUANTUM.md`. |
|
|
| 6. **XML Meta-Programming** — 7+ XSLT transforms that generate Rust/C/HTML from XML specifications. The entropy bound `H ≤ 0.20` propagates through all 5 layers: XML → generated Rust → Python runtime → Lean 4 proof → .rasm assembly. |
|
|
| 7. **Complete Workflow Trace** — BOB `sovereignStep`: quantum seed → METATRON gate → Lean 4 proof → Ada contract → WORM seal → 2048-dim SSM injection → LLM → final seal. Six WORM ledgers record every step. |
|
|
| --- |
|
|
| ## Quick Start |
|
|
| ```bash |
| # Verify the entropy bound (Python stdlib only) |
| cd sovereign-entropy-theorem |
| python python/verify_entropy.py |
| |
| # Install the EntropyGovernor LogitsProcessor |
| pip install snapkitty-entropy[hf] |
| |
| # Run the ICP governance DAG tests |
| # (requires GT.M or Caché MUMPS installation) |
| mumps -run TEST^ICP-DAG |
| |
| # Run the SUBLEQ VM tests |
| cd DEVFLOW-FINANCE/snapkitty-wasm |
| cargo test |
| |
| # Run the Resonance ISA VM tests |
| cd snapkitty-resonance-isa |
| cargo test |
| ``` |
|
|
| --- |
|
|
| ## What Actually Works |
|
|
| | Component | Status | Tests | |
| |-----------|--------|-------| |
| | SUBLEQ VM (Rust/WASM) | ✓ Working | 4 passing | |
| | Resonance ISA VM (Rust) | ✓ Working | 3 passing | |
| | ICP-DAG MUMPS | ✓ Working | TEST entry | |
| | ICP-DAG ASP | ✓ Spec | Requires Clingo | |
| | ERE quality filter (JS) | ✓ Working | — | |
| | EntropyGovernor (Python) | ✓ Working | — | |
| | Jordan proof (Lean 4) | ✓ 0 sorry | `lake build` | |
| | Entropy bound (Lean 4) | ✓ 0 sorry | `lake build` | |
| | Fibonacci anyon sim (Rust) | ✓ Working | Passing | |
| | Quantum WASM (44KB binary) | ✓ Working | — | |
| | Braid B₃ access control (Rust) | ✓ Working | 4 passing | |
| | SUBLEQ attention (J) | ✓ Runs | — | |
| | Braid synthesis (Lean 4) | ✗ All sorry | — | |
| | HybridQuantumSAT | ✗ Stub | — | |
|
|
| --- |
|
|
| ## What Has Not Been Benchmarked |
|
|
| - SUBLEQ attention vs. softmax: **no benchmark** |
| - Latency comparison: **no benchmark** |
| - Hallucination rate improvement: **no benchmark** |
| - FLOPs comparison: **no benchmark** |
|
|
| Do not cite this repository as evidence of performance improvements without running these benchmarks first. |
|
|
| --- |
|
|
| ## Documentation |
|
|
| | Document | Contents | |
| |----------|----------| |
| | `docs/REPOSITORY_INVENTORY.md` | Complete evidence map — every algorithm, DAG, and quantum component | |
| | `docs/ARCHITECTURE.md` | Architectural synthesis — what the common structure is | |
| | `docs/QUANTUM_SWARM.md` | Precise definition of the quantum swarm (for researchers) | |
| | `docs/TOPOLOGICAL_QUANTUM.md` | What is established vs. experimental in the TQC work | |
| | `docs/RESEARCHER_EXPLANATION.md` | Q&A for a quantum computing or AI researcher | |
| | `docs/XML_METADATA.md` | 6 XML formats, descriptive vs. executable metadata, polyglot spec pattern | |
| | `docs/METAPROGRAMMING.md` | 7+ XSLT transforms, .rasm assembler, formal spec containers, entropy propagation | |
| | `docs/WORKFLOW.md` | BOB sovereignStep trace, 6 WORM ledgers, Kahn's sort, reproducibility matrix | |
|
|
| --- |
|
|
| ## License |
|
|
| Apache-2.0 (harness code and documentation) |
| BSL-1.1 / AGPL-3.0 / MPL-2.0 (research core) |
| Patent Pending — Bel Esprit D'Accord Irrevocable Trust EIN 42-697643 |
|
|
| --- |
|
|
| ## Citation |
|
|
| ```bibtex |
| @software{snapkitty2026, |
| author = {Ali Parr, Ahmad and Westerhoff, Jessica}, |
| title = {SnapKitty: Integrity DAG and Sovereign Computation Research}, |
| year = {2026}, |
| url = {https://github.com/SNAPKITTYWEST/snapkitty-open-source} |
| } |
| ``` |
|
|
