From f67514b4e912e4ab81678854096dd52e80dc96f2 Mon Sep 17 00:00:00 2001 From: Claude Date: Sun, 21 Jun 2026 10:46:39 +0000 Subject: [PATCH] docs(topology): Ada-routed inner bus; split mini-rag/MoRAG; deck = ints+COBOL - inner bus is Ada-routed (decided), not Pony - mini-rag (inner brain-side RAG) != MoRAG/GoDAGRAG (outer) - deck (B1) = Fortran shuffle of 338 ints + COBOL lookup table (not JSON) - add language map; remaining open: MoRAG/GoDAGRAG language Co-Authored-By: Claude Opus 4.8 (1M context) Claude-Session: https://claude.ai/code/session_015hmgREHNsxYCuim33yUF2c --- docs/bus-topology.md | 76 ++++++++++++++++++++++++++------------------ 1 file changed, 45 insertions(+), 31 deletions(-) diff --git a/docs/bus-topology.md b/docs/bus-topology.md index 03d83d2..dd252b5 100644 --- a/docs/bus-topology.md +++ b/docs/bus-topology.md @@ -14,55 +14,69 @@ External (world: user / network) │ digests external input → RAG context) │ │ • microagents │ │ • SAE (sparse autoencoder) │ -│ • GoDAGRAG (Graph of Directed Acyclic Graphs of RAGs) │ +│ • MoRAG = GoDAGRAG │ +│ (Graph of Directed Acyclic Graphs of RAGs) │ └─────────────────────────────────────────────────────────┘ │ ▼ ADA (D1) — the membrane / border (screens, provenance, rate) ┌─────────────────────────────────────────────────────────┐ -│ INNER ORGANS inner-brain bus (Pony OPTIONAL) │ +│ INNER ORGANS inner-brain bus = ADA-routed │ │ • soul (B2) │ │ • metacog (C2) │ │ • Hermes (the OpenHermes agent — a peer here) │ │ • drive-box (A1) │ │ • COBOL ontological structures (E1) │ +│ • mini-rag (the brain-side RAG — inner, NOT MoRAG) │ └─────────────────────────────────────────────────────────┘ ``` -## The chain -``` -outer organs ─► Ichor (Pony) ─► Ada (D1) ─► inner-brain bus ─► inner organs - { soul · metacog - · Hermes - · drive-box - · COBOL ontology } -``` - ## Layers 1. **External** — the world (user / network). Reaches in only via the outer ring. -2. **Outer organs** — stomach/economy (small model), microagents, SAE, GoDAGRAG. +2. **Outer organs** — stomach/economy (small model), microagents, SAE, + **MoRAG / GoDAGRAG**. 3. **Ichor (Pony)** — the **outer** bus; carries the outer organs up to Ada. (Already scaffolded in `src/ichor/`.) -4. **Ada (D1)** — the membrane between outer and inner. Screens everything - crossing (blocklist / provenance / rate — `Trust_Boundary`). -5. **Inner-brain bus** — connects the inner organs. **Pony optional** (need not - be Pony). -6. **Inner organs** — soul, metacog, **Hermes**, drive-box, COBOL ontology. - Hermes is a peer on this bus, not a separate core. +4. **Ada (D1)** — the membrane between outer and inner; also routes the inner + bus. Screens everything crossing (blocklist / provenance / rate — + `Trust_Boundary`). Native COBOL (`Interfaces.COBOL`) + C interop. +5. **Inner-brain bus** — **Ada-routed** (decided; not Pony). Native path to the + COBOL organs. +6. **Inner organs** — soul, metacog, **Hermes**, drive-box, COBOL ontology, + **mini-rag**. Hermes is a peer here, not a separate core. -## Flow of a turn -external input → **stomach digests** it → **GoDAGRAG** builds RAG context → -across **Ichor** → **Ada (D1)** screens (already pre-digested context) → **inner -bus** → inner organs (soul / metacog / Hermes / drive-box / COBOL) → synthesis -flows back out the same rings. +## The two RAGs (do not conflate) +- **mini-rag** — INNER, brain-side RAG. +- **MoRAG = GoDAGRAG** — OUTER, the Graph of Directed Acyclic Graphs of RAGs. + +## The deck (B1) — it's just integers + a table +- **Shuffle kernel:** 169 × 2 = **338 integers**, shuffled + randomized. Pure + RNG/permutation → **Fortran** (native to the Ada inner bus; integer arrays are + its home turf). +- **Lookup table:** the card meaning (names, phases, synestries) is **static data + keyed by the integer** → **COBOL** indexed records (fits the COBOL ontology, + native to Ada) — not JSON. +- So the deck is a Fortran shuffler + a COBOL table, both native on the Ada bus. + +## Language map (settled / proposed) +| Component | Language | Status | +|---|---|---| +| Ichor (outer bus) | Pony | built | +| Ada (membrane + inner bus router) | Ada/SPARK | decided | +| deck shuffle | Fortran | proposed | +| deck lookup table | COBOL | proposed | +| COBOL ontology (E1) | COBOL | given | +| drive-box (A1) | R | existing | +| MoRAG / GoDAGRAG | Haskell or Crystal | open | +| Hermes | OpenHermes agent (external model) | given | ## Corrections baked in (vs earlier wrong models) -- **Hermes is an inner organ on the inner bus** — not external, and not a - separate innermost core. -- **Ichor is the OUTER bus** (organs → Ada), not the brain bus. -- **The inner bus is transport-flexible** (Pony optional). -- The harness is **not** an Ichor (outer) organ. +- Hermes is an inner organ on the inner bus — not external, not a separate core. +- Ichor is the OUTER bus (organs → Ada), not the brain bus. +- Inner bus is **Ada-routed**, not Pony. +- **mini-rag (inner) ≠ MoRAG/GoDAGRAG (outer).** +- The deck is integers + a table; no fancy ADT language needed. ## Open / to place -- Is the **inner bus Pony** or another mechanism? (decides 2nd Pony broker vs - hand-off to something else) -- Each **outer organ's hand-off to Ada** (what crosses, in what shape). +- **MoRAG / GoDAGRAG language** (Haskell vs Crystal vs other). +- Each outer organ's hand-off shape to Ada. +- Where the stomach/economy organ sits exactly and what its small model is.