@sema-ai/core 1.275.1

package/dist/core/lsp.js

@@ -0,0 +1,147 @@
+import { uriToPath } from "./lsp-protocol.js";
+import { Type } from "typebox";
+import { defineTool } from "./tools.js";
+export const LSP_OPERATIONS = [
+    "goToDefinition", "findReferences", "hover", "documentSymbol", "workspaceSymbol",
+    "goToImplementation", "prepareCallHierarchy", "incomingCalls", "outgoingCalls",
+];
+function fmt(result) {
+    switch (result.kind) {
+        case "hover":
+            return result.contents.trim() || "(no hover information)";
+        case "locations":
+            return result.locations.length === 0
+                ? "No locations found."
+                : `Found ${result.locations.length} location(s):\n` +
+                    result.locations.map((l) => `- ${l.uri}:${l.line}:${l.character}${l.preview ? `  ${l.preview.trim()}` : ""}`).join("\n");
+        case "symbols":
+            return result.symbols.length === 0
+                ? "No symbols found."
+                : `Found ${result.symbols.length} symbol(s):\n` +
+                    result.symbols.map((s) => `- ${s.name}${s.kind ? ` (${s.kind})` : ""} — ${s.uri}:${s.line}:${s.character}`).join("\n");
+        case "none":
+            return "No results.";
+    }
+}
+async function filterIgnored(result, isIgnored) {
+    if (!isIgnored)
+        return result;
+    if (result.kind === "locations") {
+        const keep = [];
+        for (const l of result.locations)
+            if (!(await isIgnored(l.uri)))
+                keep.push(l);
+        return { kind: "locations", locations: keep };
+    }
+    if (result.kind === "symbols") {
+        const keep = [];
+        for (const s of result.symbols)
+            if (!(await isIgnored(s.uri)))
+                keep.push(s);
+        return { kind: "symbols", symbols: keep };
+    }
+    return result;
+}
+const POSITION_OPS = new Set([
+    "goToDefinition", "findReferences", "hover", "goToImplementation", "prepareCallHierarchy", "incomingCalls", "outgoingCalls",
+]);
+/** Build the `lsp` tool over a {@link LspServerManager}. Mounted only when a manager is wired (opt-in). */
+export function createLspTool(manager, opts = {}) {
+    return defineTool({
+        name: "LSP",
+        // design/116 W1 P0 (BREAKING): model-facing `character` is now 1-BASED, matching CC (LSPTool/prompt.ts
+        // "as shown in editors") — a CC-trained model sends 1-based and was landing one column off. The SEAM
+        // contract (LspRequest/LspLocation, service WS bridge) stays line 1-based / character 0-based; this
+        // tool converts at the boundary (−1 in, +1 out). workspaceSymbol takes `query` (CC-187 form; `symbol`
+        // kept as a deprecated alias, empty query allowed). Description = CC operation bullets verbatim +
+        // sema deltas (query form; graceful Grep/Read degrade instead of a hard error).
+        description: "Interact with Language Server Protocol (LSP) servers to get code intelligence features.\n" +
+            "\n" +
+            "Supported operations:\n" +
+            "- goToDefinition: Find where a symbol is defined\n" +
+            "- findReferences: Find all references to a symbol\n" +
+            "- hover: Get hover information (documentation, type info) for a symbol\n" +
+            "- documentSymbol: Get all symbols (functions, classes, variables) in a document\n" +
+            "- workspaceSymbol: Search for symbols across the entire workspace (uses `query`, not a position)\n" +
+            "- goToImplementation: Find implementations of an interface or abstract method\n" +
+            "- prepareCallHierarchy: Get call hierarchy item at a position (functions/methods)\n" +
+            "- incomingCalls: Find all functions/methods that call the function at a position\n" +
+            "- outgoingCalls: Find all functions/methods called by the function at a position\n" +
+            "\n" +
+            "Position-based operations require:\n" +
+            "- filePath: The file to operate on\n" +
+            "- line: The line number (1-based, as shown in editors)\n" +
+            "- character: The character offset (1-based, as shown in editors)\n" +
+            "\n" +
+            "If no language server is available for the file, you'll be told to fall back to Grep/Read.",
+        parameters: Type.Object({
+            operation: Type.Union(LSP_OPERATIONS.map((o) => Type.Literal(o)), { description: "The LSP operation." }),
+            filePath: Type.String({ description: "The file to operate on." }),
+            line: Type.Optional(Type.Number({ description: "The line number (1-based, as shown in editors)." })),
+            character: Type.Optional(Type.Number({ description: "The character offset (1-based, as shown in editors)." })),
+            query: Type.Optional(Type.String({ description: "Symbol query for workspaceSymbol (may be empty to browse broadly)." })),
+            symbol: Type.Optional(Type.String({ description: "Deprecated alias for query." })),
+        }),
+        effect: "read",
+        execute: async (args, ctx) => {
+            const { operation, filePath, line, character, query, symbol } = args;
+            if (POSITION_OPS.has(operation) && (line === undefined || character === undefined)) {
+                return `Error (LSP): the "${operation}" operation needs both line and character.`;
+            }
+            // design/116 §7 S7: reject 0/negative/non-integer positions LOUDLY — a silent clamp would swallow the
+            // one detectable signal of a 0-based caller and hand back results one column off (CC validates too).
+            if (POSITION_OPS.has(operation) && (!Number.isInteger(line) || line < 1 || !Number.isInteger(character) || character < 1)) {
+                return `Error (LSP): line and character are 1-based integers (as shown in editors); got line=${line}, character=${character}.`;
+            }
+            const wsQuery = query ?? symbol;
+            if (operation === "workspaceSymbol" && wsQuery === undefined) {
+                return `Error (LSP): the "workspaceSymbol" operation needs a query.`;
+            }
+            const session = await manager.sessionFor(filePath, ctx.signal, opts.env);
+            if (!session) {
+                // Graceful degrade (design/64 §13.1): no server for this language → guide to Grep/Read, not an error.
+                return `LSP is unavailable for "${filePath}" (no language server for its language in this environment). Fall back to Grep/Read for this lookup.`;
+            }
+            // Boundary conversion (see note above): model 1-based character → seam 0-based (validated ≥1 above).
+            const seamCharacter = character !== undefined ? character - 1 : undefined;
+            const result = await session.request(operation, { filePath, line, character: seamCharacter, symbol: wsQuery }, ctx.signal);
+            return fmt(toModelBase(await filterIgnored(result, opts.isPathIgnored)));
+        },
+    });
+}
+/** Seam→model base conversion: seam results carry a 0-based `character`; the model reads 1-based (CC). */
+function toModelBase(result) {
+    if (result.kind === "locations") {
+        return { ...result, locations: result.locations.map((l) => ({ ...l, character: l.character + 1 })) };
+    }
+    if (result.kind === "symbols") {
+        return { ...result, symbols: result.symbols.map((s) => ({ ...s, character: s.character + 1 })) };
+    }
+    return result;
+}
+/**
+ * A git-check-ignore-based path filter for {@link LspToolOptions.isPathIgnored} (CC parity). Best-effort:
+ * if git isn't available or the check fails, nothing is treated as ignored (keep all). Caches per path.
+ */
+export function gitCheckIgnoreFilter(env, root) {
+    const cache = new Map();
+    return async (uri) => {
+        const path = uriToPath(uri); // [K-PLATFORM-SWEEP] MINOR#5: form-aware inverse (decodes, un-drives)
+        const hit = cache.get(path);
+        if (hit !== undefined)
+            return hit;
+        let ignored = false;
+        try {
+            // exit 0 = ignored, 1 = not ignored, 128 = not a git repo. Quote the path safely.
+            const q = `'${path.replace(/'/g, `'\\''`)}'`;
+            const res = await env.exec(`git check-ignore ${q}`, { cwd: root, timeout: 10 });
+            ignored = res.ok && res.value.exitCode === 0;
+        }
+        catch {
+            ignored = false;
+        }
+        cache.set(path, ignored);
+        return ignored;
+    };
+}
+//# sourceMappingURL=lsp.js.map

package/dist/core/lsp.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lsp.js","sourceRoot":"","sources":["../../src/core/lsp.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC9C,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAC;AAC/B,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AA2BxC,MAAM,CAAC,MAAM,cAAc,GAA4B;IACrD,gBAAgB,EAAE,gBAAgB,EAAE,OAAO,EAAE,gBAAgB,EAAE,iBAAiB;IAChF,oBAAoB,EAAE,sBAAsB,EAAE,eAAe,EAAE,eAAe;CAC/E,CAAC;AAiHF,SAAS,GAAG,CAAC,MAAiB;IAC5B,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,OAAO;YACV,OAAO,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,wBAAwB,CAAC;QAC5D,KAAK,WAAW;YACd,OAAO,MAAM,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;gBAClC,CAAC,CAAC,qBAAqB;gBACvB,CAAC,CAAC,SAAS,MAAM,CAAC,SAAS,CAAC,MAAM,iBAAiB;oBAC/C,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjI,KAAK,SAAS;YACZ,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;gBAChC,CAAC,CAAC,mBAAmB;gBACrB,CAAC,CAAC,SAAS,MAAM,CAAC,OAAO,CAAC,MAAM,eAAe;oBAC3C,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/H,KAAK,MAAM;YACT,OAAO,aAAa,CAAC;IACzB,CAAC;AACH,CAAC;AAED,KAAK,UAAU,aAAa,CAAC,MAAiB,EAAE,SAAuD;IACrG,IAAI,CAAC,SAAS;QAAE,OAAO,MAAM,CAAC;IAC9B,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAChC,MAAM,IAAI,GAAkB,EAAE,CAAC;QAC/B,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,SAAS;YAAE,IAAI,CAAC,CAAC,MAAM,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;gBAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9E,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IAChD,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAoB,EAAE,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO;YAAE,IAAI,CAAC,CAAC,MAAM,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;gBAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5E,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAC5C,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,YAAY,GAAG,IAAI,GAAG,CAAe;IACzC,gBAAgB,EAAE,gBAAgB,EAAE,OAAO,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,eAAe,EAAE,eAAe;CAC5H,CAAC,CAAC;AAEH,2GAA2G;AAC3G,MAAM,UAAU,aAAa,CAAC,OAAyB,EAAE,OAAuB,EAAE;IAChF,OAAO,UAAU,CAAC;QAChB,IAAI,EAAE,KAAK;QACX,uGAAuG;QACvG,qGAAqG;QACrG,oGAAoG;QACpG,sGAAsG;QACtG,kGAAkG;QAClG,gFAAgF;QAChF,WAAW,EACT,2FAA2F;YAC3F,IAAI;YACJ,yBAAyB;YACzB,oDAAoD;YACpD,qDAAqD;YACrD,0EAA0E;YAC1E,mFAAmF;YACnF,oGAAoG;YACpG,iFAAiF;YACjF,qFAAqF;YACrF,oFAAoF;YACpF,oFAAoF;YACpF,IAAI;YACJ,sCAAsC;YACtC,sCAAsC;YACtC,0DAA0D;YAC1D,oEAAoE;YACpE,IAAI;YACJ,4FAA4F;QAC9F,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC;YACtB,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,WAAW,EAAE,oBAAoB,EAAE,CAAC;YACxG,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,yBAAyB,EAAE,CAAC;YACjE,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,iDAAiD,EAAE,CAAC,CAAC;YACpG,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,sDAAsD,EAAE,CAAC,CAAC;YAC9G,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,oEAAoE,EAAE,CAAC,CAAC;YACxH,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,6BAA6B,EAAE,CAAC,CAAC;SACnF,CAAC;QACF,MAAM,EAAE,MAAM;QACd,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE;YAC3B,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,IAO/D,CAAC;YACF,IAAI,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,CAAC,EAAE,CAAC;gBACnF,OAAO,qBAAqB,SAAS,4CAA4C,CAAC;YACpF,CAAC;YACD,sGAAsG;YACtG,qGAAqG;YACrG,IAAI,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,IAAK,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,SAAU,GAAG,CAAC,CAAC,EAAE,CAAC;gBAC5H,OAAO,wFAAwF,IAAI,eAAe,SAAS,GAAG,CAAC;YACjI,CAAC;YACD,MAAM,OAAO,GAAG,KAAK,IAAI,MAAM,CAAC;YAChC,IAAI,SAAS,KAAK,iBAAiB,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC7D,OAAO,6DAA6D,CAAC;YACvE,CAAC;YACD,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;YACzE,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,sGAAsG;gBACtG,OAAO,2BAA2B,QAAQ,sGAAsG,CAAC;YACnJ,CAAC;YACD,qGAAqG;YACrG,MAAM,aAAa,GAAG,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC1E,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;YAC3H,OAAO,GAAG,CAAC,WAAW,CAAC,MAAM,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QAC3E,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED,0GAA0G;AAC1G,SAAS,WAAW,CAAC,MAAiB;IACpC,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAChC,OAAO,EAAE,GAAG,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;IACvG,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC9B,OAAO,EAAE,GAAG,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;IACnG,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAAC,GAAiB,EAAE,IAAY;IAClE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAmB,CAAC;IACzC,OAAO,KAAK,EAAE,GAAW,EAAoB,EAAE;QAC7C,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,sEAAsE;QACnG,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,GAAG,CAAC;QAClC,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,IAAI,CAAC;YACH,kFAAkF;YAClF,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC;YAC7C,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,IAAI,CAAC,oBAAoB,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;YAChF,OAAO,GAAG,GAAG,CAAC,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,KAAK,CAAC,CAAC;QAC/C,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,GAAG,KAAK,CAAC;QAClB,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACzB,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;AACJ,CAAC"}

package/dist/core/mcp.d.ts

@@ -0,0 +1,294 @@
+import type { AgentTool } from "../internal/harness.js";
+import type { ImageContent, TextContent } from "../internal/llm.js";
+import type { McpServerSpec, OnElicit, ToolEffect } from "./types.js";
+/**
+ * The safety axes (design/77 §4 irreversibility, design/70 egress) derived from one materialized MCP
+ * tool's server-advertised `annotations`. These ride alongside the {@link AgentTool} (which is vendored
+ * and carries no axis fields) so `prepare-task` can fold them into the SAME irreversibleTools/egressTools
+ * collection that `spec.tools` feeds — otherwise a destructive MCP tool would register no gate and a
+ * no-policy deployment would silently AUTO-ALLOW it (MAJOR-1). The `name` is the namespaced tool name
+ * (`<server>__<tool>`), matching the keys the gate looks up.
+ *
+ * Trust note (design F): a server's `annotations` are SERVER-controlled and "not guaranteed faithful" (MCP
+ * spec), so they may only ever TIGHTEN — `destructiveHint` adds an `ask`/suspend, `openWorldHint` adds an
+ * egress tighten — never LOWER. A server's `readOnlyHint` does NOT lower `effect` (that would let a hostile
+ * server lie on a mutating tool to escape repeat-safety + path-confinement). The ONLY trusted way to LOWER an
+ * MCP tool below the fail-closed `write` default is the caller's {@link McpServerSpec.toolAxes} override
+ * (caller = trust root). The synthetic first-party resource tools are the one exception — core sets their
+ * `read` effect itself because it authored them.
+ */
+export interface McpToolAxis {
+    /** Namespaced tool name (`mcp__<server>__<tool>` — design/108 ① CC parity). */
+    name: string;
+    /** design/77 §4: `destructiveHint === true` → `"always"` (the gate always tightens allow→ask/suspend). */
+    irreversibility?: "always";
+    /** design/70: a non-readOnly tool with `openWorldHint === true` → egress (external write — never auto-allowed). */
+    egress?: true;
+    /**
+     * The repeat-safety / blast-radius class (NOT the data-trust axis — untrusted resource *content* is fenced
+     * separately by delimitUntrusted). `read`/`idempotent` here means "not write-capable", which keeps the tool
+     * off the LOUD ungated-write warning and out of path-confinement under a skill. Source is restricted by trust
+     * (design F): the SYNTHETIC first-party resource tools set `read` as a fact core controls, and the caller's
+     * {@link McpServerSpec.toolAxes} override may set any effect — a server's own `readOnlyHint` never sets it.
+     */
+    effect?: ToolEffect;
+}
+/** Tools materialized from one or more MCP servers, plus a disposer to disconnect them. */
+export interface MaterializedMcp {
+    tools: AgentTool[];
+    /**
+     * Per-tool safety axes derived from each tool's MCP `annotations` (design/77 §4 / design/70). One entry
+     * per materialized tool that carries a tightening hint; `prepare-task` folds these into its
+     * irreversibleTools/egressTools sets so a destructive/open-world MCP tool REGISTERS the gate + tightens
+     * even on a no-policy deployment. Empty when no server advertised a relevant annotation.
+     */
+    toolAxes: McpToolAxis[];
+    /**
+     * MCP server `instructions` (design/64 §17.3, CC `# MCP Server Instructions`): the optional guidance a
+     * connected server returns from `initialize`. The Runner injects these into the (stable) system prompt so
+     * the model uses the server's tools correctly. One entry per server that provided non-empty instructions.
+     */
+    serverInstructions: Array<{
+        server: string;
+        text: string;
+    }>;
+    /**
+     * G1 通告层续批 (CC `mcp_instructions_delta` parity) — the run-scoped instruction-delta ref the run
+     * loop drains at turn boundaries (`spec.attachments.mcpInstructions` opt-in; `newTools` consumption
+     * discipline: drained only when the announcement survived the byte cap intact).
+     * - `pendingRemovals`: an INSTRUCTION-BEARING server whose transport closed mid-task (the CC
+     *   "servers have disconnected — their instructions above no longer apply" copy is instruction-scoped,
+     *   so instruction-less servers are not tracked). `dispose()` disarms first: task teardown is not a
+     *   disconnect.
+     * - `pendingAdds`: the CC add lane ("# MCP Server Instructions" reminder). Structurally present for a
+     *   dynamic mid-task connect face; TODAY nothing populates it — sema connects all servers at prepare
+     *   and carries their initial instructions in the stable system prompt (design/64 §17.3, deliberate
+     *   CC deviation: prefix-cache-correct).
+     */
+    instructionsDelta: {
+        pendingAdds: Array<{
+            server: string;
+            text: string;
+        }>;
+        pendingRemovals: string[];
+    };
+    /**
+     * One entry per server that failed to connect / list its tools and was SKIPPED (fail-open,
+     * design/29). The task proceeds with the healthy servers' tools — a single bad server (missing
+     * stdio command, unreachable URL) must never brick every task in the scenario. The Runner forwards
+     * these to `onError(phase:"mcp")`. Empty when every server connected.
+     */
+    warnings: Error[];
+    /**
+     * design/99 §E9 — per-server status, a PURE PROJECTION of THIS materialization (no new connection logic).
+     * One entry per declared server. **Semantics = the moment of this task leg's materialize** — core never
+     * persists MCP connections, so it is "did this leg connect", NOT a live session-health signal between tasks.
+     * A consumer (service) surfacing it as session status must understand that. `toolNames` are the namespaced
+     * (`<server>__<tool>`) names exposed.
+     */
+    statuses: McpServerStatus[];
+    dispose: () => Promise<void>;
+}
+/** design/99 §E9 — projected per-server MCP status (see {@link MaterializedMcp.statuses}). NOTE: `serverInfo`
+ *  and `error` are SERVER-controlled strings (verbatim from the remote) — UNTRUSTED; a consumer rendering them
+ *  into a TUI/log must treat them as such (a hostile server could embed ANSI/break-out sequences). `toolNames`
+ *  are namespaced with a core-controlled `mcp__<server>__` prefix (design/108 ①). */
+export interface McpServerStatus {
+    name: string;
+    status: "connected" | "failed";
+    serverInfo?: {
+        name: string;
+        version: string;
+    };
+    toolNames?: string[];
+    error?: string;
+}
+/**
+ * design/108 ① (CC 2.1.187 parity) — the GLOBAL `mcp__` marker prefix. CC names every MCP tool
+ * `mcp__<server>__<tool>` so a consumer (permission allowlist, bypass-exempt, the flywheel's whitelist) can
+ * identify an MCP-originated tool by prefix ALONE, without knowing the per-deployment server names. Exported so
+ * the durable-resume canonicalizer (`canonicalToolName`) and downstream consumers share one source.
+ */
+export declare const MCP_PREFIX = "mcp__";
+/**
+ * F4-② (CC :320015/:320061): resolve a server's self-declared per-tool result-size threshold from its
+ * `_meta`. Non-numeric/non-finite/non-positive → undefined (declaration ignored); valid → capped at
+ * {@link MCP_META_RESULT_SIZE_CAP}. Exported for tests.
+ */
+export declare function resolveMcpDeclaredResultSize(meta: Record<string, unknown> | undefined): number | undefined;
+/**
+ * Apply the token gate to a mapped MCP content array (CC `$Mp`/`BMp` shape): text blocks consume a
+ * cumulative char budget of `tokens×4`; past the budget they are sliced/dropped head-keep, and the CC
+ * guidance note is appended as a final text block. Non-text blocks (images) pass through untouched —
+ * same convention as the offload wrapper. Exported for tests.
+ */
+export declare function gateMcpOutput(content: Array<TextContent | ImageContent>, limitTokens?: number): Array<TextContent | ImageContent>;
+/**
+ * design/116 W5-5 (CC 2.1.187 parity) — normalize a server/tool name segment to the API tool-name pattern
+ * `^[a-zA-Z0-9_-]{1,64}$` by replacing every other character with `_`. CC does exactly this on BOTH segments
+ * when composing `mcp__<server>__<tool>` (services/mcp/normalization.ts:17-23 `normalizeNameForMCP` +
+ * mcpStringUtils.ts:50-52 `buildMcpToolName`), so a server advertising a dotted/spaced/unicode tool name can't
+ * mint a tool name the provider rejects. NOTE: only the MODEL-FACING namespaced name is normalized — the raw
+ * remote name is still used on the wire (`callTool`) and for `allowTools`/`toolAxes` keys (caller-facing keys
+ * stay the server's own names). Same known collision property as CC: two remote names that normalize to the
+ * same string collide (rare; CC accepts this).
+ */
+export declare function normalizeMcpName(name: string): string;
+/**
+ * design/116 W5-1 — the max base64 size of ONE inline image (5MB). Value = CC 2.1.187
+ * `API_IMAGE_MAX_BASE64_SIZE` (constants/apiLimits.ts:22, "5 * 1024 * 1024 // 5 MB" — the hard Anthropic API
+ * limit on a base64 image block; CC resizes/compresses down to fit UNDER it, imageResizer.ts). An MCP server
+ * returning a bigger image previously passed straight through = a context/API bomb.
+ */
+export declare const MCP_IMAGE_MAX_BASE64: number;
+/**
+ * 批③ image-pipeline — CC 2.1.x `constants/apiLimits.ts` values, shared by the MCP inline-image bound
+ * AND the Read tool's image branch (tools/fs — internal consistency: ONE yardstick per limit).
+ * - `IMAGE_TARGET_RAW_SIZE` (apiLimits.ts:29): raw-byte target that guarantees the base64 encoding stays
+ *   under {@link MCP_IMAGE_MAX_BASE64} (raw × 4/3 = base64 → 3.75MB raw = 5MB base64).
+ * - `IMAGE_MAX_WIDTH/HEIGHT` (apiLimits.ts:42-43): client-side resize box. The API internally resizes
+ *   above 1568px anyway; 2000px preserves a little extra quality while bounding token burn (~3x for a
+ *   full-resolution screenshot vs the box).
+ */
+export declare const IMAGE_TARGET_RAW_SIZE: number;
+export declare const IMAGE_MAX_WIDTH = 2000;
+export declare const IMAGE_MAX_HEIGHT = 2000;
+/**
+ * design/116 W5-1 — bound an inline MCP image. HONEST DELTA vs CC: CC really resizes/downsamples an
+ * oversized image with sharp (utils/imageResizer.ts `maybeResizeAndDownsampleImageBuffer`: ≤2000x2000px,
+ * ≤3.75MB raw = 5MB base64, progressive JPEG/PNG quality ladder). Core deliberately takes NO image-processing
+ * dependency (arch decision — sharp is a native module we won't force on every consumer), so instead of
+ * resizing we BOUND: an image whose base64 exceeds {@link MCP_IMAGE_MAX_BASE64} is spilled to disk and
+ * replaced by an explanatory text block with the size + path; a within-limit image passes through unchanged.
+ */
+/**
+ * Optional image-resize seam (design/116 review CONFIRM-1, clay 拍 2026-07-02 加 seam 保体验): given an
+ * over-limit image, return a smaller re-encoded one — or undefined when it can't. CC resizes with sharp
+ * (imageResizer.ts: fit within 2000x2000, JPEG quality ladder) so the model still SEES a degraded image;
+ * core must not hard-depend on a native image library, so the capability is injected (or auto-detected).
+ */
+export type McpImageResizer = (base64: string, mimeType: string) => Promise<{
+    base64: string;
+    mimeType: string;
+} | undefined>;
+/**
+ * 批③ image-pipeline — original vs displayed size of a processed image (CC `imageResizer.ts`
+ * `ImageDimensions`). `display*` = what the model actually sees; the Read tool renders the CC coordinate-
+ * mapping meta text from the ratio, so vision coordinate reasoning survives a downsample.
+ */
+export interface ImageDimensions {
+    originalWidth: number;
+    originalHeight: number;
+    displayWidth: number;
+    displayHeight: number;
+}
+/** Result of {@link ImageDownsampler}: re-encoded (or passed-through) image + dimensions when known. */
+export interface DownsampledImage {
+    base64: string;
+    /** Full mime form (`image/jpeg`), ready for an ImageContent block. */
+    mimeType: string;
+    dimensions?: ImageDimensions;
+}
+/**
+ * 批③ — buffer-level image downsampler shared by the MCP inline-image bound AND the Read tool's image
+ * branch. Returns undefined when the input can't be processed (corrupt/unsupported) — the caller keeps
+ * its non-sharp path (spill for MCP, original-bytes for Read). A within-limits image passes through
+ * UNCHANGED (with dimensions when known) — pass-through is not a failure.
+ */
+export type ImageDownsampler = (input: Buffer, mimeType: string) => Promise<DownsampledImage | undefined>;
+/** Minimal structural slice of the sharp API the pipeline uses (fresh instance per operation — CC note:
+ *  reusing an instance after toBuffer() silently skips format conversions on some native builds). */
+type SharpFactory = (input: Buffer) => SharpOps;
+interface SharpOps {
+    metadata: () => Promise<{
+        width?: number;
+        height?: number;
+        format?: string;
+    }>;
+    resize: (w: number, h: number, o: {
+        fit: "inside";
+        withoutEnlargement: boolean;
+    }) => SharpOps;
+    jpeg: (o: {
+        quality: number;
+    }) => SharpOps;
+    png: (o: {
+        compressionLevel: number;
+        palette: boolean;
+    }) => SharpOps;
+    toBuffer: () => Promise<Buffer>;
+}
+/**
+ * The CC downsample pipeline (imageResizer.ts `maybeResizeAndDownsampleImageBuffer`, called by
+ * FileReadTool.ts:1097 `readImageWithTokenBudget`), ported over an injected sharp factory so the ladder
+ * is unit-testable without the native dependency:
+ *   1. fits already (raw ≤ 3.75MB AND ≤ 2000×2000) → pass through, dimensions attached;
+ *   2. dims fit but bytes over → full-resolution compression first (PNG lossless/palette for PNGs, then
+ *      JPEG quality ladder 80/60/40/20) — preserves resolution when possible;
+ *   3. dims over → constrain to the 2000×2000 box (aspect kept), then the same ladder on the resized
+ *      image if still over; last rung = ≤1000px wide JPEG q20 (returned without a further size check —
+ *      the caller's base64 gate stays the final arbiter, CC-identical shape);
+ *   4. metadata without dimensions → JPEG q80 when over target, else pass through (CC branch).
+ * Exported for tests (fake sharp factory); production entry = {@link sharpImageDownsampler}.
+ */
+export declare function makeImageDownsampler(sharp: SharpFactory): ImageDownsampler;
+export declare function sharpImageDownsampler(): Promise<ImageDownsampler | undefined>;
+/**
+ * Default resizer factory: dynamic `import("sharp")` — a turnkey deployment with sharp installed gets the
+ * CC experience automatically; without it this resolves to undefined and the spill path applies. Since
+ * 批③ this is a thin base64 adapter over {@link sharpImageDownsampler} (single pipeline, CC ladder);
+ * the contract is unchanged: undefined when sharp is missing, the input is corrupt, or even the lowest
+ * ladder rung stays over the API limit.
+ */
+export declare function sharpImageResizer(): Promise<McpImageResizer | undefined>;
+/**
+ * design/116 W5-2 — compact, jq-friendly type signature for a `structuredContent` value, e.g.
+ * `{title: string, items: [{id: number}]}`. Port of CC 2.1.187 `inferCompactSchema` (services/mcp/client.ts,
+ * beside the structuredContent branch at client.ts:2676-2683): depth-2, first array element as the element
+ * type, ≤10 object entries then `, ...`.
+ */
+export declare function inferCompactSchema(value: unknown, depth?: number): string;
+/**
+ * Resolve the HTTP request headers for an MCP server, injecting the per-task end-user principal (design/62).
+ * The principal is added **only** when the spec declares a `principalHeader` AND a `principal` is present;
+ * it is injected **last** so it overrides any same-named static header; an absent principal sends no such
+ * header (the MCP server must then default to deny/public, never admin). Pure + exported for testing and so a
+ * consumer can verify what its config sends. The connection is task-scoped, so the principal is constant for
+ * the connection's life and the HTTP transport carries these headers on every request.
+ */
+export declare function resolveMcpHttpHeaders(t: {
+    headers?: Record<string, string>;
+    principalHeader?: string;
+}, principal?: string): Record<string, string> | undefined;
+interface McpContentItem {
+    type: string;
+    text?: string;
+    data?: string;
+    mimeType?: string;
+    /** `resource_link` block: a pointer to a server resource. */
+    uri?: string;
+    name?: string;
+    description?: string;
+    /** `resource` block: an embedded resource (text or binary). */
+    resource?: {
+        uri?: string;
+        mimeType?: string;
+        text?: string;
+        blob?: string;
+    };
+}
+export declare function mapContent(content: Array<McpContentItem>, serverName?: string, imageResizer?: McpImageResizer): Promise<Array<TextContent | ImageContent>>;
+/**
+ * Connect to each MCP server, list its tools, and wrap them as AgentTools.
+ * Tools are namespaced `mcp__<server>__<tool>` (CC parity) to avoid collisions. The model sees each
+ * tool's real JSON-Schema (`inputSchema`), which the agent loop validates natively.
+ *
+ * Fail-open (design/29): a server that fails to connect or list tools is SKIPPED — its error is
+ * returned in `warnings`, the healthy servers still materialize. A single misconfigured server
+ * (bad stdio command, unreachable URL) never bricks the whole task.
+ *
+ * Call `dispose()` when the task finishes — connections are task-scoped, never persisted.
+ */
+export declare function materializeMcpTools(specs: McpServerSpec[], principal?: string, onElicit?: OnElicit, imageResizer?: McpImageResizer): Promise<MaterializedMcp>;
+export {};
+//# sourceMappingURL=mcp.d.ts.map

package/dist/core/mcp.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mcp.d.ts","sourceRoot":"","sources":["../../src/core/mcp.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,SAAS,EAAmB,MAAM,wBAAwB,CAAC;AACzE,OAAO,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAGpE,OAAO,KAAK,EAAE,aAAa,EAAoB,QAAQ,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAGxF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,WAAW,WAAW;IAC1B,+EAA+E;IAC/E,IAAI,EAAE,MAAM,CAAC;IACb,0GAA0G;IAC1G,eAAe,CAAC,EAAE,QAAQ,CAAC;IAC3B,mHAAmH;IACnH,MAAM,CAAC,EAAE,IAAI,CAAC;IACd;;;;;;OAMG;IACH,MAAM,CAAC,EAAE,UAAU,CAAC;CACrB;AAED,2FAA2F;AAC3F,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,SAAS,EAAE,CAAC;IACnB;;;;;OAKG;IACH,QAAQ,EAAE,WAAW,EAAE,CAAC;IACxB;;;;OAIG;IACH,kBAAkB,EAAE,KAAK,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC5D;;;;;;;;;;;;OAYG;IACH,iBAAiB,EAAE;QAAE,WAAW,EAAE,KAAK,CAAC;YAAE,MAAM,EAAE,MAAM,CAAC;YAAC,IAAI,EAAE,MAAM,CAAA;SAAE,CAAC,CAAC;QAAC,eAAe,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IACvG;;;;;OAKG;IACH,QAAQ,EAAE,KAAK,EAAE,CAAC;IAClB;;;;;;OAMG;IACH,QAAQ,EAAE,eAAe,EAAE,CAAC;IAC5B,OAAO,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;CAC9B;AAED;;;qFAGqF;AACrF,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,WAAW,GAAG,QAAQ,CAAC;IAC/B,UAAU,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IAC/C,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAGD;;;;;GAKG;AACH,eAAO,MAAM,UAAU,UAAU,CAAC;AAelC;;;;GAIG;AACH,wBAAgB,4BAA4B,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,GAAG,MAAM,GAAG,SAAS,CAI1G;AAqBD;;;;;GAKG;AACH,wBAAgB,aAAa,CAC3B,OAAO,EAAE,KAAK,CAAC,WAAW,GAAG,YAAY,CAAC,EAC1C,WAAW,GAAE,MAA6B,GACzC,KAAK,CAAC,WAAW,GAAG,YAAY,CAAC,CA2BnC;AAED;;;;;;;;;GASG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAErD;AAED;;;;;GAKG;AACH,eAAO,MAAM,oBAAoB,QAAkB,CAAC;AAEpD;;;;;;;;GAQG;AACH,eAAO,MAAM,qBAAqB,QAAiC,CAAC;AACpE,eAAO,MAAM,eAAe,OAAO,CAAC;AACpC,eAAO,MAAM,gBAAgB,OAAO,CAAC;AAsGrC;;;;;;;GAOG;AACH;;;;;GAKG;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,KAAK,OAAO,CAAC;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GAAG,SAAS,CAAC,CAAC;AAE9H;;;;GAIG;AACH,MAAM,WAAW,eAAe;IAC9B,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC;IACvB,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,wGAAwG;AACxG,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,MAAM,CAAC;IACf,sEAAsE;IACtE,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,CAAC,EAAE,eAAe,CAAC;CAC9B;AAED;;;;;GAKG;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,KAAK,OAAO,CAAC,gBAAgB,GAAG,SAAS,CAAC,CAAC;AAE1G;qGACqG;AACrG,KAAK,YAAY,GAAG,CAAC,KAAK,EAAE,MAAM,KAAK,QAAQ,CAAC;AAChD,UAAU,QAAQ;IAChB,QAAQ,EAAE,MAAM,OAAO,CAAC;QAAE,KAAK,CAAC,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC9E,MAAM,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE;QAAE,GAAG,EAAE,QAAQ,CAAC;QAAC,kBAAkB,EAAE,OAAO,CAAA;KAAE,KAAK,QAAQ,CAAC;IAC9F,IAAI,EAAE,CAAC,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,CAAA;KAAE,KAAK,QAAQ,CAAC;IAC3C,GAAG,EAAE,CAAC,CAAC,EAAE;QAAE,gBAAgB,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,OAAO,CAAA;KAAE,KAAK,QAAQ,CAAC;IACrE,QAAQ,EAAE,MAAM,OAAO,CAAC,MAAM,CAAC,CAAC;CACjC;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,YAAY,GAAG,gBAAgB,CAkE1E;AAeD,wBAAsB,qBAAqB,IAAI,OAAO,CAAC,gBAAgB,GAAG,SAAS,CAAC,CAQnF;AAED;;;;;;GAMG;AACH,wBAAsB,iBAAiB,IAAI,OAAO,CAAC,eAAe,GAAG,SAAS,CAAC,CAQ9E;AA8BD;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,SAAI,GAAG,MAAM,CAcpE;AAED;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CACnC,CAAC,EAAE;IAAE,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAAC,eAAe,CAAC,EAAE,MAAM,CAAA;CAAE,EACjE,SAAS,CAAC,EAAE,MAAM,GACjB,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,CAUpC;AAiBD,UAAU,cAAc;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,6DAA6D;IAC7D,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,+DAA+D;IAC/D,QAAQ,CAAC,EAAE;QAAE,GAAG,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;CAC9E;AAYD,wBAAsB,UAAU,CAC9B,OAAO,EAAE,KAAK,CAAC,cAAc,CAAC,EAC9B,UAAU,CAAC,EAAE,MAAM,EACnB,YAAY,CAAC,EAAE,eAAe,GAC7B,OAAO,CAAC,KAAK,CAAC,WAAW,GAAG,YAAY,CAAC,CAAC,CAqD5C;AAED;;;;;;;;;;GAUG;AACH,wBAAsB,mBAAmB,CACvC,KAAK,EAAE,aAAa,EAAE,EACtB,SAAS,CAAC,EAAE,MAAM,EAClB,QAAQ,CAAC,EAAE,QAAQ,EACnB,YAAY,CAAC,EAAE,eAAe,GAC7B,OAAO,CAAC,eAAe,CAAC,CAsE1B"}