diff --git a/core/AGENTS.md b/core/AGENTS.md
index e040da3..473035e 100644
--- a/core/AGENTS.md
+++ b/core/AGENTS.md
@@ -1,15 +1,25 @@
 # AGENTS.md — Ada border (D1) + invariant vault
 
-Local guide for `mafiabot_core`. Repo-wide map and rules: [`../AGENTS.md`](../AGENTS.md);
+Local guide for `sica-fondt`. Repo-wide map and rules: [`../AGENTS.md`](../AGENTS.md);
 working agreements: [`../CLAUDE.md`](../CLAUDE.md). Correction log: [`../.claude/devCorrectionLog.md`](../.claude/devCorrectionLog.md).
 
 ## What this is
 
-The **Ada/SPARK border — D1**. All traffic to the inner brain crosses here
-first. Built with **Alire**. Internal modules under `src/`: `trust` (incl. the
-COBOL invariant-law vault), `organs`, `network`, `protocol`, `daemons`, `core`,
-`types`, `outputs`. These are modules, not separate organs — they share this
-file.
+The **Ada/SPARK border — D1**. All traffic to the inner brain crosses here first. Built with **Alire**. Internal modules and organs under `src/`: `trust` (incl. the COBOL invariant-law vault), `organs`, `network`, `protocol`, `daemons`, `core`, `types`, `outputs`.
+
+## The COBOL invariant vault (`src/trust`)
+
+`src/trust/invariants-architecture.cobol` is **E1, the constitution** — Invariant 0 (the culpability anchor) and 01 (minimize harm). Compile/run free format:
+
+```bash
+cobc -x -free -o /tmp/inv src/trust/invariants-architecture.cobol && /tmp/inv
+```
+
+## Local invariants
+
+- **S1:** this is the border — never add a route that lets traffic reach the inner brain without crossing the Ada Bus.
+- **S2:** never reclassify a message's provenance.
+- **S3:** the invariant vault is **immutable** — don't edit it; it's the laws of physics, not a config or preferences file.
 
 ## Build & test
 
@@ -23,21 +33,3 @@ cd mafiabot_core && alr -n build
 
 `engine_tests` prints nothing on success (clean exit). Or run the whole repo
 via `.claude/skills/run-sica-fondt/smoke.sh`.
-
-## The COBOL invariant vault (`src/trust`)
-
-`src/trust/invariants-architecture.cobol` is **E1, the constitution** —
-Invariant 0 (the culpability anchor) and 01 (minimize harm). Compile/run free
-format:
-
-```bash
-cobc -x -free -o /tmp/inv src/trust/invariants-architecture.cobol && /tmp/inv
-```
-
-## Local invariants
-
-- **S1:** this is the border — never add a route that lets traffic reach the
-  inner brain without crossing here.
-- **S2:** never reclassify a message's provenance.
-- **S3:** the invariant vault is **immutable at runtime** — don't edit it
-  casually; it's the constitution, not config.