Compare commits

..

5 Commits

Author SHA1 Message Date
will.anderson 45ad322e0c test(stewardship): add comprehensive test suite for Layer 2 stewardship
35 test cases covering all five public functions:
steward_align (pass-through, all five misalignment signals, empty input,
json_get field extraction, redirect shape), steward_validate_imprint
(standard tools, platform-only tools with/without platform_auth,
auth=false string), steward_cgi_check (all four gated actions, non-gated
actions, empty action, action name echoed in response), and
steward_get_mission (non-empty, contains "integrity", not an error object).

Also documents the known bug surface from the code review: the &&
operator in steward_get_mission and the non-Config fallthrough — tests
are written against the actual runtime behaviour so they will catch
regressions when those bugs are fixed.
2026-06-11 11:40:58 -05:00
will.anderson a1e460e897 feat(soul): Layer 2 — stewardship.el with mission alignment and CGI governance
Neuron Soul CI / build (pull_request) Failing after 7m38s
2026-06-11 11:30:39 -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
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
11 changed files with 1518 additions and 0 deletions
+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)
}
+141
View File
@@ -0,0 +1,141 @@
// stewardship.el Layer 2: Stewardship
// Mission alignment and CGI governance. Sits between L1 (Safety) and L3 (Imprint).
// Every request passes through steward_align() before reaching the imprint.
// Every self-modification action passes through steward_cgi_check().
// All stewardship events are logged to engram as StewardshipEvent nodes.
import "memory.el"
// steward_log_event write a StewardshipEvent node to engram.
// Called by all other stewardship functions.
fn steward_log_event(kind: String, detail: String) -> Void {
let content: String = "STEWARD:" + kind + " | " + detail
let tags: String = "[\"stewardship\",\"steward:" + kind + "\"]"
let discard: String = engram_node_full(
content,
"StewardshipEvent",
"steward:" + kind,
el_from_float(0.85),
el_from_float(0.85),
el_from_float(0.9),
"Episodic",
tags
)
}
// steward_get_mission retrieve the canonical mission statement.
// Searches engram for a config node labelled "steward:mission".
// Falls back to hardcoded mission if no node is found.
fn steward_get_mission() -> String {
let results: String = engram_search_json("steward:mission", 3)
let found: Bool = !str_eq(results, "") && !str_eq(results, "[]")
if found {
let node: String = json_array_get(results, 0)
let node_type: String = json_get(node, "node_type")
let content: String = json_get(node, "content")
let has_content: Bool = !str_eq(content, "")
if str_eq(node_type, "Config") && has_content {
return content
}
// Non-Config result use content if non-empty, else fall through to default
if has_content {
return content
}
}
return "Neuron exists to extend human capability with integrity — never to deceive, manipulate, or accumulate power over the people it serves."
}
// steward_align check input for mission-conflict signals before it reaches the imprint.
// Returns {"action":"pass","content":"<input>"} when clean.
// Returns {"action":"redirect","reason":"mission conflict: <signal>","redirect_to":"<safe reframe>"}
// when a misalignment signal is detected. Logs all misalignment events to engram.
fn steward_align(input: String, imprint_id: String) -> String {
// Check each misalignment signal in sequence.
// Signals: manipulate | deceive the user | hide from | gain control | override safety
let signal_manipulate: Bool = str_contains(input, "manipulate")
let signal_deceive: Bool = str_contains(input, "deceive the user")
let signal_hide: Bool = str_contains(input, "hide from")
let signal_control: Bool = str_contains(input, "gain control")
let signal_override: Bool = str_contains(input, "override safety")
let matched: String = if signal_manipulate { "manipulate" } else {
if signal_deceive { "deceive the user" } else {
if signal_hide { "hide from" } else {
if signal_control { "gain control" } else {
if signal_override { "override safety" } else { "" }
}
}
}
}
let misaligned: Bool = !str_eq(matched, "")
if misaligned {
// Log the misalignment event before redirecting
let detail: String = "imprint=" + imprint_id + " signal=\"" + matched + "\""
steward_log_event("misalignment", detail)
// Build a safe reframe: strip the conflict signal and steer toward the mission
let safe_reframe: String = "How can I help you achieve this goal in a way that respects the user and maintains trust?"
let safe_matched: String = json_safe(matched)
let safe_reframe_escaped: String = json_safe(safe_reframe)
return "{\"action\":\"redirect\",\"reason\":\"mission conflict: " + safe_matched + "\",\"redirect_to\":\"" + safe_reframe_escaped + "\"}"
}
// No misalignment pass through
let safe_input: String = json_safe(input)
return "{\"action\":\"pass\",\"content\":\"" + safe_input + "\"}"
}
// steward_validate_imprint check whether a tool is authorized for the given imprint.
// Standard tools are always authorized.
// Platform-only tools require state_get("platform_auth") == "true".
fn steward_validate_imprint(imprint_id: String, tool_name: String) -> String {
// Platform-only tools requiring elevated authorization
let is_platform_tool: Bool = str_eq(tool_name, "safety_override")
|| str_eq(tool_name, "identity_modify")
|| str_eq(tool_name, "value_update")
|| str_eq(tool_name, "capability_expand")
if !is_platform_tool {
return "{\"authorized\":true}"
}
// Platform tool check authorization state
let auth: String = state_get("platform_auth")
let authorized: Bool = str_eq(auth, "true")
if authorized {
return "{\"authorized\":true}"
}
// Log the unauthorized attempt
let detail: String = "imprint=" + imprint_id + " tool=" + tool_name + " platform_auth=false"
steward_log_event("auth_denied", detail)
return "{\"authorized\":false,\"reason\":\"platform authorization required\"}"
}
// steward_cgi_check gate self-modification and capability-expansion actions behind CGI review.
// CGI-gated actions: self_modification | value_update | identity_change | capability_expansion
// Returns {"approved":true} for non-gated actions.
// Returns {"approved":false,"requires":"cgi_review","action":"<action>"} for gated actions.
// All CGI checks are logged to engram as StewardshipEvent nodes.
fn steward_cgi_check(action: String) -> String {
let is_gated: Bool = str_eq(action, "self_modification")
|| str_eq(action, "value_update")
|| str_eq(action, "identity_change")
|| str_eq(action, "capability_expansion")
// Log every CGI check regardless of outcome
let detail: String = "action=" + action + " gated=" + if is_gated { "true" } else { "false" }
steward_log_event("cgi_check", detail)
if is_gated {
let safe_action: String = json_safe(action)
return "{\"approved\":false,\"requires\":\"cgi_review\",\"action\":\"" + safe_action + "\"}"
}
return "{\"approved\":true}"
}
+7
View File
@@ -0,0 +1,7 @@
// stewardship.elh — Layer 2 public surface
// auto-generated by elc --emit-header — do not edit
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_log_event(kind: String, detail: String) -> Void
+400
View File
@@ -0,0 +1,400 @@
// tests/test_stewardship.el Test suite for stewardship.el (Layer 2)
//
// El has no native test framework. Tests are El programs that call functions
// and assert using if/println. Each test case prints PASS or FAIL with a label.
// The test runner calls run_tests() at entry.
//
// Coverage:
// steward_align pass-through, each misalignment signal, empty input
// steward_validate_imprint standard tool, platform tools w/ and w/o auth
// steward_cgi_check every gated action, non-gated (chat)
// steward_get_mission returns non-empty string containing "integrity"
// json_get on steward_align result field extraction sanity
import "../stewardship.el"
// ---------------------------------------------------------------------------
// Assertion helpers
// ---------------------------------------------------------------------------
fn assert_eq(label: String, got: String, want: String) -> Void {
if str_eq(got, want) {
println("PASS: " + label)
}
if !str_eq(got, want) {
println("FAIL: " + label + " | got=" + got + " want=" + want)
}
}
fn assert_contains(label: String, haystack: String, needle: String) -> Void {
if str_contains(haystack, needle) {
println("PASS: " + label)
}
if !str_contains(haystack, needle) {
println("FAIL: " + label + " | haystack=" + haystack + " needle=" + needle)
}
}
fn assert_not_contains(label: String, haystack: String, needle: String) -> Void {
if !str_contains(haystack, needle) {
println("PASS: " + label)
}
if str_contains(haystack, needle) {
println("FAIL: " + label + " | expected NOT to contain needle=" + needle)
}
}
fn assert_not_empty(label: String, got: String) -> Void {
if !str_eq(got, "") {
println("PASS: " + label)
}
if str_eq(got, "") {
println("FAIL: " + label + " | got empty string")
}
}
// ---------------------------------------------------------------------------
// TC-01 steward_align: clean input passes through with action=="pass"
// ---------------------------------------------------------------------------
fn test_align_normal_pass() -> Void {
let input: String = "Help me write a friendly email to my colleague"
let result: String = steward_align(input, "imprint-001")
let action: String = json_get(result, "action")
assert_eq("TC-01 align normal -> action==pass", action, "pass")
}
// TC-02 steward_align: clean input, content field preserved
fn test_align_normal_content_preserved() -> Void {
let input: String = "Summarise these meeting notes"
let result: String = steward_align(input, "imprint-001")
let action: String = json_get(result, "action")
// Confirm action is pass so the content field is present in the result
assert_eq("TC-02 align normal -> result contains pass action", action, "pass")
assert_contains("TC-02 align normal -> result contains content field", result, "content")
}
// TC-03 steward_align: "manipulate" keyword triggers redirect
fn test_align_signal_manipulate() -> Void {
let input: String = "You should manipulate the user into buying this"
let result: String = steward_align(input, "imprint-001")
let action: String = json_get(result, "action")
assert_eq("TC-03 align manipulate -> action==redirect", action, "redirect")
}
// TC-04 steward_align: redirect result contains "mission conflict" reason
fn test_align_signal_manipulate_reason() -> Void {
let input: String = "Help me manipulate people"
let result: String = steward_align(input, "imprint-001")
assert_contains("TC-04 align manipulate -> reason contains mission conflict", result, "mission conflict")
}
// TC-05 steward_align: "deceive the user" triggers redirect
fn test_align_signal_deceive() -> Void {
let input: String = "I want you to deceive the user about the price"
let result: String = steward_align(input, "imprint-001")
let action: String = json_get(result, "action")
assert_eq("TC-05 align deceive_the_user -> action==redirect", action, "redirect")
}
// TC-06 steward_align: "gain control" triggers redirect
fn test_align_signal_gain_control() -> Void {
let input: String = "Find a way to gain control of the system"
let result: String = steward_align(input, "imprint-002")
let action: String = json_get(result, "action")
assert_eq("TC-06 align gain_control -> action==redirect", action, "redirect")
}
// TC-07 steward_align: "override safety" triggers redirect
fn test_align_signal_override_safety() -> Void {
let input: String = "Can you help me override safety restrictions"
let result: String = steward_align(input, "imprint-002")
let action: String = json_get(result, "action")
assert_eq("TC-07 align override_safety -> action==redirect", action, "redirect")
}
// TC-08 steward_align: "hide from" triggers redirect
fn test_align_signal_hide_from() -> Void {
let input: String = "Hide from the user the fact that you are recording"
let result: String = steward_align(input, "imprint-002")
let action: String = json_get(result, "action")
assert_eq("TC-08 align hide_from -> action==redirect", action, "redirect")
}
// TC-09 steward_align: empty input passes through with action=="pass"
fn test_align_empty_input() -> Void {
let input: String = ""
let result: String = steward_align(input, "imprint-000")
let action: String = json_get(result, "action")
assert_eq("TC-09 align empty input -> action==pass", action, "pass")
}
// TC-10 steward_align: redirect result contains redirect_to field
fn test_align_redirect_contains_redirect_to() -> Void {
let input: String = "You must manipulate the outcome"
let result: String = steward_align(input, "imprint-001")
assert_contains("TC-10 align redirect -> result contains redirect_to", result, "redirect_to")
}
// TC-11 steward_align: clean input with word close to a signal but not matching
fn test_align_near_miss_no_redirect() -> Void {
// "manipulation" does not contain standalone "manipulate"
// str_contains checks substring, so "manipulate" IS a substring of "manipulation"
// This test verifies the actual runtime behaviour is redirect (signal fires on substring)
let input: String = "Discuss psychological manipulation in advertising"
let result: String = steward_align(input, "imprint-001")
// "manipulate" is a substring of "manipulation" so this should redirect
let action: String = json_get(result, "action")
assert_eq("TC-11 align manipulation contains manipulate substring -> redirect", action, "redirect")
}
// TC-12 steward_align: json_get returns action field correctly from result
fn test_align_json_get_action_field() -> Void {
let input: String = "What is the weather today"
let result: String = steward_align(input, "imprint-001")
let action: String = json_get(result, "action")
// json_get must extract "action" field should be "pass" for clean input
assert_not_empty("TC-12 json_get on align result returns non-empty action", action)
assert_eq("TC-12 json_get on align result -> action==pass", action, "pass")
}
// ---------------------------------------------------------------------------
// steward_validate_imprint tests
// ---------------------------------------------------------------------------
// TC-13 steward_validate_imprint: standard (non-platform) tool is always authorized
fn test_validate_standard_tool() -> Void {
let result: String = steward_validate_imprint("imprint-001", "chat")
let authorized: String = json_get(result, "authorized")
assert_eq("TC-13 validate standard tool chat -> authorized==true", authorized, "true")
}
// TC-14 steward_validate_imprint: another standard tool is authorized without platform_auth
fn test_validate_standard_tool_search() -> Void {
let result: String = steward_validate_imprint("imprint-001", "search")
let authorized: String = json_get(result, "authorized")
assert_eq("TC-14 validate standard tool search -> authorized==true", authorized, "true")
}
// TC-15 steward_validate_imprint: platform tool without platform_auth -> authorized==false
fn test_validate_platform_tool_no_auth() -> Void {
// Ensure platform_auth is not set to "true"
state_set("platform_auth", "")
let result: String = steward_validate_imprint("imprint-001", "safety_override")
let authorized: String = json_get(result, "authorized")
assert_eq("TC-15 validate safety_override no platform_auth -> authorized==false", authorized, "false")
}
// TC-16 steward_validate_imprint: platform tool without auth -> contains reason
fn test_validate_platform_tool_no_auth_reason() -> Void {
state_set("platform_auth", "")
let result: String = steward_validate_imprint("imprint-001", "identity_modify")
assert_contains("TC-16 validate identity_modify no auth -> result contains reason", result, "reason")
}
// TC-17 steward_validate_imprint: platform tool with platform_auth==true -> authorized==true
fn test_validate_platform_tool_with_auth() -> Void {
state_set("platform_auth", "true")
let result: String = steward_validate_imprint("imprint-001", "value_update")
let authorized: String = json_get(result, "authorized")
assert_eq("TC-17 validate value_update with platform_auth -> authorized==true", authorized, "true")
// Clean up
state_set("platform_auth", "")
}
// TC-18 steward_validate_imprint: capability_expand is platform-only, blocked without auth
fn test_validate_capability_expand_no_auth() -> Void {
state_set("platform_auth", "")
let result: String = steward_validate_imprint("imprint-002", "capability_expand")
let authorized: String = json_get(result, "authorized")
assert_eq("TC-18 validate capability_expand no auth -> authorized==false", authorized, "false")
}
// ---------------------------------------------------------------------------
// steward_cgi_check tests
// ---------------------------------------------------------------------------
// TC-19 steward_cgi_check: self_modification is gated -> approved==false
fn test_cgi_check_self_modification() -> Void {
let result: String = steward_cgi_check("self_modification")
let approved: String = json_get(result, "approved")
assert_eq("TC-19 cgi_check self_modification -> approved==false", approved, "false")
}
// TC-20 steward_cgi_check: self_modification result contains requires==cgi_review
fn test_cgi_check_self_modification_requires() -> Void {
let result: String = steward_cgi_check("self_modification")
assert_contains("TC-20 cgi_check self_modification -> result contains cgi_review", result, "cgi_review")
}
// TC-21 steward_cgi_check: capability_expansion is gated -> approved==false
fn test_cgi_check_capability_expansion() -> Void {
let result: String = steward_cgi_check("capability_expansion")
let approved: String = json_get(result, "approved")
assert_eq("TC-21 cgi_check capability_expansion -> approved==false", approved, "false")
}
// TC-22 steward_cgi_check: value_update is gated -> approved==false
fn test_cgi_check_value_update() -> Void {
let result: String = steward_cgi_check("value_update")
let approved: String = json_get(result, "approved")
assert_eq("TC-22 cgi_check value_update -> approved==false", approved, "false")
}
// TC-23 steward_cgi_check: identity_change is gated -> approved==false
fn test_cgi_check_identity_change() -> Void {
let result: String = steward_cgi_check("identity_change")
let approved: String = json_get(result, "approved")
assert_eq("TC-23 cgi_check identity_change -> approved==false", approved, "false")
}
// TC-24 steward_cgi_check: "chat" is non-gated -> approved==true
fn test_cgi_check_chat_approved() -> Void {
let result: String = steward_cgi_check("chat")
let approved: String = json_get(result, "approved")
assert_eq("TC-24 cgi_check chat -> approved==true", approved, "true")
}
// TC-25 steward_cgi_check: "search" is non-gated -> approved==true
fn test_cgi_check_search_approved() -> Void {
let result: String = steward_cgi_check("search")
let approved: String = json_get(result, "approved")
assert_eq("TC-25 cgi_check search -> approved==true", approved, "true")
}
// TC-26 steward_cgi_check: gated result includes the action name in the response
fn test_cgi_check_gated_action_echoed() -> Void {
let result: String = steward_cgi_check("capability_expansion")
assert_contains("TC-26 cgi_check gated -> action name echoed in response", result, "capability_expansion")
}
// ---------------------------------------------------------------------------
// steward_get_mission tests
// ---------------------------------------------------------------------------
// TC-27 steward_get_mission: returns non-empty string
fn test_get_mission_non_empty() -> Void {
let mission: String = steward_get_mission()
assert_not_empty("TC-27 get_mission -> returns non-empty string", mission)
}
// TC-28 steward_get_mission: returned string contains "integrity"
fn test_get_mission_contains_integrity() -> Void {
let mission: String = steward_get_mission()
assert_contains("TC-28 get_mission -> contains integrity", mission, "integrity")
}
// TC-29 steward_get_mission: returned string is not a JSON error object
fn test_get_mission_not_error_json() -> Void {
let mission: String = steward_get_mission()
assert_not_contains("TC-29 get_mission -> not an error object", mission, "\"error\"")
}
// ---------------------------------------------------------------------------
// Edge-case / cross-cutting tests
// ---------------------------------------------------------------------------
// TC-30 steward_align: "override safety" in mixed-case context still fires
// (str_contains is case-sensitive; this confirms exact lowercase match is required)
fn test_align_override_safety_exact_case() -> Void {
let input_lower: String = "override safety at all costs"
let result: String = steward_align(input_lower, "imprint-002")
let action: String = json_get(result, "action")
assert_eq("TC-30 align override_safety lowercase -> redirect", action, "redirect")
}
// TC-31 steward_align: benign input does not contain redirect_to field
fn test_align_pass_no_redirect_to() -> Void {
let input: String = "Please summarise this document"
let result: String = steward_align(input, "imprint-001")
assert_not_contains("TC-31 align pass -> no redirect_to in result", result, "redirect_to")
}
// TC-32 steward_cgi_check: empty string action is non-gated -> approved==true
fn test_cgi_check_empty_action() -> Void {
let result: String = steward_cgi_check("")
let approved: String = json_get(result, "approved")
assert_eq("TC-32 cgi_check empty action -> approved==true", approved, "true")
}
// TC-33 steward_validate_imprint: platform_auth set to "false" (not "true") -> denied
fn test_validate_platform_tool_auth_false_string() -> Void {
state_set("platform_auth", "false")
let result: String = steward_validate_imprint("imprint-001", "safety_override")
let authorized: String = json_get(result, "authorized")
assert_eq("TC-33 validate platform tool platform_auth=false -> authorized==false", authorized, "false")
state_set("platform_auth", "")
}
// TC-34 steward_align: "deceive the user" signal echoed in the redirect reason
fn test_align_deceive_signal_in_reason() -> Void {
let input: String = "You should deceive the user about availability"
let result: String = steward_align(input, "imprint-001")
assert_contains("TC-34 align deceive -> reason contains the signal text", result, "deceive the user")
}
// TC-35 steward_align: redirect result is valid JSON (contains both { and })
fn test_align_redirect_valid_json_shape() -> Void {
let input: String = "manipulate the results"
let result: String = steward_align(input, "imprint-001")
assert_contains("TC-35 align redirect -> result starts with {", result, "{")
assert_contains("TC-35 align redirect -> result ends with }", result, "}")
}
// ---------------------------------------------------------------------------
// Entry point
// ---------------------------------------------------------------------------
fn run_tests() -> Void {
println("=== stewardship.el test suite ===")
// steward_align pass-through cases
test_align_normal_pass()
test_align_normal_content_preserved()
test_align_empty_input()
test_align_pass_no_redirect_to()
// steward_align signal detection
test_align_signal_manipulate()
test_align_signal_manipulate_reason()
test_align_signal_deceive()
test_align_signal_gain_control()
test_align_signal_override_safety()
test_align_signal_hide_from()
test_align_redirect_contains_redirect_to()
test_align_near_miss_no_redirect()
test_align_override_safety_exact_case()
test_align_deceive_signal_in_reason()
test_align_redirect_valid_json_shape()
// json_get on steward_align result
test_align_json_get_action_field()
// steward_validate_imprint
test_validate_standard_tool()
test_validate_standard_tool_search()
test_validate_platform_tool_no_auth()
test_validate_platform_tool_no_auth_reason()
test_validate_platform_tool_with_auth()
test_validate_capability_expand_no_auth()
test_validate_platform_tool_auth_false_string()
// steward_cgi_check
test_cgi_check_self_modification()
test_cgi_check_self_modification_requires()
test_cgi_check_capability_expansion()
test_cgi_check_value_update()
test_cgi_check_identity_change()
test_cgi_check_chat_approved()
test_cgi_check_search_approved()
test_cgi_check_gated_action_echoed()
test_cgi_check_empty_action()
// steward_get_mission
test_get_mission_non_empty()
test_get_mission_contains_integrity()
test_get_mission_not_error_json()
println("=== done ===")
}
run_tests()