SnapKitty Sovereign Chat Harness
If it can't prove it, it won't say it.
Every response is checked by five deterministic ERE gates and sealed with a SHA-256 audit receipt before you see it. Responses that fail are blocked and explained β not silently returned.
How it works
prompt
β
βΌ
P1 verify(prompt) β MetaSum coherence check on prompt
β
βΌ
LLM (Ollama local / HF Inference)
β
βΌ
P2 verify(response) β MetaSum coherence check on response
β
βΌ
P3 curate(response) β Dream Cycle recovery gate
β
βΌ
P4 prove(joint) β entropy invariant β€ 0.20
β
βΌ
P5 seal() β WORM SHA-256 receipt
β
βΌ
allowed? β show response + proof panel
blocked? β show why, suppress response
Gate table
| Gate | External label | What it checks |
|---|---|---|
| P1 | verify |
Prompt phase coherence: ` |
| P2 | verify |
Response MetaSum: model output has sufficient signal |
| P3 | curate |
Dream Cycle: coherence restored after low-MetaSum event |
| P4 | prove |
Joint entropy β€ 0.20 β Weil-bound invariant |
| P5 | seal |
WORM SHA-256 receipt for audit chain |
Why it doesn't hallucinate
The coherence threshold Ο = N/2 = 512 enforces that the MetaSum magnitude of any
response exceeds the Weyl bound β(NΒ·log Q) β 89. Responses below this bound are
recovered via Dream Cycle or blocked entirely.
Entropy invariant H β€ 0.20 is derived from the same bound: post-Dream-Cycle
entropy drops to β 0.07, well inside the safe zone.
Local setup
git clone https://github.com/SNAPKITTYWEST/sovereign-chat-harness
cd sovereign-chat-harness
pip install -r requirements.txt
cp .env.example .env
# edit .env β set HF_TOKEN and/or start Ollama
# With Ollama (recommended):
ollama run snapkitty-merged # or any GGUF model
# Without Ollama (HF Inference):
export HF_TOKEN=hf_...
python app.py
# open http://localhost:7860
RTX 3080 Docker (8 GB VRAM)
See Dockerfile β one-command local sovereign stack with audit trail:
docker build -t snapkitty-chat .
docker run -p 7860:7860 --gpus device=0 \
-e HF_TOKEN=$HF_TOKEN \
snapkitty-chat
Every response prints a WORM hash. NVIDIA can't offer this.
Terminology
Internal terms (code) map to external terms (README/tags/HF search):
| Internal | HF search term |
|---|---|
| FSM pipeline | data curation / filtering |
| ERE gates P1-P5 | verification / guardrails |
| WORM sealing | reproducible audit log |
| SovMonster / Lean proof | formal verification |
| SoulVM JIT | local inference runtime |
| Dream Cycle | hallucination recovery |
| MetaSum | coherence scoring |
Models
- Ollama (local, preferred):
snapkitty-mergedQ4_K_M GGUF, RTX 3080, 8 GB VRAM - HF Inference (cloud):
Snapkitty/snapkitty-merged - Any Ollama-compatible model works β swap via
OLLAMA_MODELenv var
License
BSL-1.1 / AGPL-3.0 / MPL-2.0 β Patent Pending, BEL ESPRIT D ACCORD TRUST HOLDINGS INC.
πΌ 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.