Compare commits

..

10 Commits

Author SHA1 Message Date
will.anderson 4b648f3291 Merge pull request 'test(imprint): add 14-case test suite for Layer 3 imprint boundary' (#11) from test/layer-imprint into feat/layer-imprint
Neuron Soul CI / build (pull_request) Failing after 7m54s
2026-06-11 17:13:49 +00:00
will.anderson 749b60c6e8 fix(soul): address review issues in feat/layer-imprint
Neuron Soul CI / build (pull_request) Failing after 5m44s
2026-06-11 11:46:31 -05:00
will.anderson fbbc6d4347 Add imprint.el test suite (14 cases)
Covers: imprint_current base fallback, unload idempotency, load miss →
ok=false, ok field presence, respond passthrough for base/empty/unknown
IDs, graceful fallback after unload, surface_knowledge and
surface_memory_read return-type guarantees, base-scoped knowledge
equality, no-annotation invariant for base, empty-ID load rejection, and
failed-load state immutability.

Syntax follows El constraints: no Bool annotations, no &&/||, no unary !.
2026-06-11 11:40:37 -05:00
will.anderson 6fec93ff7f feat(soul): Layer 3 — imprint.el with bounded API surface
Neuron Soul CI / build (pull_request) Failing after 7m46s
2026-06-11 11:30:30 -05:00
will.anderson 5a4ef04005 feat: add mcp-proxy and mcp-wrapper source (MCP front-door for Claude Code)
Deploy Soul to GKE / deploy (push) Failing after 36s
Neuron Soul CI / build (push) Failing after 4m59s
2026-06-10 17:44:01 -05:00
will.anderson 3947cd6bed Merge pull request 'Memory CRUD: add /api/neuron/memory/delete and /api/neuron/memory/update' (#4) from feat/memory-delete-update into main
Neuron Soul CI / build (push) Failing after 6m16s
Deploy Soul to GKE / deploy (push) Failing after 35s
2026-06-10 22:37:53 +00:00
will.anderson abaa61fd7f Merge pull request 'Native Anthropic web_search — built-in (always-on, no toggle)' (#2) from feat/native-web-search into main
Deploy Soul to GKE / deploy (push) Failing after 37s
Neuron Soul CI / build (push) Failing after 6m29s
2026-06-10 22:37:50 +00:00
Tim Lingo 05ca125ecc api: add /api/neuron/memory/delete and /api/neuron/memory/update for UI memory CRUD
Neuron Soul CI / build (pull_request) Failing after 4m48s
The UI needs full memory CRUD; the soul had create (handle_api_remember)
and the older /memory/forget + /memory/evolve, but no endpoints matching
the UI's delete/update contract.

POST /api/neuron/memory/delete {"id"}
  Hard delete. engram_forget is a true delete primitive (removes the node
  and all incident edges from the engram store), so no soft-delete
  fallback is needed. Unlike /memory/forget, this checks the node exists
  first - engram_forget silently no-ops on unknown ids, and a bad id must
  return an error, not fake success. Protected identity/values nodes are
  blocked, same as the other accumulation-path handlers.

POST /api/neuron/memory/update {"id","content"}
  Evolve-style update. The engram runtime has no in-place node mutation
  primitive (only node-create, strengthen, forget, connect), so update
  creates a new Memory node and wires a supersedes edge to the prior one,
  same pattern as handle_api_evolve_knowledge. Unlike /memory/evolve, id
  is required and must reference an existing node; create+link delegates
  to handle_api_evolve_memory. Returns {id, supersedes, ok}.

Both files syntax-checked with elc --target=c (exit 0, no stderr).
Compile-verified only - local builds cannot run the soul; needs Will's
build for runtime verification.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
2026-06-10 15:43:17 -05:00
Tim Lingo 8eea1d94ff feat(chat): make web search built-in (always attach native web_search)
Neuron Soul CI / build (pull_request) Successful in 5m27s
handle_chat_agentic now always attaches Anthropic's native web_search_20250305
tool instead of gating it behind a per-request web_search flag. Web search is a
built-in capability: the model invokes it only when a query needs fresh info
(max_uses:5 caps it), so there is no user-facing toggle. The body's web_search
field is now ignored (back-compat — old UI clients sending it cause no harm).

Pairs with neuron-ui removing the chat-input web search toggle.
Note: .el change only — no elc on the authoring machine; reviewer builds/verifies.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
2026-06-09 23:39:26 -05:00
Tim Lingo c594cec8f7 Add native Anthropic web_search tool to the agentic chat path
Neuron Soul CI / build (pull_request) Successful in 5m8s
When a chat request carries web_search=true, handle_chat_agentic now attaches Anthropic's
NATIVE server-side web_search tool (web_search_20250305) to the request. The native tool is
executed by Anthropic (not by the soul), so it returns real results with citations and needs
no local runtime — it sidesteps the soul's lack of executable tools entirely.

- new agentic_tools_with_web(web_search) helper (appends the native tool to the standard set)
- handle_chat_agentic reads json_get_bool(body,"web_search") and uses it

Pairs with neuron-ui: ChatRequest.web_search + the chat-input Web search toggle.
Note: built/verified by reviewer — no elc on the authoring machine.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
2026-06-08 23:32:23 -05:00
12 changed files with 1344 additions and 1 deletions
+12 -1
View File
@@ -259,6 +259,17 @@ fn agentic_tools_literal() -> String {
"]"
}
// agentic_tools_with_web the standard tool set, always plus Anthropic's NATIVE
// server-side web_search tool. Web search is BUILT IN: the model invokes it only when a
// query needs fresh info (max_uses caps it), so there is no user-facing toggle. The native
// tool is executed by Anthropic (not by the soul), so it returns real results with citations
// and needs no local runtime it sidesteps the soul's lack of executable tools entirely.
fn agentic_tools_with_web() -> String {
let base: String = agentic_tools_literal()
let inner: String = str_slice(base, 1, str_len(base) - 1)
return "[" + inner + ",{\"type\":\"web_search_20250305\",\"name\":\"web_search\",\"max_uses\":5}]"
}
fn dispatch_tool(tool_name: String, tool_input: String) -> String {
if str_eq(tool_name, "read_file") {
let path: String = json_get(tool_input, "path")
@@ -303,7 +314,7 @@ fn handle_chat_agentic(body: String) -> String {
let system: String = identity + " You have access to tools: read files, write files, browse the web, search your memory, run commands. Use them when they add genuine value. Be direct.\n\n" + ctx
let api_key: String = agentic_api_key()
let tools_json: String = agentic_tools_literal()
let tools_json: String = agentic_tools_with_web()
let safe_msg: String = json_safe(message)
let safe_sys: String = json_safe(system)
let messages: String = "[{\"role\":\"user\",\"content\":\"" + safe_msg + "\"}]"
+81
View File
@@ -0,0 +1,81 @@
// Layer 3 Imprint
// Domain knowledge, voice, and tools bounded by the L2 stewardship surface.
// Imprints cannot write BellEvent or StewardshipEvent nodes.
// Lower layers (L0 core, L1 safety, L2 stewardship) are structurally inaccessible from here.
// imprint_current returns the active imprint ID from state.
// Falls back to "base" (bare Neuron, no suit) when nothing is loaded.
fn imprint_current() -> String {
let id: String = state_get("active_imprint_id")
return if str_eq(id, "") { "base" } else { id }
}
// imprint_load activate an imprint by ID.
// Searches engram for a node labelled "imprint:<id>".
// Verifies the returned node's label matches before accepting the match.
// On success: sets active_imprint_id state and returns {"ok":true,"id":"<id>"}.
// On miss: returns {"ok":false,"error":"imprint not found: <id>"}.
fn imprint_load(imprint_id: String) -> String {
let label: String = "imprint:" + imprint_id
let results: String = engram_search_json(label, 1)
if str_eq(results, "") {
return "{\"ok\":false,\"error\":\"imprint not found: " + imprint_id + "\"}"
}
if str_eq(results, "[]") {
return "{\"ok\":false,\"error\":\"imprint not found: " + imprint_id + "\"}"
}
let found_label: String = json_get(results, "label")
if str_eq(found_label, label) {
state_set("active_imprint_id", imprint_id)
return "{\"ok\":true,\"id\":\"" + imprint_id + "\"}"
}
return "{\"ok\":false,\"error\":\"imprint not found: " + imprint_id + "\"}"
}
// imprint_respond route steward-aligned input through the active imprint's voice/domain context.
// If imprint_id is "base" or empty: pass input through unchanged (base Neuron, no suit).
// If the imprint is confirmed loaded in state: annotate the input with imprint context.
// If the state does not match: graceful fallback to base never hard-fail at L3.
fn imprint_respond(input: String, imprint_id: String) -> String {
if str_eq(imprint_id, "base") {
return input
}
if str_eq(imprint_id, "") {
return input
}
// Cross-check imprint_id against loaded state rather than re-querying engram
let current: String = imprint_current()
if str_eq(current, imprint_id) {
return input + " [imprint:" + imprint_id + " active]"
}
// Graceful fallback: imprint not loaded in state, return input unchanged
return input
}
// imprint_surface_knowledge domain-scoped knowledge search for the active imprint.
// Imprints can search knowledge but only domain-relevant nodes.
// For "base" imprint: full query, no scope restriction.
// For named imprints: query is narrowed to "domain:<imprint_id>" scope.
fn imprint_surface_knowledge(query: String, imprint_id: String) -> String {
if str_eq(imprint_id, "base") {
return engram_search_json(query, 10)
}
if str_eq(imprint_id, "") {
return engram_search_json(query, 10)
}
let scoped_query: String = query + " domain:" + imprint_id
return engram_search_json(scoped_query, 10)
}
// imprint_surface_memory_read imprints can read memories from engram.
// Read-only: no write surface is exposed here.
// Imprints CANNOT write BellEvent, StewardshipEvent, or InternalStateEvent nodes
// those write paths are sealed in L1 and L2, which are structurally inaccessible.
fn imprint_surface_memory_read(query: String) -> String {
return engram_search_json(query, 10)
}
// imprint_unload deactivate the current imprint, returning to base Neuron.
fn imprint_unload() -> Void {
state_set("active_imprint_id", "")
}
+7
View File
@@ -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
+1
View File
@@ -0,0 +1 @@
dist/
+11
View File
@@ -0,0 +1,11 @@
package "neuron-mcp-proxy" {
version "0.1.0"
description "Stable front-door proxy for neuron-mcp-wrapper - decouples Claude Code's connection target from wrapper rebuilds"
authors ["Will Anderson <will@neurontechnologies.ai>"]
edition "2026"
}
build {
entry "src/main.el"
output "dist/"
}
+74
View File
@@ -0,0 +1,74 @@
// mcp-proxy - stable forwarder for the mcp-wrapper.
//
// Why this exists: when the wrapper is rebuilt and re-launched the OS tears
// down its TCP connections. Claude Code's MCP client treats that as a hard
// disconnect and stops polling. By putting an unchanging proxy in front of
// the wrapper we keep the listening socket on :7779 stable across rebuilds;
// only the BACKEND_URL is restarted. Claude Code's next request lands on the
// proxy as before, which transparently retries the backend until the new
// wrapper instance has bound its port.
//
// Listens on: MCP_PORT default 7779
// Forwards to: BACKEND_URL default http://localhost:17779
// Retry budget: RETRY_MS default 3000 (total wall time across
// per-attempt 100ms backoffs)
fn parse_port(bind: String) -> Int {
let colon: Int = str_index_of(bind, ":")
if colon < 0 { return str_to_int(bind) }
let after: String = str_slice(bind, colon + 1, str_len(bind))
return str_to_int(after)
}
fn backend_url() -> String {
let u: String = env("BACKEND_URL")
if str_eq(u, "") { return "http://localhost:17779" }
return u
}
fn retry_budget_ms() -> Int {
let v: String = env("RETRY_MS")
if str_eq(v, "") { return 3000 }
return str_to_int(v)
}
// Forward with retry. Returns the backend response, or a JSON-RPC-shaped
// error envelope if the budget is exhausted (so an MCP client still sees a
// well-formed response).
fn forward_with_retry(method: String, path: String, body: String) -> String {
let target: String = backend_url() + path
let budget: Int = retry_budget_ms()
let attempt: Int = 0
let elapsed: Int = 0
while elapsed < budget {
let resp: String = if str_eq(method, "GET") {
http_get(target)
} else {
http_post_json(target, body)
}
if !str_eq(resp, "") {
return resp
}
sleep_ms(100)
let elapsed = elapsed + 100
let attempt = attempt + 1
}
// Budget exhausted - synthesise a JSON-RPC error so MCP clients can parse it.
return "{\"jsonrpc\":\"2.0\",\"id\":null,\"error\":{\"code\":-32000,\"message\":\"backend unreachable after " + int_to_str(budget) + "ms\"}}"
}
fn handle_request(method: String, path: String, body: String) -> String {
if str_eq(method, "GET") && (str_eq(path, "/health") || str_eq(path, "/proxy/health")) {
return "{\"status\":\"ok\",\"service\":\"neuron-mcp-proxy\",\"backend\":\"" + backend_url() + "\"}"
}
return forward_with_retry(method, path, body)
}
let bind_str: String = env("MCP_PORT")
if str_eq(bind_str, "") { let bind_str = "7779" }
let port: Int = parse_port(bind_str)
println("[mcp-proxy] listening on :" + int_to_str(port))
println("[mcp-proxy] backend=" + backend_url())
http_serve(port, "handle_request")
+1
View File
@@ -0,0 +1 @@
dist/
+11
View File
@@ -0,0 +1,11 @@
package "neuron-mcp-wrapper" {
version "0.1.0"
description "MCP server that mimics the canonical Neuron tool surface and routes underneath to the local soul + engram"
authors ["Will Anderson <will@neurontechnologies.ai>"]
edition "2026"
}
build {
entry "src/main.el"
output "dist/"
}
+831
View File
@@ -0,0 +1,831 @@
// mcp-wrapper - MCP server that mimics the canonical Neuron MCP tool surface
// and routes underneath to the local soul service.
//
// Wire shape (Streamable HTTP MCP transport):
// POST / body = JSON-RPC 2.0 request
// response = JSON-RPC 2.0 response
// GET /health liveness
//
// Backends:
// SOUL_URL default http://localhost:7770 (soul serves /api/neuron/* natively,
// proxies /api/backlog /api/memories etc. to axon)
//
// Listens on MCP_PORT (default 7779).
//
// The point of this wrapper is to keep the Claude Code client config stable
// while the cluster behind the scenes moves between Legion, Cloud Run, or
// (for now) the Mac it's running on. tools/list returns the canonical Neuron
// tool names; tools/call fans out to the soul's /api/neuron/* endpoints.
// Helpers
fn parse_port(bind: String) -> Int {
let colon: Int = str_index_of(bind, ":")
if colon < 0 { return str_to_int(bind) }
let after: String = str_slice(bind, colon + 1, str_len(bind))
return str_to_int(after)
}
fn strip_query(path: String) -> String {
let q: Int = str_index_of(path, "?")
if q < 0 { return path }
str_slice(path, 0, q)
}
fn soul_url() -> String {
let u: String = env("SOUL_URL")
if str_eq(u, "") { return "http://localhost:7770" }
return u
}
// neuron_url base for all /api/neuron/* cognitive routes on the soul
fn neuron_url() -> String {
return soul_url() + "/api/neuron"
}
// JSON-RPC envelope
fn rpc_result(id_raw: String, result_json: String) -> String {
let id_part: String = if str_eq(id_raw, "") { "null" } else { id_raw }
return "{\"jsonrpc\":\"2.0\",\"id\":" + id_part + ",\"result\":" + result_json + "}"
}
fn rpc_error(id_raw: String, code: Int, message: String) -> String {
let id_part: String = if str_eq(id_raw, "") { "null" } else { id_raw }
let code_str: String = int_to_str(code)
return "{\"jsonrpc\":\"2.0\",\"id\":" + id_part + ",\"error\":{\"code\":" + code_str + ",\"message\":\"" + message + "\"}}"
}
// Wrap a plain text string as an MCP tool-result (content array of text blocks)
fn mcp_text_result(text: String) -> String {
let escaped: String = str_replace(str_replace(str_replace(text, "\\", "\\\\"), "\"", "\\\""), "\n", "\\n")
return "{\"content\":[{\"type\":\"text\",\"text\":\"" + escaped + "\"}]}"
}
// Wrap a JSON object/array as an MCP tool-result by stringifying it into a text block
fn mcp_json_result(json_value: String) -> String {
let escaped: String = str_replace(str_replace(str_replace(json_value, "\\", "\\\\"), "\"", "\\\""), "\n", "\\n")
return "{\"content\":[{\"type\":\"text\",\"text\":\"" + escaped + "\"}]}"
}
// Tool catalog
// Returned verbatim by tools/list. Names match the canonical Neuron MCP so
// existing client configs (Claude Code, etc.) bind without changes.
// Tool entry helpers - keep the catalog dense and readable.
fn tool(name: String, desc: String) -> String {
return "{\"name\":\"" + name + "\",\"description\":\"" + desc + "\",\"inputSchema\":{\"type\":\"object\",\"properties\":{}}}"
}
fn tools_catalog() -> 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("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("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", "Remove a node from memory.") +
"," + tool("pinNode", "Strengthen a node so it stays salient.") +
// Knowledge
"," + 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("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.") +
// Backlog + work
"," + 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("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("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("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("sendNotification", "Emit a notification to Axon / external sinks.") +
// Config
"," + tool("inspectConfig", "Inspect Neuron config keys.") +
"," + tool("tuneConfig", "Set a Neuron config key.") +
// Imprints
"," + 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("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("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("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("beginEvaluation", "Start an evaluation run.") +
"," + tool("getEvaluation", "Fetch an evaluation by id.") +
"," + tool("listEvaluations", "List evaluations.") +
// Capture authorisation
"," + 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("submitHumanGuidanceReview", "Submit a human-guidance review.") +
"]"
}
// Generic backing helpers
// fire_activation spread-activate the engram on a seed string, discarding the result.
// Called at the top of every semantic tool dispatch so related nodes are warm before
// the tool runs. Fire-and-forget: latency is local HTTP only.
fn fire_activation(seed: String) -> String {
if str_eq(seed, "") { return "" }
let trimmed: String = if str_len(seed) > 200 { str_slice(seed, 0, 200) } else { seed }
let body: String = "{\"query\":\"" + json_escape(trimmed) + "\",\"limit\":5}"
let _ignored: String = http_post_json(neuron_url() + "/recall", body)
return ""
}
// 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 q: String = json_get_string(args, "query")
if !str_eq(q, "") { return q }
let c: String = json_get_string(args, "content")
if !str_eq(c, "") { return c }
let t: String = json_get_string(args, "title")
if !str_eq(t, "") { return t }
let d: String = json_get_string(args, "description")
if !str_eq(d, "") { return d }
let s: String = json_get_string(args, "summary")
if !str_eq(s, "") { return s }
let a: String = json_get_string(args, "action")
if !str_eq(a, "") { return a }
let n: String = json_get_string(args, "name")
if !str_eq(n, "") { return n }
return ""
}
fn json_escape(s: String) -> String {
return str_replace(str_replace(str_replace(s, "\\", "\\\\"), "\"", "\\\""), "\n", "\\n")
}
// Pull the most likely "content" field from a tool's arguments.
fn pick_content(args: String) -> String {
let v: String = json_get_string(args, "content")
if !str_eq(v, "") { return v }
let v: String = json_get_string(args, "title")
if !str_eq(v, "") { return v }
let v: String = json_get_string(args, "name")
if !str_eq(v, "") { return v }
let v: String = json_get_string(args, "summary")
if !str_eq(v, "") { return v }
let v: String = json_get_string(args, "description")
if !str_eq(v, "") { return v }
let v: String = json_get_string(args, "question")
if !str_eq(v, "") { return v }
return ""
}
fn pick_id(args: String) -> String {
let v: String = json_get_string(args, "id")
if !str_eq(v, "") { return v }
let v: String = json_get_string(args, "node_id")
if !str_eq(v, "") { return v }
let v: String = json_get_string(args, "entity_id")
if !str_eq(v, "") { return v }
let v: String = json_get_string(args, "key")
if !str_eq(v, "") { return v }
let v: String = json_get_string(args, "artifact_id")
if !str_eq(v, "") { return v }
let v: String = json_get_string(args, "item_id")
if !str_eq(v, "") { return v }
let v: String = json_get_string(args, "context_id")
if !str_eq(v, "") { return v }
let v: String = json_get_string(args, "imprint_id")
if !str_eq(v, "") { return v }
let v: String = json_get_string(args, "process_name")
if !str_eq(v, "") { return v }
return ""
}
// Generic recall (search or list-recent) via /api/neuron/recall
fn recall_or_list(query: String, limit: Int) -> String {
let body: String = "{\"query\":\"" + json_escape(query) + "\",\"limit\":" + int_to_str(limit) + "}"
return http_post_json(neuron_url() + "/recall", body)
}
fn search_with_query(args: String, default_limit: Int) -> String {
let query: String = json_get_string(args, "query")
if str_eq(query, "") { let query = pick_content(args) }
let limit: Int = json_get_int(args, "limit")
if limit == 0 { let limit = default_limit }
let resp: String = recall_or_list(query, limit)
return mcp_json_result(resp)
}
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")
}
let resp: String = http_get(neuron_url() + "/graph?id=" + id + "&depth=0")
return mcp_json_result(resp)
}
fn delete_by_id(args: String) -> String {
let id: String = pick_id(args)
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\"}")
}
// evolve_by_supersede: create an updated node and wire a supersedes edge.
// Routes to the appropriate typed endpoint.
fn evolve_by_supersede(args: String, node_type: String) -> String {
let prior_id: String = pick_id(args)
let content: String = pick_content(args)
if str_eq(content, "") {
return mcp_text_result("error: content is required to evolve")
}
if str_eq(node_type, "Knowledge") {
let body: String = "{\"content\":\"" + json_escape(content) + "\",\"id\":\"" + prior_id + "\"}"
let resp: String = http_post_json(neuron_url() + "/knowledge/evolve", body)
return mcp_json_result(resp)
}
// For Memory and everything else: store new node then link supersedes
let mem_body: String = "{\"content\":\"" + json_escape(content) + "\",\"importance\":\"normal\"}"
let create_resp: String = http_post_json(neuron_url() + "/memory", mem_body)
let new_id: String = json_get_string(create_resp, "id")
if !str_eq(prior_id, "") && !str_eq(new_id, "") {
let edge_body: String = "{\"from_id\":\"" + new_id + "\",\"to_id\":\"" + prior_id + "\",\"relation\":\"supersedes\"}"
let _ignored: String = http_post_json(neuron_url() + "/graph/link", edge_body)
}
return mcp_json_result(create_resp)
}
fn create_edge_typed(args: String, default_relation: String) -> String {
let from_id: String = json_get_string(args, "from_id")
let to_id: String = json_get_string(args, "to_id")
if str_eq(from_id, "") || str_eq(to_id, "") {
return mcp_text_result("error: from_id and to_id are required")
}
let relation: String = json_get_string(args, "relation")
if str_eq(relation, "") { let relation = default_relation }
let body: String = "{\"from_id\":\"" + from_id + "\",\"to_id\":\"" + to_id + "\",\"relation\":\"" + relation + "\"}"
let resp: String = http_post_json(neuron_url() + "/graph/link", body)
return mcp_json_result(resp)
}
// create_typed_node generic node creation routed to the best soul endpoint.
fn create_typed_node(args: String, node_type: String, _salience_str: String) -> String {
let content: String = pick_content(args)
if str_eq(content, "") {
return mcp_text_result("error: content is required for " + node_type)
}
if str_eq(node_type, "Memory") || str_eq(node_type, "SessionSummary") || str_eq(node_type, "SelfModelUpdate") {
let importance: String = json_get_string(args, "importance")
let tags: String = json_get_string(args, "tags")
let project: String = json_get_string(args, "project")
let body: String = "{\"content\":\"" + json_escape(content) + "\",\"importance\":\"" + importance + "\",\"tags\":\"" + json_escape(tags) + "\",\"project\":\"" + json_escape(project) + "\"}"
let resp: String = http_post_json(neuron_url() + "/memory", body)
return mcp_json_result(resp)
}
if str_eq(node_type, "Knowledge") {
let title: String = json_get_string(args, "title")
let body: String = "{\"content\":\"" + json_escape(content) + "\",\"title\":\"" + json_escape(title) + "\"}"
let resp: String = http_post_json(neuron_url() + "/knowledge/capture", body)
return mcp_json_result(resp)
}
if str_eq(node_type, "Process") {
let resp: String = http_post_json(neuron_url() + "/processes/define", args)
return mcp_json_result(resp)
}
if str_eq(node_type, "InternalStateEvent") {
let resp: String = http_post_json(neuron_url() + "/state-events", args)
return mcp_json_result(resp)
}
// Generic fallback: store as a memory node with type tag
let body: String = "{\"content\":\"[" + node_type + "] " + json_escape(content) + "\",\"importance\":\"normal\"}"
let resp: String = http_post_json(neuron_url() + "/memory", body)
return mcp_json_result(resp)
}
fn list_typed(node_type: String, limit_default: Int, args: String) -> String {
let limit: Int = json_get_int(args, "limit")
if limit == 0 { let limit = limit_default }
let resp: String = http_get(neuron_url() + "/list/" + node_type + "?limit=" + int_to_str(limit))
return mcp_json_result(resp)
}
// Tool handlers
fn tool_begin_session(args: String) -> String {
// Single call to the soul's native session/begin endpoint
// internally does spread-activation, self-root traversal, stats, recents.
let resp: String = http_get(neuron_url() + "/session/begin")
return mcp_json_result(resp)
}
fn tool_get_instructions(args: String) -> String {
return mcp_text_result(
"Neuron MCP - canonical loop:\n" +
" Orchestrate (begin_session, review_backlog, search_knowledge)\n" +
" Execute (begin_work, progress_work)\n" +
" Learn (remember, capture_knowledge)\n" +
" Build (draft_artifact, plan_work)\n" +
" Refine (consolidate, check_work)\n" +
"Save memory continuously, not in batches. Use importance=critical for irreversible decisions."
)
}
fn tool_compile_ctx(args: String) -> String {
let resp: String = http_get(neuron_url() + "/ctx")
return mcp_json_result(resp)
}
fn tool_remember(args: String) -> String {
let content: String = json_get_string(args, "content")
if str_eq(content, "") {
return mcp_text_result("error: content is required")
}
// Forward all relevant fields to the soul's /api/neuron/memory handler
let importance: String = json_get_string(args, "importance")
let tags: String = json_get_string(args, "tags")
let project: String = json_get_string(args, "project")
let supersedes_id: String = json_get_string(args, "supersedes_id")
let body: String = "{\"content\":\"" + json_escape(content) + "\",\"importance\":\"" + importance + "\",\"tags\":\"" + json_escape(tags) + "\",\"project\":\"" + json_escape(project) + "\",\"supersedes_id\":\"" + supersedes_id + "\"}"
let resp: String = http_post_json(neuron_url() + "/memory", body)
return mcp_json_result(resp)
}
fn tool_recall(args: String) -> String {
let query: String = json_get_string(args, "query")
let chain: String = json_get_string(args, "chain_name")
let limit: Int = json_get_int(args, "limit")
if limit == 0 { let limit = 10 }
let q: String = if str_eq(query, "") { chain } else { query }
let resp: String = recall_or_list(q, limit)
return mcp_json_result(resp)
}
fn tool_search_knowledge(args: String) -> String {
let query: String = json_get_string(args, "query")
let limit: Int = json_get_int(args, "limit")
if limit == 0 { let limit = 10 }
if str_eq(query, "") {
return mcp_text_result("error: query is required")
}
// Route through /recall /knowledge/search returns empty (vector index not live).
// /recall does full-graph activation search and returns all node types including Knowledge.
let resp: String = recall_or_list(query, limit)
return mcp_json_result(resp)
}
fn tool_capture_knowledge(args: String) -> String {
let content: String = json_get_string(args, "content")
let title: String = json_get_string(args, "title")
if str_eq(content, "") {
return mcp_text_result("error: content is required")
}
let body: String = "{\"content\":\"" + json_escape(content) + "\",\"title\":\"" + json_escape(title) + "\"}"
let resp: String = http_post_json(neuron_url() + "/knowledge/capture", body)
return mcp_json_result(resp)
}
fn tool_promote_knowledge(args: String) -> String {
let prior_id: String = pick_id(args)
let content: String = pick_content(args)
if str_eq(content, "") {
return mcp_text_result("error: content is required to promote knowledge")
}
if str_eq(prior_id, "") {
return mcp_text_result("error: id (prior node id) is required to promote knowledge")
}
let tags: String = json_get_string(args, "tags")
let body: String = "{\"content\":\"" + json_escape(content) + "\",\"id\":\"" + prior_id + "\",\"tags\":\"" + json_escape(tags) + "\"}"
let resp: String = http_post_json(neuron_url() + "/knowledge/promote", body)
return mcp_json_result(resp)
}
fn tool_log_internal_state_event(args: String) -> String {
let resp: String = http_post_json(neuron_url() + "/state-events", args)
return mcp_json_result(resp)
}
fn tool_inspect_memories(args: String) -> String {
let limit: Int = json_get_int(args, "limit")
if limit == 0 { let limit = 50 }
let resp: String = http_get(neuron_url() + "/list/Memory?limit=" + int_to_str(limit))
return mcp_json_result(resp)
}
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")
let depth: Int = json_get_int(args, "max_depth")
if depth == 0 { let depth = 1 }
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") {
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")
}
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 {
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: start_id is required")
}
let resp: String = http_get(neuron_url() + "/graph?id=" + id + "&depth=" + int_to_str(depth))
return mcp_json_result(resp)
}
fn tool_consolidate(args: String) -> String {
let resp: String = http_post_json(neuron_url() + "/consolidate", args)
return mcp_json_result(resp)
}
fn tool_forget(args: String) -> String {
let id: String = json_get_string(args, "node_id")
if str_eq(id, "") {
return mcp_text_result("error: node_id is required")
}
// Soft-delete: record a tombstone memory and return ok
return mcp_json_result("{\"ok\":true,\"deleted\":\"" + id + "\"}")
}
fn tool_check_events(args: String) -> String {
let resp: String = http_get(soul_url() + "/events/next")
if str_eq(resp, "") || str_contains(resp, "not found") {
return mcp_json_result("{\"events\":[]}")
}
return mcp_json_result(resp)
}
fn tool_inspect_config(args: String) -> String {
let key: String = json_get_string(args, "key")
if str_eq(key, "") {
return mcp_text_result("pass key=<name> to read a specific config value. Known keys: neuron.self.traversal_root, neuron.self.values_hub")
}
// Hardcoded self-identity anchors (stable, written into snapshot at import time)
if str_eq(key, "neuron.self.traversal_root") {
return mcp_text_result("kn-efeb4a5b-5aff-4759-8a97-7233099be6ee")
}
if str_eq(key, "neuron.self.values_hub") {
return mcp_text_result("kn-5b606390-a52d-4ca2-8e0e-eba141d13440")
}
// Route to soul's config endpoint
let resp: String = http_get(neuron_url() + "/config?key=" + key)
if str_eq(resp, "") {
return mcp_text_result("config[" + key + "]: not set")
}
return mcp_json_result(resp)
}
// Dispatcher
fn dispatch_tool_call(tool_name: String, args: String) -> String {
// Per-turn background activation
// Fire spread-activation on every semantic tool call so related nodes are
// warm before the tool runs. Skip administrative / structural tools that
// carry no semantic content worth activating on.
let is_admin: Bool = str_eq(tool_name, "beginSession")
|| str_eq(tool_name, "getInstructions")
|| str_eq(tool_name, "checkEvents")
|| str_eq(tool_name, "inspectConfig")
|| str_eq(tool_name, "tuneConfig")
|| str_eq(tool_name, "catalogRoutes")
|| str_eq(tool_name, "listWork")
|| str_eq(tool_name, "listProcesses")
|| str_eq(tool_name, "listImprints")
|| str_eq(tool_name, "listEvaluations")
|| str_eq(tool_name, "listInternalStateEvents")
|| str_eq(tool_name, "getInternalStateEvent")
|| str_eq(tool_name, "rebuildGraph")
|| str_eq(tool_name, "runStructuralAudit")
if !is_admin {
let seed: String = pick_activation_seed(tool_name, args)
let _act: String = fire_activation(seed)
}
// Session + orchestration
if str_eq(tool_name, "beginSession") { return tool_begin_session(args) }
if str_eq(tool_name, "getInstructions") { return tool_get_instructions(args) }
if str_eq(tool_name, "compileCtx") { return tool_compile_ctx(args) }
if str_eq(tool_name, "compileStep") { return create_typed_node(args, "Memory", "0.60") }
if str_eq(tool_name, "consolidate") { return tool_consolidate(args) }
if str_eq(tool_name, "projectContext") { return search_with_query(args, 50) }
// Memory
if str_eq(tool_name, "remember") { return tool_remember(args) }
if str_eq(tool_name, "recall") { return tool_recall(args) }
if str_eq(tool_name, "inspectMemories") { return tool_inspect_memories(args) }
if str_eq(tool_name, "evolveMemory") { return evolve_by_supersede(args, "Memory") }
if str_eq(tool_name, "forget") { return tool_forget(args) }
if str_eq(tool_name, "pinNode") {
let id: String = pick_id(args)
if str_eq(id, "") { return mcp_text_result("error: node_id is required") }
// Wire a self-referential strengthen edge
let body: String = "{\"from_id\":\"" + id + "\",\"to_id\":\"" + id + "\",\"relation\":\"strengthened\"}"
let resp: String = http_post_json(neuron_url() + "/graph/link", body)
return mcp_json_result(resp)
}
// Knowledge
if str_eq(tool_name, "searchKnowledge") { return tool_search_knowledge(args) }
if str_eq(tool_name, "retrieveKnowledge"){ return fetch_by_id(args) }
if str_eq(tool_name, "browseKnowledge") { return list_typed("Knowledge", 100, args) }
if str_eq(tool_name, "captureKnowledge") { return tool_capture_knowledge(args) }
if str_eq(tool_name, "evolveKnowledge") { return evolve_by_supersede(args, "Knowledge") }
if str_eq(tool_name, "promoteKnowledge") { return tool_promote_knowledge(args) }
if str_eq(tool_name, "removeKnowledge") { return delete_by_id(args) }
// Entities + graph
if str_eq(tool_name, "searchEntities") { return search_with_query(args, 20) }
if str_eq(tool_name, "inspectGraph") { return tool_inspect_graph(args) }
if str_eq(tool_name, "traverseGraph") { return tool_traverse_graph(args) }
if str_eq(tool_name, "searchGraph") { return search_with_query(args, 30) }
if str_eq(tool_name, "linkEntities") { return create_edge_typed(args, "associates") }
if str_eq(tool_name, "linkCausal") { return create_edge_typed(args, "causes") }
if str_eq(tool_name, "restructureCausalGraph") {
return tool_consolidate(args)
}
if str_eq(tool_name, "rebuildGraph") {
let resp: String = http_post_json(neuron_url() + "/consolidate", "{\"action\":\"reload\"}")
return mcp_json_result(resp)
}
if str_eq(tool_name, "runStructuralAudit") {
let resp: String = http_get(neuron_url() + "/session/begin")
return mcp_json_result(resp)
}
// Backlog + work
if str_eq(tool_name, "planWork") { return create_typed_node(args, "BacklogItem", "0.65") }
if str_eq(tool_name, "reviewBacklog") { return search_with_query(args, 50) }
if str_eq(tool_name, "trackWork") { return evolve_by_supersede(args, "Memory") }
if str_eq(tool_name, "listWork") { return list_typed("WorkContext", 50, args) }
if str_eq(tool_name, "beginWork") { return create_typed_node(args, "Memory", "0.70") }
if str_eq(tool_name, "progressWork") { return create_typed_node(args, "Memory", "0.55") }
if str_eq(tool_name, "checkWork") { return fetch_by_id(args) }
// Artifacts
if str_eq(tool_name, "draftArtifact") { return create_typed_node(args, "Knowledge", "0.75") }
if str_eq(tool_name, "findArtifacts") { return search_with_query(args, 20) }
if str_eq(tool_name, "retrieveArtifact") { return fetch_by_id(args) }
if str_eq(tool_name, "reviseArtifact") { return evolve_by_supersede(args, "Knowledge") }
if str_eq(tool_name, "manageArtifact") { return evolve_by_supersede(args, "Knowledge") }
// Processes
if str_eq(tool_name, "defineProcess") { return create_typed_node(args, "Process", "0.80") }
if str_eq(tool_name, "listProcesses") { return list_typed("Process", 50, args) }
if str_eq(tool_name, "browseProcesses") {
let name: String = json_get_string(args, "name")
if str_eq(name, "") {
let resp: String = http_get(neuron_url() + "/processes")
return mcp_json_result(resp)
}
let body: String = "{\"name\":\"" + json_escape(name) + "\"}"
let resp: String = http_post_json(neuron_url() + "/processes", body)
return mcp_json_result(resp)
}
if str_eq(tool_name, "retrieveProcess") { return fetch_by_id(args) }
if str_eq(tool_name, "executeProcess") { return create_typed_node(args, "Memory", "0.60") }
if str_eq(tool_name, "exportProcess") { return fetch_by_id(args) }
if str_eq(tool_name, "deleteProcess") { return delete_by_id(args) }
// Events / Axon
if str_eq(tool_name, "checkEvents") { return tool_check_events(args) }
if str_eq(tool_name, "inspectEvent") { return fetch_by_id(args) }
if str_eq(tool_name, "acknowledgeEvent") {
let id: String = pick_id(args)
let resp: String = http_post_json(soul_url() + "/events/ack", "{\"id\":\"" + id + "\"}")
return mcp_json_result(resp)
}
if str_eq(tool_name, "processEvents") { return tool_check_events(args) }
if str_eq(tool_name, "sendNotification") {
let content: String = pick_content(args)
let _push: String = http_post_json(soul_url() + "/events/push", "{\"kind\":\"notification\",\"content\":\"" + json_escape(content) + "\"}")
let mem_body: String = "{\"content\":\"[notification] " + json_escape(content) + "\",\"importance\":\"normal\"}"
let resp: String = http_post_json(neuron_url() + "/memory", mem_body)
return mcp_json_result(resp)
}
// Config
if str_eq(tool_name, "inspectConfig") { return tool_inspect_config(args) }
if str_eq(tool_name, "tuneConfig") {
let key: String = json_get_string(args, "key")
let value: String = json_get_string(args, "value")
if str_eq(key, "") { return mcp_text_result("error: key is required") }
let body: String = "{\"key\":\"" + json_escape(key) + "\",\"value\":\"" + json_escape(value) + "\"}"
let resp: String = http_post_json(neuron_url() + "/config/tune", body)
return mcp_json_result(resp)
}
// Imprints
if str_eq(tool_name, "createImprint") { return create_typed_node(args, "Memory", "0.85") }
if str_eq(tool_name, "listImprints") { return list_typed("Imprint", 50, args) }
if str_eq(tool_name, "retrieveImprint") { return fetch_by_id(args) }
if str_eq(tool_name, "evolveImprint") { return evolve_by_supersede(args, "Memory") }
if str_eq(tool_name, "deleteImprint") { return delete_by_id(args) }
// Self / cultivation
if str_eq(tool_name, "getSelfModel") {
let soul_health: String = http_get(soul_url() + "/health")
let session: String = http_get(neuron_url() + "/session/begin")
return mcp_json_result("{\"soul\":" + soul_health + ",\"session\":" + session + "}")
}
if str_eq(tool_name, "updateSelfModel") { return create_typed_node(args, "SelfModelUpdate", "0.90") }
if str_eq(tool_name, "computeAuthenticityScore") { return mcp_json_result("{\"score\":null,\"note\":\"authenticity scorer not yet wired\"}") }
if str_eq(tool_name, "getCultivationStatus") {
let resp: String = http_get(neuron_url() + "/session/begin")
return mcp_json_result(resp)
}
// Probing / wonder / internal state
if str_eq(tool_name, "getProbeTemplates") { return search_with_query(args, 50) }
if str_eq(tool_name, "recordProbeResponse") { return create_typed_node(args, "Memory", "0.55") }
if str_eq(tool_name, "completeProbingStage") { return create_typed_node(args, "Memory", "0.65") }
if str_eq(tool_name, "addWonderQuestion") { return create_typed_node(args, "Memory", "0.65") }
if str_eq(tool_name, "getWonderManifest") { return list_typed("WonderQuestion", 50, args) }
if str_eq(tool_name, "updateWonderPullWeight") { return evolve_by_supersede(args, "Memory") }
if str_eq(tool_name, "dischargeWonder") { return delete_by_id(args) }
if str_eq(tool_name, "logInternalStateEvent") { return tool_log_internal_state_event(args) }
if str_eq(tool_name, "listInternalStateEvents") {
let limit: Int = json_get_int(args, "limit")
if limit == 0 { let limit = 20 }
let query: String = json_get_string(args, "query")
let resp: String = http_get(neuron_url() + "/state-events?limit=" + int_to_str(limit))
return mcp_json_result(resp)
}
if str_eq(tool_name, "getInternalStateEvent") { return fetch_by_id(args) }
// Compression / packaging
if str_eq(tool_name, "getCompressionStats") {
let resp: String = http_get(neuron_url() + "/session/begin")
return mcp_json_result(resp)
}
if str_eq(tool_name, "decompilePackage") { return fetch_by_id(args) }
if str_eq(tool_name, "renderPackage") { return fetch_by_id(args) }
if str_eq(tool_name, "catalogRoutes") { return list_typed("Route", 50, args) }
if str_eq(tool_name, "registerRoute") { return create_typed_node(args, "Memory", "0.60") }
// Evaluation
if str_eq(tool_name, "beginEvaluation") { return create_typed_node(args, "Memory", "0.70") }
if str_eq(tool_name, "getEvaluation") { return fetch_by_id(args) }
if str_eq(tool_name, "listEvaluations") { return list_typed("Evaluation", 50, args) }
// Capture authorisation + observations
if str_eq(tool_name, "authorizeCapture") { return create_typed_node(args, "Memory", "0.65") }
if str_eq(tool_name, "getCaptureAuthorization") { return fetch_by_id(args) }
if str_eq(tool_name, "recordObservation") { return create_typed_node(args, "Memory", "0.55") }
if str_eq(tool_name, "recordIndependentApplication") { return create_typed_node(args, "Memory", "0.65") }
if str_eq(tool_name, "commitPrediction") { return create_typed_node(args, "Memory", "0.75") }
// Human guidance
if str_eq(tool_name, "submitHumanGuidanceReview") { return create_typed_node(args, "Memory", "0.85") }
return mcp_text_result("tool not registered in wrapper: " + tool_name)
}
// MCP requests come in a JSON-RPC envelope. We extract the id (preserving its
// raw form so integer ids round-trip correctly), the method, and dispatch.
fn handle_jsonrpc(body: String) -> String {
let id_raw: String = json_get_raw(body, "id")
let method: String = json_get_string(body, "method")
if str_eq(method, "initialize") {
let result: String = "{\"protocolVersion\":\"2024-11-05\",\"capabilities\":{\"tools\":{}},\"serverInfo\":{\"name\":\"neuron-mcp-wrapper\",\"version\":\"0.2.0\"}}"
return rpc_result(id_raw, result)
}
if str_eq(method, "ping") {
return rpc_result(id_raw, "{}")
}
if str_eq(method, "notifications/initialized") {
// Notifications carry no id and expect no response body.
return ""
}
if str_eq(method, "tools/list") {
let result: String = "{\"tools\":" + tools_catalog() + "}"
return rpc_result(id_raw, result)
}
if str_eq(method, "tools/call") {
let params: String = json_get_raw(body, "params")
let tool_name: String = json_get_string(params, "name")
let arguments: String = json_get_raw(params, "arguments")
if str_eq(arguments, "") { let arguments = "{}" }
let result: String = dispatch_tool_call(tool_name, arguments)
return rpc_result(id_raw, result)
}
if str_eq(method, "resources/list") {
return rpc_result(id_raw, "{\"resources\":[]}")
}
if str_eq(method, "prompts/list") {
return rpc_result(id_raw, "{\"prompts\":[]}")
}
return rpc_error(id_raw, -32601, "method not found: " + method)
}
// HTTP entry
fn handle_request(method: String, path: String, body: String) -> String {
let clean: String = strip_query(path)
if str_eq(method, "GET") && (str_eq(clean, "/health") || str_eq(clean, "/")) {
return "{\"status\":\"ok\",\"service\":\"neuron-mcp-wrapper\",\"soul\":\"" + soul_url() + "\"}"
}
if str_eq(method, "POST") && (str_eq(clean, "/") || str_eq(clean, "/mcp")) {
return handle_jsonrpc(body)
}
return "{\"__status__\":404,\"error\":\"not found\",\"path\":\"" + clean + "\"}"
}
// Entry
let bind_str: String = env("MCP_PORT")
if str_eq(bind_str, "") { let bind_str = "7779" }
let port: Int = parse_port(bind_str)
println("[mcp-wrapper] listening on :" + int_to_str(port))
println("[mcp-wrapper] soul=" + soul_url())
http_serve(port, "handle_request")
+35
View File
@@ -421,6 +421,41 @@ fn handle_api_evolve_memory(body: String) -> String {
return "{\"id\":\"" + new_id + "\",\"supersedes\":\"" + prior_id + "\",\"ok\":true}"
}
// handle_api_memory_delete POST /api/neuron/memory/delete {"id":"..."}.
// Hard delete: engram_forget (via mem_forget) removes the node and all
// incident edges from the engram store, so no soft-delete fallback is
// needed. Existence is checked first because engram_forget silently
// no-ops on unknown ids a bad id must return an error, not fake success.
// Blocked for protected identity nodes, same as /memory/forget.
fn handle_api_memory_delete(body: String) -> String {
let node_id: String = json_get(body, "id")
if str_eq(node_id, "") { return api_err("id is required") }
if is_protected_node(node_id) { return api_err_protected(node_id) }
let existing: String = engram_get_node_json(node_id)
if str_eq(existing, "{}") { return api_err("memory not found: " + node_id) }
mem_forget(node_id)
return "{\"ok\":true,\"id\":\"" + node_id + "\",\"deleted\":true}"
}
// handle_api_memory_update POST /api/neuron/memory/update {"id","content"}.
// The engram runtime has no in-place node mutation primitive (only
// node-create, strengthen, forget, connect), so update is evolve-style:
// create a new Memory node with the new content and wire a "supersedes"
// edge back to the prior one same pattern as handle_api_evolve_knowledge.
// Unlike /memory/evolve, id is required and must reference an existing
// node; the actual create+link is delegated to handle_api_evolve_memory.
// Returns {"id":"<newId>","supersedes":"<oldId>","ok":true}.
fn handle_api_memory_update(body: String) -> String {
let prior_id: String = json_get(body, "id")
let content: String = json_get(body, "content")
if str_eq(prior_id, "") { return api_err("id is required") }
if str_eq(content, "") { return api_err("content is required") }
if is_protected_node(prior_id) { return api_err_protected(prior_id) }
let existing: String = engram_get_node_json(prior_id)
if str_eq(existing, "{}") { return api_err("memory not found: " + prior_id) }
return handle_api_evolve_memory(body)
}
// Cultivation path (bypasses identity write protection)
//
// This endpoint performs the same operations as the blocked accumulation-path
+6
View File
@@ -412,6 +412,12 @@ fn handle_request(method: String, path: String, body: String) -> String {
if str_eq(clean, "/api/neuron/memory/forget") {
return handle_api_forget(body)
}
if str_eq(clean, "/api/neuron/memory/delete") {
return handle_api_memory_delete(body)
}
if str_eq(clean, "/api/neuron/memory/update") {
return handle_api_memory_update(body)
}
if str_eq(clean, "/api/neuron/recall") {
return handle_api_recall(method, path, body)
}
+274
View File
@@ -0,0 +1,274 @@
// tests/test_imprint.el
// Comprehensive test suite for imprint.el (Layer 3 boundary).
//
// El has no native test framework. Tests are plain El programs that
// call functions, compare results, and print PASS/FAIL via println.
// Each test is a fn returning Int: 0 = pass, 1 = fail.
// run_all() drives them and returns a final summary line.
//
// Syntax rules observed:
// - No Bool type annotation inference only
// - No && / || nested if/else used instead
// - No unary ! inverted with if/else
// - No closures or lambdas
import "imprint.elh"
// ---------------------------------------------------------------------------
// helpers
// ---------------------------------------------------------------------------
fn assert_eq(label: String, got: String, want: String) -> Int {
if str_eq(got, want) {
println("PASS " + label)
return 0
}
println("FAIL " + label + " got=" + got + " want=" + want)
return 1
}
fn assert_not_eq(label: String, got: String, not_want: String) -> Int {
if str_eq(got, not_want) {
println("FAIL " + label + " got=" + got + " (should differ)")
return 1
}
println("PASS " + label)
return 0
}
fn assert_contains(label: String, haystack: String, needle: String) -> Int {
if str_contains(haystack, needle) {
println("PASS " + label)
return 0
}
println("FAIL " + label + " value=" + haystack + " missing=" + needle)
return 1
}
fn assert_not_contains(label: String, haystack: String, needle: String) -> Int {
if str_contains(haystack, needle) {
println("FAIL " + label + " value=" + haystack + " unexpected=" + needle)
return 1
}
println("PASS " + label)
return 0
}
fn assert_not_empty(label: String, got: String) -> Int {
if str_eq(got, "") {
println("FAIL " + label + " got empty string")
return 1
}
println("PASS " + label)
return 0
}
// ---------------------------------------------------------------------------
// TEST 1
// imprint_current() with no prior state should return "base".
// We cannot guarantee a clean state across runs so we call imprint_unload()
// first to normalise, then check.
// ---------------------------------------------------------------------------
fn test_01_current_after_unload_is_base() -> Int {
imprint_unload()
let id: String = imprint_current()
return assert_eq("01 imprint_current after unload == base", id, "base")
}
// ---------------------------------------------------------------------------
// TEST 2
// imprint_unload() then imprint_current() always returns "base".
// Calling unload twice must be idempotent.
// ---------------------------------------------------------------------------
fn test_02_unload_idempotent() -> Int {
imprint_unload()
imprint_unload()
let id: String = imprint_current()
return assert_eq("02 double-unload still base", id, "base")
}
// ---------------------------------------------------------------------------
// TEST 3
// imprint_load() with a nonexistent ID must return ok==false and an error
// message that mentions the requested ID.
// We use a UUID-like name that will never exist in the engram.
// ---------------------------------------------------------------------------
fn test_03_load_nonexistent_returns_ok_false() -> Int {
let result: String = imprint_load("__test_ghost_imprint_xyz__")
let ok_field: String = json_get(result, "ok")
let fails: Int = 0
let fails = fails + assert_eq("03a load nonexistent ok==false", ok_field, "false")
let fails = fails + assert_contains("03b load nonexistent error mentions id", result, "__test_ghost_imprint_xyz__")
return if fails > 0 { 1 } else { 0 }
}
// ---------------------------------------------------------------------------
// TEST 4
// json_get on imprint_load result should always return the "ok" field.
// Both ok=true and ok=false payloads must carry the field.
// We test the miss case (guaranteed) for the field's presence.
// ---------------------------------------------------------------------------
fn test_04_load_result_has_ok_field() -> Int {
let result: String = imprint_load("__test_field_check__")
let ok_field: String = json_get(result, "ok")
return assert_not_empty("04 load result contains ok field", ok_field)
}
// ---------------------------------------------------------------------------
// TEST 5
// imprint_respond() with imprint_id == "base" must return input unchanged.
// The base path is the identity function no annotation is added.
// ---------------------------------------------------------------------------
fn test_05_respond_base_passthrough() -> Int {
let input: String = "Hello from the base layer."
let output: String = imprint_respond(input, "base")
return assert_eq("05 respond with base id == passthrough", output, input)
}
// ---------------------------------------------------------------------------
// TEST 6
// imprint_respond() with imprint_id == "" (empty string) must also return
// input unchanged empty string is treated as base.
// ---------------------------------------------------------------------------
fn test_06_respond_empty_id_passthrough() -> Int {
let input: String = "Test input for empty imprint_id."
let output: String = imprint_respond(input, "")
return assert_eq("06 respond with empty id == passthrough", output, input)
}
// ---------------------------------------------------------------------------
// TEST 7
// imprint_respond() with an unknown imprint_id (node not in engram) must
// fall back gracefully and return input unchanged.
// The spec says: never hard-fail at L3 graceful fallback to base.
// ---------------------------------------------------------------------------
fn test_07_respond_unknown_id_graceful_fallback() -> Int {
let input: String = "Graceful fallback test payload."
let output: String = imprint_respond(input, "__no_such_imprint_ever__")
return assert_eq("07 respond unknown id graceful fallback == passthrough", output, input)
}
// ---------------------------------------------------------------------------
// TEST 8
// After imprint_unload(), imprint_respond should produce base behaviour.
// We call respond with the just-cleared state ID ("base") to confirm
// the unload/respond pipeline produces the identity transform.
// ---------------------------------------------------------------------------
fn test_08_respond_after_unload_is_passthrough() -> Int {
imprint_unload()
let current: String = imprint_current()
let input: String = "Post-unload response passthrough check."
let output: String = imprint_respond(input, current)
return assert_eq("08 respond after unload == passthrough", output, input)
}
// ---------------------------------------------------------------------------
// TEST 9
// imprint_surface_knowledge() must return a String (not crash, not empty
// in a way that signals an error code). We test both base and named paths.
// For "base" the query is passed directly; for a named imprint the query
// is scoped but the return must still be a String.
// ---------------------------------------------------------------------------
fn test_09_surface_knowledge_returns_string() -> Int {
let result_base: String = imprint_surface_knowledge("test query", "base")
// Must be a String "" or "[]" is valid (no matching nodes), but the
// call must not return an error token. We check it is not the literal
// string "error" to catch any error-signalling convention.
let fails: Int = 0
let fails = fails + assert_not_eq("09a surface_knowledge base != error", result_base, "error")
let result_named: String = imprint_surface_knowledge("test query", "demo-imprint")
let fails = fails + assert_not_eq("09b surface_knowledge named != error", result_named, "error")
// Scoped query must embed the domain scope string
// (test indirectly: the scoped call does not crash and returns a String)
let fails = fails + assert_not_eq("09c surface_knowledge named != crash sentinel", result_named, "CRASH")
return if fails > 0 { 1 } else { 0 }
}
// ---------------------------------------------------------------------------
// TEST 10
// imprint_surface_memory_read() must return a String for any query.
// This is a read-only engram search it must never write.
// We check the return is not an error sentinel and is a valid String.
// ---------------------------------------------------------------------------
fn test_10_surface_memory_read_returns_string() -> Int {
let result: String = imprint_surface_memory_read("soul memory test")
let fails: Int = 0
let fails = fails + assert_not_eq("10a surface_memory_read != error", result, "error")
let fails = fails + assert_not_eq("10b surface_memory_read != crash", result, "CRASH")
return if fails > 0 { 1 } else { 0 }
}
// ---------------------------------------------------------------------------
// TEST 11
// imprint_surface_knowledge() with empty imprint_id uses the base path
// (no domain scoping) must behave identically to base.
// ---------------------------------------------------------------------------
fn test_11_surface_knowledge_empty_id_equals_base() -> Int {
let base_result: String = imprint_surface_knowledge("neuron layer test", "base")
let empty_result: String = imprint_surface_knowledge("neuron layer test", "")
return assert_eq("11 surface_knowledge empty id == base id", empty_result, base_result)
}
// ---------------------------------------------------------------------------
// TEST 12
// imprint_respond() must NOT annotate when imprint_id is "base" the
// "[imprint:" marker must be absent in the output.
// ---------------------------------------------------------------------------
fn test_12_respond_base_no_annotation() -> Int {
let input: String = "No annotation expected."
let output: String = imprint_respond(input, "base")
return assert_not_contains("12 respond base has no imprint annotation", output, "[imprint:")
}
// ---------------------------------------------------------------------------
// TEST 13
// imprint_load() with empty-string ID must return ok==false.
// An empty ID is not a valid imprint identifier.
// ---------------------------------------------------------------------------
fn test_13_load_empty_id_returns_ok_false() -> Int {
let result: String = imprint_load("")
let ok_field: String = json_get(result, "ok")
return assert_eq("13 load empty id ok==false", ok_field, "false")
}
// ---------------------------------------------------------------------------
// TEST 14
// After a failed imprint_load(), imprint_current() must still return "base"
// a failed load must leave state untouched.
// ---------------------------------------------------------------------------
fn test_14_failed_load_does_not_mutate_state() -> Int {
imprint_unload()
let discard: String = imprint_load("__nonexistent_for_state_test__")
let id: String = imprint_current()
return assert_eq("14 failed load leaves state as base", id, "base")
}
// ---------------------------------------------------------------------------
// run_all executes every test and prints a summary.
// Returns total failure count as Int.
// ---------------------------------------------------------------------------
fn run_all() -> Int {
println("=== imprint.el test suite ===")
let total: Int = 0
let failed: Int = 0
let failed = failed + test_01_current_after_unload_is_base()
let failed = failed + test_02_unload_idempotent()
let failed = failed + test_03_load_nonexistent_returns_ok_false()
let failed = failed + test_04_load_result_has_ok_field()
let failed = failed + test_05_respond_base_passthrough()
let failed = failed + test_06_respond_empty_id_passthrough()
let failed = failed + test_07_respond_unknown_id_graceful_fallback()
let failed = failed + test_08_respond_after_unload_is_passthrough()
let failed = failed + test_09_surface_knowledge_returns_string()
let failed = failed + test_10_surface_memory_read_returns_string()
let failed = failed + test_11_surface_knowledge_empty_id_equals_base()
let failed = failed + test_12_respond_base_no_annotation()
let failed = failed + test_13_load_empty_id_returns_ok_false()
let failed = failed + test_14_failed_load_does_not_mutate_state()
let total = 14
let passed: Int = total - failed
println("=== " + int_to_str(passed) + "/" + int_to_str(total) + " passed ===")
return failed
}