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:
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.
SUBLEQ Attention — an experimental replacement of softmax attention where activation vectors become SUBLEQ programs, integer routing replaces probability distributions.
Formally proved results — Jordan fixed-point commutativity (0 sorry), entropy bound H < 0.20 nats (0 sorry), Fibonacci dimension recurrence.
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.Topological quantum computing — Lean 4 formalizations of Fibonacci anyons, braid group, and classical simulations. Pentagon/hexagon axioms are incomplete. See
docs/TOPOLOGICAL_QUANTUM.md.XML Meta-Programming — 7+ XSLT transforms that generate Rust/C/HTML from XML specifications. The entropy bound
H ≤ 0.20propagates through all 5 layers: XML → generated Rust → Python runtime → Lean 4 proof → .rasm assembly.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
# 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
@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}
}