@sema-ai/core 1.275.1

package/dist/core/lsp-protocol.js

@@ -0,0 +1,179 @@
+/**
+ * LSP protocol mapping — the deployment-NEUTRAL half of the LSP subsystem (design/64 §13.1). `buildRequest`
+ * turns one of the 9 seam {@link LspOperation}s + params into an LSP JSON-RPC method + params; `parseResult`
+ * coerces the LSP response into core's flat {@link LspResult} (`LspLocation`/`LspSymbolInfo`). Referenced
+ * 1:1 against CC `tools/LSPTool/LSPTool.ts` — this is the "copy-CC" protocol logic; the TRANSPORT (stdio for
+ * TOC / a WS bridge for TOB) is what differs and lives behind {@link LspTransport}.
+ *
+ * 🔴 Position base (live-drill bug 2026-06-10): core's `LSP` tool schema tells the MODEL "1-based line,
+ * 0-based character" and passes the args VERBATIM to `session.request` — it does NOT convert. The LSP wire
+ * wants 0-based BOTH. So THIS layer converts both directions (CC's LSPTool does the same): request line−1,
+ * result line+1; characters stay 0-based throughout. Getting this wrong is invisible to position-less ops
+ * (documentSymbol/workspaceSymbol) but silently empties every position op — a 1-line file puts wire line 1
+ * out of range, so definition/references/hover all return null.
+ *
+ * Single-sourced in core (constitution: core owns the axis-neutral mechanism primitive) so the TOC
+ * (`NodeLspManager`) and TOB (service's E2B/kata manager) paths can't drift.
+ */
+import { pathToFileURL } from "node:url";
+/**
+ * file:// URI for an absolute path. channel [388](service win32 真机逮):this serves TWO lanes —
+ * TOC host files (NodeLspManager, host semantics correct) AND remote WS-lane container paths
+ * (E2B/kata sidecar, Linux form). `pathToFileURL` is HOST-platform-semantic: on a win32 host it
+ * parses a remote `/home/user/x.ts` as drive-relative → `file:///C:/home/user/x.ts` → the remote
+ * LSP server gets a nonexistent URI(win32 host + 远程 lane 全瘫). Structural form detection
+ * instead(与 [385] fs-safety 双家族修同哲学——路径来自 ExecutionEnv,可能是另一家族,绝不按
+ * process.platform 判):POSIX-form absolutes are hand-assembled(percent-encoded per segment,
+ * no host path module);drive-letter form keeps `pathToFileURL`(CC parity for Windows files).
+ * On a POSIX host the hand-assembled branch matches `pathToFileURL(p).href` for typical paths(space 等常见字符同形;极端字符按 encodeURIComponent 更严格,LSP server 两者都收).
+ */
+export function pathToUri(p) {
+    if (p.startsWith("/")) {
+        return `file://${p.split("/").map(encodeURIComponent).join("/")}`;
+    }
+    return pathToFileURL(p).href;
+}
+/**
+ * [K-PLATFORM-SWEEP] MINOR#5: structural inverse of {@link pathToUri} — the naive `file://` prefix strip
+ * left win-form URIs as `/C:/x` (never matching the didOpen keys) and never percent-decoded (a space in a
+ * filename broke the staleness map). Form-detected, never host `fileURLToPath` (cross-family lanes).
+ */
+export function uriToPath(uri) {
+    if (!uri.startsWith("file://"))
+        return uri;
+    let rest = uri.slice("file://".length);
+    // codex 1.237 F5: a non-empty authority is a UNC host (file://server/share/x) — keep it in a comparable
+    // `//server/share/x` form instead of silently degrading to a relative-looking `server/share/x`.
+    // (file:////server/share already arrives as `//server/…` and passes through unchanged.)
+    if (rest.length > 0 && !rest.startsWith("/"))
+        rest = "//" + rest;
+    try {
+        rest = decodeURIComponent(rest);
+    }
+    catch {
+        /* malformed escape — keep the raw form */
+    }
+    const m = /^\/([A-Za-z]:)(\/.*)?$/.exec(rest);
+    if (m)
+        return m[1] + (m[2] ?? "/").replace(/\//g, "\\"); // drive form → native backslash path
+    return rest;
+}
+/** The follow-up method for the 2-step call ops (issued by the session after prepareCallHierarchy). */
+export function callHierarchyMethod(op) {
+    return op === "incomingCalls" ? "callHierarchy/incomingCalls" : "callHierarchy/outgoingCalls";
+}
+/** The LSP method + params for an op (incoming/outgoing FIRST issue prepareCallHierarchy — the session 2-steps). */
+export function buildRequest(op, params) {
+    const uri = pathToUri(params.filePath);
+    // Model convention (1-based line) → wire convention (0-based). `?? 1` so an omitted line maps to wire 0.
+    const position = { line: Math.max(0, (params.line ?? 1) - 1), character: params.character ?? 0 };
+    const td = { textDocument: { uri } };
+    switch (op) {
+        case "goToDefinition":
+            return { method: "textDocument/definition", params: { ...td, position } };
+        case "findReferences":
+            return { method: "textDocument/references", params: { ...td, position, context: { includeDeclaration: true } } };
+        case "hover":
+            return { method: "textDocument/hover", params: { ...td, position } };
+        case "goToImplementation":
+            return { method: "textDocument/implementation", params: { ...td, position } };
+        case "documentSymbol":
+            return { method: "textDocument/documentSymbol", params: td };
+        case "workspaceSymbol":
+            return { method: "workspace/symbol", params: { query: params.symbol ?? "" } };
+        case "prepareCallHierarchy":
+        case "incomingCalls":
+        case "outgoingCalls":
+            return { method: "textDocument/prepareCallHierarchy", params: { ...td, position } };
+    }
+}
+export function parseResult(op, raw) {
+    switch (op) {
+        case "goToDefinition":
+        case "findReferences":
+        case "goToImplementation": {
+            const locations = toLocations(raw);
+            return locations.length ? { kind: "locations", locations } : { kind: "none" };
+        }
+        case "hover": {
+            const contents = hoverContents(raw);
+            return contents ? { kind: "hover", contents } : { kind: "none" };
+        }
+        case "documentSymbol":
+        case "workspaceSymbol":
+        case "prepareCallHierarchy": {
+            const symbols = toSymbols(raw);
+            return symbols.length ? { kind: "symbols", symbols } : { kind: "none" };
+        }
+        case "incomingCalls":
+        case "outgoingCalls": {
+            const symbols = toCallSymbols(raw);
+            return symbols.length ? { kind: "symbols", symbols } : { kind: "none" };
+        }
+    }
+}
+// ───────── result coercion (LSP returns single|array|null + Location|LocationLink|*Symbol variants) ─────────
+function asArray(raw) {
+    if (raw == null)
+        return [];
+    return (Array.isArray(raw) ? raw : [raw]);
+}
+function locFrom(uri, range) {
+    const s = range?.start ?? { line: 0, character: 0 };
+    return { uri, line: s.line + 1, character: s.character }; // wire 0-based → model-facing 1-based line
+}
+function toLocations(raw) {
+    return asArray(raw)
+        .map((x) => {
+        if (typeof x?.uri === "string")
+            return locFrom(x.uri, x.range); // Location
+        if (typeof x?.targetUri === "string")
+            return locFrom(x.targetUri, (x.targetSelectionRange ?? x.targetRange)); // LocationLink
+        return undefined;
+    })
+        .filter((l) => l !== undefined);
+}
+function toSymbols(raw) {
+    const out = [];
+    const walk = (x, fallbackUri) => {
+        const loc = x.location;
+        const uri = loc?.uri ?? (typeof x.uri === "string" ? x.uri : fallbackUri);
+        const range = (loc?.range ?? x.selectionRange ?? x.range);
+        if (typeof x.name === "string" && uri) {
+            const s = range?.start ?? { line: 0, character: 0 };
+            out.push({ name: x.name, ...(symbolKindName(x.kind) ? { kind: symbolKindName(x.kind) } : {}), uri, line: s.line + 1, character: s.character }); // line → 1-based
+        }
+        for (const child of asArray(x.children))
+            walk(child, uri); // DocumentSymbol hierarchy
+    };
+    for (const x of asArray(raw))
+        walk(x);
+    return out;
+}
+function toCallSymbols(raw) {
+    // incomingCalls → [{from: CallHierarchyItem}], outgoingCalls → [{to: CallHierarchyItem}]
+    return toSymbols(asArray(raw).map((x) => x.from ?? x.to ?? x));
+}
+function hoverContents(raw) {
+    const c = raw?.contents;
+    if (c == null)
+        return "";
+    const one = (v) => {
+        if (typeof v === "string")
+            return v;
+        if (v && typeof v === "object" && typeof v.value === "string")
+            return v.value;
+        return "";
+    };
+    return (Array.isArray(c) ? c.map(one).filter(Boolean).join("\n\n") : one(c)).trim();
+}
+/** LSP SymbolKind number → its name (core formats the string). */
+const SYMBOL_KINDS = [
+    "File", "Module", "Namespace", "Package", "Class", "Method", "Property", "Field", "Constructor", "Enum",
+    "Interface", "Function", "Variable", "Constant", "String", "Number", "Boolean", "Array", "Object", "Key",
+    "Null", "EnumMember", "Struct", "Event", "Operator", "TypeParameter",
+];
+function symbolKindName(kind) {
+    return typeof kind === "number" && kind >= 1 && kind <= SYMBOL_KINDS.length ? SYMBOL_KINDS[kind - 1] : undefined;
+}
+//# sourceMappingURL=lsp-protocol.js.map

package/dist/core/lsp-protocol.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lsp-protocol.js","sourceRoot":"","sources":["../../src/core/lsp-protocol.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAGzC;;;;;;;;;;GAUG;AACH,MAAM,UAAU,SAAS,CAAC,CAAS;IACjC,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACtB,OAAO,UAAU,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;IACpE,CAAC;IACD,OAAO,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/B,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAC,GAAW;IACnC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC;QAAE,OAAO,GAAG,CAAC;IAC3C,IAAI,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACvC,wGAAwG;IACxG,gGAAgG;IAChG,wFAAwF;IACxF,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC;IACjE,IAAI,CAAC;QACH,IAAI,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC;IAAC,MAAM,CAAC;QACP,0CAA0C;IAC5C,CAAC;IACD,MAAM,CAAC,GAAG,wBAAwB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,qCAAqC;IAC9F,OAAO,IAAI,CAAC;AACd,CAAC;AAED,uGAAuG;AACvG,MAAM,UAAU,mBAAmB,CAAC,EAAqC;IACvE,OAAO,EAAE,KAAK,eAAe,CAAC,CAAC,CAAC,6BAA6B,CAAC,CAAC,CAAC,6BAA6B,CAAC;AAChG,CAAC;AAOD,oHAAoH;AACpH,MAAM,UAAU,YAAY,CAAC,EAAgB,EAAE,MAAwB;IACrE,MAAM,GAAG,GAAG,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACvC,yGAAyG;IACzG,MAAM,QAAQ,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,IAAI,CAAC,EAAE,CAAC;IACjG,MAAM,EAAE,GAAG,EAAE,YAAY,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC;IACrC,QAAQ,EAAE,EAAE,CAAC;QACX,KAAK,gBAAgB;YACnB,OAAO,EAAE,MAAM,EAAE,yBAAyB,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,EAAE,CAAC;QAC5E,KAAK,gBAAgB;YACnB,OAAO,EAAE,MAAM,EAAE,yBAAyB,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,kBAAkB,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QACnH,KAAK,OAAO;YACV,OAAO,EAAE,MAAM,EAAE,oBAAoB,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,EAAE,CAAC;QACvE,KAAK,oBAAoB;YACvB,OAAO,EAAE,MAAM,EAAE,6BAA6B,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,EAAE,CAAC;QAChF,KAAK,gBAAgB;YACnB,OAAO,EAAE,MAAM,EAAE,6BAA6B,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;QAC/D,KAAK,iBAAiB;YACpB,OAAO,EAAE,MAAM,EAAE,kBAAkB,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,IAAI,EAAE,EAAE,EAAE,CAAC;QAChF,KAAK,sBAAsB,CAAC;QAC5B,KAAK,eAAe,CAAC;QACrB,KAAK,eAAe;YAClB,OAAO,EAAE,MAAM,EAAE,mCAAmC,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,EAAE,CAAC;IACxF,CAAC;AACH,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,EAAgB,EAAE,GAAY;IACxD,QAAQ,EAAE,EAAE,CAAC;QACX,KAAK,gBAAgB,CAAC;QACtB,KAAK,gBAAgB,CAAC;QACtB,KAAK,oBAAoB,CAAC,CAAC,CAAC;YAC1B,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;YACnC,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAChF,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;YACpC,OAAO,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QACnE,CAAC;QACD,KAAK,gBAAgB,CAAC;QACtB,KAAK,iBAAiB,CAAC;QACvB,KAAK,sBAAsB,CAAC,CAAC,CAAC;YAC5B,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;YAC/B,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC1E,CAAC;QACD,KAAK,eAAe,CAAC;QACrB,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;YACnC,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC1E,CAAC;IACH,CAAC;AACH,CAAC;AAED,+GAA+G;AAE/G,SAAS,OAAO,CAAI,GAAY;IAC9B,IAAI,GAAG,IAAI,IAAI;QAAE,OAAO,EAAE,CAAC;IAC3B,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAQ,CAAC;AACnD,CAAC;AAED,SAAS,OAAO,CAAC,GAAW,EAAE,KAA2B;IACvD,MAAM,CAAC,GAAG,KAAK,EAAE,KAAK,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACpD,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,2CAA2C;AACvG,CAAC;AAED,SAAS,WAAW,CAAC,GAAY;IAC/B,OAAO,OAAO,CAA0B,GAAG,CAAC;SACzC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACT,IAAI,OAAO,CAAC,EAAE,GAAG,KAAK,QAAQ;YAAE,OAAO,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,KAAiB,CAAC,CAAC,CAAC,WAAW;QACvF,IAAI,OAAO,CAAC,EAAE,SAAS,KAAK,QAAQ;YAAE,OAAO,OAAO,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,oBAAoB,IAAI,CAAC,CAAC,WAAW,CAAa,CAAC,CAAC,CAAC,eAAe;QACzI,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;SACD,MAAM,CAAC,CAAC,CAAC,EAAoB,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;AACtD,CAAC;AAED,SAAS,SAAS,CAAC,GAAY;IAC7B,MAAM,GAAG,GAAoB,EAAE,CAAC;IAChC,MAAM,IAAI,GAAG,CAAC,CAA0B,EAAE,WAAoB,EAAE,EAAE;QAChE,MAAM,GAAG,GAAG,CAAC,CAAC,QAA0D,CAAC;QACzE,MAAM,GAAG,GAAG,GAAG,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QAC1E,MAAM,KAAK,GAAG,CAAC,GAAG,EAAE,KAAK,IAAK,CAAC,CAAC,cAA2B,IAAK,CAAC,CAAC,KAAkB,CAAyB,CAAC;QAC9G,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,EAAE,CAAC;YACtC,MAAM,CAAC,GAAG,KAAK,EAAE,KAAK,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;YACpD,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,iBAAiB;QACnK,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,OAAO,CAA0B,CAAC,CAAC,QAAQ,CAAC;YAAE,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,2BAA2B;IACjH,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,OAAO,CAA0B,GAAG,CAAC;QAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/D,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,aAAa,CAAC,GAAY;IACjC,yFAAyF;IACzF,OAAO,SAAS,CAAC,OAAO,CAA0B,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;AAC1F,CAAC;AAED,SAAS,aAAa,CAAC,GAAY;IACjC,MAAM,CAAC,GAAI,GAAqC,EAAE,QAAQ,CAAC;IAC3D,IAAI,CAAC,IAAI,IAAI;QAAE,OAAO,EAAE,CAAC;IACzB,MAAM,GAAG,GAAG,CAAC,CAAU,EAAU,EAAE;QACjC,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,CAAC,CAAC;QACpC,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAQ,CAAyB,CAAC,KAAK,KAAK,QAAQ;YAAE,OAAQ,CAAuB,CAAC,KAAK,CAAC;QAC9H,OAAO,EAAE,CAAC;IACZ,CAAC,CAAC;IACF,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AACtF,CAAC;AAED,kEAAkE;AAClE,MAAM,YAAY,GAAG;IACnB,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM;IACvG,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK;IACxG,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,eAAe;CACrE,CAAC;AACF,SAAS,cAAc,CAAC,IAAa;IACnC,OAAO,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACnH,CAAC"}

package/dist/core/lsp-session.d.ts

@@ -0,0 +1,56 @@
+import type { LspSession, LspOperation, LspRequestParams, LspResult, LspTransport, LspReadText } from "./lsp.js";
+import type { LspDiagnosticsRegistry } from "./lsp-diagnostics.js";
+export interface SessionWarmup {
+    /** Empty results within this window after session creation are retried (a freshly-spawned server answers
+     *  non-blocking ops with EMPTY results while its project is still loading — the model may call
+     *  hover/documentSymbol FIRST and get non-null-but-empty answers; goToDefinition happens to block on load,
+     *  which is why op-order made it look random). 0 disables. */
+    windowMs: number;
+    retryMs: number;
+}
+export declare class TransportLspSession implements LspSession {
+    private readonly transport;
+    private readonly languageId;
+    private readonly readText;
+    /** Observability hook for swallowed degrades (graceful "none" hides real transport faults otherwise). */
+    private readonly log;
+    private readonly warmup;
+    /** filePath → the last text SENT to the server (didOpen/didChange) + its document version. */
+    private readonly opened;
+    /** In-flight per-file syncs — concurrent ops on the same new file share ONE read/didOpen. */
+    private readonly syncing;
+    private readonly createdAt;
+    private warmupBarrierDone;
+    constructor(transport: LspTransport, languageId: string, readText: LspReadText, 
+    /** Observability hook for swallowed degrades (graceful "none" hides real transport faults otherwise). */
+    log?: (event: string, fields: Record<string, unknown>) => void, warmup?: SessionWarmup, 
+    /** design/121: when set (and the transport dispatches notifications), the session feeds this
+     *  registry from `textDocument/publishDiagnostics` — with version-staleness protection: a
+     *  notification versioned OLDER than the text this session last SENT for that file is dropped
+     *  (the server is still churning on stale content). Absent ⇒ pre-121 behavior byte-for-byte. */
+    diagnostics?: LspDiagnosticsRegistry);
+    request(op: LspOperation, params: LspRequestParams, signal?: AbortSignal): Promise<LspResult>;
+    /** Re-sync every opened file (+ the queried one) with its CURRENT on-disk text, in parallel. */
+    private syncOpenedFiles;
+    /** didOpen a new file / didChange (full-text replace) an opened one whose disk content moved. Never throws:
+     *  an unreadable NEW file just skips didOpen (the server may read from disk); an unreadable OPENED one keeps
+     *  the last-sent text (best-effort — e.g. the agent deleted it). Concurrent callers share one in-flight sync. */
+    private syncOne;
+    /** Underlying connection gone (e.g. the server crashed / the WS was idle-killed) → the manager evicts + reopens. */
+    get closed(): boolean;
+    /** Files didOpen'd on this server — the manager carries them to a HEALED session: a fresh server with no
+     *  project config only "sees" its open files (e.g. tsserver inferred project), so without the carry-over,
+     *  cross-file ops (references/calls) silently degrade to single-file after a heal. */
+    openedFiles(): string[];
+    /** Re-open carried files on a fresh session (heal). Best-effort per file (a deleted file just skips). */
+    warmOpen(filePaths: string[], signal?: AbortSignal): Promise<void>;
+    /**
+     * design/121: push the file's CURRENT text to the server WITHOUT an op (didOpen/didChange as
+     * appropriate). The agent's edit/write tools call this fire-and-forget so the server re-analyzes
+     * and pushes publishDiagnostics — the session's normal lazy sync only runs on the next LSP op,
+     * which may never come. Never throws (same best-effort contract as syncOne).
+     */
+    notifyFileChanged(filePath: string, signal?: AbortSignal): Promise<void>;
+    close(): Promise<void>;
+}
+//# sourceMappingURL=lsp-session.d.ts.map

package/dist/core/lsp-session.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lsp-session.d.ts","sourceRoot":"","sources":["../../src/core/lsp-session.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,gBAAgB,EAAE,SAAS,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AACjH,OAAO,KAAK,EAAiB,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAElF,MAAM,WAAW,aAAa;IAC5B;;;kEAG8D;IAC9D,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,qBAAa,mBAAoB,YAAW,UAAU;IASlD,OAAO,CAAC,QAAQ,CAAC,SAAS;IAC1B,OAAO,CAAC,QAAQ,CAAC,UAAU;IAC3B,OAAO,CAAC,QAAQ,CAAC,QAAQ;IACzB,yGAAyG;IACzG,OAAO,CAAC,QAAQ,CAAC,GAAG;IACpB,OAAO,CAAC,QAAQ,CAAC,MAAM;IAbzB,8FAA8F;IAC9F,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAwD;IAC/E,6FAA6F;IAC7F,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAoC;IAC5D,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAc;IACxC,OAAO,CAAC,iBAAiB,CAAS;gBAGf,SAAS,EAAE,YAAY,EACvB,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,WAAW;IACtC,yGAAyG;IACxF,GAAG,GAAE,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,IAAe,EACxE,MAAM,GAAE,aAAoD;IAC7E;;;oGAGgG;IAChG,WAAW,CAAC,EAAE,sBAAsB;IAuBhC,OAAO,CAAC,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,SAAS,CAAC;IAqDnG,gGAAgG;YAClF,eAAe;IAM7B;;qHAEiH;IACjH,OAAO,CAAC,OAAO;IA+Bf,oHAAoH;IACpH,IAAI,MAAM,IAAI,OAAO,CAEpB;IAED;;0FAEsF;IACtF,WAAW,IAAI,MAAM,EAAE;IAIvB,yGAAyG;IACnG,QAAQ,CAAC,SAAS,EAAE,MAAM,EAAE,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC;IAIxE;;;;;OAKG;IACH,iBAAiB,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC;IAIxE,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;CAGvB"}

package/dist/core/lsp-session.js

@@ -0,0 +1,185 @@
+/**
+ * `TransportLspSession` — one language server's session, driven over an injected {@link LspTransport} (stdio for
+ * TOC, a WS bridge for TOB). Before EVERY op it re-reads the opened files (via the injected {@link LspReadText})
+ * and sends `textDocument/didOpen` for new files / `textDocument/didChange` (full-text) for files whose content
+ * changed — an LSP server treats an open document's IN-MEMORY text as authoritative and IGNORES disk edits, so
+ * didOpen-once would silently resolve every op after an agent `Edit` against STALE text (wrong/missing
+ * positions — the file-sync pitfall, worse than "none" because it's misleading). Op → LSP request → `LspResult`
+ * via {@link buildRequest}/`parseResult`.
+ *
+ * Deployment-neutral: single-sourced in core so the TOC/TOB lanes run identical protocol logic (the hard-won
+ * hardening below — file-sync, warm-up barrier, heal carry-over — was found on live drills and must not be
+ * re-derived per lane). Ported from service's `RemoteLspSession` (search[58]/[59], live-drills 2026-06-10/11).
+ */
+import { uriToPath, buildRequest, callHierarchyMethod, parseResult, pathToUri } from "./lsp-protocol.js";
+export class TransportLspSession {
+    transport;
+    languageId;
+    readText;
+    log;
+    warmup;
+    /** filePath → the last text SENT to the server (didOpen/didChange) + its document version. */
+    opened = new Map();
+    /** In-flight per-file syncs — concurrent ops on the same new file share ONE read/didOpen. */
+    syncing = new Map();
+    createdAt = Date.now();
+    warmupBarrierDone = false;
+    constructor(transport, languageId, readText, 
+    /** Observability hook for swallowed degrades (graceful "none" hides real transport faults otherwise). */
+    log = () => { }, warmup = { windowMs: 10_000, retryMs: 1_000 }, 
+    /** design/121: when set (and the transport dispatches notifications), the session feeds this
+     *  registry from `textDocument/publishDiagnostics` — with version-staleness protection: a
+     *  notification versioned OLDER than the text this session last SENT for that file is dropped
+     *  (the server is still churning on stale content). Absent ⇒ pre-121 behavior byte-for-byte. */
+    diagnostics) {
+        this.transport = transport;
+        this.languageId = languageId;
+        this.readText = readText;
+        this.log = log;
+        this.warmup = warmup;
+        if (diagnostics && transport.onNotification) {
+            transport.onNotification((method, params) => {
+                if (method !== "textDocument/publishDiagnostics")
+                    return;
+                const p = params;
+                if (!p || typeof p.uri !== "string" || !Array.isArray(p.diagnostics))
+                    return;
+                // Version staleness (CC same semantics): our didChange versions are authoritative — a publish
+                // for an older version describes text we already replaced. A publish WITHOUT a version (the
+                // field is optional in LSP) is accepted (nothing to compare).
+                if (typeof p.version === "number") {
+                    const filePath = uriToPath(p.uri); // [K-PLATFORM-SWEEP] MINOR#5: form-aware inverse, not a prefix strip
+                    const known = this.opened.get(filePath);
+                    if (known && p.version < known.version) {
+                        this.log("lsp_diagnostics_stale_dropped", { uri: p.uri, version: p.version, current: known.version });
+                        return;
+                    }
+                }
+                diagnostics.publish(p.uri, p.diagnostics);
+            });
+        }
+    }
+    async request(op, params, signal) {
+        const built = buildRequest(op, params);
+        if (!built)
+            return { kind: "none" };
+        await this.syncOpenedFiles(params.filePath, signal);
+        // Warm-up barrier (once per server): a definition request BLOCKS until the project finishes loading
+        // (live: 2.9-10s cold, ~0 warm), while non-blocking ops answer EMPTY or PARTIAL during the load (the
+        // op-order lottery that made model drills flaky). One blocking roundtrip up front serializes the load
+        // before the first real op; the empty-retry below stays as a backstop for servers that don't block.
+        // When the first op IS goToDefinition it blocks on the load itself = it IS the barrier.
+        if (!this.warmupBarrierDone && this.warmup.windowMs > 0) {
+            this.warmupBarrierDone = true;
+            if (op !== "goToDefinition") {
+                await this.transport
+                    .request("textDocument/definition", { textDocument: { uri: pathToUri(params.filePath) }, position: { line: 0, character: 0 } }, signal)
+                    .catch(() => undefined); // best-effort — a failure here surfaces on the real op
+            }
+        }
+        for (let attempt = 0;; attempt++) {
+            let raw;
+            try {
+                raw = await this.transport.request(built.method, built.params, signal);
+                if (op === "incomingCalls" || op === "outgoingCalls") {
+                    // `built` was prepareCallHierarchy → take the first CallHierarchyItem, then request the actual calls.
+                    const items = Array.isArray(raw) ? raw : raw != null ? [raw] : [];
+                    raw = items.length === 0 ? null : await this.transport.request(callHierarchyMethod(op), { item: items[0] }, signal);
+                }
+            }
+            catch (e) {
+                // server/transport errored on this op → graceful "no answer" (the tool falls the model back to grep);
+                // logged because a silent degrade masks a dead transport.
+                this.log("lsp_op_degraded", { op, file: params.filePath, err: e instanceof Error ? e.message : String(e) });
+                return { kind: "none" };
+            }
+            const result = parseResult(op, raw);
+            // Warm-up retry: an empty answer inside the window is indistinguishable from "still loading" → retry.
+            // Outside the window an empty answer is the real answer (zero added latency on warm servers).
+            if (result.kind === "none" && this.warmup.windowMs > 0 && Date.now() - this.createdAt < this.warmup.windowMs && !signal?.aborted) {
+                await new Promise((r) => setTimeout(r, this.warmup.retryMs));
+                continue;
+            }
+            this.log("lsp_op", {
+                op,
+                file: params.filePath,
+                ...(params.line !== undefined ? { line: params.line } : {}),
+                ...(params.character !== undefined ? { character: params.character } : {}),
+                result: result.kind,
+                n: result.kind === "locations" ? result.locations.length : result.kind === "symbols" ? result.symbols.length : undefined,
+                rawNull: raw == null,
+                ...(attempt > 0 ? { warmupRetries: attempt } : {}),
+            });
+            return result;
+        }
+    }
+    /** Re-sync every opened file (+ the queried one) with its CURRENT on-disk text, in parallel. */
+    async syncOpenedFiles(queried, signal) {
+        const files = new Set(this.opened.keys());
+        files.add(queried);
+        await Promise.all([...files].map((fp) => this.syncOne(fp, signal)));
+    }
+    /** didOpen a new file / didChange (full-text replace) an opened one whose disk content moved. Never throws:
+     *  an unreadable NEW file just skips didOpen (the server may read from disk); an unreadable OPENED one keeps
+     *  the last-sent text (best-effort — e.g. the agent deleted it). Concurrent callers share one in-flight sync. */
+    syncOne(filePath, signal) {
+        const inflight = this.syncing.get(filePath);
+        if (inflight)
+            return inflight;
+        const job = (async () => {
+            let text;
+            try {
+                text = await this.readText(filePath, signal);
+            }
+            catch {
+                return;
+            }
+            const cur = this.opened.get(filePath);
+            if (!cur) {
+                this.opened.set(filePath, { version: 1, text });
+                this.transport.notify("textDocument/didOpen", {
+                    textDocument: { uri: pathToUri(filePath), languageId: this.languageId, version: 1, text },
+                });
+            }
+            else if (cur.text !== text) {
+                const version = cur.version + 1;
+                this.opened.set(filePath, { version, text });
+                // Full-document replace (a contentChanges entry without a range) — valid for any negotiated sync kind.
+                this.transport.notify("textDocument/didChange", {
+                    textDocument: { uri: pathToUri(filePath), version },
+                    contentChanges: [{ text }],
+                });
+                this.log("lsp_file_resync", { file: filePath, version });
+            }
+        })();
+        this.syncing.set(filePath, job);
+        return job.finally(() => this.syncing.delete(filePath));
+    }
+    /** Underlying connection gone (e.g. the server crashed / the WS was idle-killed) → the manager evicts + reopens. */
+    get closed() {
+        return this.transport.closed === true;
+    }
+    /** Files didOpen'd on this server — the manager carries them to a HEALED session: a fresh server with no
+     *  project config only "sees" its open files (e.g. tsserver inferred project), so without the carry-over,
+     *  cross-file ops (references/calls) silently degrade to single-file after a heal. */
+    openedFiles() {
+        return [...this.opened.keys()];
+    }
+    /** Re-open carried files on a fresh session (heal). Best-effort per file (a deleted file just skips). */
+    async warmOpen(filePaths, signal) {
+        await Promise.all(filePaths.map((fp) => this.syncOne(fp, signal)));
+    }
+    /**
+     * design/121: push the file's CURRENT text to the server WITHOUT an op (didOpen/didChange as
+     * appropriate). The agent's edit/write tools call this fire-and-forget so the server re-analyzes
+     * and pushes publishDiagnostics — the session's normal lazy sync only runs on the next LSP op,
+     * which may never come. Never throws (same best-effort contract as syncOne).
+     */
+    notifyFileChanged(filePath, signal) {
+        return this.syncOne(filePath, signal);
+    }
+    close() {
+        return this.transport.close();
+    }
+}
+//# sourceMappingURL=lsp-session.js.map

package/dist/core/lsp-session.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lsp-session.js","sourceRoot":"","sources":["../../src/core/lsp-session.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,mBAAmB,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAazG,MAAM,OAAO,mBAAmB;IASX;IACA;IACA;IAEA;IACA;IAbnB,8FAA8F;IAC7E,MAAM,GAAG,IAAI,GAAG,EAA6C,CAAC;IAC/E,6FAA6F;IAC5E,OAAO,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC3C,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAChC,iBAAiB,GAAG,KAAK,CAAC;IAElC,YACmB,SAAuB,EACvB,UAAkB,EAClB,QAAqB;IACtC,yGAAyG;IACxF,MAAgE,GAAG,EAAE,GAAE,CAAC,EACxE,SAAwB,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE;IAC7E;;;oGAGgG;IAChG,WAAoC;QAVnB,cAAS,GAAT,SAAS,CAAc;QACvB,eAAU,GAAV,UAAU,CAAQ;QAClB,aAAQ,GAAR,QAAQ,CAAa;QAErB,QAAG,GAAH,GAAG,CAAqE;QACxE,WAAM,GAAN,MAAM,CAAsD;QAO7E,IAAI,WAAW,IAAI,SAAS,CAAC,cAAc,EAAE,CAAC;YAC5C,SAAS,CAAC,cAAc,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE;gBAC1C,IAAI,MAAM,KAAK,iCAAiC;oBAAE,OAAO;gBACzD,MAAM,CAAC,GAAG,MAAiF,CAAC;gBAC5F,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC;oBAAE,OAAO;gBAC7E,8FAA8F;gBAC9F,4FAA4F;gBAC5F,8DAA8D;gBAC9D,IAAI,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;oBAClC,MAAM,QAAQ,GAAG,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,qEAAqE;oBACxG,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;oBACxC,IAAI,KAAK,IAAI,CAAC,CAAC,OAAO,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC;wBACvC,IAAI,CAAC,GAAG,CAAC,+BAA+B,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;wBACtG,OAAO;oBACT,CAAC;gBACH,CAAC;gBACD,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,WAA8B,CAAC,CAAC;YAC/D,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,KAAK,CAAC,OAAO,CAAC,EAAgB,EAAE,MAAwB,EAAE,MAAoB;QAC5E,MAAM,KAAK,GAAG,YAAY,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACvC,IAAI,CAAC,KAAK;YAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QACpC,MAAM,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QACpD,oGAAoG;QACpG,qGAAqG;QACrG,sGAAsG;QACtG,oGAAoG;QACpG,wFAAwF;QACxF,IAAI,CAAC,IAAI,CAAC,iBAAiB,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,GAAG,CAAC,EAAE,CAAC;YACxD,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAC;YAC9B,IAAI,EAAE,KAAK,gBAAgB,EAAE,CAAC;gBAC5B,MAAM,IAAI,CAAC,SAAS;qBACjB,OAAO,CAAC,yBAAyB,EAAE,EAAE,YAAY,EAAE,EAAE,GAAG,EAAE,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC;qBACtI,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,uDAAuD;YACpF,CAAC;QACH,CAAC;QACD,KAAK,IAAI,OAAO,GAAG,CAAC,GAAI,OAAO,EAAE,EAAE,CAAC;YAClC,IAAI,GAAY,CAAC;YACjB,IAAI,CAAC;gBACH,GAAG,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;gBACvE,IAAI,EAAE,KAAK,eAAe,IAAI,EAAE,KAAK,eAAe,EAAE,CAAC;oBACrD,sGAAsG;oBACtG,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBAClE,GAAG,GAAG,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,mBAAmB,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;gBACtH,CAAC;YACH,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,sGAAsG;gBACtG,0DAA0D;gBAC1D,IAAI,CAAC,GAAG,CAAC,iBAAiB,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBAC5G,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YAC1B,CAAC;YACD,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;YACpC,sGAAsG;YACtG,8FAA8F;YAC9F,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,GAAG,CAAC,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC;gBACjI,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;gBAC7D,SAAS;YACX,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE;gBACjB,EAAE;gBACF,IAAI,EAAE,MAAM,CAAC,QAAQ;gBACrB,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC3D,GAAG,CAAC,MAAM,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1E,MAAM,EAAE,MAAM,CAAC,IAAI;gBACnB,CAAC,EAAE,MAAM,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS;gBACxH,OAAO,EAAE,GAAG,IAAI,IAAI;gBACpB,GAAG,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACnD,CAAC,CAAC;YACH,OAAO,MAAM,CAAC;QAChB,CAAC;IACH,CAAC;IAED,gGAAgG;IACxF,KAAK,CAAC,eAAe,CAAC,OAAe,EAAE,MAAoB;QACjE,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;QAC1C,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACnB,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACtE,CAAC;IAED;;qHAEiH;IACzG,OAAO,CAAC,QAAgB,EAAE,MAAoB;QACpD,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC5C,IAAI,QAAQ;YAAE,OAAO,QAAQ,CAAC;QAC9B,MAAM,GAAG,GAAG,CAAC,KAAK,IAAI,EAAE;YACtB,IAAI,IAAY,CAAC;YACjB,IAAI,CAAC;gBACH,IAAI,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YAC/C,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO;YACT,CAAC;YACD,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACtC,IAAI,CAAC,GAAG,EAAE,CAAC;gBACT,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;gBAChD,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,sBAAsB,EAAE;oBAC5C,YAAY,EAAE,EAAE,GAAG,EAAE,SAAS,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE;iBAC1F,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;gBAC7B,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,GAAG,CAAC,CAAC;gBAChC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC7C,uGAAuG;gBACvG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,wBAAwB,EAAE;oBAC9C,YAAY,EAAE,EAAE,GAAG,EAAE,SAAS,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE;oBACnD,cAAc,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC;iBAC3B,CAAC,CAAC;gBACH,IAAI,CAAC,GAAG,CAAC,iBAAiB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;YAC3D,CAAC;QACH,CAAC,CAAC,EAAE,CAAC;QACL,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QAChC,OAAO,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC1D,CAAC;IAED,oHAAoH;IACpH,IAAI,MAAM;QACR,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,IAAI,CAAC;IACxC,CAAC;IAED;;0FAEsF;IACtF,WAAW;QACT,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IACjC,CAAC;IAED,yGAAyG;IACzG,KAAK,CAAC,QAAQ,CAAC,SAAmB,EAAE,MAAoB;QACtD,MAAM,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACrE,CAAC;IAED;;;;;OAKG;IACH,iBAAiB,CAAC,QAAgB,EAAE,MAAoB;QACtD,OAAO,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACxC,CAAC;IAED,KAAK;QACH,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;IAChC,CAAC;CACF"}

package/dist/core/lsp.d.ts

@@ -0,0 +1,132 @@
+import type { AgentTool, ExecutionEnv } from "../internal/harness.js";
+/**
+ * LSP code-intelligence tool (design/64 §13.1) — the app-dev命门 (go-to-def / find-refs / hover across
+ * Dart/Kotlin/TS). A single `lsp` tool with a 9-operation enum, built over a pluggable {@link LspServerManager}.
+ *
+ * **Seam note (core verifying the design against real code):** the design assumed core spawns a language
+ * server inside the ExecutionEnv via `execStream`, but `execStream` is OUTPUT-only — it has no stdin, so the
+ * base seam can't drive a persistent stdio language server generically. So core ships the **tool + manager
+ * seam + graceful degrade + git-ignore filter + formatters**; the *real* in-env manager (E2B LSP sidecar, or
+ * a future bidirectional-process seam) is deployment-provided via {@link RunnerDeps.lspManager}. When no
+ * server is available for a file's language the tool **degrades gracefully** ("fall back to Grep/Read")
+ * rather than erroring — the design's hard constraint for remote portability.
+ */
+export type LspOperation = "goToDefinition" | "findReferences" | "hover" | "documentSymbol" | "workspaceSymbol" | "goToImplementation" | "prepareCallHierarchy" | "incomingCalls" | "outgoingCalls";
+export declare const LSP_OPERATIONS: readonly LspOperation[];
+/**
+ * A source location (a definition/reference/implementation hit). `uri` is a file path or file:// URI.
+ *
+ * Base convention (the seam's factual contract, service[64] flag①): `line` is **1-based**, `character`
+ * is **0-based** — the tool-schema convention the model is taught. Core passes positions through
+ * VERBATIM in both directions; the `LspServerManager` implementation owns the conversion to/from the
+ * LSP wire protocol (which is 0-based for BOTH) — e.g. request line−1 on the way in, result line+1 on
+ * the way out, call-hierarchy items relayed as wire values it already converted.
+ */
+export interface LspLocation {
+    uri: string;
+    /** 1-based (tool convention — manager converts to the 0-based LSP wire). */
+    line: number;
+    /** 0-based (matches the LSP wire). */
+    character: number;
+    /** Optional one-line preview of the matched line. */
+    preview?: string;
+}
+/** A symbol (document/workspace symbol, call-hierarchy item). Same base convention as {@link LspLocation}. */
+export interface LspSymbolInfo {
+    name: string;
+    kind?: string;
+    uri: string;
+    /** 1-based (tool convention — manager converts to the 0-based LSP wire). */
+    line: number;
+    /** 0-based (matches the LSP wire). */
+    character: number;
+}
+export type LspResult = {
+    kind: "locations";
+    locations: LspLocation[];
+} | {
+    kind: "symbols";
+    symbols: LspSymbolInfo[];
+} | {
+    kind: "hover";
+    contents: string;
+} | {
+    kind: "none";
+};
+/** Request positions use the same base convention as {@link LspLocation}: line 1-based, character 0-based. */
+export interface LspRequestParams {
+    filePath: string;
+    /** 1-based (tool convention) — the manager converts to the 0-based LSP wire (line−1). */
+    line?: number;
+    /** 0-based (matches the LSP wire). */
+    character?: number;
+    /** For workspaceSymbol: the symbol query string. */
+    symbol?: string;
+}
+/** An active language-server session for one language, scoped to a workspace. */
+export interface LspSession {
+    request(op: LspOperation, params: LspRequestParams, signal?: AbortSignal): Promise<LspResult>;
+}
+/**
+ * A JSON-RPC transport to ONE language server, POST-`initialize`. The DEPLOYMENT provides the concrete
+ * transport; the protocol logic ({@link buildRequest}/`parseResult`, `TransportLspSession`) drives the LSP
+ * over this single seam, so the two lanes can't drift:
+ *  - **TOC** = {@link StdioLspTransport} (spawn the server LOCALLY; Content-Length JSON-RPC over its stdio — a
+ *    faithful copy of CC's `services/lsp/LSPClient`);
+ *  - **TOB** = a WS bridge (the server runs INSIDE a remote sandbox, reached over a WebSocket — service's
+ *    `ws-transport`, because `execStream` is output-only so the base seam can't drive a stdio server remotely).
+ */
+export interface LspTransport {
+    /** A JSON-RPC request; resolves the `result` (or rejects on a JSON-RPC error / timeout / abort). */
+    request(method: string, params: unknown, signal?: AbortSignal): Promise<unknown>;
+    /** A JSON-RPC notification (no response) — e.g. `textDocument/didOpen`. */
+    notify(method: string, params: unknown): void;
+    /**
+     * design/121: subscribe to server→client NOTIFICATIONS (a message with a `method` and no `id` —
+     * `textDocument/publishDiagnostics`, `window/logMessage`, …). Returns an unsubscribe. Optional and
+     * ADDITIVE: a transport without it — or with no subscriber — behaves exactly as before (notifications
+     * dropped). The transport must swallow a throwing handler (a bad consumer must never kill the read loop).
+     */
+    onNotification?(handler: (method: string, params: unknown) => void): () => void;
+    close(): Promise<void>;
+    /** True once the underlying connection is gone (closed/errored) — the manager evicts + reopens. Optional so
+     *  a test mock stays minimal. */
+    readonly closed?: boolean;
+}
+/** Reads a workspace file's CURRENT text for the session's didOpen/didChange re-sync. TOC = local fs; TOB =
+ *  the sandbox ExecutionEnv. */
+export type LspReadText = (filePath: string, signal?: AbortSignal) => Promise<string>;
+/**
+ * Resolves a language server session for a file. Returns `undefined` when no server is available for the
+ * file's language — the tool then degrades gracefully (design/64 §13.1 remote-portability constraint).
+ */
+export interface LspServerManager {
+    /**
+     * Resolve a session for `filePath`'s language, or `undefined` to degrade. `env` is the task's
+     * ExecutionEnv (the SAME sandbox the agent runs in) — core passes it because a real in-env language
+     * server must run inside that sandbox, and core already holds the per-task env at mount time. Supplying
+     * it here means a manager can be **stateless** (it doesn't need a sessionId→env registry). It is
+     * optional/last for back-compat: a manager that resolves the env another way (e.g. a sessionId registry
+     * keyed off `executionEnvFactory`) may ignore it.
+     */
+    sessionFor(filePath: string, signal?: AbortSignal, env?: ExecutionEnv): Promise<LspSession | undefined>;
+    /** design/121: the manager's workspace diagnostics registry, when the deployment's manager supports
+     *  pushed diagnostics (NodeLspManager always does). The Runner drains it at turn boundaries to inject
+     *  `<new-diagnostics>` + emit the structured `diagnostics` frame. Absent ⇒ no diagnostics lane. */
+    readonly diagnostics?: import("./lsp-diagnostics.js").LspDiagnosticsRegistry;
+}
+export interface LspToolOptions {
+    /** Drop results in files ignored by git (CC parity, design/64 §16/§17). Default: keep all. */
+    isPathIgnored?: (uri: string) => boolean | Promise<boolean>;
+    /** The task's ExecutionEnv, passed through to {@link LspServerManager.sessionFor} (the agent's sandbox —
+     *  where an in-env language server must run). The Runner wires this from the per-task env. */
+    env?: ExecutionEnv;
+}
+/** Build the `lsp` tool over a {@link LspServerManager}. Mounted only when a manager is wired (opt-in). */
+export declare function createLspTool(manager: LspServerManager, opts?: LspToolOptions): AgentTool;
+/**
+ * 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 declare function gitCheckIgnoreFilter(env: ExecutionEnv, root: string): (uri: string) => Promise<boolean>;
+//# sourceMappingURL=lsp.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"lsp.d.ts","sourceRoot":"","sources":["../../src/core/lsp.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAEtE;;;;;;;;;;;GAWG;AAEH,MAAM,MAAM,YAAY,GACpB,gBAAgB,GAChB,gBAAgB,GAChB,OAAO,GACP,gBAAgB,GAChB,iBAAiB,GACjB,oBAAoB,GACpB,sBAAsB,GACtB,eAAe,GACf,eAAe,CAAC;AAEpB,eAAO,MAAM,cAAc,EAAE,SAAS,YAAY,EAGjD,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,WAAW,WAAW;IAC1B,GAAG,EAAE,MAAM,CAAC;IACZ,4EAA4E;IAC5E,IAAI,EAAE,MAAM,CAAC;IACb,sCAAsC;IACtC,SAAS,EAAE,MAAM,CAAC;IAClB,qDAAqD;IACrD,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,8GAA8G;AAC9G,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;IACZ,4EAA4E;IAC5E,IAAI,EAAE,MAAM,CAAC;IACb,sCAAsC;IACtC,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,MAAM,SAAS,GACjB;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,SAAS,EAAE,WAAW,EAAE,CAAA;CAAE,GAC/C;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,OAAO,EAAE,aAAa,EAAE,CAAA;CAAE,GAC7C;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GACnC;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAErB,8GAA8G;AAC9G,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,EAAE,MAAM,CAAC;IACjB,yFAAyF;IACzF,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,sCAAsC;IACtC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,oDAAoD;IACpD,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,iFAAiF;AACjF,MAAM,WAAW,UAAU;IACzB,OAAO,CAAC,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;CAC/F;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,YAAY;IAC3B,oGAAoG;IACpG,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IACjF,2EAA2E;IAC3E,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,GAAG,IAAI,CAAC;IAC9C;;;;;OAKG;IACH,cAAc,CAAC,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,KAAK,IAAI,GAAG,MAAM,IAAI,CAAC;IAChF,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IACvB;qCACiC;IACjC,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;CAC3B;AAED;gCACgC;AAChC,MAAM,MAAM,WAAW,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,WAAW,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;AAEtF;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAC/B;;;;;;;OAOG;IACH,UAAU,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,WAAW,EAAE,GAAG,CAAC,EAAE,YAAY,GAAG,OAAO,CAAC,UAAU,GAAG,SAAS,CAAC,CAAC;IACxG;;uGAEmG;IACnG,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,sBAAsB,EAAE,sBAAsB,CAAC;CAC9E;AAED,MAAM,WAAW,cAAc;IAC7B,8FAA8F;IAC9F,aAAa,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC5D;kGAC8F;IAC9F,GAAG,CAAC,EAAE,YAAY,CAAC;CACpB;AAwCD,2GAA2G;AAC3G,wBAAgB,aAAa,CAAC,OAAO,EAAE,gBAAgB,EAAE,IAAI,GAAE,cAAmB,GAAG,SAAS,CAsE7F;AAaD;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,GAAG,CAAC,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC,CAkBvG"}