Add HF model card frontmatter + XML/workflow/metaprogramming in docs index
Browse files
README.md
CHANGED
|
@@ -1,6 +1,25 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
# SnapKitty — Integrity DAG + Sovereign Computation Research
|
| 2 |
|
| 3 |
-
**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 and formally verified entropy bounds.
|
| 4 |
|
| 5 |
---
|
| 6 |
|
|
@@ -18,6 +37,10 @@ This repository is the research synthesis of the SnapKitty project. It contains:
|
|
| 18 |
|
| 19 |
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`.
|
| 20 |
|
|
|
|
|
|
|
|
|
|
|
|
|
| 21 |
---
|
| 22 |
|
| 23 |
## Quick Start
|
|
@@ -86,6 +109,9 @@ Do not cite this repository as evidence of performance improvements without runn
|
|
| 86 |
| `docs/QUANTUM_SWARM.md` | Precise definition of the quantum swarm (for researchers) |
|
| 87 |
| `docs/TOPOLOGICAL_QUANTUM.md` | What is established vs. experimental in the TQC work |
|
| 88 |
| `docs/RESEARCHER_EXPLANATION.md` | Q&A for a quantum computing or AI researcher |
|
|
|
|
|
|
|
|
|
|
| 89 |
|
| 90 |
---
|
| 91 |
|
|
|
|
| 1 |
+
---
|
| 2 |
+
license: apache-2.0
|
| 3 |
+
tags:
|
| 4 |
+
- integrity-dag
|
| 5 |
+
- formal-verification
|
| 6 |
+
- subleq-attention
|
| 7 |
+
- entropy-bound
|
| 8 |
+
- lean4
|
| 9 |
+
- mumps
|
| 10 |
+
- answer-set-programming
|
| 11 |
+
- xml-metaprogramming
|
| 12 |
+
- sovereign-computation
|
| 13 |
+
- research
|
| 14 |
+
language:
|
| 15 |
+
- en
|
| 16 |
+
library_name: snapkitty
|
| 17 |
+
pipeline_tag: text-generation
|
| 18 |
+
---
|
| 19 |
+
|
| 20 |
# SnapKitty — Integrity DAG + Sovereign Computation Research
|
| 21 |
|
| 22 |
+
**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.
|
| 23 |
|
| 24 |
---
|
| 25 |
|
|
|
|
| 37 |
|
| 38 |
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`.
|
| 39 |
|
| 40 |
+
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.
|
| 41 |
+
|
| 42 |
+
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.
|
| 43 |
+
|
| 44 |
---
|
| 45 |
|
| 46 |
## Quick Start
|
|
|
|
| 109 |
| `docs/QUANTUM_SWARM.md` | Precise definition of the quantum swarm (for researchers) |
|
| 110 |
| `docs/TOPOLOGICAL_QUANTUM.md` | What is established vs. experimental in the TQC work |
|
| 111 |
| `docs/RESEARCHER_EXPLANATION.md` | Q&A for a quantum computing or AI researcher |
|
| 112 |
+
| `docs/XML_METADATA.md` | 6 XML formats, descriptive vs. executable metadata, polyglot spec pattern |
|
| 113 |
+
| `docs/METAPROGRAMMING.md` | 7+ XSLT transforms, .rasm assembler, formal spec containers, entropy propagation |
|
| 114 |
+
| `docs/WORKFLOW.md` | BOB sovereignStep trace, 6 WORM ledgers, Kahn's sort, reproducibility matrix |
|
| 115 |
|
| 116 |
---
|
| 117 |
|