File size: 3,172 Bytes
5d3e699 | 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 | ---
language:
- en
license: other
license_name: sovereign-leviathan-sl-agpl3-001
license_link: https://huggingface.co/SNAPKITTYWEST/burt-imma/blob/main/README.md#license
tags:
- pytorch
- custom-architecture
- matrix-memory
- equilibrium-propagation
- cifg
- sovereign
- snapkitty
- no-backprop
- formal-verification
- lean4
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"
---
# 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
Licensed under the Sovereign Leviathan covenant (`LicenseRef-Sovereign-Leviathan-SL-AGPL3-001`), an AGPL-3.0-based license.
|