mirror of
https://github.com/SHOGGOTH-SECTOR/sica-fondt.git
synced 2026-09-30 01:15:10 +00:00
Claude
50fe9bd2c6
Two serious fixes: 1. RESTORE the E1 invariant-law vault (invariants-architecture.cobol) that the border-only cleanup wrongly deleted. Now a real, compiling GnuCOBOL vault with law 01 ABSOLUTE = DO NOT KILL PEOPLE, thorough notes, and a do-not-delete banner. Safety invariants must never be deleted as 'stubs'. 2. REMOVE the unapproved CerebellumHarness/OpenHermes-on-Pony (never approved; architecturally wrong -- Hermes is an INNER organ, Ada-routed). Ichor is the OUTER bus only: OrganId is now outer organs (stomach/microagents/SAE/MoRAG + AdaBorder/World); inner organs (soul, metacog, drive-box, mini-rag, Hermes, E1 laws) removed -- metacog belongs on the Ada inner bus, not Pony. The membrane screen now triggers on Ada-bound traffic, not 'Brain'. Thorough stub notes added throughout (barrier is a stand-in, not the real screen; never wire inner organs onto the skin). Compiles + runs green. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_015hmgREHNsxYCuim33yUF2c
71 lines
2.2 KiB
Pony
71 lines
2.2 KiB
Pony
"""
|
|
Ichor — the perfusion medium ("the blood"). D2.
|
|
|
|
The one envelope every organ emits and consumes. Mirrors the Ada D1
|
|
`Organ_Message {Source, Destination, Provenance, Payload}` so the Pony broker
|
|
and the Ada border (Trust_Boundary) speak the same shape across the seam.
|
|
|
|
Envelope is `class val`: immutable and sendable between actors.
|
|
"""
|
|
|
|
// OUTER organs only. Ichor is the OUTER bus (the "skin") -- it carries the outer
|
|
// organs up to Ada (D1). The INNER organs -- soul, metacog, drive-box, mini-rag,
|
|
// Hermes, the E1 invariant laws -- do NOT belong here; they ride the Ada-routed
|
|
// (Jorvik) inner bus. NEVER add a brain/inner organ to this enum: that is
|
|
// "plugging the brain onto the skin". See docs/bus-topology.md.
|
|
type OrganId is
|
|
( Stomach | Microagents | SAE | MoRAG
|
|
| AdaBorder | World | UnknownOrgan )
|
|
|
|
primitive Stomach
|
|
// economy organ (small-model): digests external input into context
|
|
fun string(): String => "stomach"
|
|
primitive Microagents
|
|
fun string(): String => "microagents"
|
|
primitive SAE
|
|
// sparse autoencoder
|
|
fun string(): String => "sae"
|
|
primitive MoRAG
|
|
// = GoDAGRAG: graph of DAGs of RAGs; reads the world
|
|
fun string(): String => "morag"
|
|
primitive AdaBorder
|
|
// the membrane (D1): the outer bus delivers inbound traffic here to be screened
|
|
fun string(): String => "ada_border"
|
|
primitive World
|
|
// the external world (user / network)
|
|
fun string(): String => "world"
|
|
primitive UnknownOrgan
|
|
fun string(): String => "unknown"
|
|
|
|
type Provenance is ( SystemInternal | UserInput | OrganSecretion | External )
|
|
|
|
primitive SystemInternal
|
|
fun string(): String => "system_internal"
|
|
primitive UserInput
|
|
fun string(): String => "user_input"
|
|
primitive OrganSecretion
|
|
fun string(): String => "organ_secretion"
|
|
primitive External
|
|
fun string(): String => "external"
|
|
|
|
class val Envelope
|
|
let source: OrganId
|
|
let dest: OrganId
|
|
let provenance: Provenance
|
|
let payload: String
|
|
|
|
new val create(
|
|
source': OrganId,
|
|
dest': OrganId,
|
|
provenance': Provenance,
|
|
payload': String)
|
|
=>
|
|
source = source'
|
|
dest = dest'
|
|
provenance = provenance'
|
|
payload = payload'
|
|
|
|
fun string(): String =>
|
|
source.string() + " -> " + dest.string()
|
|
+ " [" + provenance.string() + "] " + payload
|