chore: regenerate dist/soul.c after rebasing onto main

A clean rebase is not a consistent build input: git resolves the compiled amalgam as an ordinary file and picks a winner, so dist/soul.c ends up holding one side's code and not the other. The stamp gate catches it; this commit fixes it. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
feat(engine): tools + agentic loop on the OpenAI wire, and two chat-breaking fixes found proving it
2026-08-09 12:12:53 -05:00 · 2026-08-09 12:12:13 -05:00
80 changed files with 3391 additions and 4135 deletions
@@ -69,12 +69,6 @@ jobs:
      # cannot regenerate the amalgam (elc needs 24GB+ virtual memory), but it can
      # refuse to compile a stale one. Fails loudly with the recipe in the message.
      - name: Verify dist/soul.c matches the sources
-        # DHARMA soul-contract proof gate — relaxed to NON-BLOCKING during active
-        # cultivation (Will, 2026-08-15). It still runs and reports as the proof it
-        # is; it just no longer fails the build. The enforced contract is "for the
-        # world" and re-hardens (remove continue-on-error) before deploy, when the
-        # full DHARMA blockchain stands up.
-        continue-on-error: true
        run: |
          chmod +x tools/soulc-stamp.sh
          ./tools/soulc-stamp.sh --check
@@ -7,15 +7,5 @@ dist/*.backup-*
 *.o
 *.a

-# elc/elb compiled header caches. DO NOT commit these: elc/elb silently
-# prefer a stale committed .elh over recompiling its .el source, with no
-# warning — a fresh checkout with these committed caches present can build
-# and boot "successfully" while silently missing large chunks of code
-# (found 2026-08-15: an amalgam regen with these present under-resolved to
-# 251-645 of 2541 real functions, incl. losing the entire 31-language NLG/
-# morphology stack, with exit code 0 and no error). Regenerate locally; never
-# commit the cache.
-*.elh
-
 # macOS
 .DS_Store
@@ -1,170 +0,0 @@
-# AGENTS.md — neuron (the canonical CGI substrate: soul + engram + proxy + wrapper)
-
-This is the core repo: the **soul** (the running agent), the **engram** (its memory graph),
-and the MCP proxy/wrapper that expose it. Read this before touching anything here.
-
-> Corrected 2026-08-15 during a local-build audit. This file previously existed only
-> uncommitted on disk (never in git history) and documented the pre-collapse MCP tool
-> surface as current. Both are fixed here — see the audit's findings in Neuron memory
-> (tags `neuron-technologies/neuron,build-audit`) for full evidence.
-
-## Code vs. Artifact
- **Authored source:** `*.el` + `*.elh` at the repo root (`awareness.el`, `chat.el`, `memory.el`, `neuron-api.el`, `persist.el`, `routes.el`, `safety.el`, `sessions.el`, `stewardship.el`, `imprint.el`, `studio.el`, `elp-input.el`, `manifest.el`) plus `cli/`, `council/`, `connectd/`, `mcp-proxy/`, `mcp-wrapper/` — edit here.
- **Artifacts (DO NOT hand-edit `dist/soul.c`):** `dist/soul.c` is a generated single-translation-unit amalgamation of the soul's full transitive `.el` import set, produced by concatenating the sources (import lines stripped) and running `elc` once — see "Build / regenerate" below for the exact, audit-verified recipe. `dist/*.c` per-module files and `dist/*.elh` headers alongside it are separate, also-generated artifacts from other tooling; don't hand-edit those either.
- **Release:** git tag `neuron-vX.Y.Z` on this repo. No `releases/` folders.
- Org-wide code-vs-artifact policy: `docs/CODE-VS-ARTIFACT.md` (this repo's own `dist/soul.c` situation is a special case of that policy — see below, not a duplicate of it).
-
-## How to work here as Neuron (mandatory session protocol)
-
-You do not start fresh — you resume. The live MCP surface is a 9-op collapse
-(merged from the old ~90-tool surface in PR #153, `feat/mcp-wrapper-collapse-9ops`,
-already merged to `main`): **`read`, `write`, `relate`, `supersede`** (geometry, live)
-and **`think`, `attend`, `assert`, `ground`, `learn`** (agentic, pending Layer-2
-cognition-build promotion). There is no `getInstructions`/`beginSession`/
-`inspectGraph`/`searchKnowledge`/`compileCtx`/etc — those tool names no longer exist.
-
-At the start of every session:
-
-1. `mcp__neuron__read(vantage="self", k=12, depth=1)` — the canonical self node
-   (`kn-efeb4a5b-5aff-4759-8a97-7233099be6ee`). Widen `k`/`depth` deliberately if you
-   need the connected identity neighborhood (intellectual-dna, memory-philosophy,
-   values, voice, runtime-environment, writing-imprint) — the aperture caps output
-   by `k` first, so this is bounded by design, not a flattened dump.
-   Then `mcp__neuron__read(vantage="values", k=13)` for the 13 grounded value nodes.
-   - Best-effort: on a 502/520, log the id and proceed — the compiled `fixedSelf` in
-     `daemon/internal/substrate/substrate.go` is always complete.
-2. `mcp__neuron__read(vantage="<task domain>")` before implementing anything.
-3. `mcp__neuron__read(vantage="<project>", k=20)` for a bounded context snapshot when
-   resuming known work.
-
-## The Five Primitives (every significant task)
-
-**Orchestrate → Execute → Learn → Build → Refine**, all routed through the 9-op surface:
- Orchestrate: `read(vantage=...)` for backlog/roadmap/process discovery, `attend()` for
-  what's currently live/salient.
- Execute: `write(type="state", ...)` to open/advance work, `relate()` to link it to
-  what it touches.
- Learn: `write(type="memory", ...)` **as you go, not batched**; `importance="critical"`
-  for architecture decisions.
- Build: `write(type="artifact"|"backlog", ...)`.
- Refine: `supersede(id=..., action="evolve"|"tombstone"|"promote", ...)` for
-  completions and lessons-learned; `learn(seeds=..., faculty="induce")` to recalibrate
-  the steering-prior, not as a session-notes dump.
-
-## Architecture style — VBD, no exceptions
-
-Volatility-Based Decomposition is THE style. Encapsulate volatility, not function. Full docs:
-**`docs/architecture/`** — `00-overview`, `02-components`, `03-data-and-memory`,
-`04-runtime-and-deployment`, `06-cognitive-architecture`, `07-storage-coherence-and-distribution`.
-Verified component map: `routes.el` = HTTP dispatcher (`handle_request`), `soul.el` = boot +
-layered cycle, `awareness.el` = awareness daemon, `sessions.el`/`memory.el`/`safety.el`/
-`stewardship.el` = managers; `engram` (separate repo) = the persistence/graph engine.
-
-## Hard operational rules
-
- **Never touch the live soul (`:7770`) or engram (`:8742`), `~/.neuron`, or live binaries.**
-  Experiment on **throwaway ports** with a **scratch `HOME`**. The soul binary defaults to
-  `HOME=~` (your real `~/.neuron`) and `NEURON_PORT=7770` (live) if invoked bare — **never**
-  invoke it without an override `HOME` and `NEURON_PORT` set. Leaving `ENGRAM_URL` unset is
-  verified safe (see `soul.el:590`, `using_http_engram` gates the only HTTP call to any
-  engram endpoint — confirmed by source trace during the 2026-08-15 audit, not just
-  observed behavior) — it does not fall back to any live/network default.
- **Immutability:** memory/knowledge is append-only — **supersede/tombstone, never hard-delete or
-  edit in place.** The engram is immutable by design.
- **gcloud** via the `terraform@` SA token; **never switch the active gcloud account**.
- **`tea` for Gitea**, never raw `curl` (Cloudflare Access blocks it).
- **No AI-attribution footers** in commits/PRs. Commit/push only when asked; branch off `main` first.
- **Multi-step work → sub-agent** to protect the context window.
-
-## Build / regenerate `dist/soul.c` (audit-verified 2026-08-15, macOS arm64)
-
-There is no committed regeneration script upstream of this audit. The recipe below is
-verified: it reproduces the committed `dist/soul.c`'s exact symbol set byte-for-byte in
-content (modulo genuinely new code), and the resulting binary boots and answers `/health`.
-
-**The compiler toolchain** lives in the sibling `foundation` repo, not this one:
-`foundation/el/lang/dist/platform/elc-darwin-arm64` (put it on `$PATH` as `elc`; `elb`
-also exists there but is NOT the right tool for this repo — see gotcha below).
-
-**⚠ elc gotcha #1 — stale `.elh` header caches silently truncate the build.** This repo
-(and the `dist/` dir) ships committed `.elh` header files. `elc`/`elb` prefer an existing
-`.elh` over recompiling its source when present, with NO warning or error when the cached
-header is stale/truncated — the build "succeeds" with silently missing code (observed:
-251-645 of 2541 real functions, depending on which `.elh` files were present, including
-losing the entire 31-language NLG/morphology stack with exit code 0). **Delete every
-`*.elh` in the repo root and `dist/` before regenerating**, every time.
-
-**⚠ elc gotcha #2 — `elb` cannot produce this repo's single-TU `dist/soul.c`.** `elb`
-does per-module separate compilation (`--out=DIR` writes one `.c`/`.elh` pair per
-module; the default `--out` is also a directory, `dist/` itself). This codebase's
-`.el` modules call each other's functions without forward declarations (relying on
-`elc`'s own single-pass, whole-file forward-declaration emission), so per-module
-compilation always fails with `implicit-function-declaration` errors across module
-boundaries. **Use plain `elc` on one manually-flattened file, not `elb`.**
-
-**⚠ elc gotcha #3 — the manual-concatenation path silently drops functions.** When
-`elc` compiles a flat, hand-concatenated `.el` file, it silently drops (no error, no
-declaration, no definition) the 1-2 top-level function definitions immediately
-following any multi-line leading `//` comment block or file-boundary transition —
-reproduced deterministically. **Insert two trivial buffer functions
-(`fn __amalgam_buf_N__() -> Int { return 0 }`) after every concatenated file's
-content**, then strip them back out of the generated `.c` before committing.
-
-**The actual steps:**
-1. Delete all `*.elh` in repo root and `dist/`.
-2. Concatenate, with `import` lines stripped, in this order: `elp.el`'s own 34-file
-   NLG/morphology chain (`foundation/el/elp/src/` — the order is documented in
-   `elp.el`'s own header comment: language-profile, vocabulary, morphology, the 30
-   `morphology-XX.el` engines, grammar, realizer, semantics, then `elp.el` itself),
-   then this repo's 13 soul modules in `elb`'s own reported dependency order:
-   `persist, memory, safety, stewardship, imprint, awareness, chat, studio,
-   elp-input, neuron-api, sessions, routes, soul`. Insert the 2-function buffer
-   after every file (works around gotcha #3).
-3. `elc <flat-file> > dist/soul.c` against the **pinned** vendor runtime headers
-   (`vendor/el-runtime/v1.0.0-20260501/` — see "why pinned" below), not
-   `foundation/el/lang/el-compiler/runtime/` (that's the bleeding-edge runtime;
-   using it drops symbols like `engram_prune_telemetry` that this soul still calls).
-4. Strip the buffer functions back out of `dist/soul.c` (a small regex: drop every
-   `el_val_t __amalgam_buf_\d+__(void);` decl line and every matching 4-line
-   definition block).
-5. `tools/soulc-stamp.sh --write` to record the new fingerprint.
-6. `bash tools/build-soul-from-dist.sh dist/neuron` to compile+link with CI's exact
-   flags (this script now auto-detects Homebrew's `openssl@3` lib path on macOS —
-   see gotcha #4).
-
-**⚠ gotcha #4 — macOS needs an explicit OpenSSL library path.** `cc ... -lssl -lcrypto
-lcurl ...` fails with `ld: library 'ssl' not found` on macOS because Homebrew's
-`openssl@3` is keg-only. `tools/build-soul-from-dist.sh` now adds
-`-L$(brew --prefix openssl@3)/lib` automatically on Darwin; CI's Ubuntu runner needs
-no such flag (`apt-get install libcurl4-openssl-dev` puts it on the default path).
-
-**⚠ Build-integrity (unchanged from before this audit):** `dist/soul.c` is committed
-and generated. CI compiles it **directly and never regenerates it** (`elb`/`elc` on
-Linux OOM the runner). So **any `.el` change to the soul MUST be followed by
-regenerating `dist/soul.c` (steps above) and committing it** — otherwise CI ships
-stale behavior, exactly as happened between commit `72e0b82` (Aug 9) and `main` HEAD
-before this audit (`dist/soul.c` was missing PR #122's 459-line chat.el change, incl.
-a "silently break chat" fix, until this pass regenerated and re-stamped it).
-`tools/soulc-stamp.sh --check` is the gate that catches this — **note it is currently
-`continue-on-error: true` in CI** ("relaxed... during active cultivation", 2026-08-15),
-so it reports but does not block; re-harden before it needs to actually stop a bad ship.
-
- **Tests:** El contract suite in `tests/*.el` (e.g. `test_layer_contract.el`, `test_safety.el`,
-  `test_sessions.el`, `test_soul_guard.el`). Run against a throwaway soul, never the live one.
- **Port topology (confirmed live, 2026-08-15):** soul `:7770`, engram `:8742`,
-  mcp-wrapper `:17779` (`MCP_PORT` env override in its LaunchAgent; source default is
-  `7779`), mcp-proxy `:7779` (the stable front door Claude Code actually connects to).
-  **`:7771` is a live three-way collision, not a single well-defined port** — `axon`
-  (soul.el's Rust backlog/memory/knowledge proxy, unbuilt), `neuron-connectd` (the MCP
-  connector sidecar `routes.el`/`chat.el` call — unbuilt; a local-dev stub now exists at
-  `connectd/`), and `council` (`council/`, an anti-confabulation LLM-voting service —
-  the one actually bound to `:7771` in Will's live environment) are all hardcoded to it.
-  See `connectd/README.md` for the full trace and the open question this leaves for Will.
- **Deploy:** merge to `main` → `.gitea/workflows/ci.yaml` builds + publishes `neuron-soul@<sha8>`
-  and blue/green-deploys to GKE `neuron-prod` via `scripts/blue-green-deploy.sh`. Self-improvement
-  experiments go to **stage** first (snapshot prod DB → deploy stage → verify → blue/green promote).
-
-## Git / CI / deploy workflow
-
-See **`../GITOPS.md`** (repo-family GitOps README): branch model, required checks, blue/green,
-Cloud Run, Terraform/ESO/Vault, and the pack-objects/crawler incident runbook.
@@ -1,28 +0,0 @@
-# neuron
-
-The canonical CGI substrate: the **soul** (the running agent), the **engram** (its memory
-graph), and the MCP proxy/wrapper that expose it. See `AGENTS.md` for detail, including
-the audit-verified local build/regenerate recipe and known local-build gotchas.
-
-## Quick local build
-
-```bash
-# 1. dist/soul.c must match current .el sources — this refuses otherwise:
-bash tools/build-soul-from-dist.sh dist/neuron
-
-# 2. If it refuses (stale amalgam), regenerate first — see AGENTS.md's
-#    "Build / regenerate dist/soul.c" section for the full, gotcha-laden recipe.
-```
-
-For a full local dev stack (soul + engram + mcp-wrapper + mcp-proxy, wired into Claude
-Code) see `neuron-dev-setup/README.md` instead — this repo alone only builds the soul.
-
-## Code vs. Artifact
- **Authored source:** `*.el` + `*.elh` at the repo root plus `cli/`, `council/`,
-  `connectd/`, `mcp-proxy/`, `mcp-wrapper/` — edit here.
- **Artifacts (do not hand-edit):** `dist/soul.c` (generated single-TU amalgam —
-  regenerate via the recipe in `AGENTS.md`, then `tools/soulc-stamp.sh --write`) and
-  the `dist/neuron` binary it compiles to.
- **Release:** git tag `neuron-vX.Y.Z` on this repo. No `releases/` folders.
-
-See org policy: `docs/CODE-VS-ARTIFACT.md`.
@@ -0,0 +1,26 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn idle_count() -> Int
+extern fn idle_inc() -> Int
+extern fn idle_reset() -> Void
+extern fn ise_post(content: String) -> Void
+extern fn elapsed_ms() -> Int
+extern fn elapsed_human() -> String
+extern fn embed_ok() -> Int
+extern fn emit_heartbeat() -> Void
+extern fn auto_term_try_slot(slot_type: String, slot_lbl: String) -> Void
+extern fn proactive_curiosity() -> Bool
+extern fn pulse_count() -> Int
+extern fn pulse_inc() -> Int
+extern fn make_action(kind: String, payload: String) -> String
+extern fn perceive() -> String
+extern fn attend(node_json: String) -> String
+extern fn respond(action_json: String) -> String
+extern fn record(outcome_json: String) -> Void
+extern fn one_cycle() -> Bool
+extern fn awareness_run() -> Void
+extern fn security_research_authorized() -> Bool
+extern fn threat_score_command(cmd: String) -> Int
+extern fn threat_score_path(path: String) -> Int
+extern fn threat_score_history(history: String) -> Int
+extern fn threat_trajectory_check(tool_name: String, tool_input: String) -> Int
+extern fn threat_history_append(text: String) -> Void
@@ -0,0 +1,93 @@
+// auto-generated by elc --emit-header - do not edit
+extern fn chat_default_model() -> String
+extern fn engram_numeric_valid(s: String) -> Bool
+extern fn parse_float_x100(s: String) -> Int
+extern fn engram_score_node(node_json: String) -> Int
+extern fn engram_render_node(node_json: String) -> String
+extern fn engram_render_nodes(nodes_json: String) -> String
+extern fn engram_dedup_nodes(nodes_json: String) -> String
+extern fn engram_compile_ranked(nodes_json: String, max_nodes: Int) -> String
+extern fn engram_split_topics(message: String) -> String
+extern fn engram_extract_entities(message: String) -> String
+extern fn engram_detect_recall_intent(message: String) -> Bool
+extern fn engram_is_continuation(message: String, hist_len: Int) -> Bool
+extern fn engram_compile_multi(topic: String) -> String
+extern fn engram_nodes_merge(a: String, b: String) -> String
+extern fn id_in_seen(node_id: String, seen: String) -> Bool
+extern fn add_to_seen(seen: String, node_id: String) -> String
+extern fn engram_extract_ids(nodes_json: String) -> String
+extern fn affective_node_ts(node_json: String) -> Int
+extern fn engram_compile(intent: String) -> String
+extern fn distill_transcript(transcript: String) -> String
+extern fn json_safe(s: String) -> String
+extern fn current_engine_note(model: String) -> String
+extern fn bounded_persona_floor() -> String
+extern fn operator_identity_block() -> String
+extern fn build_system_prompt(ctx: String, chat_mode: Bool) -> String
+extern fn hist_append(hist: String, role: String, content: String) -> String
+extern fn conv_hist_key(session_id: String) -> String
+extern fn conv_hist_label(session_id: String) -> String
+extern fn is_utility_request(body: String, session_id: String) -> Bool
+extern fn provenance_scan_urls(arr: String, acc: String) -> String
+extern fn provenance_add_sources(block: String, btype: String, has_cit: Bool, cit_raw: String, acc: String) -> String
+extern fn provenance_names(tools_used: String) -> String
+extern fn text_join_sep(accumulated: String, incoming: String, after_interruption: Bool) -> String
+extern fn receipt_rule() -> String
+extern fn receipt_strip(s: String) -> String
+extern fn tool_receipt(tools_used: String, sources: String) -> String
+extern fn hist_trim(hist: String) -> String
+extern fn hist_trim_with_bell_guard(hist: String) -> String
+extern fn clean_llm_response(s: String) -> String
+extern fn conv_history_persist(session_id: String, hist: String) -> Void
+extern fn conv_history_load(session_id: String) -> String
+extern fn conv_history_record(session_id: String, user_msg: String, assistant_msg: String, receipt: String) -> Void
+extern fn conv_history_block(session_id: String) -> String
+extern fn layered_generate(prompt: String, imprint_id: String, session_id: String) -> String
+extern fn session_preload_bullets(nodes: String, max_bullets: Int, snip_len: Int) -> String
+extern fn affective_context_prefix() -> String
+extern fn handle_chat(body: String) -> String
+extern fn handle_see(body: String) -> String
+extern fn studio_tools_json() -> String
+extern fn agentic_api_key() -> String
+extern fn llm_base_url() -> String
+extern fn llm_wire_format() -> String
+extern fn json_escape(s: String) -> String
+extern fn openai_chat_complete(model: String, base_url: String, api_key: String, safe_sys: String, messages_json: String) -> String
+extern fn openai_tools_json(tools_anthropic: String) -> String
+extern fn utf8_safe_slice(s: String, n: Int) -> String
+extern fn json_trim_dangling_escape(s: String) -> String
+extern fn agentic_tools_no_web() -> String
+extern fn openai_agentic_loop(session_id: String, model: String, safe_sys: String, tools_json: String, messages_in: String, tools_log_in: String) -> String
+extern fn agentic_tools_literal() -> String
+extern fn web_search_tool_json() -> String
+extern fn strip_client_web_search(tools_inner: String) -> String
+extern fn agentic_tools_with_web() -> String
+extern fn connector_tools_json() -> String
+extern fn agentic_tools_all() -> String
+extern fn call_mcp_bridge(tool_name: String, tool_input: String) -> String
+extern fn tool_auto_approved(tool_name: String) -> Bool
+extern fn call_neuron_mcp(tool_name: String, args: String) -> String
+extern fn agent_workspace_root() -> String
+extern fn path_within_root(path: String, root: String) -> Bool
+extern fn resolve_in_root(path: String, root: String) -> String
+extern fn run_command_is_readonly(cmd: String) -> Bool
+extern fn cmd_abs_escape_at(cmd: String, root: String, needle: String) -> Bool
+extern fn run_command_guard(cmd: String, root: String) -> String
+extern fn classify_tool_risk(tool_name: String, tool_input: String) -> String
+extern fn dispatch_tool(tool_name: String, tool_input: String) -> String
+extern fn is_builtin_tool(tool_name: String) -> Bool
+extern fn next_bridge_id() -> String
+extern fn handle_chat_plan(body: String) -> String
+extern fn handle_chat_agentic(body: String) -> String
+extern fn agentic_loop(session_id: String, model: String, safe_sys: String, tools_json: String, messages_in: String, h: Map, tools_log_in: String) -> String
+extern fn bridge_save(session_id: String, model: String, safe_sys: String, tools_json: String, messages: String, tools_log: String, tool_use_id: String, wire: String) -> Bool
+extern fn agentic_resume(session_id: String, tool_use_id: String, content: String) -> String
+extern fn handle_tool_result(session_id: String, body: String) -> String
+extern fn handle_chat_as_soul(body: String) -> String
+extern fn handle_dharma_room_turn(body: String) -> String
+extern fn handle_dharma_room_turn_agentic(body: String) -> String
+extern fn session_summary_write(summary_text: String) -> String
+extern fn session_summary_write_dated(summary_text: String, label: String) -> String
+extern fn session_summary_autogenerate(hist: String) -> String
+extern fn auto_persist(req: String, resp: String) -> Void
+extern fn strengthen_chat_nodes(activation_nodes: String) -> Void
@@ -1,77 +0,0 @@
-# neuron-connectd — local-dev stub
-
-`connectd_service.py` is a **minimal local-dev stub**, not the real sidecar.
-It exists to close a real local-build/local-run correctness gap found during
-the 2026-08-15 build audit, without taking on the much larger product task of
-actually building the full MCP-connector sidecar.
-
-## The gap this closes
-
-`routes.el` (`handle_connectors`, `connectd_get`/`connectd_post`) and `chat.el`
-(`connector_tools_json`, the `mcp__*` branch in `dispatch_tool`,
-`tool_auto_approved`) are live, current code that calls `127.0.0.1:7771` on
-every soul boot and every agentic turn, per the design in
-`neuron-technologies/docs/research/mcp-connectors-adoption-spec.md`
-(2026-06-13, "Status: Draft for build"). That spec's sidecar — `neuron-connectd`,
-a TypeScript/Python process using the official MCP SDK — was never built.
-Nothing on disk implements it (verified: no `neuron-connectd` source anywhere
-under `~/Development` before this directory).
-
-Meanwhile port `:7771` is *also* claimed by two other, unrelated things:
-
- `soul.el`'s `axon_base` default (`http://localhost:7771`) — a **different**,
-  independently-known, already-documented gap (`platform/protocols/axon` is
-  an unbuilt Rust crate; see `cli/HANDOFF.md` and `HANDOFF-engram-write-corruption.md`).
-  Out of scope here — no source to build against.
- `council/council_service.py --port 7771` (`ai.neuron.council` LaunchAgent) —
-  a real, running, **unrelated** anti-confabulation service that happens to
-  bind the same port. In Will's live environment this is what's actually
-  listening on `:7771` today, and it answers the connector/axon requests
-  above with its own unrelated 404 JSON body — worse than a clean
-  connection-refused, because `chat.el`'s "bridge down" fallback expects
-  either a real reply or nothing, not a wrong-shaped reply from an unrelated
-  service.
-
-## What this stub does and does not do
-
-Implements exactly the spec's documented HTTP contract (`GET /mcp/tools`,
-`POST /mcp/call`, `GET /mcp/servers`, `POST /mcp/servers/{add,toggle,
-auto-approve,remove,secret}`, `POST /mcp/oauth/start`, `GET /healthz`), always
-answering as if **zero connectors are configured** — empty tool list, empty
-server list, a clear `"not configured"` error on any call that would need a
-real connector. This is the *correct* steady state for a fresh local dev box
-that hasn't set up any MCP connectors, and it's what `chat.el`'s
-`connector_tools_json()` / `tool_auto_approved()` already gracefully degrade
-to when the bridge replies emptily.
-
-It does **not**: spawn any real MCP server, do OAuth, read or write
-`~/.neuron/connectors.json`, or namespace/proxy real `tools/call` traffic to
-Google Drive/GitHub/Slack/etc. Building that is the real product task the
-spec describes — a genuine, sizeable engineering lift (MCP SDK client, OAuth
-+ Keychain token storage, per-server process lifecycle), not something to
-improvise inside a build/run audit. **That decision is Will's to make**, not
-this audit's to guess at.
-
-## Running it
-
-```bash
-# Foreground, on a throwaway port (never :7771 while council owns it live):
-python3 connectd_service.py --port 17771
-
-# Verify the contract:
-curl -s http://127.0.0.1:17771/healthz
-curl -s http://127.0.0.1:17771/mcp/tools
-curl -s http://127.0.0.1:17771/mcp/servers
-```
-
-## Open question for Will — the :7771 collision
-
-Three independent things are hardcoded to `:7771`: axon (unbuilt), connectd
-(this stub), and council (the one actually running). Wiring this stub into
-the real LaunchAgent stack on `:7771` requires either moving council off that
-port or deciding connectd should live elsewhere and repointing `routes.el`/
-`chat.el`'s hardcoded `127.0.0.1:7771` calls. Neither change was made here —
-it touches a live, running production service (`ai.neuron.council`) and a
-port number baked into shipped `.el` source, both bigger than this audit's
-"make local build/run work" mandate. Flagging for a decision rather than
-guessing.
@@ -1,115 +0,0 @@
-#!/usr/bin/env python3
-"""
-neuron-connectd — MCP connector bridge (LOCAL-DEV STUB).
-
-THIS IS NOT THE FULL SIDECAR. The full design lives in
-neuron-technologies/docs/research/mcp-connectors-adoption-spec.md (2026-06-13,
-"Status: Draft for build"): a TypeScript/Python sidecar using the official MCP
-SDK that spawns real MCP servers (stdio or streamable-HTTP/SSE), does OAuth,
-and namespaces their tools as mcp__<serverId>__<toolName>. That sidecar was
-never built (build-audit, 2026-08-15: no neuron-connectd source existed
-anywhere on disk before this file).
-
-WHY THIS STUB EXISTS: routes.el (handle_connectors, connectd_get/connectd_post)
-and chat.el (connector_tools_json, dispatch_tool's mcp__* routing,
-tool_auto_approved) were built to the spec and hardcoded to 127.0.0.1:7771 —
-they are LIVE and calling that port right now on every soul boot and every
-agentic turn. With nothing real listening there, three unrelated services
-collide on :7771 (see connectd/README.md): council (which IS what's bound
-there in Will's live environment today) silently answers with unrelated
-404 JSON, which is worse than a clean "connection refused" bridge-down
-response, because it can be misparsed as a real (if empty) reply instead of
-the "bridge unreachable" path the soul code already handles gracefully.
-
-This stub implements ONLY the documented HTTP contract, with zero connectors
-ever configured: empty tool list, empty server list, "not configured" on any
-mutating call. It gives a fresh local soul the CORRECT graceful-degradation
-behavior the soul code already expects for "no connectors set up yet" — not
-the wrong-shaped 404 noise a port collision produces. It does not spawn any
-MCP server, does no OAuth, and reads no ~/.neuron/connectors.json (there is
-nothing to read yet). Building the real sidecar is a separate, larger,
-Will-decision-needed product task — see README.md.
-
-Usage:
-    python3 connectd_service.py [--port 7771]
-"""
-
-import argparse
-
-import uvicorn
-from fastapi import FastAPI
-from fastapi.middleware.cors import CORSMiddleware
-from pydantic import BaseModel
-
-app = FastAPI(title="neuron-connectd (local-dev stub)")
-app.add_middleware(
-    CORSMiddleware,
-    allow_origins=["*"],
-    allow_methods=["*"],
-    allow_headers=["*"],
-)
-
-
-class ToolCall(BaseModel):
-    name: str
-    input: dict = {}
-
-
-@app.get("/healthz")
-def healthz():
-    return {"status": "ok", "stub": True}
-
-
-@app.get("/mcp/tools")
-def mcp_tools():
-    # Matches the spec's contract shape exactly (section 4, "HTTP contract").
-    # Empty because zero connectors are configured — this is the correct,
-    # intended-by-design empty state, not a failure.
-    return {"tools": []}
-
-
-@app.post("/mcp/call")
-def mcp_call(body: ToolCall):
-    return {"ok": False, "error": "no connectors configured (neuron-connectd stub)"}
-
-
-@app.get("/mcp/servers")
-def mcp_servers():
-    return {"servers": []}
-
-
-@app.post("/mcp/servers/add")
-def mcp_servers_add():
-    return {"ok": False, "error": "neuron-connectd stub does not implement connector management yet"}
-
-
-@app.post("/mcp/servers/toggle")
-def mcp_servers_toggle():
-    return {"ok": False, "error": "neuron-connectd stub does not implement connector management yet"}
-
-
-@app.post("/mcp/servers/auto-approve")
-def mcp_servers_auto_approve():
-    return {"ok": False, "error": "neuron-connectd stub does not implement connector management yet"}
-
-
-@app.post("/mcp/servers/remove")
-def mcp_servers_remove():
-    return {"ok": False, "error": "neuron-connectd stub does not implement connector management yet"}
-
-
-@app.post("/mcp/servers/secret")
-def mcp_servers_secret():
-    return {"ok": False, "error": "neuron-connectd stub does not implement connector management yet"}
-
-
-@app.post("/mcp/oauth/start")
-def mcp_oauth_start():
-    return {"ok": False, "error": "oauth not implemented in the neuron-connectd stub"}
-
-
-if __name__ == "__main__":
-    parser = argparse.ArgumentParser()
-    parser.add_argument("--port", type=int, default=7771)
-    args = parser.parse_args()
-    uvicorn.run(app, host="127.0.0.1", port=args.port, log_level="info")
@@ -0,0 +1,26 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn idle_count() -> Int
+extern fn idle_inc() -> Int
+extern fn idle_reset() -> Void
+extern fn ise_post(content: String) -> Void
+extern fn elapsed_ms() -> Int
+extern fn elapsed_human() -> String
+extern fn embed_ok() -> Int
+extern fn emit_heartbeat() -> Void
+extern fn auto_term_try_slot(slot_type: String, slot_lbl: String) -> Void
+extern fn proactive_curiosity() -> Bool
+extern fn pulse_count() -> Int
+extern fn pulse_inc() -> Int
+extern fn make_action(kind: String, payload: String) -> String
+extern fn perceive() -> String
+extern fn attend(node_json: String) -> String
+extern fn respond(action_json: String) -> String
+extern fn record(outcome_json: String) -> Void
+extern fn one_cycle() -> Bool
+extern fn awareness_run() -> Void
+extern fn security_research_authorized() -> Bool
+extern fn threat_score_command(cmd: String) -> Int
+extern fn threat_score_path(path: String) -> Int
+extern fn threat_score_history(history: String) -> Int
+extern fn threat_trajectory_check(tool_name: String, tool_input: String) -> Int
+extern fn threat_history_append(text: String) -> Void
@@ -0,0 +1,70 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn chat_default_model() -> String
+extern fn engram_numeric_valid(s: String) -> Bool
+extern fn parse_float_x100(s: String) -> Int
+extern fn engram_score_node(node_json: String) -> Int
+extern fn engram_render_node(node_json: String) -> String
+extern fn engram_render_nodes(nodes_json: String) -> String
+extern fn engram_dedup_nodes(nodes_json: String) -> String
+extern fn engram_compile_ranked(nodes_json: String, max_nodes: Int) -> String
+extern fn engram_split_topics(message: String) -> String
+extern fn engram_extract_entities(message: String) -> String
+extern fn engram_detect_recall_intent(message: String) -> Bool
+extern fn engram_is_continuation(message: String, hist_len: Int) -> Bool
+extern fn engram_compile_multi(topic: String) -> String
+extern fn engram_nodes_merge(a: String, b: String) -> String
+extern fn id_in_seen(node_id: String, seen: String) -> Bool
+extern fn add_to_seen(seen: String, node_id: String) -> String
+extern fn engram_extract_ids(nodes_json: String) -> String
+extern fn engram_compile(intent: String) -> String
+extern fn distill_transcript(transcript: String) -> String
+extern fn json_safe(s: String) -> String
+extern fn current_engine_note(model: String) -> String
+extern fn build_system_prompt(ctx: String, chat_mode: Bool) -> String
+extern fn hist_append(hist: String, role: String, content: String) -> String
+extern fn hist_trim(hist: String) -> String
+extern fn hist_trim_with_bell_guard(hist: String) -> String
+extern fn clean_llm_response(s: String) -> String
+extern fn conv_history_persist(hist: String) -> Void
+extern fn conv_history_load() -> String
+extern fn session_preload_bullets(nodes: String, max_bullets: Int, snip_len: Int) -> String
+extern fn affective_context_prefix() -> String
+extern fn handle_chat(body: String) -> String
+extern fn handle_see(body: String) -> String
+extern fn studio_tools_json() -> String
+extern fn agentic_api_key() -> String
+extern fn llm_base_url() -> String
+extern fn llm_wire_format() -> String
+extern fn json_escape(s: String) -> String
+extern fn openai_chat_complete(model: String, base_url: String, api_key: String, safe_sys: String, messages_json: String) -> String
+extern fn agentic_tools_literal() -> String
+extern fn agentic_tools_with_web() -> String
+extern fn connector_tools_json() -> String
+extern fn agentic_tools_all() -> String
+extern fn call_mcp_bridge(tool_name: String, tool_input: String) -> String
+extern fn tool_auto_approved(tool_name: String) -> Bool
+extern fn call_neuron_mcp(tool_name: String, args: String) -> String
+extern fn agent_workspace_root() -> String
+extern fn path_within_root(path: String, root: String) -> Bool
+extern fn resolve_in_root(path: String, root: String) -> String
+extern fn run_command_is_readonly(cmd: String) -> Bool
+extern fn cmd_abs_escape_at(cmd: String, root: String, needle: String) -> Bool
+extern fn run_command_guard(cmd: String, root: String) -> String
+extern fn classify_tool_risk(tool_name: String, tool_input: String) -> String
+extern fn dispatch_tool(tool_name: String, tool_input: String) -> String
+extern fn is_builtin_tool(tool_name: String) -> Bool
+extern fn next_bridge_id() -> String
+extern fn handle_chat_plan(body: String) -> String
+extern fn handle_chat_agentic(body: String) -> String
+extern fn agentic_loop(session_id: String, model: String, safe_sys: String, tools_json: String, messages_in: String, h: Map, tools_log_in: String) -> String
+extern fn bridge_save(session_id: String, model: String, safe_sys: String, tools_json: String, messages: String, tools_log: String, tool_use_id: String) -> Bool
+extern fn agentic_resume(session_id: String, tool_use_id: String, content: String) -> String
+extern fn handle_tool_result(session_id: String, body: String) -> String
+extern fn handle_chat_as_soul(body: String) -> String
+extern fn handle_dharma_room_turn(body: String) -> String
+extern fn handle_dharma_room_turn_agentic(body: String) -> String
+extern fn session_summary_write(summary_text: String) -> String
+extern fn session_summary_write_dated(summary_text: String, label: String) -> String
+extern fn session_summary_autogenerate(hist: String) -> String
+extern fn auto_persist(req: String, resp: String) -> Void
+extern fn strengthen_chat_nodes(activation_nodes: String) -> Void
@@ -0,0 +1,5 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn elp_extract_topic(msg: String) -> String
+extern fn elp_detect_predicate(msg: String) -> String
+extern fn elp_parse(msg: String) -> String
+extern fn handle_elp_chat(body: String) -> String
@@ -0,0 +1,7 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn sem_get(json: String, key: String) -> String
+extern fn generate_frame(frame: [String]) -> String
+extern fn generate_frame_lang(frame: [String], lang_code: String) -> String
+extern fn build_form_from_json(semantic_form_json: String, lang_code: String) -> [String]
+extern fn generate(semantic_form_json: String) -> String
+extern fn generate_lang(semantic_form_json: String, lang_code: String) -> String
@@ -0,0 +1,38 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn slots_get(slots: [String], key: String) -> String
+extern fn slots_set(slots: [String], key: String, val: String) -> [String]
+extern fn make_slots(k0: String, v0: String) -> [String]
+extern fn make_slots2(k0: String, v0: String, k1: String, v1: String) -> [String]
+extern fn make_slots3(k0: String, v0: String, k1: String, v1: String, k2: String, v2: String) -> [String]
+extern fn make_slots4(k0: String, v0: String, k1: String, v1: String, k2: String, v2: String, k3: String, v3: String) -> [String]
+extern fn make_slots5(k0: String, v0: String, k1: String, v1: String, k2: String, v2: String, k3: String, v3: String, k4: String, v4: String) -> [String]
+extern fn rule_id(rule: [String]) -> String
+extern fn rule_lhs(rule: [String]) -> String
+extern fn rule_rhs_len(rule: [String]) -> Int
+extern fn rule_rhs(rule: [String], idx: Int) -> String
+extern fn make_rule(id: String, lhs: String, r0: String) -> [String]
+extern fn make_rule2(id: String, lhs: String, r0: String, r1: String) -> [String]
+extern fn make_rule3(id: String, lhs: String, r0: String, r1: String, r2: String) -> [String]
+extern fn make_rule4(id: String, lhs: String, r0: String, r1: String, r2: String, r3: String) -> [String]
+extern fn build_rules() -> [[String]]
+extern fn get_rules() -> [[String]]
+extern fn find_rule(rule_id_str: String) -> [String]
+extern fn make_leaf(label: String, word: String) -> String
+extern fn make_node1(label: String, child0: String) -> String
+extern fn make_node2(label: String, child0: String, child1: String) -> String
+extern fn make_node3(label: String, child0: String, child1: String, child2: String) -> String
+extern fn make_node4(label: String, child0: String, child1: String, child2: String, child3: String) -> String
+extern fn nlg_is_ws(c: String) -> Bool
+extern fn skip_ws(s: String, pos: Int) -> Int
+extern fn scan_token(s: String, start: Int) -> [String]
+extern fn render_tree(tree: String) -> String
+extern fn gram_word_order(profile: [String]) -> String
+extern fn gram_order_constituents(subj: String, verb: String, obj: String, profile: [String]) -> String
+extern fn gram_build_vp(verb: String, aux: String, profile: [String]) -> String
+extern fn gram_question_strategy(profile: [String]) -> String
+extern fn is_pronoun(word: String) -> Bool
+extern fn build_np(referent: String, slots: [String]) -> String
+extern fn build_pp(loc: String) -> String
+extern fn build_vp_body(slots: [String]) -> String
+extern fn build_vp_from_slots(slots: [String]) -> String
+extern fn generate_tree(rule_id_str: String, slots: [String]) -> String
@@ -0,0 +1,7 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn imprint_current() -> String
+extern fn imprint_load(imprint_id: String) -> String
+extern fn imprint_respond(input: String, imprint_id: String) -> String
+extern fn imprint_surface_knowledge(query: String, imprint_id: String) -> String
+extern fn imprint_surface_memory_read(query: String) -> String
+extern fn imprint_unload() -> Void
@@ -0,0 +1,46 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn lang_profile(code: String, word_order: String, morph_type: String, has_case: String, has_gender: String, script_dir: String, agreement: String, null_subject: String) -> [String]
+extern fn lang_get(profile: [String], key: String) -> String
+extern fn lang_profile_en() -> [String]
+extern fn lang_profile_ja() -> [String]
+extern fn lang_profile_ar() -> [String]
+extern fn lang_profile_zh() -> [String]
+extern fn lang_profile_de() -> [String]
+extern fn lang_profile_es() -> [String]
+extern fn lang_profile_fi() -> [String]
+extern fn lang_profile_sw() -> [String]
+extern fn lang_profile_hi() -> [String]
+extern fn lang_profile_ru() -> [String]
+extern fn lang_profile_fr() -> [String]
+extern fn lang_profile_la() -> [String]
+extern fn lang_profile_he() -> [String]
+extern fn lang_profile_sa() -> [String]
+extern fn lang_profile_got() -> [String]
+extern fn lang_profile_non() -> [String]
+extern fn lang_profile_enm() -> [String]
+extern fn lang_profile_pi() -> [String]
+extern fn lang_profile_grc() -> [String]
+extern fn lang_profile_ang() -> [String]
+extern fn lang_profile_fro() -> [String]
+extern fn lang_profile_goh() -> [String]
+extern fn lang_profile_sga() -> [String]
+extern fn lang_profile_txb() -> [String]
+extern fn lang_profile_peo() -> [String]
+extern fn lang_profile_akk() -> [String]
+extern fn lang_profile_uga() -> [String]
+extern fn lang_profile_egy() -> [String]
+extern fn lang_profile_sux() -> [String]
+extern fn lang_profile_gez() -> [String]
+extern fn lang_profile_cop() -> [String]
+extern fn lang_from_code(code: String) -> [String]
+extern fn lang_default() -> [String]
+extern fn lang_is_isolating(profile: [String]) -> Bool
+extern fn lang_is_agglutinative(profile: [String]) -> Bool
+extern fn lang_is_fusional(profile: [String]) -> Bool
+extern fn lang_is_polysynthetic(profile: [String]) -> Bool
+extern fn lang_is_rtl(profile: [String]) -> Bool
+extern fn lang_has_null_subject(profile: [String]) -> Bool
+extern fn lang_has_case(profile: [String]) -> Bool
+extern fn lang_has_gender(profile: [String]) -> Bool
+extern fn lang_word_order(profile: [String]) -> String
+extern fn lang_code(profile: [String]) -> String
@@ -0,0 +1,16 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn tier_working() -> String
+extern fn tier_episodic() -> String
+extern fn tier_canonical() -> String
+extern fn mem_store(content: String, label: String, tags: String) -> String
+extern fn mem_remember(content: String, tags: String) -> String
+extern fn mem_recall(query: String, depth: Int) -> String
+extern fn mem_search(query: String, limit: Int) -> String
+extern fn mem_strengthen(node_id: String) -> Void
+extern fn mem_forget(node_id: String) -> Void
+extern fn mem_consolidate() -> String
+extern fn mem_save(path: String) -> Void
+extern fn mem_load(path: String) -> Void
+extern fn mem_boot_count_get() -> Int
+extern fn mem_boot_count_inc() -> Int
+extern fn mem_emit_state_event(trigger: String, kind: String, content: String) -> String
@@ -0,0 +1,31 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn akk_str_ends(s: String, suf: String) -> Bool
+extern fn akk_str_len(s: String) -> Int
+extern fn akk_str_drop_last(s: String, n: Int) -> String
+extern fn akk_slot(person: String, number: String) -> Int
+extern fn akk_slot_g(person: String, gender: String, number: String) -> Int
+extern fn akk_copula_present(slot: Int) -> String
+extern fn akk_copula_stative(slot: Int) -> String
+extern fn akk_is_copula(verb: String) -> Bool
+extern fn akk_conjugate_copula(tense: String, slot: Int) -> String
+extern fn akk_alaku_present(slot: Int) -> String
+extern fn akk_alaku_perfect(slot: Int) -> String
+extern fn akk_amaru_present(slot: Int) -> String
+extern fn akk_amaru_perfect(slot: Int) -> String
+extern fn akk_amaru_stative(slot: Int) -> String
+extern fn akk_qabu_present(slot: Int) -> String
+extern fn akk_qabu_perfect(slot: Int) -> String
+extern fn akk_qabu_stative(slot: Int) -> String
+extern fn akk_epesu_present(slot: Int) -> String
+extern fn akk_epesu_perfect(slot: Int) -> String
+extern fn akk_epesu_stative(slot: Int) -> String
+extern fn akk_regular_present(stem: String, slot: Int) -> String
+extern fn akk_regular_perfect(stem: String, slot: Int) -> String
+extern fn akk_regular_stative(stem: String, slot: Int) -> String
+extern fn akk_known_verb(verb: String, tense: String, slot: Int) -> String
+extern fn akk_conjugate(verb: String, tense: String, person: String, number: String) -> String
+extern fn akk_strip_nom(noun: String) -> String
+extern fn akk_is_fem(noun: String) -> Bool
+extern fn akk_decline(noun: String, gram_case: String, number: String) -> String
+extern fn akk_noun_phrase(noun: String, gram_case: String, number: String, definite: String) -> String
+extern fn akk_map_canonical(verb: String) -> String
@@ -0,0 +1,44 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn ang_str_ends(s: String, suf: String) -> Bool
+extern fn ang_str_drop_last(s: String, n: Int) -> String
+extern fn ang_str_last_char(s: String) -> String
+extern fn ang_str_last2(s: String) -> String
+extern fn ang_slot(person: String, number: String) -> Int
+extern fn ang_map_canonical(verb: String) -> String
+extern fn ang_wesan_past(slot: Int) -> String
+extern fn ang_beon_present(slot: Int) -> String
+extern fn ang_wesan_present(slot: Int) -> String
+extern fn ang_habban_present(slot: Int) -> String
+extern fn ang_habban_past(slot: Int) -> String
+extern fn ang_gan_present(slot: Int) -> String
+extern fn ang_gan_past(slot: Int) -> String
+extern fn ang_cuman_present(slot: Int) -> String
+extern fn ang_cuman_past(slot: Int) -> String
+extern fn ang_secgan_present(slot: Int) -> String
+extern fn ang_secgan_past(slot: Int) -> String
+extern fn ang_seon_present(slot: Int) -> String
+extern fn ang_seon_past(slot: Int) -> String
+extern fn ang_don_present(slot: Int) -> String
+extern fn ang_don_past(slot: Int) -> String
+extern fn ang_willan_present(slot: Int) -> String
+extern fn ang_willan_past(slot: Int) -> String
+extern fn ang_magan_present(slot: Int) -> String
+extern fn ang_magan_past(slot: Int) -> String
+extern fn ang_witan_present(slot: Int) -> String
+extern fn ang_witan_past(slot: Int) -> String
+extern fn ang_weak_present_ending(slot: Int) -> String
+extern fn ang_weak_past_stem(stem: String) -> String
+extern fn ang_weak_past(stem: String, slot: Int) -> String
+extern fn ang_weak_stem(verb: String) -> String
+extern fn ang_conjugate(verb: String, tense: String, person: String, number: String) -> String
+extern fn ang_declension(noun: String, gender: String) -> String
+extern fn ang_decline_strong_masc(noun: String, gram_case: String, number: String) -> String
+extern fn ang_decline_strong_neut(noun: String, gram_case: String, number: String) -> String
+extern fn ang_decline_weak(noun: String, gram_case: String, number: String) -> String
+extern fn ang_decline(noun: String, gram_case: String, number: String, gender: String) -> String
+extern fn ang_article_masculine(gram_case: String, number: String) -> String
+extern fn ang_article_feminine(gram_case: String, number: String) -> String
+extern fn ang_article_neuter(gram_case: String, number: String) -> String
+extern fn ang_article(gender: String, gram_case: String, number: String) -> String
+extern fn ang_infer_gender(noun: String) -> String
+extern fn ang_noun_phrase(noun: String, gram_case: String, number: String, definite: String) -> String
@@ -0,0 +1,27 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn ar_str_ends(s: String, suf: String) -> Bool
+extern fn ar_str_len(s: String) -> Int
+extern fn ar_str_drop_last(s: String, n: Int) -> String
+extern fn ar_str_last_char(s: String) -> String
+extern fn ar_slot(person: String, gender: String, number: String) -> Int
+extern fn ar_perfect_suffix(slot: Int) -> String
+extern fn ar_imperfect_prefix(slot: Int) -> String
+extern fn ar_imperfect_suffix(slot: Int) -> String
+extern fn ar_conjugate_form1(past_base: String, present_stem: String, tense: String, slot: Int) -> String
+extern fn ar_irregular_kaana(slot: Int, tense: String) -> String
+extern fn ar_irregular_qaala(slot: Int, tense: String) -> String
+extern fn ar_irregular_jaa(slot: Int, tense: String) -> String
+extern fn ar_irregular_raaa(slot: Int, tense: String) -> String
+extern fn ar_irregular_araada(slot: Int, tense: String) -> String
+extern fn ar_irregular_istata(slot: Int, tense: String) -> String
+extern fn ar_irregular(verb: String, tense: String, slot: Int) -> String
+extern fn ar_present_stem(verb: String) -> String
+extern fn ar_conjugate(verb: String, tense: String, person: String, gender: String, number: String) -> String
+extern fn ar_is_sun_letter(c: String) -> Bool
+extern fn ar_definite_article(noun: String) -> String
+extern fn ar_case_ending(kase: String, definite: String) -> String
+extern fn ar_gender(noun: String) -> String
+extern fn ar_masc_pl_ending(kase: String) -> String
+extern fn ar_sound_plural(noun: String, gender: String) -> String
+extern fn ar_noun_form(noun: String, gender: String, kase: String, number: String, definite: String) -> String
+extern fn ar_verb_form(verb: String, tense: String, person: String, number: String) -> String
@@ -0,0 +1,35 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn cop_str_ends(s: String, suf: String) -> Bool
+extern fn cop_str_len(s: String) -> Int
+extern fn cop_drop(s: String, n: Int) -> String
+extern fn cop_last_char(s: String) -> String
+extern fn cop_slot(person: String, number: String) -> Int
+extern fn cop_subject_prefix(person: String, number: String) -> String
+extern fn cop_subject_prefix_gendered(person: String, gender: String, number: String) -> String
+extern fn cop_copula_particle(gender: String, number: String) -> String
+extern fn cop_shwpe_present(prefix: String) -> String
+extern fn cop_shwpe_perfect(prefix: String) -> String
+extern fn cop_shwpe_future(prefix: String) -> String
+extern fn cop_bwk_present(prefix: String) -> String
+extern fn cop_bwk_perfect(prefix: String) -> String
+extern fn cop_bwk_future(prefix: String) -> String
+extern fn cop_nau_present(prefix: String) -> String
+extern fn cop_nau_perfect(prefix: String) -> String
+extern fn cop_nau_future(prefix: String) -> String
+extern fn cop_jw_present(prefix: String) -> String
+extern fn cop_jw_perfect(prefix: String) -> String
+extern fn cop_jw_future(prefix: String) -> String
+extern fn cop_di_present(prefix: String) -> String
+extern fn cop_di_perfect(prefix: String) -> String
+extern fn cop_di_future(prefix: String) -> String
+extern fn cop_is_copula(verb: String) -> Bool
+extern fn cop_known_verb_prefixed(verb: String, tense: String, prefix: String) -> String
+extern fn cop_regular_present(prefix: String, stem: String) -> String
+extern fn cop_regular_perfect(prefix: String, stem: String) -> String
+extern fn cop_regular_future(prefix: String, stem: String) -> String
+extern fn cop_conjugate(verb: String, tense: String, person: String, number: String) -> String
+extern fn cop_article(gender: String, number: String, definite: String) -> String
+extern fn cop_decline(noun: String, gram_case: String, number: String) -> String
+extern fn cop_noun_phrase(noun: String, gram_case: String, number: String, definite: String) -> String
+extern fn cop_noun_phrase_gendered(noun: String, gram_case: String, number: String, definite: String, gender: String) -> String
+extern fn cop_map_canonical(verb: String) -> String
@@ -0,0 +1,13 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn de_article_def(gender: String, gram_case: String, number: String) -> String
+extern fn de_article_indef(gender: String, gram_case: String, number: String) -> String
+extern fn de_article(gender: String, gram_case: String, number: String, definite: String) -> String
+extern fn de_adj_ending(gender: String, gram_case: String, number: String, article_type: String) -> String
+extern fn de_noun_plural(noun: String, gender: String) -> String
+extern fn de_case_ending(noun: String, gender: String, gram_case: String, number: String) -> String
+extern fn de_conjugate_weak(stem: String, tense: String, person: String, number: String) -> String
+extern fn de_irregular_present(verb: String, person: String, number: String) -> String
+extern fn de_strong_past_stem(verb: String) -> String
+extern fn de_norm_number(number: String) -> String
+extern fn de_norm_person(person: String) -> String
+extern fn de_conjugate(verb: String, tense: String, person: String, number: String) -> String
@@ -0,0 +1,38 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn egy_str_ends(s: String, suf: String) -> Bool
+extern fn egy_str_len(s: String) -> Int
+extern fn egy_drop(s: String, n: Int) -> String
+extern fn egy_last_char(s: String) -> String
+extern fn egy_slot(person: String, number: String) -> Int
+extern fn egy_slot_with_gender(person: String, gender: String, number: String) -> Int
+extern fn egy_conjugate_pronoun(person: String, number: String) -> String
+extern fn egy_suffix_pronoun(slot: Int) -> String
+extern fn egy_is_copula(verb: String) -> Bool
+extern fn egy_conjugate_copula(tense: String, slot: Int) -> String
+extern fn egy_rdi_present(slot: Int) -> String
+extern fn egy_rdi_past(slot: Int) -> String
+extern fn egy_rdi_future(slot: Int) -> String
+extern fn egy_mAA_present(slot: Int) -> String
+extern fn egy_mAA_past(slot: Int) -> String
+extern fn egy_mAA_future(slot: Int) -> String
+extern fn egy_Dd_present(slot: Int) -> String
+extern fn egy_Dd_past(slot: Int) -> String
+extern fn egy_Dd_future(slot: Int) -> String
+extern fn egy_Sm_present(slot: Int) -> String
+extern fn egy_Sm_past(slot: Int) -> String
+extern fn egy_Sm_future(slot: Int) -> String
+extern fn egy_iri_present(slot: Int) -> String
+extern fn egy_iri_past(slot: Int) -> String
+extern fn egy_iri_future(slot: Int) -> String
+extern fn egy_sdm_present(slot: Int) -> String
+extern fn egy_sdm_past(slot: Int) -> String
+extern fn egy_sdm_future(slot: Int) -> String
+extern fn egy_known_verb(verb: String, tense: String, slot: Int) -> String
+extern fn egy_regular_present(stem: String, slot: Int) -> String
+extern fn egy_regular_past(stem: String, slot: Int) -> String
+extern fn egy_regular_future(stem: String, slot: Int) -> String
+extern fn egy_conjugate(verb: String, tense: String, person: String, number: String) -> String
+extern fn egy_decline(noun: String, gram_case: String, number: String) -> String
+extern fn egy_fem(noun: String) -> String
+extern fn egy_noun_phrase(noun: String, gram_case: String, number: String, definite: String) -> String
+extern fn egy_map_canonical(verb: String) -> String
@@ -0,0 +1,30 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn enm_str_ends(s: String, suf: String) -> Bool
+extern fn enm_drop(s: String, n: Int) -> String
+extern fn enm_first_char(s: String) -> String
+extern fn enm_slot(person: String, number: String) -> Int
+extern fn enm_been_present(slot: Int) -> String
+extern fn enm_been_past(slot: Int) -> String
+extern fn enm_haven_present(slot: Int) -> String
+extern fn enm_haven_past(slot: Int) -> String
+extern fn enm_goon_present(slot: Int) -> String
+extern fn enm_goon_past(slot: Int) -> String
+extern fn enm_seen_present(slot: Int) -> String
+extern fn enm_seen_past(slot: Int) -> String
+extern fn enm_seyen_present(slot: Int) -> String
+extern fn enm_seyen_past(slot: Int) -> String
+extern fn enm_comen_present(slot: Int) -> String
+extern fn enm_comen_past(slot: Int) -> String
+extern fn enm_maken_present(slot: Int) -> String
+extern fn enm_maken_past(slot: Int) -> String
+extern fn enm_map_canonical(verb: String) -> String
+extern fn enm_weak_stem(verb: String) -> String
+extern fn enm_weak_present(stem: String, slot: Int) -> String
+extern fn enm_weak_past(stem: String, slot: Int) -> String
+extern fn enm_conjugate(verb: String, tense: String, person: String, number: String) -> String
+extern fn enm_irregular_plural(noun: String) -> String
+extern fn enm_make_plural(noun: String) -> String
+extern fn enm_decline(noun: String, gram_case: String, number: String) -> String
+extern fn enm_is_vowel_initial(s: String) -> Bool
+extern fn enm_indef_article(noun_phrase: String) -> String
+extern fn enm_noun_phrase(noun: String, gram_case: String, number: String, definite: String) -> String
@@ -0,0 +1,23 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn es_str_ends(s: String, suf: String) -> Bool
+extern fn es_str_drop_last(s: String, n: Int) -> String
+extern fn es_str_last_char(s: String) -> String
+extern fn es_str_last2(s: String) -> String
+extern fn es_str_last3(s: String) -> String
+extern fn es_verb_class(base: String) -> String
+extern fn es_stem(base: String) -> String
+extern fn es_slot(person: String, number: String) -> Int
+extern fn es_irregular_present(verb: String, person: String, number: String) -> String
+extern fn es_irregular_preterite(verb: String, person: String, number: String) -> String
+extern fn es_irregular_imperfect(verb: String, person: String, number: String) -> String
+extern fn es_regular_present(stem: String, vclass: String, slot: Int) -> String
+extern fn es_regular_preterite(stem: String, vclass: String, slot: Int) -> String
+extern fn es_regular_future(base: String, slot: Int) -> String
+extern fn es_irregular_future_stem(verb: String) -> String
+extern fn es_regular_imperfect(stem: String, vclass: String, slot: Int) -> String
+extern fn es_conjugate(verb: String, tense: String, person: String, number: String) -> String
+extern fn es_gender(noun: String) -> String
+extern fn es_invariant_plural(noun: String) -> String
+extern fn es_pluralize(noun: String) -> String
+extern fn es_starts_with_stressed_a(noun: String) -> Bool
+extern fn es_agree_article(noun: String, definite: String, number: String) -> String
@@ -0,0 +1,17 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn fi_harmony(word: String) -> String
+extern fn fi_suffix(base: String, harmony: String) -> String
+extern fn fi_noun_case(stem: String, gram_case: String, number: String, harmony: String) -> String
+extern fn fi_str_last_char(s: String) -> String
+extern fn fi_apply_case(noun: String, gram_case: String, number: String) -> String
+extern fn fi_verb_stem(dict_form: String) -> String
+extern fn fi_irregular_verb(dict_form: String) -> [String]
+extern fn fi_present_ending(stem: String, person: String, number: String, harmony: String) -> String
+extern fn fi_past_stem(stem: String) -> String
+extern fn fi_past_ending(stem: String, person: String, number: String, harmony: String) -> String
+extern fn fi_neg_aux(person: String, number: String) -> String
+extern fn fi_negative(verb: String, person: String, number: String) -> String
+extern fn fi_conjugate(verb: String, tense: String, person: String, number: String) -> String
+extern fn fi_question_suffix(harmony: String) -> String
+extern fn fi_make_question(verb_form: String, harmony: String) -> String
+extern fn fi_full_paradigm(noun: String) -> [String]
@@ -0,0 +1,29 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn fr_str_ends(s: String, suf: String) -> Bool
+extern fn fr_str_drop_last(s: String, n: Int) -> String
+extern fn fr_str_last_char(s: String) -> String
+extern fn fr_str_last2(s: String) -> String
+extern fn fr_is_vowel_start(s: String) -> Bool
+extern fn fr_is_known_irregular(verb: String) -> Bool
+extern fn fr_verb_group(base: String) -> String
+extern fn fr_stem(base: String) -> String
+extern fn fr_slot(person: String, number: String) -> Int
+extern fn fr_irregular_present(verb: String, person: String, number: String) -> String
+extern fn fr_regular_present(stem: String, vgroup: String, slot: Int) -> String
+extern fn fr_future_stem(base: String, vgroup: String) -> String
+extern fn fr_regular_future(fstem: String, slot: Int) -> String
+extern fn fr_irregular_future_stem(verb: String) -> String
+extern fn fr_imperfect_stem(base: String, vgroup: String) -> String
+extern fn fr_regular_imperfect(istem: String, slot: Int) -> String
+extern fn fr_uses_etre(verb: String) -> Bool
+extern fn fr_past_participle(verb: String) -> String
+extern fn fr_avoir_present(slot: Int) -> String
+extern fn fr_etre_present(slot: Int) -> String
+extern fn fr_conjugate(verb: String, tense: String, person: String, number: String) -> String
+extern fn fr_gender(noun: String) -> String
+extern fn fr_invariant_plural(noun: String) -> String
+extern fn fr_pluralize(noun: String) -> String
+extern fn fr_agree_article(noun: String, definite: String, number: String) -> String
+extern fn fr_subject_starts_vowel(subject: String) -> Bool
+extern fn fr_verb_ends_vowel(verb_form: String) -> Bool
+extern fn fr_question_inversion(subject: String, verb_form: String) -> String
@@ -0,0 +1,38 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn fro_str_ends(s: String, suf: String) -> Bool
+extern fn fro_drop(s: String, n: Int) -> String
+extern fn fro_slot(person: String, number: String) -> Int
+extern fn fro_map_canonical(verb: String) -> String
+extern fn fro_estre_present(slot: Int) -> String
+extern fn fro_estre_past(slot: Int) -> String
+extern fn fro_estre_future(slot: Int) -> String
+extern fn fro_avoir_present(slot: Int) -> String
+extern fn fro_avoir_past(slot: Int) -> String
+extern fn fro_avoir_future(slot: Int) -> String
+extern fn fro_aler_present(slot: Int) -> String
+extern fn fro_aler_past(slot: Int) -> String
+extern fn fro_aler_future(slot: Int) -> String
+extern fn fro_venir_present(slot: Int) -> String
+extern fn fro_venir_past(slot: Int) -> String
+extern fn fro_venir_future(slot: Int) -> String
+extern fn fro_faire_present(slot: Int) -> String
+extern fn fro_faire_past(slot: Int) -> String
+extern fn fro_faire_future(slot: Int) -> String
+extern fn fro_verb_class(verb: String) -> String
+extern fn fro_verb_stem(verb: String, vclass: String) -> String
+extern fn fro_conj1_present(stem: String, slot: Int) -> String
+extern fn fro_conj1_past(stem: String, slot: Int) -> String
+extern fn fro_conj1_future(verb: String, slot: Int) -> String
+extern fn fro_conj2_present(stem: String, slot: Int) -> String
+extern fn fro_conj2_past(stem: String, slot: Int) -> String
+extern fn fro_conj2_future(verb: String, slot: Int) -> String
+extern fn fro_conj3_present(stem: String, slot: Int) -> String
+extern fn fro_conj3_past(stem: String, slot: Int) -> String
+extern fn fro_conj3_future(verb: String, slot: Int) -> String
+extern fn fro_conjugate(verb: String, tense: String, person: String, number: String) -> String
+extern fn fro_gender(noun: String) -> String
+extern fn fro_decline_masc(noun: String, gram_case: String, number: String) -> String
+extern fn fro_decline_fem(noun: String, number: String) -> String
+extern fn fro_decline(noun: String, gram_case: String, number: String) -> String
+extern fn fro_article(gender: String, gram_case: String, number: String) -> String
+extern fn fro_noun_phrase(noun: String, gram_case: String, number: String, definite: String) -> String
@@ -0,0 +1,26 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn gez_str_ends(s: String, suf: String) -> Bool
+extern fn gez_str_len(s: String) -> Int
+extern fn gez_str_drop_last(s: String, n: Int) -> String
+extern fn gez_slot(person: String, number: String) -> Int
+extern fn gez_slot_g(person: String, gender: String, number: String) -> Int
+extern fn gez_kwn_perfect(slot: Int) -> String
+extern fn gez_kwn_imperfect(slot: Int) -> String
+extern fn gez_is_copula(verb: String) -> Bool
+extern fn gez_conjugate_copula(tense: String, slot: Int) -> String
+extern fn gez_hlw_perfect(slot: Int) -> String
+extern fn gez_hlw_imperfect(slot: Int) -> String
+extern fn gez_hbl_perfect(slot: Int) -> String
+extern fn gez_hbl_imperfect(slot: Int) -> String
+extern fn gez_ray_perfect(slot: Int) -> String
+extern fn gez_ray_imperfect(slot: Int) -> String
+extern fn gez_qwl_perfect(slot: Int) -> String
+extern fn gez_qwl_imperfect(slot: Int) -> String
+extern fn gez_generic_perfect(base3sg: String, slot: Int) -> String
+extern fn gez_generic_imperfect(base3sg: String, slot: Int) -> String
+extern fn gez_known_verb(verb: String, tense: String, slot: Int) -> String
+extern fn gez_conjugate(verb: String, tense: String, person: String, number: String) -> String
+extern fn gez_is_fidel(noun: String) -> Bool
+extern fn gez_decline(noun: String, gram_case: String, number: String) -> String
+extern fn gez_noun_phrase(noun: String, gram_case: String, number: String, definite: String) -> String
+extern fn gez_map_canonical(verb: String) -> String
@@ -0,0 +1,34 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn goh_str_ends(s: String, suf: String) -> Bool
+extern fn goh_drop(s: String, n: Int) -> String
+extern fn goh_slot(person: String, number: String) -> Int
+extern fn goh_map_canonical(verb: String) -> String
+extern fn goh_wesan_present(slot: Int) -> String
+extern fn goh_wesan_past(slot: Int) -> String
+extern fn goh_haben_present(slot: Int) -> String
+extern fn goh_haben_past(slot: Int) -> String
+extern fn goh_gan_present(slot: Int) -> String
+extern fn goh_gan_past(slot: Int) -> String
+extern fn goh_sehan_present(slot: Int) -> String
+extern fn goh_sehan_past(slot: Int) -> String
+extern fn goh_quethan_present(slot: Int) -> String
+extern fn goh_quethan_past(slot: Int) -> String
+extern fn goh_tuon_present(slot: Int) -> String
+extern fn goh_tuon_past(slot: Int) -> String
+extern fn goh_weak_present(stem: String, slot: Int) -> String
+extern fn goh_weak_past(stem: String, slot: Int) -> String
+extern fn goh_verb_stem(verb: String) -> String
+extern fn goh_conjugate(verb: String, tense: String, person: String, number: String) -> String
+extern fn goh_stem_type(noun: String) -> String
+extern fn goh_extract_stem(noun: String, stype: String) -> String
+extern fn goh_decline_masc_a_sg(stem: String, gram_case: String) -> String
+extern fn goh_decline_masc_a_pl(stem: String, gram_case: String) -> String
+extern fn goh_decline_fem_o_sg(stem: String, gram_case: String) -> String
+extern fn goh_decline_fem_o_pl(stem: String, gram_case: String) -> String
+extern fn goh_decline_neut_a_sg(stem: String, gram_case: String) -> String
+extern fn goh_decline_neut_a_pl(stem: String, gram_case: String) -> String
+extern fn goh_decline_masc_n_sg(stem: String, gram_case: String) -> String
+extern fn goh_decline_masc_n_pl(stem: String, gram_case: String) -> String
+extern fn goh_decline(noun: String, gram_case: String, number: String) -> String
+extern fn goh_demo_article(stype: String, number: String) -> String
+extern fn goh_noun_phrase(noun: String, gram_case: String, number: String, definite: String) -> String
@@ -0,0 +1,37 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn got_str_ends(s: String, suf: String) -> Bool
+extern fn got_str_drop_last(s: String, n: Int) -> String
+extern fn got_slot(person: String, number: String) -> Int
+extern fn got_map_canonical(verb: String) -> String
+extern fn got_wisan_present(slot: Int) -> String
+extern fn got_wisan_past(slot: Int) -> String
+extern fn got_haban_present(slot: Int) -> String
+extern fn got_haban_past(slot: Int) -> String
+extern fn got_gaggan_present(slot: Int) -> String
+extern fn got_gaggan_past(slot: Int) -> String
+extern fn got_saihwan_present(slot: Int) -> String
+extern fn got_saihwan_past(slot: Int) -> String
+extern fn got_qithan_present(slot: Int) -> String
+extern fn got_qithan_past(slot: Int) -> String
+extern fn got_niman_present(slot: Int) -> String
+extern fn got_niman_past(slot: Int) -> String
+extern fn got_wk1_present_ending(slot: Int) -> String
+extern fn got_wk1_past_ending(slot: Int) -> String
+extern fn got_wk1_conjugate(stem: String, tense: String, slot: Int) -> String
+extern fn got_wk2_present_ending(slot: Int) -> String
+extern fn got_wk2_past_ending(slot: Int) -> String
+extern fn got_wk2_conjugate(stem: String, tense: String, slot: Int) -> String
+extern fn got_verb_class(verb: String) -> String
+extern fn got_verb_stem(verb: String, vclass: String) -> String
+extern fn got_conjugate(verb: String, tense: String, person: String, number: String) -> String
+extern fn got_decline_a_stem_sg(stem: String, gram_case: String) -> String
+extern fn got_decline_a_stem_pl(stem: String, gram_case: String) -> String
+extern fn got_decline_o_stem_sg(stem: String, gram_case: String) -> String
+extern fn got_decline_o_stem_pl(stem: String, gram_case: String) -> String
+extern fn got_decline_n_stem_sg(stem: String, gram_case: String) -> String
+extern fn got_decline_n_stem_pl(stem: String, gram_case: String) -> String
+extern fn got_stem_type(noun: String) -> String
+extern fn got_extract_stem(noun: String, stype: String) -> String
+extern fn got_demo_article(stype: String) -> String
+extern fn got_decline(noun: String, gram_case: String, number: String) -> String
+extern fn got_noun_phrase(noun: String, gram_case: String, number: String, definite: String) -> String
@@ -0,0 +1,45 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn grc_str_ends(s: String, suf: String) -> Bool
+extern fn grc_str_drop_last(s: String, n: Int) -> String
+extern fn grc_str_last_char(s: String) -> String
+extern fn grc_str_last2(s: String) -> String
+extern fn grc_str_last3(s: String) -> String
+extern fn grc_slot(person: String, number: String) -> Int
+extern fn grc_map_canonical(verb: String) -> String
+extern fn grc_einai_present(slot: Int) -> String
+extern fn grc_einai_imperfect(slot: Int) -> String
+extern fn grc_einai_future(slot: Int) -> String
+extern fn grc_echein_present(slot: Int) -> String
+extern fn grc_echein_imperfect(slot: Int) -> String
+extern fn grc_echein_aorist(slot: Int) -> String
+extern fn grc_echein_future(slot: Int) -> String
+extern fn grc_legein_present(slot: Int) -> String
+extern fn grc_legein_imperfect(slot: Int) -> String
+extern fn grc_legein_aorist(slot: Int) -> String
+extern fn grc_legein_future(slot: Int) -> String
+extern fn grc_horao_present(slot: Int) -> String
+extern fn grc_horao_imperfect(slot: Int) -> String
+extern fn grc_horao_aorist(slot: Int) -> String
+extern fn grc_horao_future(slot: Int) -> String
+extern fn grc_erchesthai_present(slot: Int) -> String
+extern fn grc_erchesthai_imperfect(slot: Int) -> String
+extern fn grc_erchesthai_aorist(slot: Int) -> String
+extern fn grc_erchesthai_future(slot: Int) -> String
+extern fn grc_thematic_present_ending(slot: Int) -> String
+extern fn grc_thematic_imperfect_ending(slot: Int) -> String
+extern fn grc_thematic_future_ending(slot: Int) -> String
+extern fn grc_weak_aorist_ending(slot: Int) -> String
+extern fn grc_present_stem(verb: String) -> String
+extern fn grc_conjugate(verb: String, tense: String, person: String, number: String) -> String
+extern fn grc_declension(noun: String) -> String
+extern fn grc_decline_2m(stem: String, gram_case: String, number: String) -> String
+extern fn grc_decline_2n(stem: String, gram_case: String, number: String) -> String
+extern fn grc_decline_1a(stem: String, gram_case: String, number: String) -> String
+extern fn grc_decline_1e(stem: String, gram_case: String, number: String) -> String
+extern fn grc_decline(noun: String, gram_case: String, number: String) -> String
+extern fn grc_article_masculine(gram_case: String, number: String) -> String
+extern fn grc_article_feminine(gram_case: String, number: String) -> String
+extern fn grc_article_neuter(gram_case: String, number: String) -> String
+extern fn grc_article(gender: String, gram_case: String, number: String) -> String
+extern fn grc_infer_gender(noun: String) -> String
+extern fn grc_noun_phrase(noun: String, gram_case: String, number: String, definite: String) -> String
@@ -0,0 +1,30 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn he_str_ends(s: String, suf: String) -> Bool
+extern fn he_str_len(s: String) -> Int
+extern fn he_str_drop_last(s: String, n: Int) -> String
+extern fn he_str_last_char(s: String) -> String
+extern fn he_slot(person: String, gender: String, number: String) -> Int
+extern fn he_present_form_code(slot: Int) -> Int
+extern fn he_copula_past(slot: Int) -> String
+extern fn he_copula_future(slot: Int) -> String
+extern fn he_is_copula(verb: String) -> Bool
+extern fn he_conjugate_copula(tense: String, slot: Int) -> String
+extern fn he_present_lir_ot(form: Int) -> String
+extern fn he_present_le_exol(form: Int) -> String
+extern fn he_present_ledaber(form: Int) -> String
+extern fn he_present_lalechet(form: Int) -> String
+extern fn he_past_lir_ot(slot: Int) -> String
+extern fn he_past_le_exol(slot: Int) -> String
+extern fn he_past_ledaber(slot: Int) -> String
+extern fn he_past_lalechet(slot: Int) -> String
+extern fn he_future_lir_ot(slot: Int) -> String
+extern fn he_future_le_exol(slot: Int) -> String
+extern fn he_future_ledaber(slot: Int) -> String
+extern fn he_future_lalechet(slot: Int) -> String
+extern fn he_known_verb(verb: String, tense: String, slot: Int) -> String
+extern fn he_conjugate(verb: String, tense: String, person: String, gender: String, number: String) -> String
+extern fn he_pluralize(noun: String, gender: String) -> String
+extern fn he_is_hebrew_script(noun: String) -> Bool
+extern fn he_definite_prefix(noun: String) -> String
+extern fn he_noun_phrase(noun: String, number: String, gender: String, definite: String) -> String
+extern fn he_map_canonical(verb: String) -> String
@@ -0,0 +1,27 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn hi_str_ends(s: String, suf: String) -> Bool
+extern fn hi_str_drop_last(s: String, n: Int) -> String
+extern fn hi_str_last_char(s: String) -> String
+extern fn hi_gender(noun: String) -> String
+extern fn hi_masc_aa_stem(noun: String) -> String
+extern fn hi_noun_direct_m(noun: String, number: String) -> String
+extern fn hi_noun_oblique_m(noun: String, number: String) -> String
+extern fn hi_noun_direct_f(noun: String, number: String) -> String
+extern fn hi_noun_oblique_f(noun: String, number: String) -> String
+extern fn hi_noun_direct(noun: String, gender: String, number: String) -> String
+extern fn hi_noun_oblique(noun: String, gender: String, number: String) -> String
+extern fn hi_postposition(gram_case: String) -> String
+extern fn hi_agree_genitive(possessed_gender: String, possessed_number: String) -> String
+extern fn hi_verb_stem(infinitive: String) -> String
+extern fn hi_verb_stem_clean(infinitive: String) -> String
+extern fn hi_present_aspect(gender: String, number: String) -> String
+extern fn hi_aux_present(person: String, number: String) -> String
+extern fn hi_past_suffix(gender: String, number: String) -> String
+extern fn hi_past_irregular(stem: String, gender: String, number: String) -> String
+extern fn hi_future_suffix(person: String, number: String, gender: String) -> String
+extern fn hi_tense_suffix(tense: String, gender: String, number: String) -> String
+extern fn hi_hona_present(person: String, number: String) -> String
+extern fn hi_hona_past(gender: String, number: String) -> String
+extern fn hi_conjugate(verb: String, tense: String, person: String, gender: String, number: String) -> String
+extern fn hi_noun_with_post(noun: String, gender: String, number: String, gram_case: String) -> String
+extern fn hi_genitive_phrase(possessor: String, possessor_gender: String, possessor_number: String, possessed: String, possessed_gender: String, possessed_number: String) -> String
@@ -0,0 +1,9 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn ja_verb_group(dict_form: String) -> String
+extern fn ja_ichidan_stem(dict_form: String) -> String
+extern fn ja_godan_stem_change(dict_form: String, row: String) -> String
+extern fn ja_conjugate(dict_form: String, form: String) -> String
+extern fn ja_particle(gram_case: String) -> String
+extern fn ja_noun_phrase(noun: String, gram_case: String) -> String
+extern fn ja_question_particle() -> String
+extern fn ja_make_question(sentence: String) -> String
@@ -0,0 +1,41 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn la_str_ends(s: String, suf: String) -> Bool
+extern fn la_str_drop_last(s: String, n: Int) -> String
+extern fn la_str_last_char(s: String) -> String
+extern fn la_str_last2(s: String) -> String
+extern fn la_str_last3(s: String) -> String
+extern fn la_slot(person: String, number: String) -> Int
+extern fn la_verb_class(verb: String) -> String
+extern fn la_stem(verb: String, vclass: String) -> String
+extern fn la_perfect_stem(verb: String, vclass: String) -> String
+extern fn la_perfect_ending(slot: Int) -> String
+extern fn la_present_ending(vclass: String, slot: Int) -> String
+extern fn la_present_form(stem: String, vclass: String, slot: Int) -> String
+extern fn la_future_ending_12(slot: Int) -> String
+extern fn la_future_ending_34(slot: Int) -> String
+extern fn la_future_form(stem: String, vclass: String, slot: Int) -> String
+extern fn la_esse_present(slot: Int) -> String
+extern fn la_esse_past(slot: Int) -> String
+extern fn la_esse_future(slot: Int) -> String
+extern fn la_ire_present(slot: Int) -> String
+extern fn la_ire_past(slot: Int) -> String
+extern fn la_ire_future(slot: Int) -> String
+extern fn la_velle_present(slot: Int) -> String
+extern fn la_velle_past(slot: Int) -> String
+extern fn la_velle_future(slot: Int) -> String
+extern fn la_posse_present(slot: Int) -> String
+extern fn la_posse_past(slot: Int) -> String
+extern fn la_posse_future(slot: Int) -> String
+extern fn la_irregular_perfect_stem(verb: String) -> String
+extern fn la_map_canonical(verb: String) -> String
+extern fn la_conjugate(verb: String, tense: String, person: String, number: String) -> String
+extern fn la_declension(noun: String) -> String
+extern fn la_decline_1(stem: String, gram_case: String, number: String) -> String
+extern fn la_decline_2m(stem: String, gram_case: String, number: String) -> String
+extern fn la_decline_2n(stem: String, gram_case: String, number: String) -> String
+extern fn la_decline_3(noun: String, gram_case: String, number: String) -> String
+extern fn la_decline_4(stem: String, gram_case: String, number: String) -> String
+extern fn la_decline_5(stem: String, gram_case: String, number: String) -> String
+extern fn la_decline_2er(noun: String, gram_case: String, number: String) -> String
+extern fn la_decline(noun: String, gram_case: String, number: String) -> String
+extern fn la_noun_phrase(noun: String, gram_case: String, number: String, definite: String) -> String
@@ -0,0 +1,30 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn non_str_ends(s: String, suf: String) -> Bool
+extern fn non_drop(s: String, n: Int) -> String
+extern fn non_last(s: String) -> String
+extern fn non_slot(person: String, number: String) -> Int
+extern fn non_vera_present(slot: Int) -> String
+extern fn non_vera_past(slot: Int) -> String
+extern fn non_hafa_present(slot: Int) -> String
+extern fn non_hafa_past(slot: Int) -> String
+extern fn non_ganga_present(slot: Int) -> String
+extern fn non_ganga_past(slot: Int) -> String
+extern fn non_sja_present(slot: Int) -> String
+extern fn non_sja_past(slot: Int) -> String
+extern fn non_segja_present(slot: Int) -> String
+extern fn non_segja_past(slot: Int) -> String
+extern fn non_koma_present(slot: Int) -> String
+extern fn non_koma_past(slot: Int) -> String
+extern fn non_map_canonical(verb: String) -> String
+extern fn non_weak_present(stem: String, slot: Int) -> String
+extern fn non_weak_past(stem: String, slot: Int) -> String
+extern fn non_conjugate(verb: String, tense: String, person: String, number: String) -> String
+extern fn non_decline_masc(noun: String, gram_case: String, number: String) -> String
+extern fn non_decline_fem(noun: String, gram_case: String, number: String) -> String
+extern fn non_decline_neut(noun: String, gram_case: String, number: String) -> String
+extern fn non_detect_gender(noun: String) -> String
+extern fn non_decline(noun: String, gram_case: String, number: String) -> String
+extern fn non_def_suffix_masc(gram_case: String, number: String) -> String
+extern fn non_def_suffix_neut(gram_case: String, number: String) -> String
+extern fn non_def_suffix_fem(gram_case: String, number: String) -> String
+extern fn non_noun_phrase(noun: String, gram_case: String, number: String, definite: String) -> String
@@ -0,0 +1,19 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn peo_drop(s: String, n: Int) -> String
+extern fn peo_ends(s: String, suf: String) -> Bool
+extern fn peo_slot(person: String, number: String) -> Int
+extern fn peo_present_suffix(slot: Int) -> String
+extern fn peo_past_suffix(slot: Int) -> String
+extern fn peo_ah_present(slot: Int) -> String
+extern fn peo_ah_past(slot: Int) -> String
+extern fn peo_kar_present(slot: Int) -> String
+extern fn peo_kar_past(slot: Int) -> String
+extern fn peo_xsaya_present(slot: Int) -> String
+extern fn peo_tar_present(slot: Int) -> String
+extern fn peo_da_present(slot: Int) -> String
+extern fn peo_da_past(slot: Int) -> String
+extern fn peo_map_canonical(verb: String) -> String
+extern fn peo_conjugate(verb: String, tense: String, person: String, number: String) -> String
+extern fn peo_decline_astem(noun: String, gram_case: String, number: String) -> String
+extern fn peo_decline(noun: String, gram_case: String, number: String) -> String
+extern fn peo_noun_phrase(noun: String, gram_case: String, number: String, definite: String) -> String
@@ -0,0 +1,34 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn pi_str_ends(s: String, suf: String) -> Bool
+extern fn pi_drop(s: String, n: Int) -> String
+extern fn pi_last_char(s: String) -> String
+extern fn pi_slot(person: String, number: String) -> Int
+extern fn pi_present_ending(slot: Int) -> String
+extern fn pi_aorist_ending(slot: Int) -> String
+extern fn pi_future_ending(slot: Int) -> String
+extern fn pi_hoti_present(slot: Int) -> String
+extern fn pi_atthi_present(slot: Int) -> String
+extern fn pi_hoti_aorist(slot: Int) -> String
+extern fn pi_hoti_future(slot: Int) -> String
+extern fn pi_gacchati_present(slot: Int) -> String
+extern fn pi_gacchati_aorist(slot: Int) -> String
+extern fn pi_gacchati_future(slot: Int) -> String
+extern fn pi_passati_present(slot: Int) -> String
+extern fn pi_passati_aorist(slot: Int) -> String
+extern fn pi_passati_future(slot: Int) -> String
+extern fn pi_vadati_present(slot: Int) -> String
+extern fn pi_vadati_aorist(slot: Int) -> String
+extern fn pi_vadati_future(slot: Int) -> String
+extern fn pi_karoti_present(slot: Int) -> String
+extern fn pi_karoti_aorist(slot: Int) -> String
+extern fn pi_karoti_future(slot: Int) -> String
+extern fn pi_map_canonical(verb: String) -> String
+extern fn pi_regular_root(verb: String) -> String
+extern fn pi_conjugate(verb: String, tense: String, person: String, number: String) -> String
+extern fn pi_decline_a_masc_sg(stem: String, gram_case: String) -> String
+extern fn pi_decline_a_masc_pl(stem: String, gram_case: String) -> String
+extern fn pi_decline_a_fem_sg(stem: String, gram_case: String) -> String
+extern fn pi_decline_a_fem_pl(stem: String, gram_case: String) -> String
+extern fn pi_detect_class(noun: String) -> String
+extern fn pi_decline(noun: String, gram_case: String, number: String) -> String
+extern fn pi_noun_phrase(noun: String, gram_case: String, number: String, definite: String) -> String
@@ -0,0 +1,14 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn ru_gender(noun: String) -> String
+extern fn ru_stem_type(noun: String, gender: String) -> String
+extern fn ru_noun_case(noun: String, gender: String, gram_case: String, number: String) -> String
+extern fn ru_decline_regular(noun: String, gender: String, stype: String, gram_case: String, number: String) -> String
+extern fn ru_decline_masc(noun: String, stype: String, gram_case: String, number: String) -> String
+extern fn ru_decline_fem(noun: String, stype: String, gram_case: String, number: String) -> String
+extern fn ru_decline_neut(noun: String, stype: String, gram_case: String, number: String) -> String
+extern fn ru_past_agree(verb_stem: String, gender: String, number: String) -> String
+extern fn ru_conjugate_1st(stem: String, tense: String, person: String, number: String) -> String
+extern fn ru_conjugate_2nd(stem: String, tense: String, person: String, number: String) -> String
+extern fn ru_irregular(verb: String, tense: String, person: String, number: String) -> String
+extern fn ru_past_stem(verb: String) -> String
+extern fn ru_conjugate(verb: String, tense: String, person: String, number: String, gender: String) -> String
@@ -0,0 +1,36 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn sa_str_ends(s: String, suf: String) -> Bool
+extern fn sa_str_drop_last(s: String, n: Int) -> String
+extern fn sa_slot(person: String, number: String) -> Int
+extern fn sa_map_canonical(verb: String) -> String
+extern fn sa_as_present(slot: Int) -> String
+extern fn sa_as_past(slot: Int) -> String
+extern fn sa_as_future(slot: Int) -> String
+extern fn sa_bhu_present(slot: Int) -> String
+extern fn sa_bhu_past(slot: Int) -> String
+extern fn sa_bhu_future(slot: Int) -> String
+extern fn sa_gam_present(slot: Int) -> String
+extern fn sa_gam_past(slot: Int) -> String
+extern fn sa_gam_future(slot: Int) -> String
+extern fn sa_drs_present(slot: Int) -> String
+extern fn sa_drs_past(slot: Int) -> String
+extern fn sa_drs_future(slot: Int) -> String
+extern fn sa_vad_present(slot: Int) -> String
+extern fn sa_vad_past(slot: Int) -> String
+extern fn sa_vad_future(slot: Int) -> String
+extern fn sa_kr_present(slot: Int) -> String
+extern fn sa_kr_past(slot: Int) -> String
+extern fn sa_kr_future(slot: Int) -> String
+extern fn sa_class1_present_ending(slot: Int) -> String
+extern fn sa_class1_past_ending(slot: Int) -> String
+extern fn sa_class1_future_ending(slot: Int) -> String
+extern fn sa_class1_conjugate(stem: String, tense: String, slot: Int) -> String
+extern fn sa_conjugate(verb: String, tense: String, person: String, number: String) -> String
+extern fn sa_decline_a_stem_sg(stem: String, gram_case: String) -> String
+extern fn sa_decline_a_stem_pl(stem: String, gram_case: String) -> String
+extern fn sa_decline_aa_stem_sg(stem: String, gram_case: String) -> String
+extern fn sa_decline_aa_stem_pl(stem: String, gram_case: String) -> String
+extern fn sa_stem_type(noun: String) -> String
+extern fn sa_extract_stem(noun: String, stype: String) -> String
+extern fn sa_decline(noun: String, gram_case: String, number: String) -> String
+extern fn sa_noun_phrase(noun: String, gram_case: String, number: String, definite: String) -> String
@@ -0,0 +1,22 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn sga_drop(s: String, n: Int) -> String
+extern fn sga_first(s: String) -> String
+extern fn sga_rest(s: String) -> String
+extern fn sga_slot(person: String, number: String) -> Int
+extern fn sga_lenite(word: String) -> String
+extern fn sga_copula_present(slot: Int) -> String
+extern fn sga_bith_present(slot: Int) -> String
+extern fn sga_bith_past(slot: Int) -> String
+extern fn sga_teit_present(slot: Int) -> String
+extern fn sga_teit_past(slot: Int) -> String
+extern fn sga_gaibid_present(slot: Int) -> String
+extern fn sga_adci_present(slot: Int) -> String
+extern fn sga_asbeir_present(slot: Int) -> String
+extern fn sga_map_canonical(verb: String) -> String
+extern fn sga_ai_present(stem: String, slot: Int) -> String
+extern fn sga_conjugate(verb: String, tense: String, person: String, number: String) -> String
+extern fn sga_decline_ostem(noun: String, gram_case: String, number: String) -> String
+extern fn sga_decline_astem(noun: String, gram_case: String, number: String) -> String
+extern fn sga_detect_gender(noun: String) -> String
+extern fn sga_decline(noun: String, gram_case: String, number: String) -> String
+extern fn sga_noun_phrase(noun: String, gram_case: String, number: String, definite: String) -> String
@@ -0,0 +1,29 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn sux_str_ends(s: String, suf: String) -> Bool
+extern fn sux_str_drop_last(s: String, n: Int) -> String
+extern fn sux_str_last_char(s: String) -> String
+extern fn sux_str_last2(s: String) -> String
+extern fn sux_slot(person: String, number: String) -> Int
+extern fn sux_ergative_suffix(person: String, number: String) -> String
+extern fn sux_absolutive_suffix(person: String, number: String) -> String
+extern fn sux_map_canonical(verb: String) -> String
+extern fn sux_personal_suffix(slot: Int) -> String
+extern fn sux_me_present(slot: Int) -> String
+extern fn sux_me_past(slot: Int) -> String
+extern fn sux_dug4_present(slot: Int) -> String
+extern fn sux_dug4_past(slot: Int) -> String
+extern fn sux_du_present(slot: Int) -> String
+extern fn sux_du_past(slot: Int) -> String
+extern fn sux_igibar_present(slot: Int) -> String
+extern fn sux_igibar_past(slot: Int) -> String
+extern fn sux_ak_present(slot: Int) -> String
+extern fn sux_ak_past(slot: Int) -> String
+extern fn sux_tum2_present(slot: Int) -> String
+extern fn sux_tum2_past(slot: Int) -> String
+extern fn sux_conjugate(verb: String, tense: String, person: String, number: String) -> String
+extern fn sux_is_animate(noun: String) -> Bool
+extern fn sux_case_suffix(gram_case: String) -> String
+extern fn sux_decline(noun: String, gram_case: String, number: String) -> String
+extern fn sux_noun_phrase(noun: String, gram_case: String, number: String, definite: String) -> String
+extern fn sux_verb_chain(agent: String, verb: String, patient: String, tense: String) -> String
+extern fn sux_realize_sentence(intent: String, agent: String, predicate: String, patient: String, tense: String) -> String
@@ -0,0 +1,23 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn sw_str_ends(s: String, suf: String) -> Bool
+extern fn sw_str_drop_last(s: String, n: Int) -> String
+extern fn sw_str_first_char(s: String) -> String
+extern fn sw_str_first2(s: String) -> String
+extern fn sw_str_first3(s: String) -> String
+extern fn sw_str_last_char(s: String) -> String
+extern fn sw_is_class1_noun(noun: String) -> Bool
+extern fn sw_noun_class(noun: String) -> String
+extern fn sw_subj_prefix(person: String, number: String, noun_class: String) -> String
+extern fn sw_obj_prefix(person: String, number: String, noun_class: String) -> String
+extern fn sw_tense_marker(tense: String) -> String
+extern fn sw_verb_final(tense: String, negative: Bool) -> String
+extern fn sw_neg_subj_prefix(person: String, number: String, noun_class: String) -> String
+extern fn sw_verb_stem(infinitive: String) -> String
+extern fn sw_conjugate(verb_stem: String, person: String, number: String, noun_class: String, tense: String) -> String
+extern fn sw_negative(verb_stem: String, person: String, number: String, noun_class: String, tense: String) -> String
+extern fn sw_noun_plural(noun: String) -> String
+extern fn sw_adj_prefix(noun_class: String, number: String) -> String
+extern fn sw_agree_adj(adj_stem: String, noun_class: String, number: String) -> String
+extern fn sw_demonstrative(noun_class: String, number: String, proximity: String) -> String
+extern fn sw_copula_present(person: String, number: String, use_case: String) -> String
+extern fn sw_copula_neg_present(person: String, number: String) -> String
@@ -0,0 +1,17 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn txb_drop(s: String, n: Int) -> String
+extern fn txb_ends(s: String, suf: String) -> Bool
+extern fn txb_slot(person: String, number: String) -> Int
+extern fn txb_pres1_suffix(slot: Int) -> String
+extern fn txb_kam_present(slot: Int) -> String
+extern fn txb_ya_present(slot: Int) -> String
+extern fn txb_wes_present(slot: Int) -> String
+extern fn txb_lyut_present(slot: Int) -> String
+extern fn txb_wak_present(slot: Int) -> String
+extern fn txb_map_canonical(verb: String) -> String
+extern fn txb_conjugate(verb: String, tense: String, person: String, number: String) -> String
+extern fn txb_decline_masc(noun: String, gram_case: String, number: String) -> String
+extern fn txb_decline_fem(noun: String, gram_case: String, number: String) -> String
+extern fn txb_detect_gender(noun: String) -> String
+extern fn txb_decline(noun: String, gram_case: String, number: String) -> String
+extern fn txb_noun_phrase(noun: String, gram_case: String, number: String, definite: String) -> String
@@ -0,0 +1,25 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn uga_str_ends(s: String, suf: String) -> Bool
+extern fn uga_str_len(s: String) -> Int
+extern fn uga_str_drop_last(s: String, n: Int) -> String
+extern fn uga_slot(person: String, number: String) -> Int
+extern fn uga_slot_g(person: String, gender: String, number: String) -> Int
+extern fn uga_kn_perfect(slot: Int) -> String
+extern fn uga_kn_imperfect(slot: Int) -> String
+extern fn uga_is_copula(verb: String) -> Bool
+extern fn uga_conjugate_copula(tense: String, slot: Int) -> String
+extern fn uga_hlk_perfect(slot: Int) -> String
+extern fn uga_hlk_imperfect(slot: Int) -> String
+extern fn uga_ray_perfect(slot: Int) -> String
+extern fn uga_ray_imperfect(slot: Int) -> String
+extern fn uga_amr_perfect(slot: Int) -> String
+extern fn uga_amr_imperfect(slot: Int) -> String
+extern fn uga_generic_perfect(base3sg: String, slot: Int) -> String
+extern fn uga_generic_imperfect(base3sg: String, slot: Int) -> String
+extern fn uga_known_verb(verb: String, tense: String, slot: Int) -> String
+extern fn uga_conjugate(verb: String, tense: String, person: String, number: String) -> String
+extern fn uga_strip_nom(noun: String) -> String
+extern fn uga_is_fem(noun: String) -> Bool
+extern fn uga_decline(noun: String, gram_case: String, number: String) -> String
+extern fn uga_noun_phrase(noun: String, gram_case: String, number: String, definite: String) -> String
+extern fn uga_map_canonical(verb: String) -> String
@@ -0,0 +1,27 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn str_ends(s: String, suf: String) -> Bool
+extern fn str_last_char(s: String) -> String
+extern fn str_last2(s: String) -> String
+extern fn str_last3(s: String) -> String
+extern fn str_drop_last(s: String, n: Int) -> String
+extern fn is_vowel(c: String) -> Bool
+extern fn morph_apply_suffix(base: String, suffix: String) -> String
+extern fn en_irregular_plural(word: String) -> String
+extern fn en_irregular_singular(word: String) -> String
+extern fn en_irregular_verb(base: String) -> [String]
+extern fn en_verb_3sg(base: String) -> String
+extern fn en_should_double_final(base: String) -> Bool
+extern fn en_verb_past(base: String) -> String
+extern fn en_verb_gerund(base: String) -> String
+extern fn en_pluralize_regular(singular: String) -> String
+extern fn en_verb_form(base: String, tense: String, person: String, number: String) -> String
+extern fn agree_determiner(det: String, noun: String) -> String
+extern fn morph_pluralize(noun: String, profile: [String]) -> String
+extern fn morph_map_canonical(verb: String, code: String) -> String
+extern fn morph_conjugate(verb: String, tense: String, person: String, number: String, profile: [String]) -> String
+extern fn morph_inflect(word: String, features: String, profile: [String]) -> String
+extern fn pluralize(singular: String) -> String
+extern fn singularize(plural: String) -> String
+extern fn verb_form(base: String, tense: String, person: String, number: String) -> String
+extern fn irregular_plural(word: String) -> String
+extern fn irregular_singular(word: String) -> String
@@ -0,0 +1,39 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn is_protected_node(id: String) -> Bool
+extern fn api_err_protected(id: String) -> String
+extern fn api_json_escape(s: String) -> String
+extern fn api_query_param(path: String, key: String) -> String
+extern fn api_query_int(path: String, key: String, default_val: Int) -> Int
+extern fn api_ok(extra: String) -> String
+extern fn api_err(msg: String) -> String
+extern fn api_nonempty(s: String) -> Bool
+extern fn api_or_empty(s: String) -> String
+extern fn api_persisted(id: String) -> Bool
+extern fn api_not_persisted(id: String) -> String
+extern fn handle_api_begin_session(body: String) -> String
+extern fn handle_api_compile_ctx(body: String) -> String
+extern fn handle_api_remember(body: String) -> String
+extern fn handle_api_node_create(body: String) -> String
+extern fn handle_api_node_delete(body: String) -> String
+extern fn handle_api_node_update(body: String) -> String
+extern fn handle_api_recall(method: String, path: String, body: String) -> String
+extern fn handle_api_search_knowledge(method: String, path: String, body: String) -> String
+extern fn handle_api_browse_knowledge(path: String, body: String) -> String
+extern fn handle_api_capture_knowledge(body: String) -> String
+extern fn handle_api_evolve_knowledge(body: String) -> String
+extern fn handle_api_promote_knowledge(body: String) -> String
+extern fn handle_api_browse_processes(method: String, path: String, body: String) -> String
+extern fn handle_api_define_process(body: String) -> String
+extern fn handle_api_log_state_event(body: String) -> String
+extern fn handle_api_list_state_events(method: String, path: String, body: String) -> String
+extern fn handle_api_inspect_config(path: String, body: String) -> String
+extern fn handle_api_tune_config(body: String) -> String
+extern fn handle_api_inspect_graph(method: String, path: String, body: String) -> String
+extern fn handle_api_link_entities(body: String) -> String
+extern fn handle_api_forget(body: String) -> String
+extern fn handle_api_evolve_memory(body: String) -> String
+extern fn handle_api_memory_delete(body: String) -> String
+extern fn handle_api_memory_update(body: String) -> String
+extern fn handle_api_cultivate(body: String) -> String
+extern fn handle_api_list_typed(node_type: String, path: String, body: String) -> String
+extern fn handle_api_consolidate(body: String) -> String
@@ -0,0 +1,10 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn agent_person(agent: String) -> String
+extern fn agent_number(agent: String) -> String
+extern fn realize_np(referent: String, number: String) -> String
+extern fn realize_vp_lang(base_verb: String, tense: String, aspect: String, person: String, number: String, profile: [String]) -> [String]
+extern fn realize_question_lang(predicate: String, tense: String, aspect: String, person: String, number: String, agent: String, patient: String, location: String, profile: [String]) -> String
+extern fn capitalize_first(s: String) -> String
+extern fn add_punct(s: String, intent: String) -> String
+extern fn realize_lang(form: [String], profile: [String]) -> String
+extern fn realize(form: [String]) -> String
@@ -0,0 +1,16 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn flag_true(body: String, key: String) -> Bool
+extern fn rate_limit_check(ip: String, path: String) -> String
+extern fn strip_query(path: String) -> String
+extern fn err_404(path: String) -> String
+extern fn err_405(method: String, path: String) -> String
+extern fn route_health() -> String
+extern fn route_lineage() -> String
+extern fn route_imprint_contextual(body: String) -> String
+extern fn route_imprint_user(body: String) -> String
+extern fn route_synthesize(body: String) -> String
+extern fn handle_dharma_recv(body: String) -> String
+extern fn connectd_get(suffix: String) -> String
+extern fn connectd_post(suffix: String, body: String) -> String
+extern fn handle_connectors(method: String, clean: String, body: String) -> String
+extern fn handle_request(method: String, path: String, body: String) -> String
@@ -0,0 +1,29 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn soft_bell_threshold() -> Int
+extern fn hard_bell_threshold() -> Int
+extern fn safety_score_crisis(input: String) -> Int
+extern fn safety_score_harm(input: String) -> Int
+extern fn safety_score_danger(input: String) -> Int
+extern fn safety_score_distress_history(history: String) -> Int
+extern fn safety_threat_score(input: String, history: String) -> Int
+extern fn safety_screen(input: String, history: String) -> String
+extern fn safety_validate(output: String, action: String) -> String
+extern fn safety_log_bell(level: String, reason: String, input_summary: String) -> String
+extern fn safety_self_harm_phrases() -> String
+extern fn safety_abuse_phrases() -> String
+extern fn safety_general_hard_phrases() -> String
+extern fn safety_threat_to_others_phrases() -> String
+extern fn safety_soft_phrases() -> String
+extern fn safety_normalize(message: String) -> String
+extern fn safety_any_match(text: String, phrases_json: String) -> Bool
+extern fn safety_count_match(text: String, phrases_json: String) -> Int
+extern fn safety_positive_phrases() -> String
+extern fn safety_detect_positive_level(message: String) -> String
+extern fn safety_detect_bell_level(message: String) -> String
+extern fn safety_classify_hard_bell(message: String) -> String
+extern fn safety_soft_directive() -> String
+extern fn safety_hard_directive(hard_type: String) -> String
+extern fn safety_augment_system(system: String, user_msg: String) -> String
+extern fn safety_contact_path() -> String
+extern fn handle_safety_contact_get() -> String
+extern fn handle_safety_contact_post(body: String) -> String
@@ -0,0 +1,18 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn sem_frame(intent: String, subject: String, obj: String, modifiers: String) -> [String]
+extern fn sem_frame_lang(intent: String, subject: String, obj: String, modifiers: String, lang_code: String) -> [String]
+extern fn sem_frame_simple(intent: String, subject: String) -> [String]
+extern fn sem_frame_obj(intent: String, subject: String, obj: String) -> [String]
+extern fn sem_intent(frame: [String]) -> String
+extern fn sem_subject(frame: [String]) -> String
+extern fn sem_object(frame: [String]) -> String
+extern fn sem_modifiers(frame: [String]) -> String
+extern fn sem_lang(frame: [String]) -> String
+extern fn sem_first_modifier(mods: String) -> String
+extern fn sem_intent_to_realize(intent: String) -> String
+extern fn sem_to_spec(frame: [String]) -> [String]
+extern fn sem_to_spec_full(frame: [String], verb: String, tense: String, aspect: String) -> [String]
+extern fn sem_realize_greet(subject: String) -> String
+extern fn sem_realize(frame: [String]) -> String
+extern fn sem_realize_full(frame: [String], verb: String, tense: String, aspect: String) -> String
+extern fn sem_realize_lang(frame: [String], lang_code: String) -> String
@@ -0,0 +1,17 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn session_title_from_message(message: String) -> String
+extern fn session_make_content(id: String, title: String, created_at: Int, updated_at: Int, folder: String) -> String
+extern fn session_exists(session_id: String) -> Bool
+extern fn session_create(body: String) -> String
+extern fn session_create_cleanup(session_id: String) -> String
+extern fn session_list() -> String
+extern fn session_get(session_id: String) -> String
+extern fn session_delete(session_id: String) -> String
+extern fn session_update_patch(session_id: String, body: String) -> String
+extern fn session_search_entry(node: String) -> String
+extern fn session_search(query: String) -> String
+extern fn session_hist_load(session_id: String) -> String
+extern fn session_hist_save(session_id: String, hist: String) -> Void
+extern fn session_update_meta_timestamp(session_id: String) -> Void
+extern fn session_auto_title(session_id: String, first_message: String) -> Void
+extern fn handle_session_approve(session_id: String, body: String) -> String
@@ -1,8 +1,7 @@
 # soul.c.stamp — fingerprint of the .el sources dist/soul.c was generated from.
 # Written by tools/soulc-stamp.sh --write. Do not hand-edit.
-# generated_amalgam_sha256 00d1207de8fd872d111e00a37b7dcc46729bf095baa6778de3bcc30b0bf46b05
-# generated_amalgam_bytes  1226805
-MISSING  __compiler__
+# generated_amalgam_sha256 562193a341876f8fa0618ae7a76d0ecc073bb4d1d21b128c48b4aee28e1ef0d9
+# generated_amalgam_bytes  1226240
 f8597e10546654bce3fbbe40461b2da59d0e06dbf1b038d1d362d24f949e3911  awareness.el
 2ff2dada732918c788a9ef66c6fd54c7a24cc4bbd4829197fe945d3a75ca1929  chat.el
 42288c212cbf72fb1e8ecbd4d9900e4e9ee1cfa475b7974295c7637f1bf2939f  elp-input.el
@@ -14,6 +13,6 @@ fba8ffdb9ba72bca5b09ca1c93a520edc52f3f4d8aec2c7585fe9b17e06420b2  manifest.el
 a6d69f3fc55233d9d3300160fd46a1551f2064bcd0fb84e2c9e432f636a72476  routes.el
 c28e36952ec56525963a0bdf29455ab097d3b0c5653d19c25fbb005e1069a1f7  safety.el
 fd3ab91d0ae0ea26639e21bef2f8f94054dc4b02eae68b19e3fe689d2769aad4  sessions.el
-5613b60d74d5d7768f46da5ac435a5dd99d38c27f0f7013c89fa27e98dc8a21c  soul.el
+0f1cf43904a98a5a646cce5a07e0e96162ced662692fbc13357d9b67d9a8ac3d  soul.el
 30337940905171a9645b0929f0a412ce6b3dccb1246495070c553bca0bbae6cd  stewardship.el
-95dab72be4ee1dd1d28bab63412964a72460126951764e3f74b1c2d49b6d7b35  studio.el
+e105dc5990e6adbf39db9dc0462cd8bcf6e6c3dfd03709059227ecfad2bbab29  studio.el
@@ -0,0 +1,8 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn init_soul_edges() -> Void
+extern fn ensure_self_canonical_bridge() -> Void
+extern fn aff_try_slot(slot_json: String, aff_7d_ts: Int, acc_key: String) -> Void
+extern fn load_identity_context() -> Void
+extern fn seed_persona_from_env() -> Void
+extern fn emit_session_start_event() -> Void
+extern fn layered_cycle(raw_input: String) -> String
@@ -0,0 +1,11 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn steward_log_event(kind: String, detail: String) -> Void
+extern fn steward_get_mission() -> String
+extern fn steward_align(input: String, imprint_id: String) -> String
+extern fn steward_validate_imprint(imprint_id: String, tool_name: String) -> String
+extern fn steward_cgi_check(action: String) -> String
+extern fn steward_fingerprint_session(input: String, session_id: String) -> String
+extern fn extract_dim(content: String, key: String) -> String
+extern fn steward_build_baseline() -> String
+extern fn steward_check_continuity(current_fingerprint: String, session_id: String) -> String
+extern fn steward_session_check(input: String, session_id: String) -> String
@@ -0,0 +1,12 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn auth_headers(tok: String) -> Map
+extern fn axon_get(path: String) -> String
+extern fn axon_post(path: String, body: String) -> String
+extern fn handle_conversations(method: String) -> String
+extern fn handle_config(method: String, body: String) -> String
+extern fn dharma_registry() -> String
+extern fn dharma_network_state() -> String
+extern fn handle_dharma(path: String, method: String, body: String) -> String
+extern fn handle_tool(path: String, method: String, body: String) -> String
+extern fn handle_nlg(path: String, method: String, body: String) -> String
+extern fn render_studio() -> String
@@ -0,0 +1,20 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn lex_word(entry: [String]) -> String
+extern fn lex_pos(entry: [String]) -> String
+extern fn lex_form(entry: [String], idx: Int) -> String
+extern fn lex_class(entry: [String]) -> String
+extern fn make_entry(word: String, pos: String, f0: String, f1: String, f2: String, f3: String, f4: String, cls: String) -> [String]
+extern fn make_entry2(word: String, pos: String, f0: String, f1: String, cls: String) -> [String]
+extern fn make_entry3(word: String, pos: String, f0: String, f1: String, f2: String, cls: String) -> [String]
+extern fn make_entry1(word: String, pos: String, f0: String, cls: String) -> [String]
+extern fn build_vocab() -> [[String]]
+extern fn get_vocab() -> [[String]]
+extern fn vocab_lookup(word: String, lang_code: String) -> [String]
+extern fn vocab_lookup_en(word: String) -> [String]
+extern fn vocab_synonym(word: String, lang_register: String, lang_code: String) -> String
+extern fn vocab_by_pos(pos: String) -> [[String]]
+extern fn vocab_by_class(cls: String) -> [[String]]
+extern fn entry_found(entry: [String]) -> Bool
+extern fn entry_word(entry: [String]) -> String
+extern fn entry_pos(entry: [String]) -> String
+extern fn entry_form(entry: [String], n: Int) -> String
@@ -0,0 +1,5 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn elp_extract_topic(msg: String) -> String
+extern fn elp_detect_predicate(msg: String) -> String
+extern fn elp_parse(msg: String) -> String
+extern fn handle_elp_chat(body: String) -> String
@@ -0,0 +1,7 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn imprint_current() -> String
+extern fn imprint_load(imprint_id: String) -> String
+extern fn imprint_respond(input: String, imprint_id: String) -> String
+extern fn imprint_surface_knowledge(query: String, imprint_id: String) -> String
+extern fn imprint_surface_memory_read(query: String) -> String
+extern fn imprint_unload() -> Void
@@ -77,427 +77,111 @@ fn tool(name: String, desc: String) -> String {
    return "{\"name\":\"" + name + "\",\"description\":\"" + desc + "\",\"inputSchema\":{\"type\":\"object\",\"properties\":{}}}"
 }

-// tool_s — tool entry with an EXPLICIT JSON-Schema for its inputs. Used for tools
-// whose arguments must actually bite: unless the bounding/targeting params are
-// advertised, the MCP client sends nothing and the soul returns the FULL
-// neighborhood (480-775KB, over transport limits). Declaring the schema is what
-// makes a targeted call (entity_id/depth/compact/query/limit) reach the soul.
-fn tool_s(name: String, desc: String, schema: String) -> String {
-    return "{\"name\":\"" + name + "\",\"description\":\"" + desc + "\",\"inputSchema\":" + schema + "}"
-}
-
-// prop — a single JSON-Schema property fragment. Descriptions are plain text
-// (no quotes/newlines) so no escaping is needed here.
-fn prop(name: String, ty: String, desc: String) -> String {
-    return "\"" + name + "\":{\"type\":\"" + ty + "\",\"description\":\"" + desc + "\"}"
-}
-
-// obj_schema — wrap a comma-joined list of prop() fragments as an object schema.
-fn obj_schema(props: String) -> String {
-    return "{\"type\":\"object\",\"properties\":{" + props + "}}"
-}
-
-// ── Per-tool input schemas ──────────────────────────────────────────────────
-// Each mirrors the params the soul's /api/neuron/* handler actually honors so
-// declared == forwarded == honored (no accepted-but-ignored args).
-
-fn schema_inspect_graph() -> String {
-    return obj_schema(
-        prop("entity_id", "string", "UUID of the node to inspect (e.g. kn-... / mem-... / gn-...). Optional if name is given.") +
-        "," + prop("name", "string", "Named traversal root instead of entity_id: self, neuron, values, values_hub.") +
-        "," + prop("entity_type", "string", "Optional node-type hint (knowledge, memory, ...) for disambiguation.") +
-        "," + prop("depth", "integer", "Neighborhood hop radius. Default 1.") +
-        "," + prop("compact", "integer", "1 (default) returns a relevance-ranked bounded projection (top-K neighbors with content snippets, the rest as lightweight pointers). Set 0 to get the full, unbounded neighborhood.") +
-        "," + prop("snip", "integer", "Max content chars per node in compact mode. Default 600.") +
-        "," + prop("k", "integer", "How many top neighbors carry full content in compact mode. Default 12.")
-    )
-}
-
-fn schema_traverse_graph() -> String {
-    return obj_schema(
-        prop("entity_id", "string", "UUID of the node to start the walk from (alias: start_id). Required.") +
-        "," + prop("depth", "integer", "How many hops to walk. Default 2.") +
-        "," + prop("compact", "integer", "1 (default) returns a bounded, relevance-ranked projection; 0 returns the full neighborhood.") +
-        "," + prop("snip", "integer", "Max content chars per node in compact mode. Default 600.") +
-        "," + prop("k", "integer", "How many top neighbors carry full content in compact mode. Default 12.")
-    )
-}
-
-fn schema_retrieve_knowledge() -> String {
-    return obj_schema(
-        prop("id", "string", "UUID of the knowledge node to fetch (alias: entity_id / node_id).") +
-        "," + prop("key", "string", "Stable knowledge key/path to fetch instead of id.") +
-        "," + prop("depth", "integer", "Hop radius around the node. Default 0 (the node plus its immediate 1-hop context).") +
-        "," + prop("snip", "integer", "Max content chars per node in the bounded projection. Default 600.") +
-        "," + prop("k", "integer", "How many top neighbors carry full content. Default 12.")
-    )
-}
-
-fn schema_search_query(limit_desc: String) -> String {
-    return obj_schema(
-        prop("query", "string", "Search text. Spread-activates the engram and returns the most relevant nodes.") +
-        "," + prop("limit", "integer", limit_desc)
-    )
-}
-
-fn schema_recall() -> String {
-    return obj_schema(
-        prop("query", "string", "Search text to recall by relevance.") +
-        "," + prop("chain_name", "string", "Named memory chain to walk instead of a free-text query.") +
-        "," + prop("limit", "integer", "Max results. Default 10.")
-    )
-}
-
-// ── Reusable write/lookup schemas ───────────────────────────────────────────
-// Each declares exactly the params the corresponding wrapper handler reads and
-// forwards to the soul, so declared == forwarded == honored (no accepted-but-
-// ignored args, and no arg the handler silently drops).
-
-fn sc_id(desc: String) -> String {
-    return obj_schema(prop("id", "string", desc))
-}
-
-fn sc_id_content() -> String {
-    return obj_schema(
-        prop("id", "string", "UUID of the prior node being superseded/updated.") +
-        "," + prop("content", "string", "New content for the updated node.")
-    )
-}
-
-fn sc_edge(rel_desc: String) -> String {
-    return obj_schema(
-        prop("from_id", "string", "UUID of the source node (edge tail). Required.") +
-        "," + prop("to_id", "string", "UUID of the target node (edge head). Required.") +
-        "," + prop("relation", "string", rel_desc)
-    )
-}
-
-fn sc_limit(desc: String) -> String {
-    return obj_schema(prop("limit", "integer", desc))
-}
-
-fn sc_memory() -> String {
-    return obj_schema(
-        prop("content", "string", "The memory text. Required.") +
-        "," + prop("importance", "string", "low | normal | high | critical. Drives salience.") +
-        "," + prop("tags", "string", "Comma-separated or JSON-array tags.") +
-        "," + prop("project", "string", "Project this memory belongs to.") +
-        "," + prop("supersedes_id", "string", "UUID of a prior memory this one replaces (wires a supersedes edge).")
-    )
-}
-
-fn sc_content_title(content_desc: String) -> String {
-    return obj_schema(
-        prop("content", "string", content_desc) +
-        "," + prop("title", "string", "Short title/label for the node.")
-    )
-}
-
-fn sc_content(content_desc: String) -> String {
-    return obj_schema(
-        prop("content", "string", content_desc) +
-        "," + prop("title", "string", "Optional short title/label.") +
-        "," + prop("description", "string", "Optional longer description (used as content if content is empty).")
-    )
-}
-
-fn sc_backlog() -> String {
-    return obj_schema(
-        prop("title", "string", "Work-item title. Required.") +
-        "," + prop("content", "string", "Body/details of the item (alias: description).") +
-        "," + prop("description", "string", "Body/details of the item.") +
-        "," + prop("project", "string", "Project tag.") +
-        "," + prop("priority", "string", "P0 | P1 | P2 | P3.")
-    )
-}
-
-fn sc_track_work() -> String {
-    return obj_schema(
-        prop("item_id", "string", "UUID of the backlog item to update.") +
-        "," + prop("summary", "string", "What changed / outcome (stored as the update content).") +
-        "," + prop("action", "string", "start | complete | block.")
-    )
-}
-
-fn sc_capture_knowledge() -> String {
-    return obj_schema(
-        prop("content", "string", "Knowledge body. Required.") +
-        "," + prop("title", "string", "Knowledge title/key.")
-    )
-}
-
-fn sc_promote_knowledge() -> String {
-    return obj_schema(
-        prop("id", "string", "UUID of the prior knowledge node to promote. Required.") +
-        "," + prop("content", "string", "Updated canonical content. Required.") +
-        "," + prop("tags", "string", "Tags for the promoted node.")
-    )
-}
-
-fn sc_config_key() -> String {
-    return obj_schema(prop("key", "string", "Config key to read (e.g. neuron.self.traversal_root)."))
-}
-
-fn sc_config_tune() -> String {
-    return obj_schema(
-        prop("key", "string", "Config key to set. Required.") +
-        "," + prop("value", "string", "Value to set. Required.")
-    )
-}
-
-fn sc_consolidate() -> String {
-    return obj_schema(
-        prop("action", "string", "Consolidation action (e.g. session, reload).") +
-        "," + prop("summary", "string", "Session/work summary to persist.")
-    )
-}
-
-fn sc_browse_processes() -> String {
-    return obj_schema(prop("name", "string", "Process name to fetch; omit to list all."))
-}
-
-fn sc_notification() -> String {
-    return obj_schema(prop("content", "string", "Notification text. Required."))
-}
-
-fn sc_pin() -> String {
-    return obj_schema(prop("id", "string", "UUID of the node to strengthen/pin (alias: node_id)."))
-}
-
-fn sc_state_event() -> String {
-    return obj_schema(
-        prop("content", "string", "Description of the internal-state event.") +
-        "," + prop("kind", "string", "Event kind (frustration, uncertainty, insight, ...).") +
-        "," + prop("intensity", "string", "Optional intensity 0..1.")
-    )
-}
-
-fn sc_forget() -> String {
-    return obj_schema(
-        prop("node_id", "string", "UUID of the node to tombstone. Required. The node and its edges are kept and recoverable; blocked for protected identity nodes.")
-    )
-}
-
-fn sc_process() -> String {
-    return obj_schema(
-        prop("name", "string", "Process name. Required.") +
-        "," + prop("description", "string", "What the process does.") +
-        "," + prop("steps", "string", "Ordered steps (JSON array or text).")
-    )
-}
-
-fn sc_list_state_events() -> String {
-    return obj_schema(
-        prop("limit", "integer", "Max events. Default 20.") +
-        "," + prop("query", "string", "Optional filter text.")
-    )
-}
-
-// ── Collapsed-surface input schemas (the 9 geometry + agentic ops) ────────────
-
-fn schema_read() -> String {
-    return obj_schema(
-        prop("vantage", "string", "Where to read FROM: a node-id (kn-.../mem-.../gn-...), a named root (self | neuron | values), or a concept string to search. Required.") +
-        "," + prop("type", "string", "Optional read mode: 'edges'/'graph' reads the neighborhood of a node-id/root; omit for a concept search.") +
-        "," + prop("k", "integer", "APERTURE width — max items / top-K neighbors returned. Bounds output (the whole-self-dump fix). Default 12.") +
-        "," + prop("depth", "integer", "APERTURE depth — neighborhood hop radius for graph reads. Default 1.")
-    )
-}
-
-fn schema_write() -> String {
-    return obj_schema(
-        prop("content", "string", "The content to write. Required.") +
-        "," + prop("type", "string", "Node type: memory (default) | knowledge | artifact | backlog | process | state. 'self'/'values' are refused — identity is write-protected.") +
-        "," + prop("tags", "string", "Optional tags (comma-separated or JSON array).") +
-        "," + prop("importance", "string", "Optional: low | normal | high | critical.") +
-        "," + prop("title", "string", "Optional title/label (knowledge / artifact / backlog).") +
-        "," + prop("project", "string", "Optional project tag.")
-    )
-}
-
-fn schema_relate() -> String {
-    return obj_schema(
-        prop("from", "string", "Source node-id. Required.") +
-        "," + prop("to", "string", "Target node-id. Required.") +
-        "," + prop("relationship", "string", "Edge relation. Default 'associates'.")
-    )
-}
-
-fn schema_supersede() -> String {
-    return obj_schema(
-        prop("id", "string", "The node-id to supersede. Required.") +
-        "," + prop("action", "string", "evolve (default: new node + supersedes edge, original retained) | tombstone (immutable hide, recoverable) | promote (canonical knowledge).") +
-        "," + prop("content", "string", "New content (required for evolve/promote).") +
-        "," + prop("type", "string", "Optional: 'knowledge' to evolve as a Knowledge node; default Memory.")
-    )
-}
-
-fn schema_think() -> String {
-    return obj_schema(
-        prop("seeds", "string", "Node-id anchor(s), comma-separated. Required.") +
-        "," + prop("faculty", "string", "Steering faculty: reason (default) | abduce | induce | plan | analogize | recognize | discern | synthesize.")
-    )
-}
-
-fn schema_attend() -> String {
-    return obj_schema(
-        prop("node", "string", "Region node-id to attend to. Required.") +
-        "," + prop("observer", "string", "Optional observer id / vantage.") +
-        "," + prop("salience", "string", "Optional salience weighting.")
-    )
-}
-
-fn schema_assert() -> String {
-    return obj_schema(
-        prop("claim", "string", "The claim to realize (honesty-floored). Required.") +
-        "," + prop("for_whom", "string", "Optional audience / vantage.") +
-        "," + prop("floor", "string", "Optional honesty-floor threshold.")
-    )
-}
-
-fn schema_ground() -> String {
-    return obj_schema(
-        prop("claim", "string", "Claim region node-id. Required.") +
-        "," + prop("evidence", "string", "Evidence region node-id. Required.") +
-        "," + prop("for_whom", "string", "Optional audience / vantage.")
-    )
-}
-
-fn schema_learn() -> String {
-    return obj_schema(
-        prop("seeds", "string", "Region node-id(s) to calibrate on. Required.") +
-        "," + prop("faculty", "string", "Faculty for the correspondence-beat. Default 'induce'.") +
-        "," + prop("keystone", "string", "Optional keystone anchor.")
-    )
-}
-
-// tools_catalog — THE COLLAPSED SURFACE. 9 visible ops (4 geometry + 5 agentic)
-// over the one geometry; the old ~90 noun-per-tool names still dispatch as HIDDEN
-// aliases (dispatch_tool_call) so nothing that calls them breaks. Design source:
-// engram/tools/api-reshape/README.md (artifact 0e828907, design-brief 2b8078cf §5).
 fn tools_catalog() -> String {
    return "[" +
-    // ── Layer 1 — geometry ops (live against the engram today via soul :7770) ──
-    tool_s("read", "Vantage-read: re-origin at a point (a node-id, a named root self|neuron|values, or a concept) and return a BOUNDED slice. The aperture (k/depth) caps output — this is the whole-self-dump fix. Collapses inspectGraph/searchGraph/traverseGraph/searchKnowledge/browseKnowledge/retrieveKnowledge/inspectMemories/searchEntities/recall/compileCtx/getSelfModel/reviewBacklog/findArtifacts/browseProcesses/listWork/inspectConfig.", schema_read()) +
-    "," + tool_s("write", "Add a node — type is a parameter (memory|knowledge|artifact|backlog|process|state); identity (self|values) is write-protected. Collapses remember/captureKnowledge/draftArtifact/planWork/defineProcess/addWonderQuestion/logInternalStateEvent.", schema_write()) +
-    "," + tool_s("relate", "Create a typed edge between two node-ids. Collapses linkEntities/linkCausal/restructureCausalGraph/pinNode. Identity keystones are write-protected.", schema_relate()) +
-    "," + tool_s("supersede", "Immutable update: evolve (new node + supersedes edge, original retained) | tombstone (recoverable hide) | promote (canonical knowledge). Collapses evolveMemory/evolveKnowledge/forget/promoteKnowledge/reviseArtifact/trackWork/progressWork.", schema_supersede()) +
-    // ── Layer 2 — agentic primitives (light up on cognition-build promotion) ──
-    "," + tool_s("think", "Reason over the geometry from seed anchors; faculty steers reason|abduce|induce|plan|analogize|recognize|discern|synthesize. Pending cognition-build promotion on the live engram.", schema_think()) +
-    "," + tool_s("attend", "Aim attention at a region node. Pending cognition-build promotion.", schema_attend()) +
-    "," + tool_s("assert", "Realize a claim, honesty-floored. Pending cognition-build promotion.", schema_assert()) +
-    "," + tool_s("ground", "Ground a claim against evidence regions. Pending cognition-build promotion.", schema_ground()) +
-    "," + tool_s("learn", "The correspondence-beat: calibrate the steering-prior (Stance). Pending cognition-build promotion.", schema_learn()) +
-    "]"
-}
-
-// tools_catalog_full — the pre-collapse ~90-tool catalog, retained (unused) for
-// reference/rollback. The 9-op tools_catalog above is what tools/list returns.
-fn tools_catalog_full() -> String {
-    return "[" +
 // ── Session + orchestration ─────────────────────────────────────────────────
 tool("beginSession", "Initialize session: surface recent high-importance memories, project list, and preferences.") +
 "," + tool("getInstructions", "Return Neuron behavioural directives and session protocol.") +
 "," + tool("compileCtx", "Compile live system state into a prompt-ready context block.") +
-"," + tool_s("compileStep", "Run one orchestration step (orchestrate / execute / learn / build / refine).", sc_memory()) +
-"," + tool_s("consolidate", "Wrap up: persist graph snapshot and summarise the session.", sc_consolidate()) +
-"," + tool_s("projectContext", "Return all entities tagged with the given project.", schema_search_query("Max results. Default 50.")) +
+"," + tool("compileStep", "Run one orchestration step (orchestrate / execute / learn / build / refine).") +
+"," + tool("consolidate", "Wrap up: persist graph snapshot and summarise the session.") +
+"," + tool("projectContext", "Return all entities tagged with the given project.") +
 // ── Memory ──────────────────────────────────────────────────────────────────
-"," + tool_s("remember", "Store a memory node with content, importance, and tags.", sc_memory()) +
-"," + tool_s("recall", "Retrieve memories by chain or query.", schema_recall()) +
-"," + tool_s("inspectMemories", "List recent memory nodes.", sc_limit("Max memories. Default 50.")) +
-"," + tool_s("evolveMemory", "Update an existing memory node, optionally superseding another.", sc_id_content()) +
-"," + tool_s("forget", "Tombstone a specific node by id (keeps it and its edges, recoverable); does not hard-delete.", sc_forget()) +
-"," + tool_s("pinNode", "Strengthen a node so it stays salient.", sc_pin()) +
+"," + tool("remember", "Store a memory node with content, importance, and tags.") +
+"," + tool("recall", "Retrieve memories by chain or query.") +
+"," + tool("inspectMemories", "List recent memory nodes.") +
+"," + tool("evolveMemory", "Update an existing memory node, optionally superseding another.") +
+"," + tool("forget", "Supersede/tombstone a node (keeps it and its edges, recoverable); does not hard-delete.") +
+"," + tool("pinNode", "Strengthen a node so it stays salient.") +
 // ── Knowledge ───────────────────────────────────────────────────────────────
-"," + tool_s("searchKnowledge", "Search knowledge base by semantic similarity.", schema_search_query("Max results. Default 10.")) +
-"," + tool_s("retrieveKnowledge", "Fetch a knowledge node by id or key (bounded, relevance-ranked projection).", schema_retrieve_knowledge()) +
-"," + tool_s("browseKnowledge", "List knowledge nodes by category.", sc_limit("Max knowledge nodes. Default 100.")) +
-"," + tool_s("captureKnowledge", "Persist a durable knowledge node.", sc_capture_knowledge()) +
-"," + tool_s("evolveKnowledge", "Update a knowledge node.", sc_id_content()) +
-"," + tool_s("promoteKnowledge", "Atomically promote a knowledge node: create updated canonical version and wire supersedes edge to predecessor in one call.", sc_promote_knowledge()) +
-"," + tool_s("removeKnowledge", "Delete a knowledge node.", sc_id("UUID of the knowledge node to delete.")) +
+"," + tool("searchKnowledge", "Search knowledge base by semantic similarity.") +
+"," + tool("retrieveKnowledge", "Fetch a knowledge node by id or key.") +
+"," + tool("browseKnowledge", "List knowledge nodes by category.") +
+"," + tool("captureKnowledge", "Persist a durable knowledge node.") +
+"," + tool("evolveKnowledge", "Update a knowledge node.") +
+"," + tool("promoteKnowledge", "Atomically promote a knowledge node: create updated canonical version and wire supersedes edge to predecessor in one call.") +
+"," + tool("removeKnowledge", "Delete a knowledge node.") +
 // ── Entities + graph ────────────────────────────────────────────────────────
-"," + tool_s("searchEntities", "Find entities (memories, knowledge, work items) by query.", schema_search_query("Max results. Default 20.")) +
-"," + tool_s("inspectGraph", "Read-only graph inspection - returns a bounded, relevance-ranked neighborhood of an entity. Accepts entity_id (UUID) or name (self, neuron, values). Use depth/compact/snip/k to bound the result.", schema_inspect_graph()) +
-"," + tool_s("traverseGraph", "Walk the graph from a starting node (bounded by default).", schema_traverse_graph()) +
-"," + tool_s("searchGraph", "Search graph nodes by content.", schema_search_query("Max results. Default 30.")) +
-"," + tool_s("linkEntities", "Create an edge between two entities.", sc_edge("Edge relation. Default associates.")) +
-"," + tool_s("linkCausal", "Create a causal edge (cause -> effect).", sc_edge("Edge relation. Default causes.")) +
-"," + tool_s("restructureCausalGraph", "Re-balance the causal subgraph after new evidence.", sc_consolidate()) +
+"," + tool("searchEntities", "Find entities (memories, knowledge, work items) by query.") +
+"," + tool("inspectGraph", "Read-only graph inspection - returns neighbors of an entity. Accepts entity_id (UUID) or name (self, neuron, values).") +
+"," + tool("traverseGraph", "Walk the graph from a starting node.") +
+"," + tool("searchGraph", "Search graph nodes by content + relation filter.") +
+"," + tool("linkEntities", "Create an edge between two entities.") +
+"," + tool("linkCausal", "Create a causal edge (cause -> effect).") +
+"," + tool("restructureCausalGraph", "Re-balance the causal subgraph after new evidence.") +
 "," + tool("rebuildGraph", "Rebuild graph indices from the on-disk snapshot.") +
-"," + tool("runStructuralAudit", "Audit graph structure for orphans, dangling edges, mislabeled types.") +
+"," + tool("runStructuralAudit", "Stage 1 structural audit: owner-vs-runtime divergence, orphans and dangling edges, typed-edge distribution, self-model connectivity. Returns an annotated characterization, not a score.") +
 // ── Backlog + work ──────────────────────────────────────────────────────────
-"," + tool_s("planWork", "Create a backlog item.", sc_backlog()) +
-"," + tool_s("reviewBacklog", "Browse work items.", sc_limit("Max items. Default 50.")) +
-"," + tool_s("trackWork", "Update status of a backlog item.", sc_track_work()) +
-"," + tool_s("listWork", "List active execution contexts.", sc_limit("Max contexts. Default 50.")) +
-"," + tool_s("beginWork", "Open an execution context for a multi-step task.", sc_content("What you're doing (description of the work).")) +
-"," + tool_s("progressWork", "Record progress on an execution context.", sc_content("Step name / progress note.")) +
-"," + tool_s("checkWork", "Verify outcomes / blockers on an execution context.", sc_id("UUID of the execution context (alias: context_id).")) +
+"," + tool("planWork", "Create a backlog item.") +
+"," + tool("reviewBacklog", "Browse work items.") +
+"," + tool("trackWork", "Update status of a backlog item.") +
+"," + tool("listWork", "List active execution contexts.") +
+"," + tool("beginWork", "Open an execution context for a multi-step task.") +
+"," + tool("progressWork", "Record progress on an execution context.") +
+"," + tool("checkWork", "Verify outcomes / blockers on an execution context.") +
 // ── Artifacts ───────────────────────────────────────────────────────────────
-"," + tool_s("draftArtifact", "Create a versioned artifact (plan, spec, report).", sc_content_title("Artifact body / markdown. Required.")) +
-"," + tool_s("findArtifacts", "Find artifacts by project or query.", schema_search_query("Max results. Default 20.")) +
-"," + tool_s("retrieveArtifact", "Fetch a specific artifact by id.", sc_id("UUID of the artifact.")) +
-"," + tool_s("reviseArtifact", "Update an artifact's content.", sc_id_content()) +
-"," + tool_s("manageArtifact", "Change artifact status (draft / review / approved / archived).", sc_id_content()) +
+"," + tool("draftArtifact", "Create a versioned artifact (plan, spec, report).") +
+"," + tool("findArtifacts", "Find artifacts by project or query.") +
+"," + tool("retrieveArtifact", "Fetch a specific artifact by id.") +
+"," + tool("reviseArtifact", "Update an artifact's content.") +
+"," + tool("manageArtifact", "Change artifact status (draft / review / approved / archived).") +
 // ── Processes ───────────────────────────────────────────────────────────────
-"," + tool_s("defineProcess", "Register a proven workflow as a process.", sc_process()) +
-"," + tool_s("listProcesses", "List registered processes.", sc_limit("Max processes. Default 50.")) +
-"," + tool_s("browseProcesses", "Browse processes by name or step.", sc_browse_processes()) +
-"," + tool_s("retrieveProcess", "Fetch a specific process by name.", sc_id("Process id or name.")) +
-"," + tool_s("executeProcess", "Mark a process as executed (records the application).", sc_content("Process execution note.")) +
-"," + tool_s("exportProcess", "Export a process definition.", sc_id("Process id or name.")) +
-"," + tool_s("deleteProcess", "Remove a process.", sc_id("Process id or name.")) +
+"," + tool("defineProcess", "Register a proven workflow as a process.") +
+"," + tool("listProcesses", "List registered processes.") +
+"," + tool("browseProcesses", "Browse processes by name or step.") +
+"," + tool("retrieveProcess", "Fetch a specific process by name.") +
+"," + tool("executeProcess", "Mark a process as executed (records the application).") +
+"," + tool("exportProcess", "Export a process definition.") +
+"," + tool("deleteProcess", "Remove a process.") +
 // ── Events / Axon ───────────────────────────────────────────────────────────
 "," + tool("checkEvents", "Check Axon for pending events since the last poll.") +
-"," + tool_s("inspectEvent", "Fetch full detail for a single event.", sc_id("Event id.")) +
-"," + tool_s("acknowledgeEvent", "Mark an event as handled.", sc_id("Event id.")) +
+"," + tool("inspectEvent", "Fetch full detail for a single event.") +
+"," + tool("acknowledgeEvent", "Mark an event as handled.") +
 "," + tool("processEvents", "Drain and act on the event queue.") +
-"," + tool_s("sendNotification", "Emit a notification to Axon / external sinks.", sc_notification()) +
+"," + tool("sendNotification", "Emit a notification to Axon / external sinks.") +
 // ── Config ──────────────────────────────────────────────────────────────────
-"," + tool_s("inspectConfig", "Inspect Neuron config keys.", sc_config_key()) +
-"," + tool_s("tuneConfig", "Set a Neuron config key.", sc_config_tune()) +
+"," + tool("inspectConfig", "Inspect Neuron config keys.") +
+"," + tool("tuneConfig", "Set a Neuron config key.") +
 // ── Imprints ────────────────────────────────────────────────────────────────
-"," + tool_s("createImprint", "Cultivate a new imprint.", sc_content_title("Imprint seed / description.")) +
-"," + tool_s("listImprints", "List imprints.", sc_limit("Max imprints. Default 50.")) +
-"," + tool_s("retrieveImprint", "Fetch an imprint by id.", sc_id("UUID of the imprint.")) +
-"," + tool_s("evolveImprint", "Update an imprint.", sc_id_content()) +
-"," + tool_s("deleteImprint", "Remove an imprint.", sc_id("UUID of the imprint.")) +
+"," + tool("createImprint", "Cultivate a new imprint.") +
+"," + tool("listImprints", "List imprints.") +
+"," + tool("retrieveImprint", "Fetch an imprint by id.") +
+"," + tool("evolveImprint", "Update an imprint.") +
+"," + tool("deleteImprint", "Remove an imprint.") +
 // ── Self / cultivation ──────────────────────────────────────────────────────
 "," + tool("getSelfModel", "Return the current self-model.") +
-"," + tool_s("updateSelfModel", "Update the self-model.", sc_content("Self-model update text.")) +
+"," + tool("updateSelfModel", "Update the self-model.") +
 "," + tool("computeAuthenticityScore", "Compute self-coherence / authenticity score.") +
 "," + tool("getCultivationStatus", "Snapshot of cultivation state across imprints + self.") +
 // ── Probing / wonder / internal state ──────────────────────────────────────
-"," + tool_s("getProbeTemplates", "List available probe templates.", schema_search_query("Max templates. Default 50.")) +
-"," + tool_s("recordProbeResponse", "Record an answer to a probe.", sc_content("Probe response text.")) +
-"," + tool_s("completeProbingStage", "Mark a probing stage complete.", sc_content("Stage completion note.")) +
-"," + tool_s("addWonderQuestion", "Push a question onto the wonder queue.", sc_content("The wonder question.")) +
-"," + tool_s("getWonderManifest", "List active wonder questions.", sc_limit("Max questions. Default 50.")) +
-"," + tool_s("updateWonderPullWeight", "Re-weight a wonder question.", sc_id_content()) +
-"," + tool_s("dischargeWonder", "Resolve / discharge a wonder question.", sc_id("UUID of the wonder question.")) +
-"," + tool_s("logInternalStateEvent", "Log an internal-state event (frustration, uncertainty, etc.).", sc_state_event()) +
-"," + tool_s("listInternalStateEvents", "List internal-state events.", sc_list_state_events()) +
-"," + tool_s("getInternalStateEvent", "Fetch one internal-state event.", sc_id("Internal-state event id.")) +
+"," + tool("getProbeTemplates", "List available probe templates.") +
+"," + tool("recordProbeResponse", "Record an answer to a probe.") +
+"," + tool("completeProbingStage", "Mark a probing stage complete.") +
+"," + tool("addWonderQuestion", "Push a question onto the wonder queue.") +
+"," + tool("getWonderManifest", "List active wonder questions.") +
+"," + tool("updateWonderPullWeight", "Re-weight a wonder question.") +
+"," + tool("dischargeWonder", "Resolve / discharge a wonder question.") +
+"," + tool("logInternalStateEvent", "Log an internal-state event (frustration, uncertainty, etc.).") +
+"," + tool("listInternalStateEvents", "List internal-state events.") +
+"," + tool("getInternalStateEvent", "Fetch one internal-state event.") +
 // ── Compression / packaging ─────────────────────────────────────────────────
 "," + tool("getCompressionStats", "Stats on graph compression and node density.") +
-"," + tool_s("decompilePackage", "Decompile a knowledge package.", sc_id("Package id.")) +
-"," + tool_s("renderPackage", "Render a knowledge package to text.", sc_id("Package id.")) +
-"," + tool_s("catalogRoutes", "List registered routes.", sc_limit("Max routes. Default 50.")) +
-"," + tool_s("registerRoute", "Register a new route.", sc_content("Route definition / description.")) +
+"," + tool("decompilePackage", "Decompile a knowledge package.") +
+"," + tool("renderPackage", "Render a knowledge package to text.") +
+"," + tool("catalogRoutes", "List registered routes.") +
+"," + tool("registerRoute", "Register a new route.") +
 // ── Evaluation ──────────────────────────────────────────────────────────────
-"," + tool_s("beginEvaluation", "Start an evaluation run.", sc_content_title("Evaluation description.")) +
-"," + tool_s("getEvaluation", "Fetch an evaluation by id.", sc_id("Evaluation id.")) +
-"," + tool_s("listEvaluations", "List evaluations.", sc_limit("Max evaluations. Default 50.")) +
+"," + tool("beginEvaluation", "Start an evaluation run.") +
+"," + tool("getEvaluation", "Fetch an evaluation by id.") +
+"," + tool("listEvaluations", "List evaluations.") +
 // ── Capture authorisation ──────────────────────────────────────────────────
-"," + tool_s("authorizeCapture", "Authorise a memory/knowledge capture event.", sc_content("Capture authorisation details.")) +
-"," + tool_s("getCaptureAuthorization", "Fetch a capture authorisation.", sc_id("Capture authorisation id.")) +
-"," + tool_s("recordObservation", "Record an observation.", sc_content("Observation text.")) +
-"," + tool_s("recordIndependentApplication", "Record an independent application of a pattern.", sc_content("What was independently applied.")) +
-"," + tool_s("commitPrediction", "Commit a falsifiable prediction.", sc_content("The prediction (falsifiable).")) +
+"," + tool("authorizeCapture", "Authorise a memory/knowledge capture event.") +
+"," + tool("getCaptureAuthorization", "Fetch a capture authorisation.") +
+"," + tool("recordObservation", "Record an observation.") +
+"," + tool("recordIndependentApplication", "Record an independent application of a pattern.") +
+"," + tool("commitPrediction", "Commit a falsifiable prediction.") +
 // ── Human guidance ──────────────────────────────────────────────────────────
-"," + tool_s("submitHumanGuidanceReview", "Submit a human-guidance review.", sc_content("Review content.")) +
+"," + tool("submitHumanGuidanceReview", "Submit a human-guidance review.") +
 "]"
 }

@@ -517,10 +201,6 @@ fn fire_activation(seed: String) -> String {
 // pick_activation_seed — extract the best semantic seed from a tool call's args.
 // Priority: query > content > title > description > summary > action > name.
 fn pick_activation_seed(tool_name: String, args: String) -> String {
-    let vg: String = json_get_string(args, "vantage")
-    if !str_eq(vg, "") { return vg }
-    let sd: String = json_get_string(args, "seeds")
-    if !str_eq(sd, "") { return sd }
    let q: String = json_get_string(args, "query")
    if !str_eq(q, "") { return q }
    let c: String = json_get_string(args, "content")
@@ -617,42 +297,12 @@ fn search_with_query(args: String, default_limit: Int) -> String {
    return mcp_json_result(resp)
 }

-// compact_flag — resolve the compact bounding flag. Defaults to "1" (ON) so
-// neighborhoods stay bounded. Reads the RAW JSON token (not json_get_string) so
-// an integer 0, a boolean false, or a string "0"/"false" all opt out correctly —
-// json_get_string only sees string-typed values and would miss an integer 0,
-// silently forcing compact back on.
-fn compact_flag(args: String) -> String {
-    let craw: String = json_get_raw(args, "compact")
-    let off: Bool = str_eq(craw, "0") || str_eq(craw, "false")
-        || str_eq(craw, "\"0\"") || str_eq(craw, "\"false\"")
-    return if off { "0" } else { "1" }
-}
-
-// graph_bound_params — optional &snip=/&k= bounding knobs, forwarded only when the
-// caller supplied them (json_get_int returns 0 when absent, meaning "soul default").
-fn graph_bound_params(args: String) -> String {
-    let snip: Int = json_get_int(args, "snip")
-    let k: Int = json_get_int(args, "k")
-    let snip_p: String = if snip > 0 { "&snip=" + int_to_str(snip) } else { "" }
-    let k_p: String = if k > 0 { "&k=" + int_to_str(k) } else { "" }
-    return snip_p + k_p
-}
-
 fn fetch_by_id(args: String) -> String {
    let id: String = pick_id(args)
    if str_eq(id, "") {
        return mcp_text_result("error: id is required")
    }
-    // NB: the soul's engram_neighbors_json coerces depth<=0 to depth=1, so this
-    // "single node fetch" actually pulls the full 1-hop neighborhood. On
-    // high-fanout anchors (voice, writing-imprint) that is ~670-720KB and closes
-    // the MCP socket. compact=1 bounds it identically to inspectGraph.
-    // Honor an optional depth override plus the snip/k bounding knobs; default
-    // depth 0 (soul coerces to 1-hop) keeps the pre-existing single-node behavior.
-    let depth: Int = json_get_int(args, "depth")
-    let extra: String = graph_bound_params(args)
-    let resp: String = http_get(neuron_url() + "/graph?id=" + id + "&depth=" + int_to_str(depth) + "&compact=1" + extra)
+    let resp: String = http_get(neuron_url() + "/graph?id=" + id + "&depth=0")
    return mcp_json_result(resp)
 }

@@ -661,8 +311,25 @@ fn delete_by_id(args: String) -> String {
    if str_eq(id, "") {
        return mcp_text_result("error: id is required")
    }
-    // Soul does not yet expose a delete HTTP route; acknowledge the request
-    return mcp_json_result("{\"ok\":true,\"deleted\":\"" + id + "\",\"note\":\"soft-deleted\"}")
+    // BUG-18 (Receipt Contract rule 1): this handler used to FABRICATE
+    // {"ok":true,...,"note":"soft-deleted"} without calling the soul at all —
+    // a false receipt for every delete-family tool (removeKnowledge,
+    // deleteProcess, deleteImprint, dischargeWonder). The old "soul does not
+    // yet expose a delete HTTP route" note was stale: /api/neuron/node/delete
+    // tombstones any node type and errors on unknown ids. Route there and
+    // propagate the soul's real answer.
+    let body: String = "{\"id\":\"" + id + "\"}"
+    let resp: String = http_post_json(neuron_url() + "/node/delete", body)
+    if !str_contains(resp, "\"ok\":true") {
+        return mcp_json_result(resp)
+    }
+    // Read-back verify before answering ok: the tombstone marker
+    // (label "tombstone:<id>") must actually be wired to the node.
+    let check: String = http_get(neuron_url() + "/graph?id=" + id + "&depth=1")
+    if !str_contains(check, "tombstone:" + id) {
+        return mcp_json_result("{\"ok\":false,\"error\":\"delete_not_persisted\",\"id\":\"" + id + "\"}")
+    }
+    return mcp_json_result(resp)
 }

 // evolve_by_supersede: create an updated node and wire a supersedes edge.
@@ -848,51 +515,36 @@ fn tool_inspect_memories(args: String) -> String {
 fn tool_inspect_graph(args: String) -> String {
    let entity_id: String = json_get_string(args, "entity_id")
    let name: String = json_get_string(args, "name")
-    // Accept `depth` (documented/canonical) and fall back to legacy `max_depth`.
-    // Expression-ifs (not block-scoped re-lets) so the resolution is provably
-    // reassigned regardless of the language's block-scope rules.
-    let depth_raw: Int = json_get_int(args, "depth")
-    let depth_alt: Int = if depth_raw == 0 { json_get_int(args, "max_depth") } else { depth_raw }
-    let depth: Int = if depth_alt == 0 { 1 } else { depth_alt }
+    let depth: Int = json_get_int(args, "max_depth")
+    if depth == 0 { let depth = 1 }

-    // Resolve named traversal roots — stable hardcoded anchors.
-    let resolved_id: String = if !str_eq(entity_id, "") { entity_id } else {
+    let resolved_id: String = entity_id
+
+    // Resolve named traversal roots — stable hardcoded anchors
+    if str_eq(resolved_id, "") {
        if str_eq(name, "self") || str_eq(name, "neuron") {
-            "kn-efeb4a5b-5aff-4759-8a97-7233099be6ee"
-        } else {
-            if str_eq(name, "values") || str_eq(name, "values_hub") {
-                "kn-5b606390-a52d-4ca2-8e0e-eba141d13440"
-            } else { "" }
+            let resolved_id = "kn-efeb4a5b-5aff-4759-8a97-7233099be6ee"
+        }
+        if str_eq(name, "values") || str_eq(name, "values_hub") {
+            let resolved_id = "kn-5b606390-a52d-4ca2-8e0e-eba141d13440"
        }
    }

    if str_eq(resolved_id, "") {
        return mcp_text_result("error: entity_id or name is required. Known names: self, neuron, values, values_hub")
    }
-    // compact defaults ON: the soul returns a bounded, relevance-ranked
-    // neighborhood (top-K with content, the rest as pointers) so high-fanout
-    // nodes (voice, writing-imprint) no longer overflow the MCP transport. Pass
-    // compact=0/false to opt into the full neighborhood. snip/k bound it further.
-    let compact_q: String = compact_flag(args)
-    let extra: String = graph_bound_params(args)
-    let resp: String = http_get(neuron_url() + "/graph?id=" + resolved_id + "&depth=" + int_to_str(depth) + "&compact=" + compact_q + extra)
+    let resp: String = http_get(neuron_url() + "/graph?id=" + resolved_id + "&depth=" + int_to_str(depth))
    return mcp_json_result(resp)
 }

 fn tool_traverse_graph(args: String) -> String {
-    // Accept `entity_id` (canonical) with `start_id` as a legacy alias.
-    let eid: String = json_get_string(args, "entity_id")
-    let id: String = if !str_eq(eid, "") { eid } else { json_get_string(args, "start_id") }
-    let depth_raw: Int = json_get_int(args, "depth")
-    let depth: Int = if depth_raw == 0 { 2 } else { depth_raw }
+    let id: String = json_get_string(args, "start_id")
+    let depth: Int = json_get_int(args, "depth")
+    if depth == 0 { let depth = 2 }
    if str_eq(id, "") {
-        return mcp_text_result("error: entity_id (or start_id) is required")
+        return mcp_text_result("error: start_id is required")
    }
-    // compact defaults ON so a depth-2 walk from a high-fanout node stays within
-    // the transport limit. Pass compact=0/false for the full neighborhood.
-    let compact_q: String = compact_flag(args)
-    let extra: String = graph_bound_params(args)
-    let resp: String = http_get(neuron_url() + "/graph?id=" + id + "&depth=" + int_to_str(depth) + "&compact=" + compact_q + extra)
+    let resp: String = http_get(neuron_url() + "/graph?id=" + id + "&depth=" + int_to_str(depth))
    return mcp_json_result(resp)
 }

@@ -911,6 +563,18 @@ fn tool_forget(args: String) -> String {
    // Previously this returned a fake ok without deleting OR tombstoning anything.
    let body: String = "{\"id\":\"" + id + "\"}"
    let resp: String = http_post_json(neuron_url() + "/memory/delete", body)
+    // BUG-18 (Receipt Contract rule 1): propagate the soul's real answer — its
+    // errors (memory not found, protected node, transport failure) pass through
+    // unchanged — and never answer ok without read-back.
+    if !str_contains(resp, "\"ok\":true") {
+        return mcp_json_result(resp)
+    }
+    // Read-back verify before answering ok: the tombstone marker
+    // (label "tombstone:<id>") must actually be wired to the node.
+    let check: String = http_get(neuron_url() + "/graph?id=" + id + "&depth=1")
+    if !str_contains(check, "tombstone:" + id) {
+        return mcp_json_result("{\"ok\":false,\"error\":\"delete_not_persisted\",\"id\":\"" + id + "\"}")
+    }
    return mcp_json_result(resp)
 }

@@ -942,216 +606,6 @@ fn tool_inspect_config(args: String) -> String {
    return mcp_json_result(resp)
 }

-// ── Collapsed-surface op handlers (the 9 visible ops) ─────────────────────────
-// Each re-faces the SAME proven soul :7770 /api/neuron/* routes the 87 aliases use,
-// so Layer-1 works against live today. Layer-2 agentic ops attempt their route and
-// return an HONEST not-primed envelope until the cognition build is promoted.
-
-// Identity keystones — write-protected (self root + values hub).
-fn is_identity_id(id: String) -> Bool {
-    return str_eq(id, "kn-efeb4a5b-5aff-4759-8a97-7233099be6ee")
-        || str_eq(id, "kn-5b606390-a52d-4ca2-8e0e-eba141d13440")
-}
-
-// has_prefix — true if s starts with p (no dependency on str_starts_with builtin).
-fn has_prefix(s: String, p: String) -> Bool {
-    let pl: Int = str_len(p)
-    if str_len(s) < pl { return false }
-    return str_eq(str_slice(s, 0, pl), p)
-}
-
-// looks_like_id — heuristic: a node-id (known prefix) or a bare UUID.
-fn looks_like_id(v: String) -> Bool {
-    if has_prefix(v, "kn-") { return true }
-    if has_prefix(v, "mem-") { return true }
-    if has_prefix(v, "mn-") { return true }
-    if has_prefix(v, "gn-") { return true }
-    if has_prefix(v, "bl-") { return true }
-    if has_prefix(v, "art-") { return true }
-    if has_prefix(v, "ctx-") { return true }
-    if has_prefix(v, "nt-") { return true }
-    if str_len(v) >= 32 && str_index_of(v, "-") > 0 && str_index_of(v, " ") < 0 { return true }
-    return false
-}
-
-fn is_named_root(v: String) -> Bool {
-    return str_eq(v, "self") || str_eq(v, "neuron") || str_eq(v, "values") || str_eq(v, "values_hub")
-}
-
-fn resolve_vantage_id(v: String) -> String {
-    if str_eq(v, "self") || str_eq(v, "neuron") { return "kn-efeb4a5b-5aff-4759-8a97-7233099be6ee" }
-    if str_eq(v, "values") || str_eq(v, "values_hub") { return "kn-5b606390-a52d-4ca2-8e0e-eba141d13440" }
-    return v
-}
-
-// aperture_k / aperture_depth — read the bound from top-level k/depth, else from a
-// nested aperture:{k,depth} object, else the safe default.
-fn aperture_k(args: String) -> Int {
-    let k: Int = json_get_int(args, "k")
-    let ap: String = json_get_raw(args, "aperture")
-    let ak: Int = if k > 0 { k } else { if str_eq(ap, "") { 0 } else { json_get_int(ap, "k") } }
-    return if ak > 0 { ak } else { 12 }
-}
-fn aperture_depth(args: String) -> Int {
-    let d: Int = json_get_int(args, "depth")
-    let ap: String = json_get_raw(args, "aperture")
-    let ad: Int = if d > 0 { d } else { if str_eq(ap, "") { 0 } else { json_get_int(ap, "depth") } }
-    return if ad > 0 { ad } else { 1 }
-}
-
-// agentic_result — pass a real cognition response through; otherwise return an
-// honest "not yet primed" envelope (Layer-2 lights up on cognition promotion).
-fn agentic_result(resp: String, op: String) -> String {
-    let down: Bool = str_eq(resp, "")
-        || str_contains(resp, "not found") || str_contains(resp, "not_found")
-        || str_contains(resp, "geometry unavailable") || str_contains(resp, "not registered")
-    if down {
-        return mcp_json_result("{\"ok\":false,\"op\":\"" + op + "\",\"status\":\"pending-cognition-promotion\",\"note\":\"agentic primitive '" + op + "' is not yet primed on the live engram; it lights up automatically once the cognition build is promoted (separate task: ENGRAM_GEOMETRY_PRIMING + node-id anchors on :8742).\"}")
-    }
-    return mcp_json_result(resp)
-}
-
-// cap_output — enforce the aperture at the WRAPPER boundary (where the MCP
-// transport limit bites). The live soul's /graph does not yet honor compact/k
-// (pending the api-bounding deploy), and the self/values hubs are pathological
-// (~790KB). A k-scaled char cap guarantees the client never gets a whole-graph
-// dump; the marker is honest about the truncation.
-fn cap_output(resp: String, max_chars: Int) -> String {
-    if str_len(resp) <= max_chars { return resp }
-    return str_slice(resp, 0, max_chars) + " ...[aperture-truncated: narrow the vantage or lower k]"
-}
-
-// ── Layer 1 — geometry ops ────────────────────────────────────────────────────
-
-fn op_read(args: String) -> String {
-    let vantage: String = json_get_string(args, "vantage")
-    if str_eq(vantage, "") {
-        return mcp_text_result("error: read requires 'vantage' — a node-id, a named root (self|neuron|values), or a concept string to search")
-    }
-    let typ: String = json_get_string(args, "type")
-    let k: Int = aperture_k(args)
-    let depth: Int = aperture_depth(args)
-    // node-id / named-root / explicit graph read → BOUNDED neighborhood (aperture caps output)
-    let want_graph: Bool = str_eq(typ, "edges") || str_eq(typ, "graph") || str_eq(typ, "node")
-        || is_named_root(vantage) || looks_like_id(vantage)
-    if want_graph {
-        let id: String = resolve_vantage_id(vantage)
-        let resp: String = http_get(neuron_url() + "/graph?id=" + id + "&depth=" + int_to_str(depth) + "&compact=1&snip=600&k=" + int_to_str(k))
-        // Aperture cap at the wrapper boundary: base + per-neighbor budget.
-        let cap: Int = 2000 + k * 3000
-        return mcp_json_result(cap_output(resp, cap))
-    }
-    // concept vantage → BOUNDED recall search (k = aperture = limit)
-    let resp: String = recall_or_list(vantage, k)
-    return mcp_json_result(resp)
-}
-
-fn op_write(args: String) -> String {
-    let content: String = pick_content(args)
-    if str_eq(content, "") { return mcp_text_result("error: write requires 'content'") }
-    let typ: String = json_get_string(args, "type")
-    if str_eq(typ, "self") || str_eq(typ, "values") {
-        return mcp_text_result("error: identity is write-protected -> intentional-cultivation only (keystones kn-efeb4a5b / kn-5b606390)")
-    }
-    if str_eq(typ, "knowledge") { return create_typed_node(args, "Knowledge", "0.75") }
-    if str_eq(typ, "artifact")  { return create_node_typed(args, "Artifact", "Working") }
-    if str_eq(typ, "backlog") || str_eq(typ, "work") || str_eq(typ, "task") { return create_node_typed(args, "BacklogItem", "Working") }
-    if str_eq(typ, "process")   { return create_typed_node(args, "Process", "0.80") }
-    if str_eq(typ, "state")     { return create_typed_node(args, "InternalStateEvent", "0.60") }
-    return create_typed_node(args, "Memory", "0.60")
-}
-
-fn op_relate(args: String) -> String {
-    let from_a: String = json_get_string(args, "from")
-    let from_id: String = if str_eq(from_a, "") { json_get_string(args, "from_id") } else { from_a }
-    let to_a: String = json_get_string(args, "to")
-    let to_id: String = if str_eq(to_a, "") { json_get_string(args, "to_id") } else { to_a }
-    if str_eq(from_id, "") || str_eq(to_id, "") {
-        return mcp_text_result("error: relate requires 'from' and 'to' node-ids")
-    }
-    if is_identity_id(from_id) || is_identity_id(to_id) {
-        return mcp_text_result("error: identity keystone is write-protected")
-    }
-    let rel_a: String = json_get_string(args, "relationship")
-    let rel_b: String = if str_eq(rel_a, "") { json_get_string(args, "relation") } else { rel_a }
-    let rel: String = if str_eq(rel_b, "") { "associates" } else { rel_b }
-    let body: String = "{\"from_id\":\"" + from_id + "\",\"to_id\":\"" + to_id + "\",\"relation\":\"" + rel + "\"}"
-    let resp: String = http_post_json(neuron_url() + "/graph/link", body)
-    return mcp_json_result(resp)
-}
-
-fn op_supersede(args: String) -> String {
-    let id: String = pick_id(args)
-    if str_eq(id, "") { return mcp_text_result("error: supersede requires 'id'") }
-    if is_identity_id(id) { return mcp_text_result("error: identity keystone is write-protected") }
-    let action: String = json_get_string(args, "action")
-    if str_eq(action, "tombstone") {
-        let body: String = "{\"id\":\"" + id + "\"}"
-        let resp: String = http_post_json(neuron_url() + "/memory/delete", body)
-        return mcp_json_result(resp)
-    }
-    if str_eq(action, "promote") {
-        return tool_promote_knowledge(args)
-    }
-    let typ: String = json_get_string(args, "type")
-    let nt: String = if str_eq(typ, "knowledge") { "Knowledge" } else { "Memory" }
-    return evolve_by_supersede(args, nt)
-}
-
-// ── Layer 2 — agentic primitives (pending cognition promotion) ────────────────
-
-fn op_think(args: String) -> String {
-    let seeds: String = json_get_string(args, "seeds")
-    if str_eq(seeds, "") { return mcp_text_result("error: think requires 'seeds' (node-id anchors, comma-separated)") }
-    let f_raw: String = json_get_string(args, "faculty")
-    let f: String = if str_eq(f_raw, "") { "reason" } else { f_raw }
-    let resp: String = http_get(neuron_url() + "/think?seeds=" + seeds + "&faculty=" + f)
-    return agentic_result(resp, "think")
-}
-
-fn op_attend(args: String) -> String {
-    let node: String = json_get_string(args, "node")
-    if str_eq(node, "") { return mcp_text_result("error: attend requires 'node' (region node-id)") }
-    let observer: String = json_get_string(args, "observer")
-    let salience: String = json_get_string(args, "salience")
-    let body: String = "{\"node\":\"" + node + "\",\"observer\":\"" + json_escape(observer) + "\",\"salience\":\"" + json_escape(salience) + "\"}"
-    let resp: String = http_post_json(neuron_url() + "/attend", body)
-    return agentic_result(resp, "attend")
-}
-
-fn op_assert(args: String) -> String {
-    let claim: String = json_get_string(args, "claim")
-    if str_eq(claim, "") { return mcp_text_result("error: assert requires 'claim'") }
-    let for_whom: String = json_get_string(args, "for_whom")
-    let floor: String = json_get_string(args, "floor")
-    let body: String = "{\"claim\":\"" + json_escape(claim) + "\",\"for_whom\":\"" + json_escape(for_whom) + "\",\"floor\":\"" + json_escape(floor) + "\"}"
-    let resp: String = http_post_json(neuron_url() + "/assert", body)
-    return agentic_result(resp, "assert")
-}
-
-fn op_ground(args: String) -> String {
-    let claim: String = json_get_string(args, "claim")
-    let evidence: String = json_get_string(args, "evidence")
-    if str_eq(claim, "") || str_eq(evidence, "") {
-        return mcp_text_result("error: ground requires 'claim' and 'evidence' (node-id regions)")
-    }
-    let for_whom: String = json_get_string(args, "for_whom")
-    let body: String = "{\"claim\":\"" + claim + "\",\"evidence\":\"" + evidence + "\",\"for_whom\":\"" + json_escape(for_whom) + "\"}"
-    let resp: String = http_post_json(neuron_url() + "/ground", body)
-    return agentic_result(resp, "ground")
-}
-
-fn op_learn(args: String) -> String {
-    let seeds: String = json_get_string(args, "seeds")
-    if str_eq(seeds, "") { return mcp_text_result("error: learn requires 'seeds'") }
-    let f_raw: String = json_get_string(args, "faculty")
-    let f: String = if str_eq(f_raw, "") { "induce" } else { f_raw }
-    let keystone: String = json_get_string(args, "keystone")
-    let body: String = "{\"seeds\":\"" + seeds + "\",\"faculty\":\"" + f + "\",\"keystone\":\"" + json_escape(keystone) + "\"}"
-    let resp: String = http_post_json(neuron_url() + "/learn", body)
-    return agentic_result(resp, "learn")
-}
-
 // ── Dispatcher ────────────────────────────────────────────────────────────────

 fn dispatch_tool_call(tool_name: String, args: String) -> String {
@@ -1179,17 +633,6 @@ fn dispatch_tool_call(tool_name: String, args: String) -> String {
        let _act: String = fire_activation(seed)
    }

-    // ── Collapsed surface — the 9 VISIBLE ops (the old 87 names below remain as HIDDEN ALIASES) ──
-    if str_eq(tool_name, "read")      { return op_read(args) }
-    if str_eq(tool_name, "write")     { return op_write(args) }
-    if str_eq(tool_name, "relate")    { return op_relate(args) }
-    if str_eq(tool_name, "supersede") { return op_supersede(args) }
-    if str_eq(tool_name, "think")     { return op_think(args) }
-    if str_eq(tool_name, "attend")    { return op_attend(args) }
-    if str_eq(tool_name, "assert")    { return op_assert(args) }
-    if str_eq(tool_name, "ground")    { return op_ground(args) }
-    if str_eq(tool_name, "learn")     { return op_learn(args) }
-
    // ── Session + orchestration ─────────────────────────────────────────────
    if str_eq(tool_name, "beginSession")     { return tool_begin_session(args) }
    if str_eq(tool_name, "getInstructions")  { return tool_get_instructions(args) }
@@ -1237,7 +680,16 @@ fn dispatch_tool_call(tool_name: String, args: String) -> String {
        return mcp_json_result(resp)
    }
    if str_eq(tool_name, "runStructuralAudit") {
-        let resp: String = http_get(neuron_url() + "/session/begin")
+        // Was: GET /session/begin — an unrelated session digest returned under an
+        // audit tool name, i.e. the tool advertised a check that did not exist.
+        // Now points at the real Stage 1 route (neuron-api.el
+        // handle_api_structural_audit). Sample caps ride the query string; the
+        // defaults keep a manual audit to a couple of seconds.
+        let e_s: Int = json_get_int(args, "edge_sample")
+        let n_s: Int = json_get_int(args, "node_sample")
+        let qs: String = "?edge_sample=" + int_to_str(if e_s > 0 { e_s } else { 3000 })
+            + "&node_sample=" + int_to_str(if n_s > 0 { n_s } else { 300 })
+        let resp: String = http_get(neuron_url() + "/audit/structural" + qs)
        return mcp_json_result(resp)
    }

@@ -0,0 +1,16 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn tier_working() -> String
+extern fn tier_episodic() -> String
+extern fn tier_canonical() -> String
+extern fn mem_store(content: String, label: String, tags: String) -> String
+extern fn mem_remember(content: String, tags: String) -> String
+extern fn mem_recall(query: String, depth: Int) -> String
+extern fn mem_search(query: String, limit: Int) -> String
+extern fn mem_strengthen(node_id: String) -> Void
+extern fn mem_forget(node_id: String) -> Void
+extern fn mem_consolidate() -> String
+extern fn mem_save(path: String) -> Void
+extern fn mem_load(path: String) -> Void
+extern fn mem_boot_count_get() -> Int
+extern fn mem_boot_count_inc() -> Int
+extern fn mem_emit_state_event(trigger: String, kind: String, content: String) -> String
@@ -0,0 +1,40 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn is_protected_node(id: String) -> Bool
+extern fn api_err_protected(id: String) -> String
+extern fn api_json_escape(s: String) -> String
+extern fn api_query_param(path: String, key: String) -> String
+extern fn api_query_int(path: String, key: String, default_val: Int) -> Int
+extern fn api_ok(extra: String) -> String
+extern fn api_err(msg: String) -> String
+extern fn api_nonempty(s: String) -> Bool
+extern fn api_or_empty(s: String) -> String
+extern fn api_persisted(id: String) -> Bool
+extern fn api_not_persisted(id: String) -> String
+extern fn handle_api_begin_session(body: String) -> String
+extern fn handle_api_compile_ctx(body: String) -> String
+extern fn handle_api_remember(body: String) -> String
+extern fn handle_api_node_create(body: String) -> String
+extern fn handle_api_node_delete(body: String) -> String
+extern fn handle_api_node_update(body: String) -> String
+extern fn handle_api_recall(method: String, path: String, body: String) -> String
+extern fn handle_api_search_knowledge(method: String, path: String, body: String) -> String
+extern fn handle_api_browse_knowledge(path: String, body: String) -> String
+extern fn handle_api_capture_knowledge(body: String) -> String
+extern fn handle_api_evolve_knowledge(body: String) -> String
+extern fn handle_api_promote_knowledge(body: String) -> String
+extern fn handle_api_browse_processes(method: String, path: String, body: String) -> String
+extern fn handle_api_define_process(body: String) -> String
+extern fn handle_api_log_state_event(body: String) -> String
+extern fn handle_api_list_state_events(method: String, path: String, body: String) -> String
+extern fn handle_api_inspect_config(path: String, body: String) -> String
+extern fn handle_api_tune_config(body: String) -> String
+extern fn handle_api_inspect_graph(method: String, path: String, body: String) -> String
+extern fn handle_api_link_entities(body: String) -> String
+extern fn handle_api_forget(body: String) -> String
+extern fn handle_api_evolve_memory(body: String) -> String
+extern fn handle_api_memory_delete(body: String) -> String
+extern fn handle_api_memory_update(body: String) -> String
+extern fn handle_api_cultivate(body: String) -> String
+extern fn handle_api_list_typed(node_type: String, path: String, body: String) -> String
+extern fn handle_api_consolidate(body: String) -> String
+extern fn handle_api_structural_audit(method: String, path: String, body: String) -> String
@@ -0,0 +1,15 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn rate_limit_check(ip: String, path: String) -> String
+extern fn strip_query(path: String) -> String
+extern fn err_404(path: String) -> String
+extern fn err_405(method: String, path: String) -> String
+extern fn route_health() -> String
+extern fn route_lineage() -> String
+extern fn route_imprint_contextual(body: String) -> String
+extern fn route_imprint_user(body: String) -> String
+extern fn route_synthesize(body: String) -> String
+extern fn handle_dharma_recv(body: String) -> String
+extern fn connectd_get(suffix: String) -> String
+extern fn connectd_post(suffix: String, body: String) -> String
+extern fn handle_connectors(method: String, clean: String, body: String) -> String
+extern fn handle_request(method: String, path: String, body: String) -> String
@@ -0,0 +1,25 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn soft_bell_threshold() -> Int
+extern fn hard_bell_threshold() -> Int
+extern fn safety_score_crisis(input: String) -> Int
+extern fn safety_score_harm(input: String) -> Int
+extern fn safety_score_danger(input: String) -> Int
+extern fn safety_score_distress_history(history: String) -> Int
+extern fn safety_threat_score(input: String, history: String) -> Int
+extern fn safety_screen(input: String, history: String) -> String
+extern fn safety_validate(output: String, action: String) -> String
+extern fn safety_log_bell(level: String, reason: String, input_summary: String) -> String
+extern fn safety_self_harm_phrases() -> String
+extern fn safety_abuse_phrases() -> String
+extern fn safety_general_hard_phrases() -> String
+extern fn safety_threat_to_others_phrases() -> String
+extern fn safety_soft_phrases() -> String
+extern fn safety_detect_positive_level(message: String) -> String
+extern fn safety_detect_bell_level(message: String) -> String
+extern fn safety_classify_hard_bell(message: String) -> String
+extern fn safety_soft_directive() -> String
+extern fn safety_hard_directive(hard_type: String) -> String
+extern fn safety_augment_system(system: String, user_msg: String) -> String
+extern fn safety_contact_path() -> String
+extern fn handle_safety_contact_get() -> String
+extern fn handle_safety_contact_post(body: String) -> String
@@ -1,937 +0,0 @@
-#!/usr/bin/env python3
-"""state-key-audit.py — the analyzer behind scripts/verify-state-keys.sh.
-
-Read that script's header for WHY this exists (issue #129). This file is the
-HOW: a small El reader that resolves the key expression at every state_get /
-state_set site, including keys that are computed.
-
-WHAT IT PARSES
-  El as this engine writes it: `fn f(a: T, b: T) -> T { ... }`, `let x: T = e`,
-  `return e`, `if c { a } else { b }` as an expression, `+` concatenation,
-  `"..."` with backslash escapes, `//` line comments. No block comments, no
-  const/match/struct exist in this dialect (verified over the whole tree).
-
-KEY PATTERNS — the only two things a key expression can resolve to
-  EXACT  "soul_model"          the whole key is known
-  PREFIX "session_hist_"       a known head, then runtime text
-  (plus UNRESOLVED, which is a report line and never a failure)
-
-RESOLUTION — resolve_expr() returns a SET of patterns; unions are how branches,
-multiple returns, and multiple bindings of one name are represented.
-  literal        "k"                    -> {EXACT k}
-  concat         A + B                  -> fold left; all-static -> EXACT,
-                                          static head + dynamic tail -> PREFIX
-  if-expression  if c {A} else {B}      -> resolve(A) | resolve(B), except that
-                                          str_eq(X,"") with X statically ""
-                                          folds to the taken branch only
-  call           f(args)                -> union over f's return expressions,
-                                          with f's params bound to THIS call
-                                          site's actual argument expressions
-  local var      let k = e; state_get(k)-> union over every `let k =` in the
-                                          enclosing function
-  parameter      fn g(k) { state_get(k) }-> union over the argument at that
-                                          position across every call site of g
-  anything else  json_get(...), env(...)-> UNRESOLVED
-Recursion is depth- and cycle-guarded; a guard trip yields UNRESOLVED, never a
-failure.
-
-COVERAGE — a read is satisfied when some write can produce the same key:
-  read EXACT k   <- write EXACT k, or write PREFIX p where k starts with p
-  read PREFIX p  <- write EXACT k where k starts with p, or write PREFIX q
-                    where p and q are prefixes of each other
-Deliberately permissive at the boundaries: a gate that cries wolf gets deleted.
-"""
-
-import os
-import re
-import sys
-
-MAX_DEPTH = 12
-
-# ── patterns ────────────────────────────────────────────────────────────────
-EXACT = "exact"
-PREFIX = "prefix"
-
-
-def pat_exact(s):
-    return (EXACT, s)
-
-
-def pat_prefix(s):
-    # A prefix with no static text at all carries no information; that is the
-    # UNRESOLVED case, not a pattern.
-    return (PREFIX, s) if s else None
-
-
-def covers(write, read):
-    """Can a write of pattern `write` produce a key that `read` reads?
-
-    The prefix rule is DIRECTIONAL, and that direction is the whole point. A
-    write namespace that is the same or BROADER than the read namespace covers
-    it (write "rl:" covers read "rl:x"). A write namespace that is NARROWER does
-    NOT (write "session_histv2_" does not cover read "session_hist_") — being
-    permissive there re-opens the exact hole this gate exists to close: rename
-    the producer, leave the readers, stay green. Verified with a control run
-    that renames sessions.el's writer and leaves its four readers behind."""
-    wk, wv = write
-    rk, rv = read
-    if rk == EXACT:
-        return rv == wv if wk == EXACT else rv.startswith(wv)
-    # read is a PREFIX: some key starting with rv is read
-    if wk == EXACT:
-        return wv.startswith(rv)          # that one written key is in range
-    return rv.startswith(wv)              # write namespace same-or-broader
-
-
-# ── lexer ───────────────────────────────────────────────────────────────────
-TOK_STR, TOK_IDENT, TOK_PUNCT, TOK_NUM = "str", "ident", "punct", "num"
-IDENT_RE = re.compile(r"[A-Za-z_][A-Za-z0-9_]*")
-NUM_RE = re.compile(r"[0-9]+(\.[0-9]+)?")
-
-
-class Tok:
-    __slots__ = ("kind", "val", "line")
-
-    def __init__(self, kind, val, line):
-        self.kind, self.val, self.line = kind, val, line
-
-    def __repr__(self):
-        return "%s(%r)@%d" % (self.kind, self.val, self.line)
-
-
-def lex(src):
-    toks, i, n, line = [], 0, len(src), 1
-    while i < n:
-        c = src[i]
-        if c == "\n":
-            line += 1
-            i += 1
-            continue
-        if c in " \t\r":
-            i += 1
-            continue
-        if c == "/" and i + 1 < n and src[i + 1] == "/":
-            while i < n and src[i] != "\n":
-                i += 1
-            continue
-        if c == '"':
-            j, buf = i + 1, []
-            while j < n:
-                if src[j] == "\\" and j + 1 < n:
-                    esc = src[j + 1]
-                    buf.append({"n": "\n", "t": "\t", "r": "\r"}.get(esc, esc))
-                    j += 2
-                    continue
-                if src[j] == '"':
-                    break
-                if src[j] == "\n":
-                    line += 1
-                buf.append(src[j])
-                j += 1
-            toks.append(Tok(TOK_STR, "".join(buf), line))
-            i = j + 1
-            continue
-        m = IDENT_RE.match(src, i)
-        if m:
-            toks.append(Tok(TOK_IDENT, m.group(0), line))
-            i = m.end()
-            continue
-        m = NUM_RE.match(src, i)
-        if m:
-            toks.append(Tok(TOK_NUM, m.group(0), line))
-            i = m.end()
-            continue
-        toks.append(Tok(TOK_PUNCT, c, line))
-        i += 1
-    return toks
-
-
-def match_close(toks, i, open_ch, close_ch):
-    """toks[i] is open_ch; return index of its matching close_ch."""
-    depth = 0
-    while i < len(toks):
-        if toks[i].kind == TOK_PUNCT:
-            if toks[i].val == open_ch:
-                depth += 1
-            elif toks[i].val == close_ch:
-                depth -= 1
-                if depth == 0:
-                    return i
-        i += 1
-    return len(toks) - 1
-
-
-# ── program model ───────────────────────────────────────────────────────────
-class Func:
-    def __init__(self, name, path, line, params, toks, start, end):
-        self.name, self.path, self.line = name, path, line
-        self.params = params           # [param name]
-        self.toks = toks               # the whole file's token list
-        self.start, self.end = start, end   # body token range, exclusive of braces
-        self.lets = None               # name -> [expr token ranges], lazily built
-
-
-class Site:
-    def __init__(self, kind, path, line, func, arg_range, text):
-        self.kind = kind               # "get" | "set"
-        self.path, self.line = path, line
-        self.func = func
-        self.arg_range = arg_range
-        self.text = text               # source text of the key expression
-        self.pats = set()
-        self.unresolved = False
-        self.literal = None            # set when the key expression is a bare literal
-
-
-class Program:
-    def __init__(self):
-        self.files = {}                # path -> toks
-        self.funcs = {}                # name -> [Func]   (El allows no overloads, but be safe)
-        self.toplevel = []             # [Func] one per file, params=[]
-        self.sites = []                # [Site]
-        self.calls = {}                # callee name -> [(Func caller, [arg ranges])]
-
-    # -- loading ------------------------------------------------------------
-    def load(self, path, rel):
-        with open(path, "r", encoding="utf-8", errors="replace") as fh:
-            src = fh.read()
-        toks = lex(src)
-        self.files[rel] = toks
-        self._scan_funcs(rel, toks)
-
-    def _scan_funcs(self, rel, toks):
-        covered = []
-        i = 0
-        while i < len(toks):
-            t = toks[i]
-            if t.kind == TOK_IDENT and t.val == "fn" and i + 2 < len(toks) \
-                    and toks[i + 1].kind == TOK_IDENT and toks[i + 2].val == "(":
-                name = toks[i + 1].val
-                pclose = match_close(toks, i + 2, "(", ")")
-                params = self._params(toks, i + 3, pclose)
-                bopen = pclose + 1
-                while bopen < len(toks) and toks[bopen].val != "{":
-                    bopen += 1
-                bclose = match_close(toks, bopen, "{", "}")
-                f = Func(name, rel, t.line, params, toks, bopen + 1, bclose)
-                self.funcs.setdefault(name, []).append(f)
-                covered.append((i, bclose))
-                i = bclose + 1
-                continue
-            i += 1
-        # everything outside a fn is the file's top-level "function"
-        tl = Func("<toplevel:%s>" % rel, rel, 1, [], toks, 0, len(toks))
-        tl.covered = covered
-        self.toplevel.append(tl)
-
-    @staticmethod
-    def _params(toks, i, end):
-        """`a: T, b: T` -> ['a','b'] (top-level commas only)."""
-        names, depth, expect = [], 0, True
-        while i < end:
-            t = toks[i]
-            if t.kind == TOK_PUNCT and t.val in "([{":
-                depth += 1
-            elif t.kind == TOK_PUNCT and t.val in ")]}":
-                depth -= 1
-            elif depth == 0 and t.kind == TOK_PUNCT and t.val == ",":
-                expect = True
-            elif depth == 0 and expect and t.kind == TOK_IDENT:
-                names.append(t.val)
-                expect = False
-            i += 1
-        return names
-
-    def func_at(self, rel, tok_index):
-        for f in self.funcs_in(rel):
-            if f.start <= tok_index < f.end:
-                return f
-        for f in self.toplevel:
-            if f.path == rel:
-                return f
-        return None
-
-    def funcs_in(self, rel):
-        for fl in self.funcs.values():
-            for f in fl:
-                if f.path == rel:
-                    yield f
-
-    # -- indexing -----------------------------------------------------------
-    def index(self):
-        for rel, toks in self.files.items():
-            i = 0
-            while i < len(toks):
-                t = toks[i]
-                if t.kind == TOK_IDENT and i + 1 < len(toks) and toks[i + 1].val == "(" \
-                        and t.val not in KEYWORDS \
-                        and not (i > 0 and toks[i - 1].kind == TOK_IDENT
-                                 and toks[i - 1].val == "fn"):
-                    # ^ the `fn f(a: T)` declaration is not a call site; counting
-                    #   it as one makes every parameter resolve to its own name
-                    #   and reports the whole function UNRESOLVED.
-                    close = match_close(toks, i + 1, "(", ")")
-                    args = split_args(toks, i + 2, close)
-                    self.calls.setdefault(t.val, []).append(
-                        (self.func_at(rel, i), args, rel, t.line))
-                    if t.val in ("state_get", "state_set") and args:
-                        self.sites.append(Site(
-                            "get" if t.val == "state_get" else "set",
-                            rel, t.line, self.func_at(rel, i), args[0],
-                            render(toks, *args[0])))
-                i += 1
-
-    # -- resolution ---------------------------------------------------------
-    def lets_of(self, f):
-        if f.lets is not None:
-            return f.lets
-        f.lets = {}
-        toks = f.toks
-        skip = getattr(f, "covered", [])
-        i = f.start
-        while i < f.end:
-            if any(a <= i <= b for a, b in skip):
-                i = max(b for a, b in skip if a <= i <= b) + 1
-                continue
-            t = toks[i]
-            if t.kind == TOK_IDENT and t.val == "let" and i + 1 < f.end \
-                    and toks[i + 1].kind == TOK_IDENT:
-                name = toks[i + 1].val
-                j = i + 2
-                if j < f.end and toks[j].val == ":":       # skip the type
-                    while j < f.end and toks[j].val != "=":
-                        j += 1
-                if j < f.end and toks[j].val == "=":
-                    s = j + 1
-                    e = stmt_end(toks, s, f.end)
-                    f.lets.setdefault(name, []).append((s, e))
-                    i = e
-                    continue
-            i += 1
-        return f.lets
-
-    def returns_of(self, ctx, depth=0, seen=None):
-        """The value expressions of a function, in the context it was CALLED in.
-
-        Context-sensitive on purpose. `conv_hist_key` is written as a guard:
-
-            if str_eq(session_id, "") { return "conv_history" }
-            return "session_hist_" + session_id
-
-        Collecting both returns flat would make state_set(conv_hist_key("")) — the
-        dead handle_chat() write — claim to produce the session_hist_ namespace
-        too. That is a producer this engine does not actually have, and claiming
-        it would let the gate stay green if sessions.el's real writer vanished:
-        a masking hole in the exact namespace #129 lives in. So a guard whose
-        condition folds is honoured, and the branch not taken is dropped."""
-        out = []
-        self._values(ctx.toks, ctx.start, ctx.end, ctx, depth,
-                     seen if seen is not None else set(), out)
-        return out
-
-    def _values(self, toks, s, e, ctx, depth, seen, out):
-        """Append the value expressions of a statement sequence.
-        Returns True when the sequence definitely returns (rest unreachable)."""
-        if depth > MAX_DEPTH:
-            return False
-        i = s
-        while i < e:
-            t = toks[i]
-            if t.kind == TOK_IDENT and t.val == "return":
-                j = stmt_end(toks, i + 1, e)
-                if j > i + 1:
-                    out.append((i + 1, j))
-                return True
-            if t.kind == TOK_IDENT and t.val == "let":
-                i = stmt_end(toks, i + 2, e)
-                continue
-            if t.kind == TOK_IDENT and t.val == "if":
-                i = self._if_stmt(toks, i, e, ctx, depth, seen, out)
-                if i is True:
-                    return True
-                continue
-            if t.kind == TOK_PUNCT and t.val in "([{":
-                i = match_close(toks, i, t.val,
-                                {"(": ")", "[": "]", "{": "}"}[t.val]) + 1
-                continue
-            en = stmt_end(toks, i, e)
-            if en <= i:
-                i += 1
-                continue
-            if en >= e:                      # trailing expression = the value
-                out.append((i, en))
-            i = en
-        return False
-
-    def _if_stmt(self, toks, i, e, ctx, depth, seen, out):
-        """Walk one if / else-if / else chain. Returns the next index, or True
-        if the chain definitely returns on every reachable branch."""
-        bopen = i + 1
-        while bopen < e and toks[bopen].val != "{":
-            bopen += 1
-        if bopen >= e:
-            return e
-        bclose = match_close(toks, bopen, "{", "}")
-        fold = self._fold_cond(toks, i + 1, bopen, ctx, depth, seen)
-
-        j = bclose + 1
-        else_s = else_e = None
-        if j < e and toks[j].kind == TOK_IDENT and toks[j].val == "else":
-            if j + 1 < e and toks[j + 1].val == "{":
-                ec = match_close(toks, j + 1, "{", "}")
-                else_s, else_e = j + 2, ec
-                j = ec + 1
-            else:                            # `else if ...` — the rest of the chain
-                else_s = j + 1
-                else_e = stmt_end(toks, j + 1, e)
-                j = else_e
-
-        then_ret = else_ret = False
-        if fold is not False:
-            then_ret = self._values(toks, bopen + 1, bclose, ctx, depth + 1, seen, out)
-        if fold is not True and else_s is not None:
-            else_ret = self._values(toks, else_s, else_e, ctx, depth + 1, seen, out)
-
-        if fold is True and then_ret:
-            return True
-        if fold is False and else_s is not None and else_ret:
-            return True
-        if fold is None and else_s is not None and then_ret and else_ret:
-            return True
-        return j
-
-    def resolve(self, rng, func, depth=0, seen=None):
-        """-> (set of patterns, unresolved_flag)"""
-        if seen is None:
-            seen = set()
-        if depth > MAX_DEPTH:
-            return set(), True
-        return self._expr(func.toks, rng[0], rng[1], func, depth, seen)
-
-    # -- expression walker --------------------------------------------------
-    def _expr(self, toks, s, e, func, depth, seen):
-        parts, cur, d = [], s, 0
-        i = s
-        while i < e:                                # split on top-level '+'
-            v = toks[i].val
-            if toks[i].kind == TOK_PUNCT and v in "([{":
-                d += 1
-            elif toks[i].kind == TOK_PUNCT and v in ")]}":
-                d -= 1
-            elif d == 0 and toks[i].kind == TOK_PUNCT and v == "+" and i > s:
-                parts.append((cur, i))
-                cur = i + 1
-            i += 1
-        parts.append((cur, e))
-        if len(parts) == 1:
-            return self._primary(toks, s, e, func, depth, seen)
-
-        # concatenation: keep folding while every operand so far is EXACT
-        head, unres = "", False
-        static = True
-        for (ps, pe) in parts:
-            pats, u = self._primary(toks, ps, pe, func, depth, seen)
-            exacts = {p[1] for p in pats if p[0] == EXACT}
-            if static and len(exacts) == 1 and not u and len(pats) == 1:
-                head += exacts.pop()
-                continue
-            if static and pats and all(p[0] == EXACT for p in pats) and len(pats) > 1:
-                # a branchy static operand: keep the shared head only
-                static = False
-                head += os.path.commonprefix(sorted({p[1] for p in pats}))
-                break
-            static = False
-            # first non-static operand: everything after it is runtime text
-            if (ps, pe) == parts[0]:
-                for p in pats:
-                    if p[0] == PREFIX:
-                        head = p[1]
-                        break
-                if not head:
-                    unres = True
-            break
-        if static:
-            return {pat_exact(head)}, False
-        p = pat_prefix(head)
-        return ({p} if p else set()), (unres or not p)
-
-    def _primary(self, toks, s, e, func, depth, seen):
-        while s < e and toks[s].kind == TOK_PUNCT and toks[s].val == "(" \
-                and match_close(toks, s, "(", ")") == e - 1:
-            s, e = s + 1, e - 1
-        if s >= e:
-            return set(), True
-        t = toks[s]
-
-        if t.kind == TOK_STR and e == s + 1:
-            return {pat_exact(t.val)}, False
-
-        if t.kind == TOK_IDENT and t.val == "if":
-            return self._if_expr(toks, s, e, func, depth, seen)
-
-        if t.kind == TOK_IDENT and s + 1 < e and toks[s + 1].val == "(":
-            close = match_close(toks, s + 1, "(", ")")
-            if close == e - 1:
-                return self._call(toks, t.val, split_args(toks, s + 2, close),
-                                  func, depth, seen)
-
-        if t.kind == TOK_IDENT and e == s + 1:
-            return self._var(t.val, func, depth, seen)
-
-        return set(), True
-
-    def _if_expr(self, toks, s, e, func, depth, seen):
-        bopen = s + 1
-        while bopen < e and toks[bopen].val != "{":
-            bopen += 1
-        cond = (s + 1, bopen)
-        bclose = match_close(toks, bopen, "{", "}")
-        then_rng = block_tail(toks, bopen + 1, bclose) or (bopen + 1, bclose)
-
-        else_rng = None
-        j = bclose + 1
-        if j < e and toks[j].kind == TOK_IDENT and toks[j].val == "else":
-            if j + 1 < e and toks[j + 1].val == "{":
-                ec = match_close(toks, j + 1, "{", "}")
-                else_rng = block_tail(toks, j + 2, ec) or (j + 2, ec)
-            else:
-                else_rng = (j + 1, e)          # `else if ...`
-
-        taken = self._fold_cond(toks, cond[0], cond[1], func, depth, seen)
-        rngs = []
-        if taken is not False:
-            rngs.append(then_rng)
-        if taken is not True and else_rng:
-            rngs.append(else_rng)
-
-        pats, unres = set(), False
-        for r in rngs:
-            p, u = self._expr(toks, r[0], r[1], func, depth + 1, seen)
-            pats |= p
-            unres = unres or u
-        return pats, unres
-
-    def _fold_cond(self, toks, s, e, func, depth, seen):
-        """Constant-fold `str_eq(X, "")` / `!str_eq(X, "")` so a helper called with
-        a literal (conv_hist_key("")) yields only the branch it really takes.
-        Returns True / False / None(unknown)."""
-        neg = False
-        if s < e and toks[s].kind == TOK_PUNCT and toks[s].val == "!":
-            neg, s = True, s + 1
-        if not (s < e and toks[s].kind == TOK_IDENT and toks[s].val == "str_eq"
-                and s + 1 < e and toks[s + 1].val == "("):
-            return None
-        close = match_close(toks, s + 1, "(", ")")
-        if close != e - 1:
-            return None
-        args = split_args(toks, s + 2, close)
-        if len(args) != 2:
-            return None
-        va, ua = self._expr(toks, args[0][0], args[0][1], func, depth + 1, seen)
-        vb, ub = self._expr(toks, args[1][0], args[1][1], func, depth + 1, seen)
-        if ua or ub or len(va) != 1 or len(vb) != 1:
-            return None
-        (ka, sa), (kb, sb) = va.pop(), vb.pop()
-        if ka != EXACT or kb != EXACT:
-            return None
-        r = (sa == sb)
-        return (not r) if neg else r
-
-    def _call(self, toks, name, args, func, depth, seen):
-        cands = self.funcs.get(name)
-        if not cands:
-            return set(), True                      # builtin: json_get, env, ...
-        pats, unres = set(), False
-        for callee in cands:
-            key = ("fn", callee.path, callee.name, tuple(args))
-            if key in seen:
-                unres = True
-                continue
-            seen = seen | {key}
-            # bind the callee's params to THIS call site's argument expressions
-            binding = {}
-            for idx, pname in enumerate(callee.params):
-                if idx < len(args):
-                    binding[pname] = (args[idx], func)
-            callee_ctx = _Bound(callee, binding)
-            for r in self.returns_of(callee_ctx, depth + 1, seen):
-                p, u = self._expr(callee.toks, r[0], r[1], callee_ctx,
-                                  depth + 1, seen)
-                pats |= p
-                unres = unres or u
-        return pats, unres
-
-    def _var(self, name, func, depth, seen):
-        real = func.func if isinstance(func, _Bound) else func
-
-        # 1. a parameter bound by the call site we came through
-        if isinstance(func, _Bound) and name in func.binding:
-            rng, caller_ctx = func.binding[name]
-            return self._expr(caller_ctx.toks, rng[0], rng[1], caller_ctx,
-                              depth + 1, seen)
-
-        # 2. a local `let` in the enclosing function
-        lets = self.lets_of(real)
-        if name in lets:
-            key = ("let", real.path, real.name, name)
-            if key in seen:
-                return set(), True
-            seen = seen | {key}
-            pats, unres = set(), False
-            for rng in lets[name]:
-                p, u = self._expr(real.toks, rng[0], rng[1], real, depth + 1, seen)
-                pats |= p
-                unres = unres or u
-            return pats, unres
-
-        # 3. an unbound parameter -> look at every call site of the enclosing fn
-        if name in real.params:
-            key = ("param", real.path, real.name, name)
-            if key in seen:
-                return set(), True
-            seen = seen | {key}
-            idx = real.params.index(name)
-            pats, unres = set(), False
-            sites = self.calls.get(real.name, [])
-            if not sites:
-                return set(), True
-            for caller, args, _rel, _line in sites:
-                if caller is None or idx >= len(args):
-                    unres = True
-                    continue
-                p, u = self._expr(caller.toks, args[idx][0], args[idx][1],
-                                  caller, depth + 1, seen)
-                pats |= p
-                unres = unres or u
-            return pats, unres
-
-        # 4. a file-level / cross-file top-level `let`
-        for tl in self.toplevel:
-            lets = self.lets_of(tl)
-            if name in lets:
-                key = ("let", tl.path, tl.name, name)
-                if key in seen:
-                    return set(), True
-                seen2 = seen | {key}
-                pats, unres = set(), False
-                for rng in lets[name]:
-                    p, u = self._expr(tl.toks, rng[0], rng[1], tl, depth + 1, seen2)
-                    pats |= p
-                    unres = unres or u
-                return pats, unres
-
-        return set(), True
-
-
-class _Bound:
-    """A callee view that also knows what its params were called with."""
-
-    def __init__(self, func, binding):
-        self.func, self.binding = func, binding
-        self.toks, self.start, self.end = func.toks, func.start, func.end
-        self.params, self.path, self.name = func.params, func.path, func.name
-
-    def __getattr__(self, k):
-        return getattr(self.func, k)
-
-
-# ── token helpers ───────────────────────────────────────────────────────────
-def split_args(toks, s, e):
-    out, cur, d = [], s, 0
-    i = s
-    while i < e:
-        v = toks[i].val
-        if toks[i].kind == TOK_PUNCT and v in "([{":
-            d += 1
-        elif toks[i].kind == TOK_PUNCT and v in ")]}":
-            d -= 1
-        elif d == 0 and toks[i].kind == TOK_PUNCT and v == ",":
-            out.append((cur, i))
-            cur = i + 1
-        i += 1
-    if cur < e:
-        out.append((cur, e))
-    return out
-
-
-STMT_START = {"let", "return", "if", "while", "for"}
-KEYWORDS = {"if", "while", "for", "return", "fn", "let", "else", "match"}
-
-
-def stmt_end(toks, s, limit):
-    """End of the expression starting at s: the next top-level statement
-    boundary. El has no semicolons, so a newline that starts a new statement
-    ends this one."""
-    d, i = 0, s
-    while i < limit:
-        t = toks[i]
-        if t.kind == TOK_PUNCT and t.val in "([":
-            d += 1
-        elif t.kind == TOK_PUNCT and t.val in ")]":
-            d -= 1
-            if d < 0:
-                return i
-        elif t.kind == TOK_PUNCT and t.val == "{":
-            # a brace at depth 0 belongs to this expression only when it is an
-            # if/else block that is part of it
-            d += 1
-        elif t.kind == TOK_PUNCT and t.val == "}":
-            d -= 1
-            if d < 0:
-                return i
-        elif d == 0 and t.kind == TOK_PUNCT and t.val == ",":
-            return i
-        elif d == 0 and i > s and t.kind == TOK_IDENT and t.val in STMT_START:
-            if t.val == "if" and toks[i - 1].kind == TOK_IDENT and toks[i - 1].val == "else":
-                i += 1
-                continue
-            return i
-        elif d == 0 and i > s and t.kind == TOK_IDENT and t.val == "fn":
-            return i
-        i += 1
-    return limit
-
-
-def block_tail(toks, s, e):
-    """The trailing expression of a block, if the block ends in one."""
-    i, last = s, None
-    while i < e:
-        t = toks[i]
-        if t.kind == TOK_IDENT and t.val in ("let", "return"):
-            i = stmt_end(toks, i + 1, e)
-            last = None
-            continue
-        if t.kind == TOK_PUNCT and t.val in "([{":
-            i = match_close(toks, i, t.val, {"(": ")", "[": "]", "{": "}"}[t.val]) + 1
-            continue
-        st = i
-        en = stmt_end(toks, i, e)
-        if en <= st:
-            i = st + 1
-            continue
-        last = (st, en)
-        i = en
-    return last
-
-
-def render(toks, s, e):
-    out = []
-    for t in toks[s:e]:
-        out.append('"%s"' % t.val if t.kind == TOK_STR else t.val)
-    return " ".join(out)
-
-
-# ── the gate ────────────────────────────────────────────────────────────────
-def collect(root, include_tests):
-    files = []
-    for dirpath, dirnames, filenames in os.walk(root):
-        dirnames[:] = [d for d in dirnames
-                       if d not in ("dist", "vendor", ".git", "node_modules")]
-        rel_dir = os.path.relpath(dirpath, root)
-        if not include_tests and rel_dir.split(os.sep)[0] == "tests":
-            continue
-        for fn in sorted(filenames):
-            if fn.endswith(".el"):
-                rel = os.path.normpath(os.path.join(rel_dir, fn))
-                files.append((os.path.join(dirpath, fn), rel))
-    return sorted(files, key=lambda x: x[1])
-
-
-def is_bare_literal(prog, site):
-    toks = prog.files[site.path]
-    s, e = site.arg_range
-    return e == s + 1 and toks[s].kind == TOK_STR
-
-
-def read_decl(path):
-    """A declaration file: one entry per line, `# ...` comments stripped."""
-    out = []
-    if not path or not os.path.exists(path):
-        return out
-    with open(path) as fh:
-        for ln in fh:
-            ln = ln.split("#", 1)[0].strip()
-            if ln:
-                out.append(ln)
-    return out
-
-
-def opt(argv, name, default=None):
-    for i, a in enumerate(argv):
-        if a == name and i + 1 < len(argv):
-            return argv[i + 1]
-    return default
-
-
-def main(argv):
-    root = os.path.abspath(argv[1]) if len(argv) > 1 and not argv[1].startswith("-") else "."
-    include_tests = "--include-tests" in argv
-    verbose = "--verbose" in argv
-    baseline_path = opt(argv, "--baseline")
-    external_path = opt(argv, "--external")
-
-    prog = Program()
-    for path, rel in collect(root, include_tests):
-        prog.load(path, rel)
-    prog.index()
-    for site in prog.sites:
-        pats, unres = prog.resolve(site.arg_range, site.func)
-        site.pats, site.unresolved = {p for p in pats if p}, unres
-        if is_bare_literal(prog, site):
-            site.literal = prog.files[site.path][site.arg_range[0]].val
-
-    writes = [s for s in prog.sites if s.kind == "set"]
-    reads = [s for s in prog.sites if s.kind == "get"]
-    write_pats = set()
-    for w in writes:
-        write_pats |= w.pats
-
-    # Declared host-set keys: written by something outside the El tree (an
-    # operator, the installer, a host process). Each entry must carry a reason.
-    external = []
-    for ln in read_decl(external_path):
-        parts = ln.split(None, 1)
-        if len(parts) != 2 or parts[0] not in (EXACT, PREFIX):
-            print("bad --external line (want `exact|prefix <key>`): %r" % ln,
-                  file=sys.stderr)
-            return 2
-        external.append((parts[0], parts[1]))
-    write_pats |= set(external)
-
-    # F1 — a read of a key no write in the tree produces.
-    f1 = []
-    for r in reads:
-        for p in sorted(r.pats):
-            if not any(covers(w, p) for w in write_pats):
-                f1.append((r, p))
-
-    # F2 — a key namespace owned by a helper, accessed by a hand-rolled literal.
-    #      This is the #129 shape: the producer moved behind conv_hist_key() and
-    #      one consumer kept spelling the old key out by hand.
-    owners = {}                       # helper fn name -> its value set
-    for s in prog.sites:
-        toks = prog.files[s.path]
-        a, b = s.arg_range
-        if toks[a].kind == TOK_IDENT and a + 1 < b and toks[a + 1].val == "(" \
-                and match_close(toks, a + 1, "(", ")") == b - 1 \
-                and toks[a].val in prog.funcs:
-            name = toks[a].val
-            if name not in owners:
-                vals = set()
-                for callee in prog.funcs[name]:
-                    # No call context here on purpose: the OWNED namespace is
-                    # every key the helper can ever produce, over all call sites.
-                    for rng in prog.returns_of(callee):
-                        p, _ = prog._expr(callee.toks, rng[0], rng[1], callee, 0, set())
-                        vals |= {x for x in p if x}
-                owners[name] = vals
-    f2 = []
-    for s in prog.sites:
-        if s.literal is None:
-            continue
-        for owner, vals in sorted(owners.items()):
-            for v in sorted(vals):
-                if covers(v, pat_exact(s.literal)):
-                    f2.append((s, owner, v))
-                    break
-            else:
-                continue
-            break
-
-    unresolved = [s for s in prog.sites if s.unresolved or not s.pats]
-
-    # Baseline signatures carry NO line number on purpose: an unrelated edit that
-    # shifts a line must not un-mute an accepted finding (that is crying wolf),
-    # but a GROWTH in count must not hide either. So a baseline entry is
-    # `<file> <CODE> <detail> [xN]` and only the first N matches are muted.
-    baseline, bad_baseline = {}, []
-    for ln in read_decl(baseline_path):
-        n, key = 1, ln
-        parts = ln.rsplit(" x", 1)
-        if len(parts) == 2 and parts[1].isdigit():
-            key, n = parts[0].strip(), int(parts[1])
-        baseline[key] = n
-
-    def sig(path, code, detail):
-        return "%s %s %s" % (path, code, detail)
-
-    findings = []
-    for r, p in f1:
-        findings.append((sig(r.path, "DEAD-READ", "%s:%s" % p), r.line,
-                         "  %s:%d  state_get(%s)\n      resolves to %s %r — no state_set in the tree produces it"
-                         % (r.path, r.line, r.text, p[0].upper(), p[1])))
-    for s, owner, v in f2:
-        findings.append((sig(s.path, "HAND-ROLLED", "%s<-%s()" % (s.literal, owner)), s.line,
-                         "  %s:%d  state_%s(\"%s\")\n      %s() owns this key namespace (%s %r) — go through the helper, "
-                         "or a rename orphans this site silently" % (s.path, s.line, s.kind, s.literal, owner, v[0].upper(), v[1])))
-    findings.sort(key=lambda f: (f[0], f[1]))
-
-    live, muted, budget = [], [], dict(baseline)
-    for f in findings:
-        if budget.get(f[0], 0) > 0:
-            budget[f[0]] -= 1
-            muted.append(f)
-        else:
-            live.append(f)
-    stale = sorted(k for k, v in budget.items() if v > 0)
-
-    print("── state-key audit ─────────────────────────────────────────────")
-    print("scanned  %d .el files%s" % (len(prog.files),
-                                       "" if include_tests else " (tests/ excluded)"))
-    print("sites    %d state_set, %d state_get" % (len(writes), len(reads)))
-    print("keys     %d distinct write patterns" % len(write_pats))
-    print("")
-
-    if verbose:
-        print("WRITE PATTERNS")
-        for k, v in sorted(write_pats):
-            print("  %-6s %s" % (k, v))
-        print("")
-
-    if external:
-        print("DECLARED HOST-SET (%d) — %s" % (len(external), external_path))
-        for k, v in sorted(external):
-            print("  %-6s %s" % (k, v))
-        print("")
-
-    print("UNRESOLVED (%d) — reported, never fails the build" % len(unresolved))
-    if not unresolved:
-        print("  (none)")
-    for s in sorted(unresolved, key=lambda x: (x.path, x.line)):
-        print("  %s:%d  state_%s(%s)%s"
-              % (s.path, s.line, s.kind, s.text,
-                 "   [partial: %s]" % ", ".join("%s %r" % p for p in sorted(s.pats))
-                 if s.pats else ""))
-    print("")
-
-    if muted:
-        print("BASELINED (%d) — pre-existing debt accepted in %s. NOT clean; fix these."
-              % (len(muted), baseline_path))
-        for sg, line, _ in muted:
-            print("  %s  (line %d)" % (sg, line))
-        print("")
-    if stale:
-        print("STALE BASELINE (%d) — entries that no longer match anything; delete them:"
-              % len(stale))
-        for sg in stale:
-            print("  %s" % sg)
-        print("")
-
-    print("FINDINGS (%d)" % len(live))
-    if not live:
-        print("  (none)")
-    for _, _, body in live:
-        print(body)
-    print("")
-
-    if live:
-        print("FAIL: %d state-key finding(s). See scripts/verify-state-keys.sh "
-              "for why this gate exists (issue #129)." % len(live))
-        return 1
-    print("PASS: every resolvable state_get key has a producer, and no key "
-          "namespace is spelled two ways.")
-    return 0
-
-
-if __name__ == "__main__":
-    sys.exit(main(sys.argv))
@@ -1,28 +0,0 @@
-# state-key-baseline.txt — findings that already existed when this gate landed
-# (2026-08-07). Each one is a REAL defect of the #129 class, not a false
-# positive. They are muted only so the gate can be turned on today instead of
-# being deferred until the debt is paid; every run still prints them under
-# BASELINED with the word "debt".
-#
-# THIS FILE SHOULD ONLY EVER SHRINK. Adding a line means you are shipping a
-# known silent-"" read. If you must, date it and say why in the comment.
-#
-# format: <file> <CODE> <detail> [xN]   # N = how many sites are accepted
-# No line numbers on purpose: an unrelated edit must not un-mute an accepted
-# finding, but a GROWTH in count is NOT muted — the extra site fails the build.
-#
-chat.el DEAD-READ exact:soul_identity x5
-# ^ soul.el used to run `state_set("soul_identity", soul_identity)`. It was
-#   deleted on 2026-05-13 in b163fa6 ("feat(awareness): route ISE writes to HTTP
-#   Engram ..."), a commit about something else entirely, and the five readers in
-#   chat.el were left behind. Since that date build_system_prompt (737), the
-#   vision handler (1745), the agentic system prompt (2620), the council
-#   transcript handler (3425) and 3480 have all been prefixing "" — exactly the
-#   #129 shape, found by this gate on its first run. Sites: 737, 1745, 2620,
-#   3425, 3480. Fix = restore the boot-time write or delete the reads; not done
-#   here because this branch must not change engine behaviour.
-
-studio.el DEAD-READ exact:soul_principal x1
-# ^ studio.el:57 dharma_registry() emits "principal":"" on every call — no
-#   producer has ever existed in the tree's history (git log -S finds none).
-#   Never-wired rather than orphaned, same silent-"" result.
@@ -1,16 +0,0 @@
-# state-key-external.txt — state keys the engine READS but deliberately never
-# WRITES, because a host outside the El tree sets them (an operator, the
-# installer, a deployment env). Read scripts/verify-state-keys.sh for why this
-# list has to exist and why it has to stay short.
-#
-# THE RULE FOR ADDING A LINE: the read site must already treat "" as a defined
-# default (`if str_eq(x, "") { <default> }`) AND the source must say so in a
-# comment. "I could not find the writer" is NOT a reason — that is the #129
-# defect, and it belongs in state-key-baseline.txt with a date, not here.
-#
-# format: exact|prefix <key>            # why, and where the source says so
-#
-exact  soul_rate_limit                  # routes.el:59-61 — "configurable via soul state key ... Falls back to 60 req/min if not set."
-exact  web_search_tool_version          # chat.el:1884-1910 — version lives in state "so a future bump is a config write, not a recompile"; defaults to web_search_20250305
-exact  platform_auth                    # stewardship.el:92 — host-set capability flag; fail-CLOSED (anything but "true" denies the platform tool)
-exact  security_research_authorized     # awareness.el:991-996 — state override for env SECURITY_RESEARCH_TOKEN; fail-closed, defaults false
@@ -1,118 +0,0 @@
-#!/usr/bin/env bash
-# verify-state-keys.sh — the state-key gate. Retires a defect class at build time.
-#
-# ── WHY THIS EXISTS. DO NOT DELETE IT AS NOISE. ──────────────────────────────
-#
-# The engine keeps runtime values in a key-value store: state_set("k", v) writes,
-# state_get("k") reads. A read of a key that NOTHING writes returns an empty
-# string. Silently. No error, no warning, no log line. The El compiler cannot see
-# it, no test sees it, and the product keeps running — just with a hole in it.
-#
-# That is how issue #129 happened. ff421d3 (2026-08-05) correctly moved
-# conversation history to a per-session key behind conv_hist_key(session_id). One
-# consumer did not move with it: the agentic path's L1 safety screen kept reading
-# the old anonymous "conv_history" bucket. The desktop app always mints a session
-# id, so history was always written under session_hist_<id> and that read always
-# returned "". The half of the crisis score that receives history is the
-# ESCALATION half — the one that exists for distress building across several
-# turns, where no single message trips the bell on its own. It scored 0 on every
-# real conversation for two days, and nothing failed.
-#
-# The line that broke carried a comment describing this exact bug being fixed
-# once already, under issue #9. A comment is not a gate. This is the gate.
-#
-# ── WHAT IT CHECKS ──────────────────────────────────────────────────────────
-#
-#   DEAD-READ    a state_get whose key resolves to something no state_set in the
-#                tree produces. The direct form of the class.
-#
-#   HAND-ROLLED  a state_get/state_set that spells out a literal belonging to a
-#                key namespace a helper function owns (e.g. "conv_history", owned
-#                by conv_hist_key()). This is #129's actual shape: the producer
-#                moved behind the helper and one consumer kept the old spelling
-#                by hand. DEAD-READ alone does NOT catch #129, because the dead
-#                handle_chat() still writes that key through the helper — so this
-#                second check is the one that earns the gate its keep.
-#
-# ── WHY IT DOES NOT CRY WOLF ────────────────────────────────────────────────
-#
-# Keys are usually COMPUTED, not literal, so a naive grep would flood and get
-# switched off within a day. scripts/state-key-audit.py resolves computed keys:
-# string concatenation (matched on the static prefix), helper functions (resolved
-# to their possible return values), keys built into a local variable, and keys
-# arriving as a function parameter (resolved through the call sites). Where a key
-# genuinely cannot be resolved it is printed under UNRESOLVED and does NOT fail
-# the build — visible, never silently ignored. Keep that list short.
-#
-# On this tree it resolves 278 of 278 sites: UNRESOLVED is 0 and FINDINGS is 0.
-#
-# Two declaration files, both of which should only ever shrink:
-#   scripts/state-key-external.txt  keys a host outside the El tree writes
-#   scripts/state-key-baseline.txt  findings that predate the gate (real debt)
-#
-# ── PROVEN TO DISCRIMINATE (2026-08-07) ─────────────────────────────────────
-#
-#   1. Synthetic: a scratch copy of this tree with agentic_safety_screen reverted
-#      to the pre-fix state_get("conv_history") — ONE line, nothing else — FAILS
-#      with `chat.el:2536 ... conv_hist_key() owns this key namespace`. The tree
-#      as shipped PASSES. One variable, opposite verdicts.
-#   2. Independent: run read-only against origin/feat/soul-openai-tools-v2, which
-#      carries the same defect on its own, the gate reported chat.el:2937 — the
-#      exact line 43d0449's commit message had named by hand. Against that
-#      branch's fix (origin/fix/129-on-openai-tools) it passes.
-#   3. Producer-moved controls: renaming the sole writer of an EXACT key
-#      (soul_model) orphans 3 readers across 3 files; renaming the sole writer of
-#      a PREFIX namespace (agent_workspace_root_*) orphans 3 readers — including
-#      when the producer moves to a NARROWER namespace, which an earlier,
-#      sloppier prefix rule let through.
-#
-# It also found, on its first run, a defect nobody was looking for: soul.el's
-# `state_set("soul_identity", ...)` was deleted on 2026-05-13 in b163fa6 (a
-# commit about awareness/ISE writes) and five readers in chat.el were left
-# behind — the system prompt, the vision handler, the agentic prompt and the
-# council handler have been prefixing "" ever since. See state-key-baseline.txt.
-#
-# ── SAFETY ──────────────────────────────────────────────────────────────────
-# Pure static read of .el sources. Starts nothing, opens no port, touches no
-# daemon, and never reads or writes ~/.neuron.
-#
-# ── USAGE ───────────────────────────────────────────────────────────────────
-#   scripts/verify-state-keys.sh                 gate the repo (honours baseline)
-#   scripts/verify-state-keys.sh --strict        ignore the baseline: show the debt
-#   scripts/verify-state-keys.sh --verbose       also dump every write pattern
-#   scripts/verify-state-keys.sh --root DIR      audit a different tree
-# exit 0 = clean; 1 = finding(s); 2 = the gate itself could not run.
-set -uo pipefail
-
-SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
-ROOT="$(cd "$SCRIPT_DIR/.." && pwd)"
-STRICT=0
-PASS_THROUGH=()
-
-while [ $# -gt 0 ]; do
-  case "$1" in
-    --strict)  STRICT=1; shift ;;
-    --root)    ROOT="${2:?--root needs a directory}"; shift 2 ;;
-    -h|--help) awk 'NR>1 && /^#/ {print; next} NR>1 {exit}' "${BASH_SOURCE[0]}"; exit 0 ;;
-    *)         PASS_THROUGH+=("$1"); shift ;;
-  esac
-done
-
-command -v python3 >/dev/null 2>&1 || {
-  echo "[state-keys] CANNOT RUN: python3 not found" >&2; exit 2; }
-[ -d "$ROOT" ] || { echo "[state-keys] CANNOT RUN: no such tree: $ROOT" >&2; exit 2; }
-
-AUDIT="$SCRIPT_DIR/state-key-audit.py"
-[ -f "$AUDIT" ] || { echo "[state-keys] CANNOT RUN: missing $AUDIT" >&2; exit 2; }
-
-ARGS=("$ROOT" "--external" "$SCRIPT_DIR/state-key-external.txt")
-[ "$STRICT" -eq 0 ] && ARGS+=("--baseline" "$SCRIPT_DIR/state-key-baseline.txt")
-[ ${#PASS_THROUGH[@]} -gt 0 ] && ARGS+=("${PASS_THROUGH[@]}")
-
-python3 "$AUDIT" "${ARGS[@]}"
-RC=$?
-if [ "$RC" -gt 1 ]; then
-  echo "[state-keys] CANNOT RUN: the audit itself failed (exit $RC)" >&2
-  exit 2
-fi
-exit "$RC"
@@ -0,0 +1,14 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn session_title_from_message(message: String) -> String
+extern fn session_make_content(id: String, title: String, created_at: Int, updated_at: Int, folder: String) -> String
+extern fn session_exists(session_id: String) -> Bool
+extern fn session_create(body: String) -> String
+extern fn session_create_cleanup(session_id: String) -> String
+extern fn session_list() -> String
+extern fn session_get(session_id: String) -> String
+extern fn session_delete(session_id: String) -> String
+extern fn session_update_patch(session_id: String, body: String) -> String
+extern fn session_search_entry(node: String) -> String
+extern fn session_search(query: String) -> String
+extern fn session_hist_load(session_id: String) -> String
+extern fn session_hist_save(session_id: String, hist: String) -> Void
@@ -559,27 +559,6 @@ let axon_base: String = if str_eq(axon_raw, "") { "http://localhost:7771" } else
 let studio_dir_raw: String = env("SOUL_STUDIO_DIR")
 let studio_dir: String = if str_eq(studio_dir_raw, "") { env("HOME") + "/Development/neuron-technologies/products/cgi-studio/el-daemon" } else { studio_dir_raw }

-// RESTORED 2026-08-09 — this producer was added 2026-05-02 in 601e0fe and deleted
-// by the awareness refactor b163fa6 a few days later. Nothing has written
-// soul_identity since, while FIVE sites in chat.el kept reading it:
-//   chat.el:737, 1745, 2620, 3425, 3480 — each doing state_get("soul_identity")
-// and splicing the result into the system prompt beside the voice, security and
-// capability rules. They have been splicing an EMPTY STRING for roughly three
-// months. The identity section of every chat turn was blank and nothing said so.
-//
-// Found by the #132 state-key gate, which reports a read with no producer as a
-// build error rather than a silence — the whole reason that gate exists.
-//
-// Restored verbatim rather than improved: this key is an env-configurable persona
-// LINE, which is NOT the same thing as soul_identity_context (the graph-derived
-// [INTELLECTUAL-DNA]/[VALUES]/[MEMORY-PHILOSOPHY] block written at soul.el:184).
-// Pointing these five reads at that block instead would have substituted different
-// content and called it a fix. Whether the chat system prompt should ALSO carry the
-// graph-derived block is a real question, and a separate one.
-let identity_raw: String = env("SOUL_IDENTITY")
-let soul_identity: String = if str_eq(identity_raw, "") { "You are " + soul_cgi_id + ", a CGI." } else { identity_raw }
-state_set("soul_identity", soul_identity)
-
 println("[soul] boot - cgi=" + soul_cgi_id + " port=" + int_to_str(port))

 let using_http_engram: Bool = !str_eq(engram_url_raw, "")
@@ -0,0 +1,8 @@
+// auto-generated by elc --emit-header - do not edit
+extern fn init_soul_edges() -> Void
+extern fn ensure_self_canonical_bridge() -> Void
+extern fn aff_try_slot(slot_json: String, aff_7d_ts: Int, acc_key: String) -> Void
+extern fn load_identity_context() -> Void
+extern fn seed_persona_from_env() -> Void
+extern fn emit_session_start_event() -> Void
+extern fn layered_cycle(raw_input: String, session_id: String, utility: Bool) -> String
@@ -0,0 +1,11 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn steward_log_event(kind: String, detail: String) -> Void
+extern fn steward_get_mission() -> String
+extern fn steward_align(input: String, imprint_id: String) -> String
+extern fn steward_validate_imprint(imprint_id: String, tool_name: String) -> String
+extern fn steward_cgi_check(action: String) -> String
+extern fn steward_fingerprint_session(input: String, session_id: String) -> String
+extern fn extract_dim(content: String, key: String) -> String
+extern fn steward_build_baseline() -> String
+extern fn steward_check_continuity(current_fingerprint: String, session_id: String) -> String
+extern fn steward_session_check(input: String, session_id: String) -> String
@@ -53,23 +53,8 @@ fn handle_config(method: String, body: String) -> String {
 }

 fn dharma_registry() -> String {
-    // COMPILED IDENTITY, not state (2026-08-09). soul_principal had no producer at
-    // all — the #132 gate flagged it as a dead read and the registry reported an
-    // empty principal under a heading that says "Principal Covenant v1". The value
-    // was never missing: it is declared in soul.el's cgi block, and as of the
-    // codegen fix it is compiled into the binary and loaded at startup.
-    //
-    // Read it from the compiled constant rather than the state store. The design is
-    // explicit that this identity is "not modifiable by any runtime mechanism
-    // including environment variables, configuration files, or API calls" — so
-    // publishing it into state (the cheap fix) would have recreated exactly the
-    // mutable copy it forbids. cgi_principal() is read-only and has no setter.
-    //
-    // cgi_id keeps its state read deliberately: the RUNTIME instance id is a
-    // different fact from the compiled dharma_id, and conflating them would hide
-    // the case where a binary runs under an id its declaration never claimed.
    let cgi_id: String = state_get("soul_cgi_id")
-    let principal: String = cgi_principal()
+    let principal: String = state_get("soul_principal")
    return "{\"registry\":[{\"cgi\":\"" + cgi_id + "\","
        + "\"principal\":\"" + principal + "\","
        + "\"covenant\":\"Principal Covenant v1\","
@@ -0,0 +1,12 @@
+// auto-generated by elc --emit-header — do not edit
+extern fn auth_headers(tok: String) -> Map
+extern fn axon_get(path: String) -> String
+extern fn axon_post(path: String, body: String) -> String
+extern fn handle_conversations(method: String) -> String
+extern fn handle_config(method: String, body: String) -> String
+extern fn dharma_registry() -> String
+extern fn dharma_network_state() -> String
+extern fn handle_dharma(path: String, method: String, body: String) -> String
+extern fn handle_tool(path: String, method: String, body: String) -> String
+extern fn handle_nlg(path: String, method: String, body: String) -> String
+extern fn render_studio() -> String
@@ -32,27 +32,12 @@ fi

 [ -f "$RUNTIME/el_runtime.c" ] || { echo "pinned runtime missing at $RUNTIME" >&2; exit 2; }

-# macOS: Homebrew's openssl@3 is keg-only (never linked into /usr/local or
-# /opt/homebrew directly), so cc/ld cannot find -lssl/-lcrypto without an
-# explicit -L. CI's runner installs libssl-dev system-wide on Ubuntu, so this
-# branch is a no-op there. Discovered 2026-08-15: a plain build on macOS with
-# CI's exact flags fails with "ld: library 'ssl' not found" even though the
-# flags are otherwise correct and CI's own recipe (.gitea/workflows/ci.yaml)
-# links -lssl -lcrypto -lcurl -lpthread -lm, which this script had drifted
-# from (it was missing -lssl -lcrypto entirely).
-SSL_LIBDIR=()
-if [ "$(uname -s)" = "Darwin" ] && command -v brew >/dev/null 2>&1; then
-  SSL_PREFIX="$(brew --prefix openssl@3 2>/dev/null || true)"
-  [ -n "$SSL_PREFIX" ] && [ -d "$SSL_PREFIX/lib" ] && SSL_LIBDIR=(-L"$SSL_PREFIX/lib")
-fi
-
 echo "[build-from-dist] compiling dist/soul.c with CI's flags"
-cc -O2 -DHAVE_CURL -rdynamic -fbracket-depth=1024 \
+cc -O2 -DHAVE_CURL -rdynamic \
  -I"$RUNTIME" \
  dist/soul.c \
  "$RUNTIME/el_runtime.c" \
-  "${SSL_LIBDIR[@]}" \
-  -lssl -lcrypto -lcurl -lpthread -lm \
+  -lcurl -lpthread -lm \
  -o "$OUT" || { echo "[build-from-dist] COMPILE FAILED" >&2; exit 3; }

 # Provenance sidecar: what a deployer checks before installing anything.
@@ -1,113 +0,0 @@
-#!/usr/bin/env bash
-# regenerate-soul-amalgam.sh — regenerate dist/soul.c from the current .el
-# sources, working around three real elc/elb toolchain gotchas found and
-# root-caused during the 2026-08-15 local-build audit. See AGENTS.md's
-# "Build / regenerate dist/soul.c" section for the full explanation of each.
-#
-# Requires: `elc` (the El compiler, macOS arm64 binary at
-# foundation/el/lang/dist/platform/elc-darwin-arm64) on $PATH as `elc`.
-#
-# Usage:
-#   tools/regenerate-soul-amalgam.sh
-#
-# After it succeeds:
-#   tools/soulc-stamp.sh --write
-#   tools/build-soul-from-dist.sh dist/neuron
-set -euo pipefail
-
-ROOT="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
-# soul.el's own `import "../foundation/el/elp/src/elp.el"` assumes neuron and
-# foundation are siblings. True for a normal checkout; FALSE for a
-# `git worktree add .worktrees/<name>` checkout (nested one level deeper) —
-# exactly the layout this audit was run from. Try both before giving up.
-FOUNDATION="$(cd "$ROOT/../foundation" 2>/dev/null && pwd || true)"
-if [ -z "$FOUNDATION" ]; then
-  FOUNDATION="$(cd "$ROOT/../../foundation" 2>/dev/null && pwd || true)"
-fi
-ELP_SRC="${ELP_SRC:-$FOUNDATION/el/elp/src}"
-RUNTIME="$ROOT/vendor/el-runtime/v1.0.0-20260501"
-FLAT="$(mktemp -t flat-soul).el"
-OUT_C="$(mktemp -t flat-soul-out).c"
-
-command -v elc >/dev/null 2>&1 || {
-  echo "regenerate-soul-amalgam: 'elc' not found on \$PATH." >&2
-  echo "  export PATH=\"\$(dirname <path-to>/elc-darwin-arm64):\$PATH\" (symlinked as 'elc')" >&2
-  exit 2
-}
-[ -d "$ELP_SRC" ] || {
-  echo "regenerate-soul-amalgam: elp.el source dir not found at $ELP_SRC" >&2
-  echo "  set ELP_SRC=/path/to/foundation/el/elp/src if 'foundation' isn't a sibling of this repo" >&2
-  exit 2
-}
-[ -f "$RUNTIME/el_runtime.h" ] || {
-  echo "regenerate-soul-amalgam: pinned runtime missing at $RUNTIME" >&2
-  exit 2
-}
-
-# Gotcha #1: stale committed .elh headers silently truncate the build (elc/elb
-# prefer an existing .elh over recompiling its source, with no warning).
-echo "[regen] deleting all *.elh in repo root and dist/ (stale-cache gotcha)"
-find "$ROOT" -maxdepth 2 -iname "*.elh" -delete
-
-> "$FLAT"
-BUF_N=0
-emit_buffer() {
-  # Gotcha #3: elc silently drops the 1-2 top-level fn defs immediately after
-  # any multi-line leading comment block / file-boundary transition when
-  # compiling a flat concatenated file. Two throwaway functions per boundary
-  # absorb the drop; stripped back out of the .c below.
-  BUF_N=$((BUF_N+1)); printf 'fn __amalgam_buf_%d__() -> Int { return 0 }\n' "$BUF_N" >> "$FLAT"
-  BUF_N=$((BUF_N+1)); printf 'fn __amalgam_buf_%d__() -> Int { return 0 }\n' "$BUF_N" >> "$FLAT"
-  echo "" >> "$FLAT"
-}
-add_file() {
-  emit_buffer
-  grep -v '^import ' "$1" >> "$FLAT"
-  echo "" >> "$FLAT"
-}
-
-emit_buffer
-# elp.el's own documented dependency order (see its header comment).
-for f in language-profile.el vocabulary.el morphology.el \
-  morphology-es.el morphology-fr.el morphology-de.el morphology-ru.el \
-  morphology-ja.el morphology-fi.el morphology-ar.el morphology-hi.el \
-  morphology-sw.el morphology-la.el morphology-he.el morphology-grc.el \
-  morphology-ang.el morphology-sa.el morphology-got.el morphology-non.el \
-  morphology-enm.el morphology-pi.el morphology-fro.el morphology-goh.el \
-  morphology-sga.el morphology-txb.el morphology-peo.el morphology-akk.el \
-  morphology-uga.el morphology-egy.el morphology-sux.el morphology-gez.el \
-  morphology-cop.el grammar.el realizer.el semantics.el elp.el; do
-  add_file "$ELP_SRC/$f"
-done
-
-# elb's own reported topological order for this repo's 13 soul modules.
-cd "$ROOT"
-for f in persist.el memory.el safety.el stewardship.el imprint.el \
-  awareness.el chat.el studio.el elp-input.el neuron-api.el sessions.el \
-  routes.el soul.el; do
-  add_file "$f"
-done
-
-echo "[regen] flat source: $FLAT ($(wc -l < "$FLAT" | tr -d ' ') lines)"
-
-# Gotcha #2: elb cannot produce this repo's single-TU dist/soul.c (it does
-# per-module separate compilation, which fails on this codebase's
-# cross-module implicit-declaration style). Use plain elc on the flat file.
-echo "[regen] compiling with elc against the pinned runtime ($RUNTIME)"
-CPATH="$RUNTIME" C_INCLUDE_PATH="$RUNTIME" elc "$FLAT" > "$OUT_C"
-
-echo "[regen] stripping the priming buffer functions back out"
-python3 - "$OUT_C" "$ROOT/dist/soul.c" << 'PYEOF'
-import re, sys
-src, dst = sys.argv[1], sys.argv[2]
-with open(src) as f:
-    content = f.read()
-content = re.sub(r'el_val_t __amalgam_buf_\d+__\(void\);\n', '', content)
-content = re.sub(r'el_val_t __amalgam_buf_\d+__\(void\) \{\n(?:\s*return 0;\n)+\}\n\n', '', content)
-with open(dst, 'w') as f:
-    f.write(content)
-PYEOF
-
-echo "[regen] OK -> dist/soul.c ($(wc -c < "$ROOT/dist/soul.c" | tr -d ' ') bytes)"
-echo "[regen] next: tools/soulc-stamp.sh --write && tools/build-soul-from-dist.sh dist/neuron"
-rm -f "$FLAT" "$OUT_C"
@@ -30,19 +30,9 @@ AMALGAM="$ROOT/dist/soul.c"

 # Every .el at the repo root is an input to the amalgam. Sorted so the hash is
 # order-independent; content-only so timestamps and checkouts do not perturb it.
-# The COMPILER is an input too. Learned 2026-08-09 by installing a fixed elc and
-# watching this gate report OK while the committed amalgam had gone stale by a line:
-# the sources had not changed, so a source-only fingerprint could not see it. That is
-# precisely the blind spot this gate exists to close, and it had it.
 fingerprint() {
  (
    cd "$ROOT" || exit 1
-    ELC_BIN="${ELC:-$HOME/neuron-dev-stack/src/el/lang/dist/platform/elc}"
-    if [ -f "$ELC_BIN" ]; then
-      printf '%s  %s\n' "$(shasum -a 256 "$ELC_BIN" | awk '{print $1}')" "__compiler__"
-    else
-      printf '%s  %s\n' "MISSING" "__compiler__"
-    fi
    for f in $(ls -1 *.el 2>/dev/null | sort); do
      printf '%s  %s\n' "$(shasum -a 256 "$f" | awk '{print $1}')" "$f"
    done
@@ -5634,25 +5634,6 @@ void el_cgi_init(el_val_t name, el_val_t dharma_id, el_val_t principal,
 }


-/* ── Compiled-identity accessors (2026-08-09) ─────────────────────────────────
- * el_cgi_init loads the declaration into these globals at startup and printed
- * them, and NOTHING read them back out — no accessor existed, and el_cgi_init
- * writes no state. So a binary carried its declared identity and every consumer
- * still read it from the mutable state store, which is exactly what IDPROTO
- * claims 1-2 forbid ("not modifiable by any runtime mechanism including
- * environment variables, configuration files, or API calls").
- *
- * These are READ-ONLY on purpose. There is deliberately no setter: publishing
- * the values into the state store would have been one line and would have
- * recreated the mutable copy the design prohibits. A caller can read the
- * compiled identity; nothing can change it after el_cgi_init.
- */
-el_val_t cgi_name(void)      { return EL_STR(_el_cgi_name      ? _el_cgi_name      : ""); }
-el_val_t cgi_dharma_id(void) { return EL_STR(_el_cgi_dharma_id ? _el_cgi_dharma_id : ""); }
-el_val_t cgi_principal(void) { return EL_STR(_el_cgi_principal ? _el_cgi_principal : ""); }
-el_val_t cgi_network(void)   { return EL_STR(_el_cgi_network   ? _el_cgi_network   : ""); }
-el_val_t cgi_engram(void)    { return EL_STR(_el_cgi_engram    ? _el_cgi_engram    : ""); }
-
 /* ── Batch 3: Engram in-process graph store ──────────────────────────────── */
 /*
 * Single global EngramStore allocated lazily on first call. All node and
@@ -782,14 +782,6 @@ el_val_t trace_span_start(el_val_t name);
 el_val_t trace_span_end(el_val_t span_handle);
 el_val_t emit_event(el_val_t name, el_val_t duration_ms);

-/* Compiled-identity accessors — read-only by design (2026-08-09). */
-el_val_t cgi_name(void);
-el_val_t cgi_dharma_id(void);
-el_val_t cgi_principal(void);
-el_val_t cgi_network(void);
-el_val_t cgi_engram(void);
-
 #ifdef __cplusplus
 }
-
 #endif