Snapkitty/snapkitty-open-source

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. 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.

1. 1.SUBLEQ Attention — an experimental replacement of softmax attention where activation vectors become SUBLEQ programs, integer routing replaces probability distributions.

1. 1.Formally proved results — Jordan fixed-point commutativity (0 sorry), entropy bound H < 0.20 nats (0 sorry), Fibonacci dimension recurrence.

1. 1.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.

1. 1.Topological quantum computing — Lean 4 formalizations of Fibonacci anyons, braid group, and classical simulations. Pentagon/hexagon axioms are incomplete. See docs/TOPOLOGICAL_QUANTUM.md.

1. 1.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.

1. 1.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

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

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}
}