@deepseek-ai/dsh-lsp-stdio 0.1.2-alpha.5 → 0.1.3-alpha.2

package/README.i18n.yaml

@@ -2,5 +2,5 @@
 # side as of the last confirmed-consistent state. Both languages carry equal authority;
 # after editing either side, bring the other along and re-record with:
 #   pnpm run verify-translation-pairing --write packages/lsp/lsp-stdio/README.md
-README.md: 8cb7fbcc761b72dac7c291040c390de7ebf49b99
-README.zh.md: 4186e8c1b66b0f2e66ace8f82c76fce58cf00a49
+README.md: 61137e544ea7c9ba0d2458fc99a43eaa1c03aafb
+README.zh.md: 39c327346c90d7efeee895035e35a76b17354cf5

package/README.md

@@ -91,7 +91,7 @@ This section explains the design decisions behind the provider and where the cod
 - **Read before spawn.** The source is resolved, contained, and byte-bounded inside the workspace queue before any process is created, so a queued query sees current bytes when its turn starts and an invalid source cannot leave an idle process pooled.
 - **One pooled process per canonical workspace.** Instances are single-flighted per `(server id, canonical workspace target)`; a transport failure retries the read-only query once on a fresh process after awaiting disposal.
 - **Per-workspace serialization.** One abortable queue per workspace serializes source-read/open/query/close lifecycles; distinct workspaces run in parallel, and a cancellation that fails to stop a server terminates only that instance.
-- **Bounded teardown.** Graceful `shutdown`/`exit` escalates through tree termination (process-group signaling on POSIX, `taskkill /T /F` on Windows); quiescence is confirmed by awaiting process-tree exit, not by the kill outcome.
+- **Bounded teardown.** Graceful `shutdown`/`exit` escalates through the subprocess provider's managed-range termination procedure; quiescence is confirmed by awaiting that whole range, not by the termination request's outcome.
 - **Execution-world pairing.** Servers launch through `ctx.subprocess` with `processId: null` (another machine or PID namespace must not monitor the harness), sources read through `ctx.fs`, and no `fs/observed` event is emitted — only the LSP result is model-visible.
 
 ### Source map
@@ -119,10 +119,9 @@ Initialization advertises UTF-16 positions, workspace folders and configuration,
 <a id="further-exploration"></a>
 ## Further Exploration
 
-Read these pages when the package-level contract is not enough. They move from the shared navigation model to the seam, the tool, and the decision evidence.
+Read these pages when the package-level contract is not enough. They move from the shared navigation model to the seam and the tool.
 
 - [LSP navigation subsystem](../../../docs/subsystems/lsp.md) — operations, coordinates, requests and results, and `LspError` codes.
-- [LSP capability seam Agent Note](../../../.agents/notes/implemented/architecture/2026-07-15-lsp-capability-seam.md) — design rationale, alternatives, and deliberately deferred API.
 - [dsh-lsp](../lsp/README.md) — the seam this provider registers against.
 - [dsh-tool-lsp](../tool-lsp/README.md) — the model-facing tool over the seam.
 - [lsp group map](../README.md) — the three-package family and its related documentation.

package/README.zh.md

@@ -91,7 +91,7 @@ kind: "package-reference"
 - **先读后启动。** 源文件在工作区队列内先完成解析、包含关系检查与字节限制，然后才创建任何进程，因此排队查询只会在轮到自身时读取当前字节，无效源文件也不会留下空闲的池化进程。
 - **每个规范工作区一个池化进程。** 实例按 `(server id, canonical workspace target)` 进行 single-flight；传输故障会在等待释放完成后于新进程上重试一次该只读查询。
 - **逐工作区串行化。** 每个工作区一条可中止队列，串行执行源读取／打开／查询／关闭生命周期；不同工作区并行运行，无法停止服务器的取消只会终止该实例。
-- **有边界的释放。** 优雅 `shutdown`／`exit` 升级为进程树终止（POSIX 进程组信号，Windows `taskkill /T /F`）；是否完全停稳由等待进程树退出确认，而非由终止操作自身的结果确认。
+- **有边界的释放。** 优雅 `shutdown`／`exit` 会升级到 subprocess 提供方的 managed-range 终止流程；是否完全停稳由等待整个 range 确认，而非由终止请求自身的结果确认。
 - **执行世界配对。** 服务器通过 `ctx.subprocess` 启动，`processId: null`（另一台机器或 PID namespace 不得监视 harness）；源文件通过 `ctx.fs` 读取；不发出 `fs/observed` 事件——只有 LSP 结果对模型可见。
 
 ### 源码地图
@@ -119,10 +119,9 @@ kind: "package-reference"
 <a id="further-exploration"></a>
 ## 进一步探索
 
-当包级约定不够用时阅读以下页面。它们从共享的导航模型逐步进入 seam、工具与决策证据。
+当包级约定不够用时阅读以下页面。它们从共享的导航模型逐步进入 seam 与工具。
 
 - [LSP 导航子系统](../../../docs/subsystems/lsp.zh.md)——操作、坐标、请求与结果，以及 `LspError` code。
-- [LSP 能力 seam Agent Note](../../../.agents/notes/implemented/architecture/2026-07-15-lsp-capability-seam.zh.md)——设计原理、备选方案与刻意推迟的 API。
 - [dsh-lsp](../lsp/README.zh.md)——本提供方注册到的 seam。
 - [dsh-tool-lsp](../tool-lsp/README.zh.md)——基于该 seam 的面向模型工具。
 - [lsp 组地图](../README.zh.md)——三个包的家族及其相关文档。

package/lib/index.js

@@ -229,8 +229,8 @@ function parseContentLength(headerText) {
 * server→client requests: it answers `workspace/configuration` from static
 * config, and rejects `workspace/applyEdit` (this host never applies edits or
 * runs commands). It caps stderr, surfaces framing/decoder failures as a
-* fatal close, and exposes tree-scoped termination through the handle so the
-* instance owns teardown; group/tree mechanics live in the subprocess
+* fatal close, and exposes managed-range termination through the handle so the
+* instance owns teardown; platform mechanics live in the subprocess
 * Service Provider.
 * @module @deepseek-ai/dsh-lsp-stdio/connection
 */
@@ -293,10 +293,6 @@ var LspConnection = class {
 			this.onStdout(chunk);
 		});
 	}
-	/** The child's pid, or `-1` when the spawn produced no pid (so signalling is a no-op). */
-	get pid() {
-		return this.handle.pid;
-	}
 	/** The retained stderr tail, for diagnostics on a failed server. */
 	get stderrTail() {
 		/* v8 ignore next -- the collect disposition always exposes a stderr reader; defensive. */
@@ -372,16 +368,16 @@ var LspConnection = class {
 	peekNextId() {
 		return this.nextId;
 	}
-	/** Terminate the server's process tree (the seam's SIGTERM→grace→SIGKILL escalation; idempotent). */
+	/** Terminate the server's provider-managed range (idempotent). */
 	terminate() {
 		this.handle.terminate();
 	}
 	/**
-	* Wait until the owned process tree has exited.
+	* Wait until the owned managed range is empty.
 	* @param signal - optional bound for the wait.
-	* @returns `true` when the tree exited, or `false` when the signal aborted first.
+	* @returns `true` when the range is empty, or `false` when the signal aborted first.
 	*/
-	async waitForProcessTreeExit(signal) {
+	async waitForManagedRangeExit(signal) {
 		return await this.handle.waitForExit(signal);
 	}
 	onStdout(chunk) {
@@ -747,7 +743,7 @@ var LspInstance = class {
 	*/
 	query(request, source, signal) {
 		const run = abortable(this.queue, signal).then(() => this.runQuery(request, source, signal)).catch(async (error) => {
-			if (this.isTransportFailure(error)) await this.startTeardown();
+			if (this.isTransportFailure(error)) await this.awaitTeardownAttempt();
 			throw error;
 		});
 		this.queue = this.queue.then(() => run).then(() => void 0, () => void 0);
@@ -775,7 +771,7 @@ var LspInstance = class {
 		try {
 			await abortable(this.ready, signal);
 		} catch (error) {
-			if (!this.dead) await this.startTeardown();
+			if (!this.dead) await this.awaitTeardownAttempt();
 			throw error;
 		}
 		const capabilities = this.capabilities;
@@ -796,7 +792,7 @@ var LspInstance = class {
 					text: source.text
 				} }), signal);
 			} catch (error) {
-				await this.startTeardown();
+				await this.awaitTeardownAttempt();
 				throw error;
 			}
 			opened = true;
@@ -805,10 +801,8 @@ var LspInstance = class {
 		} finally {
 			if (opened && !this.dead) try {
 				await this.connection.notify("textDocument/didClose", { textDocument: { uri } });
-			} catch {
-				try {
-					await this.startTeardown();
-				} catch {}
+			} catch (_closeFailure) {
+				await this.awaitTeardownAttempt();
 			}
 		}
 	}
@@ -848,7 +842,7 @@ var LspInstance = class {
 					grace.signal.addEventListener("abort", () => {
 						resolve(false);
 					}, { once: true });
-				})])) await this.startTeardown();
+				})])) await this.awaitTeardownAttempt();
 			} finally {
 				grace[Symbol.dispose]();
 			}
@@ -890,6 +884,12 @@ var LspInstance = class {
 		this.teardownPromise ??= this.tearDown();
 		return this.teardownPromise;
 	}
+	/** Await teardown while leaving its memoized failure for provider-level finalization. */
+	async awaitTeardownAttempt() {
+		try {
+			await this.startTeardown();
+		} catch (_teardownFailure) {}
+	}
 	async tearDown() {
 		const shutdownDeadline = deadline(void 0, this.spec.shutdownTimeoutMs, "LSP_SHUTDOWN");
 		try {
@@ -906,14 +906,13 @@ var LspInstance = class {
 		await abortable(this.connection.closed, signal);
 	}
 	/**
-	* Terminate the tree (the seam escalates SIGTERM→`killGraceMs`→SIGKILL),
-	* then await leader and helper exit. The awaits are unbounded on purpose:
-	* the seam's escalation already committed to SIGKILL, so quiescence — not
-	* another timer — is the postcondition disposal owes its callers.
+	* Terminate the provider-managed range, then await the direct server result
+	* and whole-range quiescence. The awaits are unbounded on purpose because
+	* quiescence, not another timer, is the postcondition disposal owes callers.
 	*/
 	async forceTerminate() {
 		this.connection.terminate();
-		await Promise.all([this.connection.closed, this.connection.waitForProcessTreeExit()]);
+		await Promise.all([this.connection.closed, this.connection.waitForManagedRangeExit()]);
 	}
 };
 /** Server→client request methods this host acknowledges with an empty result (no dynamic registration). */
@@ -1109,20 +1108,23 @@ var LocalLspProvider = class {
 			const source = await readHostSource(this.fs, request.filePath, workspace, this.config.maxDocumentBytes, querySignal);
 			this.assertActive(querySignal);
 			let instance = this.instanceFor(workspaceKey, workspace);
-			try {
-				return await instance.query(request, source, querySignal);
-			} catch (error) {
-				if (!instance.isTransportFailure(error)) throw error;
-				await instance.dispose();
-				this.evictIfCurrent(workspaceKey, instance);
-				this.assertActive(querySignal);
-				instance = this.instanceFor(workspaceKey, workspace);
-				return await instance.query(request, source, querySignal);
-			} finally {
+			let canRetryTransport = true;
+			for (;;) {
+				const [queryOutcome] = await Promise.allSettled([instance.query(request, source, querySignal)]);
+				let teardownOutcome;
 				if (instance.dead) {
-					await instance.dispose();
+					[teardownOutcome] = await Promise.allSettled([instance.dispose()]);
 					this.evictIfCurrent(workspaceKey, instance);
 				}
+				if (teardownOutcome?.status === "rejected") {
+					if (queryOutcome.status === "rejected") throw new AggregateError([queryOutcome.reason, teardownOutcome.reason], "LSP operation and teardown failed");
+					throw teardownOutcome.reason;
+				}
+				if (queryOutcome.status === "fulfilled") return queryOutcome.value;
+				if (!canRetryTransport || !instance.isTransportFailure(queryOutcome.reason)) throw queryOutcome.reason;
+				canRetryTransport = false;
+				this.assertActive(querySignal);
+				instance = this.instanceFor(workspaceKey, workspace);
 			}
 		});
 	}

package/lib/types/connection.d.ts

@@ -4,8 +4,8 @@
  * server→client requests: it answers `workspace/configuration` from static
  * config, and rejects `workspace/applyEdit` (this host never applies edits or
  * runs commands). It caps stderr, surfaces framing/decoder failures as a
- * fatal close, and exposes tree-scoped termination through the handle so the
- * instance owns teardown; group/tree mechanics live in the subprocess
+ * fatal close, and exposes managed-range termination through the handle so the
+ * instance owns teardown; platform mechanics live in the subprocess
  * Service Provider.
  * @module @deepseek-ai/dsh-lsp-stdio/connection
  */
@@ -62,8 +62,6 @@ export declare class LspConnection {
      * @param writer - message writer; tests inject callback failures without relying on OS pipe races.
      */
     constructor(spec: ConnectionSpec, spawner: ConnectionSpawner, onServerRequest: (method: string, params: unknown) => Promise<unknown>, writer?: ConnectionWriter);
-    /** The child's pid, or `-1` when the spawn produced no pid (so signalling is a no-op). */
-    get pid(): number;
     /** The retained stderr tail, for diagnostics on a failed server. */
     get stderrTail(): string;
     /** Whether the transport has failed even if the child close event has not arrived yet. */
@@ -98,14 +96,14 @@ export declare class LspConnection {
      * @returns the numeric id the next request will be assigned.
      */
     peekNextId(): number;
-    /** Terminate the server's process tree (the seam's SIGTERM→grace→SIGKILL escalation; idempotent). */
+    /** Terminate the server's provider-managed range (idempotent). */
     terminate(): void;
     /**
-     * Wait until the owned process tree has exited.
+     * Wait until the owned managed range is empty.
      * @param signal - optional bound for the wait.
-     * @returns `true` when the tree exited, or `false` when the signal aborted first.
+     * @returns `true` when the range is empty, or `false` when the signal aborted first.
      */
-    waitForProcessTreeExit(signal?: AbortSignal): Promise<boolean>;
+    waitForManagedRangeExit(signal?: AbortSignal): Promise<boolean>;
     private onStdout;
     private dispatch;
     private handleServerRequest;

package/lib/types/instance.d.ts

@@ -75,14 +75,15 @@ export declare class LspInstance {
     dispose(): Promise<void>;
     /** Publish disposal once and make every caller await the same quiescence boundary. */
     private startTeardown;
+    /** Await teardown while leaving its memoized failure for provider-level finalization. */
+    private awaitTeardownAttempt;
     private tearDown;
     /** Best-effort LSP `shutdown`/`exit`, including process close, bounded by `signal`. */
     private gracefulShutdown;
     /**
-     * Terminate the tree (the seam escalates SIGTERM→`killGraceMs`→SIGKILL),
-     * then await leader and helper exit. The awaits are unbounded on purpose:
-     * the seam's escalation already committed to SIGKILL, so quiescence — not
-     * another timer — is the postcondition disposal owes its callers.
+     * Terminate the provider-managed range, then await the direct server result
+     * and whole-range quiescence. The awaits are unbounded on purpose because
+     * quiescence, not another timer, is the postcondition disposal owes callers.
      */
     private forceTerminate;
 }

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@deepseek-ai/dsh-lsp-stdio",
   "description": "Generic stdio language-server provider for the DeepSeek Harness LSP capability seam (ctx.lsp) — spawns configured servers, translates JSON-RPC, and serves transient-open goToDefinition/findReferences/goToImplementation/hover queries in the host filesystem namespace",
-  "version": "0.1.2-alpha.5",
+  "version": "0.1.3-alpha.2",
   "publishConfig": {
     "access": "public"
   },
@@ -28,28 +28,28 @@
   "license": "MIT",
   "peerDependencies": {
     "@deepseek-ai/cordis": "^4.0.2",
-    "@deepseek-ai/dsh-brand": "^0.1.2-alpha.5",
-    "@deepseek-ai/dsh-fs": "^0.1.2-alpha.5",
-    "@deepseek-ai/dsh-llm": "^0.1.2-alpha.5",
-    "@deepseek-ai/dsh-lsp": "^0.1.2-alpha.5",
-    "@deepseek-ai/dsh-subprocess": "^0.1.2-alpha.5",
-    "@deepseek-ai/dsh-timeout": "^0.1.2-alpha.5"
+    "@deepseek-ai/dsh-brand": "^0.1.3-alpha.2",
+    "@deepseek-ai/dsh-fs": "^0.1.3-alpha.2",
+    "@deepseek-ai/dsh-llm": "^0.1.3-alpha.2",
+    "@deepseek-ai/dsh-lsp": "^0.1.3-alpha.2",
+    "@deepseek-ai/dsh-subprocess": "^0.1.3-alpha.2",
+    "@deepseek-ai/dsh-timeout": "^0.1.3-alpha.2"
   },
   "dependencies": {
-    "@deepseek-ai/schemastery": "^3.18.2",
-    "@deepseek-ai/dsh-util-values": "^0.1.2-alpha.5"
+    "@deepseek-ai/dsh-util-values": "^0.1.3-alpha.2",
+    "@deepseek-ai/schemastery": "^3.18.2"
   },
   "devDependencies": {
     "typescript": "^6.0.3",
     "typescript-language-server": "^5.0.0",
     "@deepseek-ai/cordis": "^4.0.2",
-    "@deepseek-ai/dsh-brand": "^0.1.2-alpha.5",
-    "@deepseek-ai/dsh-fs": "^0.1.2-alpha.5",
-    "@deepseek-ai/dsh-fs-local": "^0.1.2-alpha.5",
-    "@deepseek-ai/dsh-lsp": "^0.1.2-alpha.5",
-    "@deepseek-ai/dsh-llm": "^0.1.2-alpha.5",
-    "@deepseek-ai/dsh-subprocess": "^0.1.2-alpha.5",
-    "@deepseek-ai/dsh-subprocess-local": "^0.1.2-alpha.5",
-    "@deepseek-ai/dsh-timeout": "^0.1.2-alpha.5"
+    "@deepseek-ai/dsh-brand": "^0.1.3-alpha.2",
+    "@deepseek-ai/dsh-fs": "^0.1.3-alpha.2",
+    "@deepseek-ai/dsh-fs-local": "^0.1.3-alpha.2",
+    "@deepseek-ai/dsh-llm": "^0.1.3-alpha.2",
+    "@deepseek-ai/dsh-subprocess": "^0.1.3-alpha.2",
+    "@deepseek-ai/dsh-subprocess-local": "^0.1.3-alpha.2",
+    "@deepseek-ai/dsh-lsp": "^0.1.3-alpha.2",
+    "@deepseek-ai/dsh-timeout": "^0.1.3-alpha.2"
   }
 }