docs: add model description and DOI catalog link

README.md

@@ -1,43 +1,21 @@
-# BOB REASONING ENGINE
-
-**Location:** `SNAPKITTYWEST/bob-reasoning-engine/`
-
-**Architecture:**
-```
-KNOWLEDGE CHUNKS (20 illuminated units)
-         ↓
-    ILLUMINATION GATE (8-step protocol)
-         ↓
-    GOLDILOCKS EVALUATOR (zone classification)
-         ↓
-    LEAN 4 PROOF VALIDATION
-         ↓
-    ADA CONTRACT CHECK
-         ↓
-    2048-DIM SSM INJECTION
-         ↓
-    WORM-SEALED OUTPUT
-```
-
-**Files:**
-- `lean/GoldilocksTheorem.lean` — Formal proof of the Goldilocks Theorem (no assumptions)
-- `apl/Goldilocks.apl` — APL invocation of the Lean 4 proof
-- `src/reasoning-engine.mjs` — Sovereign reasoning engine (20 knowledge chunks, 8 illumination steps)
-- `package.json` — Package config
-
-**Run:**
-```bash
-node src/reasoning-engine.mjs --test
-```
-
-**What It Does:**
-1. Loads 20 knowledge chunks from the sovereign curriculum (the-book, sovereign-calculus, fibonacci-contraction, saint-errant, bob-orchestrator)
-2. Validates illumination (8-step protocol)
-3. Evaluates Goldilocks theorem (zone classification, φ-paradox resolution)
-4. Builds 2048-dim SSM injection vector (knowledge + proof + contract + goldilocks + WORM)
-5. Seals every reasoning step to WORM chain
-
-**Status:** `ILLUMINATED = TRUE`
-**WORM Chain:** `VALID`
-**Goldilocks:** `φ⁻¹ = 0.618 → CONTRACTION ZONE`
-**SSM Vector:** `2048-dim, 20 chunks loaded`
+---
+license: other
+license_name: sovereign-source-license-v2
+language:
+- en
+tags:
+- sovereign-compute
+- worm-chain
+- formal-verification
+---
+
+# bob-reasoning
+
+BOB reasoning model — MCTS agent with PUCT scoring and WORM-sealed proof search.
+
+**Part of the SNAPKITTYWEST Sovereign Compute constellation.**
+
+Unified theory: [10.5281/zenodo.21816366](https://doi.org/10.5281/zenodo.21816366)
+
+[Research Papers →](https://huggingface.co/datasets/Snapkitty/papers)
+[GitHub →](https://github.com/SNAPKITTYWEST)