File size: 3,596 Bytes
c0e9c47 0a72927 c0e9c47 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 | ---
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
|