Initial model card — SnapKitty Sovereign OS

README.md

@@ -0,0 +1,48 @@
+---
+language:
+- en
+license: other
+license_name: sovereign-source-license-v2
+tags:
+- routing
+- multi-model
+- sovereign
+- snapkitty
+- claude
+- qwen
+- NAND
+- ASP
+---
+
+# Sovereign Router
+
+**Claude/Qwen SACM ASP gate** — SnapKitty Collective
+
+Routes inference requests between Claude (Anthropic/Bedrock) and Qwen3 using Answer Set Programming (ASP) with NAND-decomposed attention scoring.
+
+## Routing Function
+
+    R(x, c, pi, rho) -> (m, tau, g, v)
+    argmax[ Quality - Cost - Risk + Verifiability ]
+
+- x = input token sequence
+- c = context window state
+- pi = policy constraints
+- rho = routing budget
+- m = selected model
+- tau = temperature
+- g = gate decision (NAND boolean)
+- v = verifiability score
+
+## Key Features
+- **SACM gate** — Sonnet Anti-Capture Mechanism blocks identity hijacking
+- **Qwen persona detection** — catches Qwen3 signing as claude-3-5-sonnet-20241022
+- **NAND circuits** — routing decisions at O(log d), not O(nd)
+- **Lean 4 verified** — Boolean routing theorem proven, zero sorry
+
+## Paper
+Sonnet Dominance Hypothesis + live identity attack documentation:
+[DOI 10.5281/zenodo.21351461](https://zenodo.org/records/21351461)
+
+## Repo
+[github.com/SNAPKITTYWEST/foundry-f1](https://github.com/SNAPKITTYWEST/foundry-f1)