---
license: other
license_name: snapkitty-tri-license
license_link: https://huggingface.co/Snapkitty/burt-imma/blob/main/LICENSE.tri
language:
- en
tags:
- pytorch
- custom-architecture
- matrix-memory
- equilibrium-propagation
- cifg
- sovereign
- snapkitty
- no-backprop
- formal-verification
- lean4
- agents
- python
library_name: transformers
pipeline_tag: text-generation
model_type: burt-imma
datasets:
- SNAPKITTYWEST/sovereign-training-corpus
metrics:
- perplexity
widget:
- text: The architecture of learning is
  example_title: Generation sample
---

> Source: [github.com/SNAPKITTYWEST/burt-imma](https://github.com/SNAPKITTYWEST/burt-imma)

# BURT-IMMA

**Matrix-Memory Equilibrium Propagation - a 13-layer architecture that forks the backprop lineage.**

SnapKitty West / SNAPKITTYWEST - Evidence or Silence - 2026

---

## Model Description

13-layer architecture. Learning rule is Matrix-Memory Equilibrium Propagation (MMEP): two-phase, locally computable, Hebbian-style update. No gradient tape. No weight transport.

Core memory cell (CIFG):
```
C_t = f_t * C_{t-1} + (1-f_t) * (v_t outer k_t)
```

| Component | Description |
|---|---|
| CIFG Matrix Memory | Full d x d state, sum-inversion retrieval |
| MMEP Learning Rule | Two-phase local update, no backprop |
| Entropy-Constrained Router | H(alpha) <= 0.20 nats (sovereign_entropy.tex) |
| Spectral Projection | Contractive relaxation guarantee |
| SmoothLeaky Activation | 4-axiom formal specification |
| Boolean Perceptron Actors | Huntington postulate-verified routing |
| 7 CUDA Kernels | sm_86 (RTX 3080) |
| Lean 4 Formalization | Machine-checked proof ledger |

---

## Training

- Hardware: RTX 3080 sm_86, 7 custom CUDA kernels
- Learning rule: MMEP (no Adam, no SGD)
- Corpus: SNAPKITTYWEST/sovereign-training-corpus
- Weights: Architecture + code released; pretrained weights pending

---


## Papers - 11 Total (8 Zenodo + 3 In-Repo LaTeX)

| File | Lines | Venue | Title |
|---|---|---|---|
| gdr_kernels.tex | 460 | SC / MLSys | **GDR-9: Formally Verified Generalized Delta Rule Kernel Stack Across Nine ISAs** |
| liquidops_kernel.tex | 566 | PLDI / ICFP | **LiquidOps: Refinement-Verified NAND-Canonical Kernel for Data-Plane ISA Compilation** |
| sovereign_entropy.tex | 394 | FM / CAV | **Sovereign Entropy: Formally Verified 0.20-Nat Bound for Deterministic Agent Outputs** |

**GDR-9** - Nine-ISA kernel stack (CUDA, NASM, RISC-V, ARM, WASM, APL, Haskell, Lean 4, P4). Generalized delta rule + drain invariants. Cross-ISA equivalence proved in Lean 4. Target: SC/MLSys.

**LiquidOps** - NAND-canonical verified compiler. LiquidHaskell refinement types enforce correctness end-to-end. P4 backend. Target: PLDI/ICFP.

**Sovereign Entropy** - Lean 4 machine-checked proof: routing entropy H(alpha) <= 0.20 nats. SPARK Ada contract + ERE gate. Governs BURT-IMMA router and sovereign-memory-twin verdict threshold. Target: FM/CAV.

**Zenodo (8 papers, published 2026-07-01)** - PIRTM, octonions, Coxeter/Weyl, PH-DAE, EmojiScript, Goldilocks, Resonance disclosure, DMZ F2 decomposition. DOIs in sovereign-engine-v2 README.

---

## License

SnapKitty Tri-License

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

**[→ Get a commercial license](mailto:A.parr@belespritdaccord.uk?subject=Commercial%20license:%20burt-imma)** · A.parr@belespritdaccord.uk