From f7bc0e3d5db6b069a18a615c599e522a2c81c69e Mon Sep 17 00:00:00 2001 From: bigmerge Date: Sun, 16 Aug 2026 13:33:00 -0500 Subject: [PATCH] docs: the nine-op surface shipped, and two of its primitives are the wrong shape lang/AGENTS.md said the collapse was 'not yet compiled into the MCP server'. Verified against the live tool surface: it is exactly the nine ops. Noted that think's faculty parameter and ground's minted edge are both documented as the wrong shape. --- lang/AGENTS.md | 19 +++++++++++++++++-- 1 file changed, 17 insertions(+), 2 deletions(-) diff --git a/lang/AGENTS.md b/lang/AGENTS.md index 7941192..6ce991f 100644 --- a/lang/AGENTS.md +++ b/lang/AGENTS.md @@ -18,8 +18,23 @@ night) and `02-components.md §5`. `relate`, `supersede` (evolve/tombstone/promote, never a hard delete) — plus the agentic primitives `think`/`attend`/`learn`/`ground`/`assert`. The old noun is a `type` parameter. Implemented in `tools/api-reshape/surface.el` with a parity - harness (`parity.sh`); aperture proven to bound output. **Not yet:** compiled - into the MCP server, hot-swap, all-alias dispatch. + harness (`parity.sh`); aperture proven to bound output. ~~**Not yet:** compiled + into the MCP server~~ — **shipped (verified 2026-08-16): the live MCP surface is + exactly these nine ops** (`read` · `write` · `relate` · `supersede` · `think` · + `attend` · `assert` · `ground` · `learn`); the ~87-tool surface is gone. + `attend` absorbed `getInstructions` / `beginSession`'s active-context sweep / + `checkEvents` — those are **gone, not gapped**. Still outstanding: hot-swap, + all-alias dispatch. + + > **⚠ Two of those primitives are the wrong shape, and it is documented + > (2026-08-16).** `think({seeds, faculty})` treats **faculties as parameters**; + > they are **operations** — `reason` changes the estimate (a read), `induce` + > changes the parameters, `abduce` changes the *structure* (a write + > `GeoGradient` cannot express). And `ground` mints a `grounded-by` edge, but + > **grounding is not a subsystem — it IS the edge weight**: a property *of* a + > relation, not a relation *between* nodes. Authority: + > `lang/spec/correspondence-and-censorship.md`. Do not re-derive it; if you think + > a section is wrong, say so with a measurement. - **Decorated seam.** `@route(path,method,…)` makes codegen synthesize `el_route_dispatch` (replacing the hand-written `handle_request` if-else) — proven decorate→serve on `:8951`. `@manager`/`@engine`/`@accessor` are **parsed