File size: 4,948 Bytes
1c9201c 1a4a0d8 1c9201c 1a4a0d8 1c9201c 1a4a0d8 1c9201c 1a4a0d8 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 | ---
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}
}
```
|