mirror of
https://github.com/SHOGGOTH-SECTOR/sica-fondt.git
synced 2026-07-31 16:16:26 +00:00
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
This commit is contained in:
parent
fa38b745ef
commit
0849af9b55
@ -26,7 +26,7 @@ External (world: user / network)
|
|||||||
│ • Hermes (the OpenHermes agent — a peer here) │
|
│ • Hermes (the OpenHermes agent — a peer here) │
|
||||||
│ • drive-box (A1) │
|
│ • drive-box (A1) │
|
||||||
│ • mini-rag (MUSCLE MEMORY — tool-shape recall, D3) │
|
│ • 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
|
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
|
form, like a hand pre-shaping its grip. It is **tool lookup**, not
|
||||||
world-retrieval and not self-knowledge.
|
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
|
## The deck (B1) — integers + a table
|
||||||
- **Shuffle kernel:** 169 × 2 = **338 integers**, shuffled + randomized → pure
|
- **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 |
|
| mini-rag (muscle memory / tool-shape recall) — *Fortran script #2* | Fortran | decided |
|
||||||
| deck lookup table — *COBOL store #1* | COBOL | decided |
|
| deck lookup table — *COBOL store #1* | COBOL | decided |
|
||||||
| tool-schema store (mini-rag reads this) — *COBOL store #2* | 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 |
|
| drive-box (A1) | R | existing |
|
||||||
| MoRAG / GoDAGRAG (outer) | Haskell or Crystal | open |
|
| MoRAG / GoDAGRAG (outer) | Haskell or Crystal | open |
|
||||||
| Hermes | OpenHermes agent (external model) | given |
|
| Hermes | OpenHermes agent (external model) | given |
|
||||||
@ -70,10 +71,17 @@ not shared modules.
|
|||||||
- MoRAG/GoDAGRAG (outer) ≠ mini-rag (inner).
|
- MoRAG/GoDAGRAG (outer) ≠ mini-rag (inner).
|
||||||
- The deck is integers + a table; no fancy ADT language needed.
|
- 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
|
## Open / to place
|
||||||
- **COBOL store inventory:** confirmed two stores (deck table + tool-schema). Is
|
- **COBOL inventory:** two lookup stores (deck table + tool-schema). Is the **E1
|
||||||
the **E1 ontology** a third COBOL store, or a different kind of COBOL structure
|
invariant-law vault** a third COBOL store, or a different kind of COBOL
|
||||||
(vault) that isn't a "store"?
|
structure that isn't a lookup "store"?
|
||||||
- **MoRAG / GoDAGRAG language** (Haskell vs Crystal vs other).
|
- **MoRAG / GoDAGRAG language** (Haskell vs Crystal vs other).
|
||||||
- Each outer organ's hand-off shape to Ada.
|
- Each outer organ's hand-off shape to Ada.
|
||||||
- The stomach/economy organ's exact placement + which small model runs it.
|
- The stomach/economy organ's exact placement + which small model runs it.
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user