From 0849af9b55e95472ac1f6dc54ca2cc1f0da815b8 Mon Sep 17 00:00:00 2001
From: Claude <noreply@anthropic.com>
Date: Sun, 21 Jun 2026 11:13:36 +0000
Subject: [PATCH] docs(topology): E1 is the invariant laws, not 'ontology';
 inner Ada = Jorvik

- E1 COBOL = the invariant laws (immutable rules in COBOL vaults), not 'ontology'
  (that was a paraphrase that lost the meaning, same as muscle-memory/mini-rag)
- inner-bus Ada runs Jorvik: protected-object mailbox + worker tasks, shared
  gnat.adc hardening

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_015hmgREHNsxYCuim33yUF2c
---
 docs/bus-topology.md | 20 ++++++++++++++------
 1 file changed, 14 insertions(+), 6 deletions(-)

diff --git a/docs/bus-topology.md b/docs/bus-topology.md
index add70c2..6a1e06e 100644
--- a/docs/bus-topology.md
+++ b/docs/bus-topology.md
@@ -26,7 +26,7 @@ External (world: user / network)
 │   • Hermes   (the OpenHermes agent — a peer here)        │
 │   • drive-box (A1)                                       │
 │   • mini-rag  (MUSCLE MEMORY — tool-shape recall, D3)    │
-│   • COBOL ontological structures (E1)                    │
+│   • COBOL invariant laws (E1 — the law vault)           │
 └─────────────────────────────────────────────────────────┘
 ```
 
@@ -37,7 +37,8 @@ External (world: user / network)
   shape** for it — the tool schema (D3). HD associative recall of the learned
   form, like a hand pre-shaping its grip. It is **tool lookup**, not
   world-retrieval and not self-knowledge.
-- **E1 ontology** — INNER. What the brain **is** (the invariant COBOL structures).
+- **E1 invariant laws** — INNER. The immutable laws the system must obey, held
+  in COBOL vaults (the constitution). Not "ontology" — that was a bad paraphrase.
 
 ## The deck (B1) — integers + a table
 - **Shuffle kernel:** 169 × 2 = **338 integers**, shuffled + randomized → pure
@@ -56,7 +57,7 @@ not shared modules.
 | mini-rag (muscle memory / tool-shape recall) — *Fortran script #2* | Fortran | decided |
 | deck lookup table — *COBOL store #1* | COBOL | decided |
 | tool-schema store (mini-rag reads this) — *COBOL store #2* | COBOL | decided |
-| COBOL ontology / E1 (invariant structures, separate) | COBOL | given |
+| COBOL invariant laws / E1 (the law vault, separate) | COBOL | given |
 | drive-box (A1) | R | existing |
 | MoRAG / GoDAGRAG (outer) | Haskell or Crystal | open |
 | Hermes | OpenHermes agent (external model) | given |
@@ -70,10 +71,17 @@ not shared modules.
 - MoRAG/GoDAGRAG (outer) ≠ mini-rag (inner).
 - The deck is integers + a table; no fancy ADT language needed.
 
+## Inner-bus Ada — Jorvik
+The inner-bus Ada runs the **Jorvik** profile (same `gnat.adc` hardening as the
+border: `No_Exceptions`, `SPARK_Mode`, `No_Implicit_Dynamic_Code`). Shape:
+**protected object = mailbox/sync** (short, non-blocking — Jorvik forbids
+blocking in a protected action), **tasks = workers** that call into the organs
+(Fortran/COBOL/R/model via native interop) and may block.
+
 ## Open / to place
-- **COBOL store inventory:** confirmed two stores (deck table + tool-schema). Is
-  the **E1 ontology** a third COBOL store, or a different kind of COBOL structure
-  (vault) that isn't a "store"?
+- **COBOL inventory:** two lookup stores (deck table + tool-schema). Is the **E1
+  invariant-law vault** a third COBOL store, or a different kind of COBOL
+  structure that isn't a lookup "store"?
 - **MoRAG / GoDAGRAG language** (Haskell vs Crystal vs other).
 - Each outer organ's hand-off shape to Ada.
 - The stomach/economy organ's exact placement + which small model runs it.