@chances-ai/engine 24.0.0

package/dist/lsp/manager.d.ts

@@ -0,0 +1,59 @@
+import { LspServerInstance, type InstanceOptions } from "./instance.js";
+import type { Logger, LspPermissionResolver, ResolvedServer } from "./types.js";
+export interface LspHostOptions {
+    servers: readonly ResolvedServer[];
+    cwd: string;
+    logger: Logger;
+    maxInstances?: number;
+    permissionResolver?: LspPermissionResolver;
+    /** Test seam — replace the instance factory. */
+    instanceFactory?: (opts: InstanceOptions) => LspServerInstance;
+    /** Test seam — replace the now() clock. */
+    now?: () => number;
+    /** Test seam — disable the background sweep timer. */
+    disableIdleSweep?: boolean;
+}
+export declare class LspHost {
+    private readonly opts;
+    private readonly cache;
+    /** Approved `(name, command, cwd)` triples — positive decisions cached. */
+    private readonly approved;
+    /** In-flight `getOrCreate` calls keyed by cache key. Two parallel
+     *  callers for the same key wait on the same promise so we never spawn
+     *  duplicate processes (codex Round-2 MUST-FIX #3). */
+    private readonly inflight;
+    private sweepTimer?;
+    private disposed;
+    /** Late-bound resolver hook so `buildEngine` can wire the gate after
+     *  host construction (codex Round-2 MUST-FIX #1). When set after some
+     *  approvals have already been recorded, those stay; the new
+     *  resolver only fires for unapproved tuples. */
+    private resolver?;
+    constructor(opts: LspHostOptions);
+    get servers(): readonly ResolvedServer[];
+    /** Picks the server that handles `filePath` based on its extension.
+     *  Returns undefined when no enabled server claims the extension. */
+    pickServerForPath(filePath: string): ResolvedServer | undefined;
+    /** Late-bind a permission resolver. `buildEngine` calls this so the
+     *  resolver can route through `PermissionGate.check` with a custom
+     *  per-server summary. (codex Round-2 MUST-FIX #1.) */
+    setPermissionResolver(resolver: LspPermissionResolver | undefined): void;
+    /** Returns a started instance for `(server, cwd)`. Spawns when not
+     *  cached; refuses with `LSP_MAX_INSTANCES` when the cap is reached
+     *  AND every cached instance is active. Two parallel callers for
+     *  the same key share an inflight promise (codex Round-2 MUST-FIX
+     *  #3). */
+    getOrCreate(server: ResolvedServer, cwd: string, signal: AbortSignal): Promise<LspServerInstance>;
+    private createInstance;
+    /** Idempotent — removes the instance from the cache and disposes
+     *  it. Skips when activeRequests > 0 (caller serialises). */
+    private evict;
+    /** Resets a server entry — disposes its instance(s) AND invalidates
+     *  cached permission approvals so the next call re-prompts. */
+    restart(name: string): Promise<void>;
+    private idleSweep;
+    /** Disposes every instance + clears timers. Subsequent calls are
+     *  no-ops. */
+    dispose(): Promise<void>;
+}
+//# sourceMappingURL=manager.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"manager.d.ts","sourceRoot":"","sources":["../../src/lsp/manager.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAE,iBAAiB,EAAE,KAAK,eAAe,EAAE,MAAM,eAAe,CAAC;AAGxE,OAAO,KAAK,EAAE,MAAM,EAAE,qBAAqB,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAMhF,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;IACnC,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,kBAAkB,CAAC,EAAE,qBAAqB,CAAC;IAC3C,gDAAgD;IAChD,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE,eAAe,KAAK,iBAAiB,CAAC;IAC/D,2CAA2C;IAC3C,GAAG,CAAC,EAAE,MAAM,MAAM,CAAC;IACnB,sDAAsD;IACtD,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC5B;AAED,qBAAa,OAAO;IAClB,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAiB;IACtC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAwC;IAC9D,2EAA2E;IAC3E,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAqB;IAC9C;;2DAEuD;IACvD,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAiD;IAC1E,OAAO,CAAC,UAAU,CAAC,CAAiC;IACpD,OAAO,CAAC,QAAQ,CAAS;IACzB;;;qDAGiD;IACjD,OAAO,CAAC,QAAQ,CAAC,CAAwB;gBAE7B,IAAI,EAAE,cAAc;IAahC,IAAI,OAAO,IAAI,SAAS,cAAc,EAAE,CAEvC;IAED;yEACqE;IACrE,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS;IAO/D;;2DAEuD;IACvD,qBAAqB,CAAC,QAAQ,EAAE,qBAAqB,GAAG,SAAS,GAAG,IAAI;IAIxE;;;;eAIW;IACL,WAAW,CAAC,MAAM,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,GAAG,OAAO,CAAC,iBAAiB,CAAC;YA0BzF,cAAc;IA2E5B;iEAC6D;YAC/C,KAAK;IAcnB;mEAC+D;IACzD,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;YAY5B,SAAS;IAsBvB;kBACc;IACR,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC;CAU/B"}

package/dist/lsp/manager.js

@@ -0,0 +1,242 @@
+/**
+ * (4.2) LspHost — per-host manager owning every LspServerInstance.
+ *
+ *  Cache key: `${command}\0${cwd}`. Two cwds with the same command
+ *  get two instances (so 4.1 worktree isolation works).
+ *
+ *  Folded codex Round-1 findings:
+ *    - MUST-FIX #5: idle sweep skips instances with activeRequests > 0.
+ *    - MUST-FIX #6: `maxInstances` cap; LRU eviction of IDLE only;
+ *      LSP_MAX_INSTANCES refusal when all active; sticky-failed /
+ *      missing slots don't count.
+ *    - MUST-FIX #4: `permissionResolver` consulted once per
+ *      `(name, command, cwd)`; positive decisions cached for the
+ *      session; `restart(name)` invalidates the cached decisions
+ *      for that name.
+ */
+import { LspError } from "./errors.js";
+import { LspServerInstance } from "./instance.js";
+import { detectBinary } from "./detect.js";
+import { pickServerForExtension } from "./config.js";
+const IDLE_TTL_MS = 10 * 60 * 1000;
+const SWEEP_INTERVAL_MS = 60 * 1000;
+const DEFAULT_MAX_INSTANCES = 8;
+export class LspHost {
+    opts;
+    cache = new Map();
+    /** Approved `(name, command, cwd)` triples — positive decisions cached. */
+    approved = new Set();
+    /** In-flight `getOrCreate` calls keyed by cache key. Two parallel
+     *  callers for the same key wait on the same promise so we never spawn
+     *  duplicate processes (codex Round-2 MUST-FIX #3). */
+    inflight = new Map();
+    sweepTimer;
+    disposed = false;
+    /** Late-bound resolver hook so `buildEngine` can wire the gate after
+     *  host construction (codex Round-2 MUST-FIX #1). When set after some
+     *  approvals have already been recorded, those stay; the new
+     *  resolver only fires for unapproved tuples. */
+    resolver;
+    constructor(opts) {
+        this.opts = opts;
+        this.resolver = opts.permissionResolver;
+        if (!opts.disableIdleSweep) {
+            this.sweepTimer = setInterval(() => {
+                // void: any throw inside the sweep would crash the host.
+                this.idleSweep().catch((e) => this.opts.logger.warn(`lsp idle sweep: ${e.message}`));
+            }, SWEEP_INTERVAL_MS);
+            // Don't keep the process alive just for the sweep.
+            this.sweepTimer?.unref?.();
+        }
+    }
+    get servers() {
+        return this.opts.servers;
+    }
+    /** Picks the server that handles `filePath` based on its extension.
+     *  Returns undefined when no enabled server claims the extension. */
+    pickServerForPath(filePath) {
+        const idx = filePath.lastIndexOf(".");
+        if (idx < 0)
+            return undefined;
+        const ext = filePath.slice(idx);
+        return pickServerForExtension(this.opts.servers, ext);
+    }
+    /** Late-bind a permission resolver. `buildEngine` calls this so the
+     *  resolver can route through `PermissionGate.check` with a custom
+     *  per-server summary. (codex Round-2 MUST-FIX #1.) */
+    setPermissionResolver(resolver) {
+        this.resolver = resolver;
+    }
+    /** Returns a started instance for `(server, cwd)`. Spawns when not
+     *  cached; refuses with `LSP_MAX_INSTANCES` when the cap is reached
+     *  AND every cached instance is active. Two parallel callers for
+     *  the same key share an inflight promise (codex Round-2 MUST-FIX
+     *  #3). */
+    async getOrCreate(server, cwd, signal) {
+        if (this.disposed)
+            throw new LspError("DISABLED", "LSP host disposed");
+        const command = server.config.command;
+        const key = cacheKey(server.name, command, cwd);
+        const existing = this.cache.get(key);
+        if (existing) {
+            await existing.ensureStarted(signal);
+            return existing;
+        }
+        const pending = this.inflight.get(key);
+        if (pending) {
+            // Concurrent first-use — both callers join the same spawn.
+            return pending;
+        }
+        const created = this.createInstance(server, cwd, key, signal);
+        this.inflight.set(key, created);
+        try {
+            return await created;
+        }
+        finally {
+            // Only clear the inflight slot if this attempt is still the one
+            // registered — a later restart() may have replaced it.
+            if (this.inflight.get(key) === created)
+                this.inflight.delete(key);
+        }
+    }
+    async createInstance(server, cwd, key, signal) {
+        const command = server.config.command;
+        // Permission gate — first use of this (name, command, cwd).
+        const approvalKey = `${server.name}\u0000${command}\u0000${cwd}`;
+        if (this.resolver && !this.approved.has(approvalKey)) {
+            const ok = await this.resolver({
+                serverName: server.name,
+                command,
+                args: server.config.args ?? [],
+                cwd,
+            });
+            if (!ok)
+                throw new LspError("DISABLED", `Permission denied for LSP server ${server.name}`);
+            this.approved.add(approvalKey);
+        }
+        // Instance-cap check. Live instances are running OR starting OR
+        // error-with-retries-left. failed and disposed instances don't
+        // count toward the cap.
+        const maxInstances = clamp(this.opts.maxInstances ?? DEFAULT_MAX_INSTANCES, 1, 32);
+        const live = Array.from(this.cache.values()).filter((i) => i.state !== "failed" && i.state !== "stopped");
+        if (live.length >= maxInstances) {
+            // Try to LRU-evict an idle instance first.
+            const idle = live.filter((i) => i.isIdle()).sort((a, b) => a.lastActivityAt - b.lastActivityAt);
+            const victim = idle[0];
+            if (!victim) {
+                throw new LspError("MAX_INSTANCES", `${maxInstances} LSP servers active; retry when one finishes`);
+            }
+            // Evict the LRU idle one to make room.
+            await this.evict(victim);
+        }
+        // Resolve binary path before spawning so we surface a clean
+        // BINARY_MISSING rather than a hard-to-debug spawn ENOENT.
+        // (codex Round-2 SHOULD-FIX #5) Use the SAME environment the
+        // spawn will see — config.env.PATH override would otherwise be
+        // invisible to the detection step.
+        const spawnEnv = { ...process.env, ...(server.config.env ?? {}) };
+        const resolved = server.resolvedCommand ?? detectBinary(command, cwd, spawnEnv);
+        if (!resolved) {
+            throw new LspError("BINARY_MISSING", `${command} not on PATH (cwd=${cwd}); install it or set lsp.servers.${server.name}.enabled = false`);
+        }
+        const factory = this.opts.instanceFactory ?? ((opts) => new LspServerInstance(opts));
+        const instance = factory({
+            name: server.name,
+            command: resolved,
+            args: server.config.args ?? [],
+            cwd,
+            config: server.config,
+            logger: this.opts.logger,
+        });
+        this.cache.set(key, instance);
+        try {
+            await instance.ensureStarted(signal);
+        }
+        catch (e) {
+            // Spawn / initialize failed. The instance is now in
+            // 'error' or 'failed' — leave it in the cache so subsequent
+            // calls hit the same sticky state instead of re-spawning
+            // forever. The cap check above skips 'failed'.
+            throw e;
+        }
+        return instance;
+    }
+    /** Idempotent — removes the instance from the cache and disposes
+     *  it. Skips when activeRequests > 0 (caller serialises). */
+    async evict(instance) {
+        // Find the cache key by identity match — the recorded
+        // `opts.command` may be the resolved binary path, while the
+        // cache key uses (name, configured-command, cwd). Identity
+        // match is the safest invariant.
+        for (const [k, v] of this.cache.entries()) {
+            if (v === instance) {
+                this.cache.delete(k);
+                break;
+            }
+        }
+        await instance.dispose();
+    }
+    /** Resets a server entry — disposes its instance(s) AND invalidates
+     *  cached permission approvals so the next call re-prompts. */
+    async restart(name) {
+        const victims = [];
+        for (const instance of this.cache.values()) {
+            if (instance.opts.name === name)
+                victims.push(instance);
+        }
+        for (const v of victims)
+            await this.evict(v);
+        // Drop approvals for this name (any cwd, any args variant).
+        for (const k of Array.from(this.approved)) {
+            if (k.startsWith(`${name}\u0000`))
+                this.approved.delete(k);
+        }
+    }
+    async idleSweep() {
+        if (this.disposed)
+            return;
+        const now = this.opts.now ? this.opts.now() : Date.now();
+        const victims = [];
+        for (const instance of this.cache.values()) {
+            // codex Round-1 MUST-FIX #5: ignore instances with in-flight
+            // requests, regardless of how long ago lastActivityAt was.
+            if (instance.activeRequests > 0)
+                continue;
+            if (instance.state !== "running")
+                continue;
+            if (now - instance.lastActivityAt < IDLE_TTL_MS)
+                continue;
+            victims.push(instance);
+        }
+        for (const v of victims) {
+            try {
+                await this.evict(v);
+                this.opts.logger.debug(`[lsp] idle-evicted ${v.opts.name}@${v.opts.cwd}`);
+            }
+            catch (e) {
+                this.opts.logger.warn(`[lsp] idle evict failed: ${e.message}`);
+            }
+        }
+    }
+    /** Disposes every instance + clears timers. Subsequent calls are
+     *  no-ops. */
+    async dispose() {
+        if (this.disposed)
+            return;
+        this.disposed = true;
+        if (this.sweepTimer)
+            clearInterval(this.sweepTimer);
+        const all = Array.from(this.cache.values());
+        this.cache.clear();
+        // Dispose in parallel — each has its own deadline so we're not
+        // worse than the slowest.
+        await Promise.allSettled(all.map((i) => i.dispose()));
+    }
+}
+function clamp(n, lo, hi) {
+    return Math.max(lo, Math.min(hi, n));
+}
+function cacheKey(name, command, cwd) {
+    return `${name}\u0000${command}\u0000${cwd}`;
+}
+//# sourceMappingURL=manager.js.map

package/dist/lsp/manager.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"manager.js","sourceRoot":"","sources":["../../src/lsp/manager.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,OAAO,EAAE,iBAAiB,EAAwB,MAAM,eAAe,CAAC;AACxE,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAC;AAGrD,MAAM,WAAW,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;AACnC,MAAM,iBAAiB,GAAG,EAAE,GAAG,IAAI,CAAC;AACpC,MAAM,qBAAqB,GAAG,CAAC,CAAC;AAgBhC,MAAM,OAAO,OAAO;IACD,IAAI,CAAiB;IACrB,KAAK,GAAG,IAAI,GAAG,EAA6B,CAAC;IAC9D,2EAA2E;IAC1D,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9C;;2DAEuD;IACtC,QAAQ,GAAG,IAAI,GAAG,EAAsC,CAAC;IAClE,UAAU,CAAkC;IAC5C,QAAQ,GAAG,KAAK,CAAC;IACzB;;;qDAGiD;IACzC,QAAQ,CAAyB;IAEzC,YAAY,IAAoB;QAC9B,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,kBAAkB,CAAC;QACxC,IAAI,CAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC;YAC3B,IAAI,CAAC,UAAU,GAAG,WAAW,CAAC,GAAG,EAAE;gBACjC,yDAAyD;gBACzD,IAAI,CAAC,SAAS,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,mBAAoB,CAAW,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;YAClG,CAAC,EAAE,iBAAiB,CAAC,CAAC;YACtB,mDAAmD;YACnD,IAAI,CAAC,UAAU,EAAE,KAAK,EAAE,EAAE,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,IAAI,OAAO;QACT,OAAO,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC;IAC3B,CAAC;IAED;yEACqE;IACrE,iBAAiB,CAAC,QAAgB;QAChC,MAAM,GAAG,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QACtC,IAAI,GAAG,GAAG,CAAC;YAAE,OAAO,SAAS,CAAC;QAC9B,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAChC,OAAO,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IACxD,CAAC;IAED;;2DAEuD;IACvD,qBAAqB,CAAC,QAA2C;QAC/D,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;IAC3B,CAAC;IAED;;;;eAIW;IACX,KAAK,CAAC,WAAW,CAAC,MAAsB,EAAE,GAAW,EAAE,MAAmB;QACxE,IAAI,IAAI,CAAC,QAAQ;YAAE,MAAM,IAAI,QAAQ,CAAC,UAAU,EAAE,mBAAmB,CAAC,CAAC;QACvE,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;QACtC,MAAM,GAAG,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;QAEhD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACrC,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;YACrC,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACvC,IAAI,OAAO,EAAE,CAAC;YACZ,2DAA2D;YAC3D,OAAO,OAAO,CAAC;QACjB,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;QAC9D,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QAChC,IAAI,CAAC;YACH,OAAO,MAAM,OAAO,CAAC;QACvB,CAAC;gBAAS,CAAC;YACT,gEAAgE;YAChE,uDAAuD;YACvD,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,OAAO;gBAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACpE,CAAC;IACH,CAAC;IAEO,KAAK,CAAC,cAAc,CAC1B,MAAsB,EACtB,GAAW,EACX,GAAW,EACX,MAAmB;QAEnB,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;QACtC,4DAA4D;QAC5D,MAAM,WAAW,GAAG,GAAG,MAAM,CAAC,IAAI,SAAS,OAAO,SAAS,GAAG,EAAE,CAAC;QACjE,IAAI,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;YACrD,MAAM,EAAE,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC;gBAC7B,UAAU,EAAE,MAAM,CAAC,IAAI;gBACvB,OAAO;gBACP,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE;gBAC9B,GAAG;aACJ,CAAC,CAAC;YACH,IAAI,CAAC,EAAE;gBAAE,MAAM,IAAI,QAAQ,CAAC,UAAU,EAAE,oCAAoC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;YAC3F,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QACjC,CAAC;QAED,gEAAgE;QAChE,+DAA+D;QAC/D,wBAAwB;QACxB,MAAM,YAAY,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,IAAI,qBAAqB,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACnF,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;QAC1G,IAAI,IAAI,CAAC,MAAM,IAAI,YAAY,EAAE,CAAC;YAChC,2CAA2C;YAC3C,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,GAAG,CAAC,CAAC,cAAc,CAAC,CAAC;YAChG,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACvB,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,MAAM,IAAI,QAAQ,CAChB,eAAe,EACf,GAAG,YAAY,8CAA8C,CAC9D,CAAC;YACJ,CAAC;YACD,uCAAuC;YACvC,MAAM,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC3B,CAAC;QAED,4DAA4D;QAC5D,2DAA2D;QAC3D,6DAA6D;QAC7D,+DAA+D;QAC/D,mCAAmC;QACnC,MAAM,QAAQ,GAAG,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,CAAC;QAClE,MAAM,QAAQ,GAAG,MAAM,CAAC,eAAe,IAAI,YAAY,CAAC,OAAO,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;QAChF,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,MAAM,IAAI,QAAQ,CAChB,gBAAgB,EAChB,GAAG,OAAO,qBAAqB,GAAG,oCAAoC,MAAM,CAAC,IAAI,kBAAkB,CACpG,CAAC;QACJ,CAAC;QAED,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,eAAe,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC;QACrF,MAAM,QAAQ,GAAG,OAAO,CAAC;YACvB,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,OAAO,EAAE,QAAQ;YACjB,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE;YAC9B,GAAG;YACH,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM;SACzB,CAAC,CAAC;QACH,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QAC9B,IAAI,CAAC;YACH,MAAM,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;QACvC,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,oDAAoD;YACpD,4DAA4D;YAC5D,yDAAyD;YACzD,+CAA+C;YAC/C,MAAM,CAAC,CAAC;QACV,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED;iEAC6D;IACrD,KAAK,CAAC,KAAK,CAAC,QAA2B;QAC7C,sDAAsD;QACtD,4DAA4D;QAC5D,2DAA2D;QAC3D,iCAAiC;QACjC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;YAC1C,IAAI,CAAC,KAAK,QAAQ,EAAE,CAAC;gBACnB,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;gBACrB,MAAM;YACR,CAAC;QACH,CAAC;QACD,MAAM,QAAQ,CAAC,OAAO,EAAE,CAAC;IAC3B,CAAC;IAED;mEAC+D;IAC/D,KAAK,CAAC,OAAO,CAAC,IAAY;QACxB,MAAM,OAAO,GAAwB,EAAE,CAAC;QACxC,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;YAC3C,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI;gBAAE,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC1D,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,OAAO;YAAE,MAAM,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC7C,4DAA4D;QAC5D,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC1C,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,IAAI,QAAQ,CAAC;gBAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC7D,CAAC;IACH,CAAC;IAEO,KAAK,CAAC,SAAS;QACrB,IAAI,IAAI,CAAC,QAAQ;YAAE,OAAO;QAC1B,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;QACzD,MAAM,OAAO,GAAwB,EAAE,CAAC;QACxC,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;YAC3C,6DAA6D;YAC7D,2DAA2D;YAC3D,IAAI,QAAQ,CAAC,cAAc,GAAG,CAAC;gBAAE,SAAS;YAC1C,IAAI,QAAQ,CAAC,KAAK,KAAK,SAAS;gBAAE,SAAS;YAC3C,IAAI,GAAG,GAAG,QAAQ,CAAC,cAAc,GAAG,WAAW;gBAAE,SAAS;YAC1D,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACzB,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,IAAI,CAAC;gBACH,MAAM,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBACpB,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;YAC5E,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,4BAA6B,CAAW,CAAC,OAAO,EAAE,CAAC,CAAC;YAC5E,CAAC;QACH,CAAC;IACH,CAAC;IAED;kBACc;IACd,KAAK,CAAC,OAAO;QACX,IAAI,IAAI,CAAC,QAAQ;YAAE,OAAO;QAC1B,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;QACrB,IAAI,IAAI,CAAC,UAAU;YAAE,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACpD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;QAC5C,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QACnB,+DAA+D;QAC/D,0BAA0B;QAC1B,MAAM,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IACxD,CAAC;CACF;AAED,SAAS,KAAK,CAAC,CAAS,EAAE,EAAU,EAAE,EAAU;IAC9C,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;AACvC,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY,EAAE,OAAe,EAAE,GAAW;IAC1D,OAAO,GAAG,IAAI,SAAS,OAAO,SAAS,GAAG,EAAE,CAAC;AAC/C,CAAC"}

package/dist/lsp/ops.d.ts

@@ -0,0 +1,13 @@
+import type { LspHost } from "./manager.js";
+import type { LspOp, LspOpRequest, LspOpResult } from "./types.js";
+/** Executes one op against the host. Routes:
+ *   - resolve server by extension
+ *   - get/create instance (per-(command, cwd) cache + cap + permission)
+ *   - ensure doc open (skipped for workspaceSymbol)
+ *   - issue request through the instance's request() (pending map + retry)
+ *   - format the result
+ */
+export declare function executeOp(host: LspHost, req: LspOpRequest, workspaceRoot: string): Promise<LspOpResult>;
+/** Re-exported for the host-level `execute(op, req)` shape. */
+export declare const LSP_OPS: readonly LspOp[];
+//# sourceMappingURL=ops.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ops.d.ts","sourceRoot":"","sources":["../../src/lsp/ops.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAoBnE;;;;;;GAMG;AACH,wBAAsB,SAAS,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC,CAiL7G;AAiDD,+DAA+D;AAC/D,eAAO,MAAM,OAAO,EAAE,SAAS,KAAK,EAUnC,CAAC"}

package/dist/lsp/ops.js

@@ -0,0 +1,225 @@
+/**
+ * (4.2) Op dispatcher. The LspHost gets one `execute(req)` method
+ *  per op, delegating to the appropriate LSP method and formatter.
+ *  All ops route through the single per-instance `request()` so the
+ *  pending-map / cancellation / retry contract is uniform.
+ *
+ *  The dispatch table is data-driven so adding an op = one row.
+ */
+import { readFileSync, statSync } from "node:fs";
+import { pathToFileURL } from "node:url";
+import { AppError, ErrorCode } from "@chances-ai/runtime";
+import { LspError } from "./errors.js";
+import { formatCallHierarchyItems, formatHover, formatIncomingCalls, formatLocations, formatOutgoingCalls, formatSingleLocation, formatSymbols, normalizeLocations, } from "./formatters.js";
+const FILE_SIZE_CAP_BYTES = 10 * 1024 * 1024;
+/** Executes one op against the host. Routes:
+ *   - resolve server by extension
+ *   - get/create instance (per-(command, cwd) cache + cap + permission)
+ *   - ensure doc open (skipped for workspaceSymbol)
+ *   - issue request through the instance's request() (pending map + retry)
+ *   - format the result
+ */
+export async function executeOp(host, req, workspaceRoot) {
+    const requireFile = req.op !== "workspaceSymbol";
+    if (requireFile && !req.filePath) {
+        return { ok: false, output: `lsp ${req.op} requires filePath` };
+    }
+    if (!requireFile && (!req.query || req.query.trim() === "")) {
+        return { ok: false, output: "workspaceSymbol requires a non-empty query" };
+    }
+    let server;
+    if (req.filePath) {
+        server = host.pickServerForPath(req.filePath);
+        if (!server) {
+            return { ok: false, output: `No LSP server registered for ${extOf(req.filePath)}` };
+        }
+        try {
+            const st = statSync(req.filePath);
+            if (st.size > FILE_SIZE_CAP_BYTES) {
+                const mb = (st.size / 1024 / 1024).toFixed(1);
+                return { ok: false, output: `LSP file too large for analysis (${mb} MB exceeds 10 MB limit)` };
+            }
+        }
+        catch (e) {
+            const err = e;
+            if (err.code === "ENOENT")
+                return { ok: false, output: `lsp: no such file ${req.filePath}` };
+            // Other stat errors propagate.
+        }
+    }
+    else {
+        // workspaceSymbol: pick any enabled server. We pick the first that
+        // resolves a binary so a misconfigured one doesn't block the call.
+        server = host.servers.find((s) => s.config.enabled !== false);
+        if (!server)
+            return { ok: false, output: "No enabled LSP server available for workspaceSymbol" };
+    }
+    let instance;
+    try {
+        instance = await host.getOrCreate(server, req.cwd, req.signal);
+    }
+    catch (e) {
+        return classifyError(e, req.op);
+    }
+    // Open the doc when the op needs file-level context.
+    if (req.filePath && req.op !== "workspaceSymbol") {
+        try {
+            await instance.ensureDocOpen(req.filePath, req.signal);
+        }
+        catch (e) {
+            return classifyError(e, req.op);
+        }
+    }
+    try {
+        switch (req.op) {
+            case "goToDefinition": {
+                // (codex Round-2 MUST-FIX #4) `linkSupport: true` means the server
+                // may return `LocationLink[]` — normalise before formatting.
+                const result = await instance.request("textDocument/definition", definitionParams(req), req.signal);
+                const list = normalizeLocations(result);
+                const single = list.length === 1 ? list[0] : undefined;
+                if (single) {
+                    return { ok: true, output: formatSingleLocation(single, workspaceRoot, "Defined", safeRead) };
+                }
+                return { ok: true, output: formatLocations(list, workspaceRoot, "Definitions") };
+            }
+            case "findReferences": {
+                const result = await instance.request("textDocument/references", { ...definitionParams(req), context: { includeDeclaration: true } }, req.signal);
+                return { ok: true, output: formatLocations(result ?? [], workspaceRoot, "References") };
+            }
+            case "goToImplementation": {
+                // (codex Round-2 MUST-FIX #4) Same LocationLink handling as goToDefinition.
+                const result = await instance.request("textDocument/implementation", definitionParams(req), req.signal);
+                const list = normalizeLocations(result);
+                return { ok: true, output: formatLocations(list, workspaceRoot, "Implementations") };
+            }
+            case "hover": {
+                const result = await instance.request("textDocument/hover", definitionParams(req), req.signal);
+                return { ok: true, output: formatHover(result?.contents) };
+            }
+            case "documentSymbol": {
+                const fileUri = pathToFileURL(req.filePath).toString();
+                const result = await instance.request("textDocument/documentSymbol", { textDocument: { uri: fileUri } }, req.signal);
+                // (codex Round-2 SHOULD-FIX #4) `DocumentSymbol` nodes carry
+                // `range` but no `uri`; attach the request file URI to every
+                // node so the formatter can render `file:line:char` instead of
+                // "(no location)".
+                return { ok: true, output: formatSymbols(attachUriToSymbols(result ?? [], fileUri), workspaceRoot, "Document symbols") };
+            }
+            case "workspaceSymbol": {
+                // (codex Round-2 SHOULD-FIX #3) The previous "pick first enabled"
+                // could route the call to a server with a missing binary, surfacing
+                // BINARY_MISSING. Iterate enabled servers and try each until one
+                // starts; return failure only when all candidates fail.
+                const candidates = host.servers.filter((s) => s.config.enabled !== false);
+                const failures = [];
+                for (const candidate of candidates) {
+                    try {
+                        const instance2 = await host.getOrCreate(candidate, req.cwd, req.signal);
+                        const result = await instance2.request("workspace/symbol", { query: req.query }, req.signal);
+                        return { ok: true, output: formatSymbols(result ?? [], workspaceRoot, `Workspace symbols (via ${candidate.name})`) };
+                    }
+                    catch (e) {
+                        if (e instanceof AppError && e.code === ErrorCode.Cancelled)
+                            throw e;
+                        if (e instanceof LspError && e.code === "DISABLED")
+                            throw e; // user denied — surface immediately
+                        const msg = e instanceof Error ? e.message : String(e);
+                        failures.push(`${candidate.name}: ${msg}`);
+                    }
+                }
+                return {
+                    ok: false,
+                    output: failures.length === 0
+                        ? "No enabled LSP server available for workspaceSymbol"
+                        : `workspaceSymbol failed on every enabled server: ${failures.join("; ")}`,
+                };
+            }
+            case "prepareCallHierarchy": {
+                const items = await instance.request("textDocument/prepareCallHierarchy", definitionParams(req), req.signal);
+                return { ok: true, output: formatCallHierarchyItems(items ?? [], workspaceRoot) };
+            }
+            case "incomingCalls": {
+                const items = await instance.request("textDocument/prepareCallHierarchy", definitionParams(req), req.signal);
+                if (!items || items.length === 0)
+                    return { ok: true, output: "No call hierarchy items at this position" };
+                const incoming = await instance.request("callHierarchy/incomingCalls", { item: items[0] }, req.signal);
+                return { ok: true, output: formatIncomingCalls(incoming ?? [], workspaceRoot) };
+            }
+            case "outgoingCalls": {
+                const items = await instance.request("textDocument/prepareCallHierarchy", definitionParams(req), req.signal);
+                if (!items || items.length === 0)
+                    return { ok: true, output: "No call hierarchy items at this position" };
+                const outgoing = await instance.request("callHierarchy/outgoingCalls", { item: items[0] }, req.signal);
+                return { ok: true, output: formatOutgoingCalls(outgoing ?? [], workspaceRoot) };
+            }
+            default:
+                return { ok: false, output: `Unknown lsp op: ${req.op}` };
+        }
+    }
+    catch (e) {
+        return classifyError(e, req.op);
+    }
+}
+function definitionParams(req) {
+    if (!req.filePath || req.line === undefined || req.character === undefined) {
+        throw new LspError("REQUEST_FAILED", `${req.op}: filePath/line/character required`);
+    }
+    return {
+        textDocument: { uri: pathToFileURL(req.filePath).toString() },
+        position: { line: req.line - 1, character: req.character - 1 },
+    };
+}
+function toArray(x) {
+    if (x === null || x === undefined)
+        return [];
+    return Array.isArray(x) ? x : [x];
+}
+/** (codex Round-2 SHOULD-FIX #4) Attach the document's file URI to every
+ *  node + child in a `DocumentSymbol` tree so the formatter can render
+ *  `file:line:char` instead of "(no location)". The tree is rewritten
+ *  immutably to keep the input from the server untouched. */
+function attachUriToSymbols(symbols, uri) {
+    return symbols.map((s) => attachUriToSymbol(s, uri));
+}
+function attachUriToSymbol(sym, uri) {
+    const location = sym.location ?? (sym.range ? { uri, range: sym.range } : undefined);
+    return {
+        ...sym,
+        ...(location ? { location } : {}),
+        children: sym.children ? attachUriToSymbols(sym.children, uri) : undefined,
+    };
+}
+function extOf(p) {
+    const idx = p.lastIndexOf(".");
+    return idx < 0 ? "(no extension)" : p.slice(idx);
+}
+function safeRead(abs) {
+    try {
+        return readFileSync(abs, "utf8");
+    }
+    catch {
+        return undefined;
+    }
+}
+function classifyError(e, op) {
+    if (e instanceof AppError && e.code === ErrorCode.Cancelled)
+        throw e; // propagate to engine
+    if (e instanceof LspError)
+        return { ok: false, output: `LSP ${e.code}: ${e.message}` };
+    const msg = e instanceof Error ? e.message : String(e);
+    return { ok: false, output: `LSP ${op} failed: ${msg}` };
+}
+/** Re-exported for the host-level `execute(op, req)` shape. */
+export const LSP_OPS = [
+    "goToDefinition",
+    "findReferences",
+    "hover",
+    "documentSymbol",
+    "workspaceSymbol",
+    "goToImplementation",
+    "prepareCallHierarchy",
+    "incomingCalls",
+    "outgoingCalls",
+];
+//# sourceMappingURL=ops.js.map

package/dist/lsp/ops.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ops.js","sourceRoot":"","sources":["../../src/lsp/ops.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AACjD,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAGvC,OAAO,EACL,wBAAwB,EACxB,WAAW,EACX,mBAAmB,EACnB,eAAe,EACf,mBAAmB,EACnB,oBAAoB,EACpB,aAAa,EACb,kBAAkB,GAOnB,MAAM,iBAAiB,CAAC;AAEzB,MAAM,mBAAmB,GAAG,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC;AAE7C;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,IAAa,EAAE,GAAiB,EAAE,aAAqB;IACrF,MAAM,WAAW,GAAG,GAAG,CAAC,EAAE,KAAK,iBAAiB,CAAC;IACjD,IAAI,WAAW,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACjC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,GAAG,CAAC,EAAE,oBAAoB,EAAE,CAAC;IAClE,CAAC;IACD,IAAI,CAAC,WAAW,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QAC5D,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,4CAA4C,EAAE,CAAC;IAC7E,CAAC;IAED,IAAI,MAAM,CAAC;IACX,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;QACjB,MAAM,GAAG,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC9C,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,gCAAgC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;QACtF,CAAC;QACD,IAAI,CAAC;YACH,MAAM,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAClC,IAAI,EAAE,CAAC,IAAI,GAAG,mBAAmB,EAAE,CAAC;gBAClC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;gBAC9C,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,oCAAoC,EAAE,0BAA0B,EAAE,CAAC;YACjG,CAAC;QACH,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,GAAG,GAAG,CAA0B,CAAC;YACvC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,qBAAqB,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC;YAC7F,+BAA+B;QACjC,CAAC;IACH,CAAC;SAAM,CAAC;QACN,mEAAmE;QACnE,mEAAmE;QACnE,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,KAAK,KAAK,CAAC,CAAC;QAC9D,IAAI,CAAC,MAAM;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,qDAAqD,EAAE,CAAC;IACnG,CAAC;IAED,IAAI,QAAQ,CAAC;IACb,IAAI,CAAC;QACH,QAAQ,GAAG,MAAM,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACjE,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,aAAa,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;IAClC,CAAC;IAED,qDAAqD;IACrD,IAAI,GAAG,CAAC,QAAQ,IAAI,GAAG,CAAC,EAAE,KAAK,iBAAiB,EAAE,CAAC;QACjD,IAAI,CAAC;YACH,MAAM,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;QACzD,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,OAAO,aAAa,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IAED,IAAI,CAAC;QACH,QAAQ,GAAG,CAAC,EAAE,EAAE,CAAC;YACf,KAAK,gBAAgB,CAAC,CAAC,CAAC;gBACtB,mEAAmE;gBACnE,6DAA6D;gBAC7D,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,OAAO,CACnC,yBAAyB,EACzB,gBAAgB,CAAC,GAAG,CAAC,EACrB,GAAG,CAAC,MAAM,CACX,CAAC;gBACF,MAAM,IAAI,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC;gBACxC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,SAAS,CAAC;gBACxD,IAAI,MAAM,EAAE,CAAC;oBACX,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,oBAAoB,CAAC,MAAM,EAAE,aAAa,EAAE,SAAS,EAAE,QAAQ,CAAC,EAAE,CAAC;gBAChG,CAAC;gBACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,eAAe,CAAC,IAAI,EAAE,aAAa,EAAE,aAAa,CAAC,EAAE,CAAC;YACnF,CAAC;YACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;gBACtB,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,OAAO,CACnC,yBAAyB,EACzB,EAAE,GAAG,gBAAgB,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,EAAE,kBAAkB,EAAE,IAAI,EAAE,EAAE,EACnE,GAAG,CAAC,MAAM,CACX,CAAC;gBACF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,eAAe,CAAC,MAAM,IAAI,EAAE,EAAE,aAAa,EAAE,YAAY,CAAC,EAAE,CAAC;YAC1F,CAAC;YACD,KAAK,oBAAoB,CAAC,CAAC,CAAC;gBAC1B,4EAA4E;gBAC5E,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,OAAO,CACnC,6BAA6B,EAC7B,gBAAgB,CAAC,GAAG,CAAC,EACrB,GAAG,CAAC,MAAM,CACX,CAAC;gBACF,MAAM,IAAI,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC;gBACxC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,eAAe,CAAC,IAAI,EAAE,aAAa,EAAE,iBAAiB,CAAC,EAAE,CAAC;YACvF,CAAC;YACD,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,OAAO,CACnC,oBAAoB,EACpB,gBAAgB,CAAC,GAAG,CAAC,EACrB,GAAG,CAAC,MAAM,CACX,CAAC;gBACF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,QAAiB,CAAC,EAAE,CAAC;YACtE,CAAC;YACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;gBACtB,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,QAAS,CAAC,CAAC,QAAQ,EAAE,CAAC;gBACxD,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,OAAO,CACnC,6BAA6B,EAC7B,EAAE,YAAY,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAClC,GAAG,CAAC,MAAM,CACX,CAAC;gBACF,6DAA6D;gBAC7D,6DAA6D;gBAC7D,+DAA+D;gBAC/D,mBAAmB;gBACnB,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,CAAC,kBAAkB,CAAC,MAAM,IAAI,EAAE,EAAE,OAAO,CAAC,EAAE,aAAa,EAAE,kBAAkB,CAAC,EAAE,CAAC;YAC3H,CAAC;YACD,KAAK,iBAAiB,CAAC,CAAC,CAAC;gBACvB,kEAAkE;gBAClE,oEAAoE;gBACpE,iEAAiE;gBACjE,wDAAwD;gBACxD,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,KAAK,KAAK,CAAC,CAAC;gBAC1E,MAAM,QAAQ,GAAa,EAAE,CAAC;gBAC9B,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;oBACnC,IAAI,CAAC;wBACH,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;wBACzE,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,OAAO,CACpC,kBAAkB,EAClB,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,EACpB,GAAG,CAAC,MAAM,CACX,CAAC;wBACF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,CAAC,MAAM,IAAI,EAAE,EAAE,aAAa,EAAE,0BAA0B,SAAS,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;oBACvH,CAAC;oBAAC,OAAO,CAAC,EAAE,CAAC;wBACX,IAAI,CAAC,YAAY,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,SAAS;4BAAE,MAAM,CAAC,CAAC;wBACrE,IAAI,CAAC,YAAY,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;4BAAE,MAAM,CAAC,CAAC,CAAC,oCAAoC;wBACjG,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;wBACvD,QAAQ,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,IAAI,KAAK,GAAG,EAAE,CAAC,CAAC;oBAC7C,CAAC;gBACH,CAAC;gBACD,OAAO;oBACL,EAAE,EAAE,KAAK;oBACT,MAAM,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC;wBAC3B,CAAC,CAAC,qDAAqD;wBACvD,CAAC,CAAC,mDAAmD,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;iBAC7E,CAAC;YACJ,CAAC;YACD,KAAK,sBAAsB,CAAC,CAAC,CAAC;gBAC5B,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,OAAO,CAClC,mCAAmC,EACnC,gBAAgB,CAAC,GAAG,CAAC,EACrB,GAAG,CAAC,MAAM,CACX,CAAC;gBACF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,wBAAwB,CAAC,KAAK,IAAI,EAAE,EAAE,aAAa,CAAC,EAAE,CAAC;YACpF,CAAC;YACD,KAAK,eAAe,CAAC,CAAC,CAAC;gBACrB,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,OAAO,CAClC,mCAAmC,EACnC,gBAAgB,CAAC,GAAG,CAAC,EACrB,GAAG,CAAC,MAAM,CACX,CAAC;gBACF,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,0CAA0C,EAAE,CAAC;gBAC1G,MAAM,QAAQ,GAAG,MAAM,QAAQ,CAAC,OAAO,CACrC,6BAA6B,EAC7B,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,EAClB,GAAG,CAAC,MAAM,CACX,CAAC;gBACF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,mBAAmB,CAAC,QAAQ,IAAI,EAAE,EAAE,aAAa,CAAC,EAAE,CAAC;YAClF,CAAC;YACD,KAAK,eAAe,CAAC,CAAC,CAAC;gBACrB,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,OAAO,CAClC,mCAAmC,EACnC,gBAAgB,CAAC,GAAG,CAAC,EACrB,GAAG,CAAC,MAAM,CACX,CAAC;gBACF,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,0CAA0C,EAAE,CAAC;gBAC1G,MAAM,QAAQ,GAAG,MAAM,QAAQ,CAAC,OAAO,CACrC,6BAA6B,EAC7B,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,EAClB,GAAG,CAAC,MAAM,CACX,CAAC;gBACF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,mBAAmB,CAAC,QAAQ,IAAI,EAAE,EAAE,aAAa,CAAC,EAAE,CAAC;YAClF,CAAC;YACD;gBACE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,mBAAmB,GAAG,CAAC,EAAkB,EAAE,EAAE,CAAC;QAC9E,CAAC;IACH,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,aAAa,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;IAClC,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,GAAiB;IACzC,IAAI,CAAC,GAAG,CAAC,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QAC3E,MAAM,IAAI,QAAQ,CAAC,gBAAgB,EAAE,GAAG,GAAG,CAAC,EAAE,oCAAoC,CAAC,CAAC;IACtF,CAAC;IACD,OAAO;QACL,YAAY,EAAE,EAAE,GAAG,EAAE,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,QAAQ,EAAE,EAAE;QAC7D,QAAQ,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,GAAG,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,GAAG,CAAC,EAAE;KAC/D,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CAAI,CAAsC;IACxD,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAC7C,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAM,CAAC,CAAC;AACzC,CAAC;AAED;;;6DAG6D;AAC7D,SAAS,kBAAkB,CAAC,OAA6B,EAAE,GAAW;IACpE,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;AACvD,CAAC;AACD,SAAS,iBAAiB,CAAC,GAAc,EAAE,GAAW;IACpD,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACrF,OAAO;QACL,GAAG,GAAG;QACN,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjC,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;KAC3E,CAAC;AACJ,CAAC;AAED,SAAS,KAAK,CAAC,CAAS;IACtB,MAAM,GAAG,GAAG,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAC/B,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;AACnD,CAAC;AAED,SAAS,QAAQ,CAAC,GAAW;IAC3B,IAAI,CAAC;QAAC,OAAO,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,SAAS,CAAC;IAAC,CAAC;AACvE,CAAC;AAED,SAAS,aAAa,CAAC,CAAU,EAAE,EAAS;IAC1C,IAAI,CAAC,YAAY,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,SAAS;QAAE,MAAM,CAAC,CAAC,CAAC,sBAAsB;IAC5F,IAAI,CAAC,YAAY,QAAQ;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;IACvF,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACvD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,GAAG,EAAE,EAAE,CAAC;AAC3D,CAAC;AAED,+DAA+D;AAC/D,MAAM,CAAC,MAAM,OAAO,GAAqB;IACvC,gBAAgB;IAChB,gBAAgB;IAChB,OAAO;IACP,gBAAgB;IAChB,iBAAiB;IACjB,oBAAoB;IACpB,sBAAsB;IACtB,eAAe;IACf,eAAe;CAChB,CAAC"}

package/dist/lsp/rpc.d.ts

@@ -0,0 +1,47 @@
+/** Minimum cancellation surface — matches vscode-jsonrpc's
+ *  `CancellationToken` shape. Anything that exposes `.cancel()` works. */
+export interface CancellationTokenSource {
+    readonly token: unknown;
+    cancel(): void;
+    dispose(): void;
+}
+/** Minimum surface the RPC layer needs from `vscode-jsonrpc`. The
+ *  `sendRequest` overload takes an optional cancellation token; the
+ *  real `MessageConnection` honours it and emits `$/cancelRequest`
+ *  with the correct wire-level id. Test fakes ignore the token and
+ *  use the registry's `rejectLast` / `rejectAll` for control. */
+export interface Connection {
+    sendRequest<R = unknown>(method: string, params: unknown, token?: unknown): Promise<R>;
+    sendNotification(method: string, params: unknown): void;
+    onNotification(method: string, handler: (params: unknown) => void): void;
+    dispose(): void;
+    listen?(): void;
+}
+/** Tracks in-flight requests for an LSP instance. One per
+ *  LspServerInstance. */
+export declare class PendingRegistry {
+    private readonly entries;
+    private nextId;
+    /** Optional factory for cancellation token sources. Set by
+     *  `LspServerInstance` when it knows vscode-jsonrpc is loaded; null
+     *  in tests so the FakeConnection path stays simple. */
+    private ctsFactory?;
+    setCancellationFactory(factory: (() => CancellationTokenSource) | undefined): void;
+    get activeRequests(): number;
+    /** Issues a request through the underlying connection, registering
+     *  ownership BEFORE the wire write so cancellation is always safe.
+     *  Cancellation propagates through the optional CancellationToken so
+     *  vscode-jsonrpc emits `$/cancelRequest` with the correct id. */
+    send<R>(opts: {
+        connection: Connection;
+        method: string;
+        params: unknown;
+        signal: AbortSignal;
+        requestTimeoutMs: number;
+    }): Promise<R>;
+    /** Rejects every pending request with `cause`. Used on connection
+     *  close so a subsequent restart can never resurrect a stale id.
+     *  (codex Round-1 MUST-FIX #5.) */
+    rejectAll(cause: Error): void;
+}
+//# sourceMappingURL=rpc.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"rpc.d.ts","sourceRoot":"","sources":["../../src/lsp/rpc.ts"],"names":[],"mappings":"AAsBA;0EAC0E;AAC1E,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,MAAM,IAAI,IAAI,CAAC;IACf,OAAO,IAAI,IAAI,CAAC;CACjB;AAED;;;;iEAIiE;AACjE,MAAM,WAAW,UAAU;IACzB,WAAW,CAAC,CAAC,GAAG,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACvF,gBAAgB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,GAAG,IAAI,CAAC;IACxD,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,MAAM,EAAE,OAAO,KAAK,IAAI,GAAG,IAAI,CAAC;IACzE,OAAO,IAAI,IAAI,CAAC;IAChB,MAAM,CAAC,IAAI,IAAI,CAAC;CACjB;AAeD;yBACyB;AACzB,qBAAa,eAAe;IAC1B,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAmC;IAC3D,OAAO,CAAC,MAAM,CAAK;IACnB;;4DAEwD;IACxD,OAAO,CAAC,UAAU,CAAC,CAAgC;IAEnD,sBAAsB,CAAC,OAAO,EAAE,CAAC,MAAM,uBAAuB,CAAC,GAAG,SAAS,GAAG,IAAI;IAIlF,IAAI,cAAc,IAAI,MAAM,CAE3B;IAED;;;sEAGkE;IAC5D,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE;QAClB,UAAU,EAAE,UAAU,CAAC;QACvB,MAAM,EAAE,MAAM,CAAC;QACf,MAAM,EAAE,OAAO,CAAC;QAChB,MAAM,EAAE,WAAW,CAAC;QACpB,gBAAgB,EAAE,MAAM,CAAC;KAC1B,GAAG,OAAO,CAAC,CAAC,CAAC;IAoEd;;uCAEmC;IACnC,SAAS,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI;CAc9B"}