@feng0531/dsh-execution-bus 0.8.0 → 0.9.0

package/README.md

@@ -4,7 +4,7 @@
 
 “萧何”是产品与模式显示名，执行总线是其技术功能；不新增人物 Agent，不进行角色扮演。仓库 dsh-execution-bus、npm 包名、execution_bus 工具名及 execution-bus-test 预设 ID 保持不变。历史版本发布说明保留当时名称。
 
-DSH 独立插件：`@feng0531/dsh-execution-bus` · 当前版本 **0.8.0**
+DSH 独立插件：`@feng0531/dsh-execution-bus` · 当前版本 **0.9.0**
 
 > 萧何模式从宿主已声明的 PTC 组合派生，保留日常工具，再叠加可选执行总线。已验证隔离的真实 Node PTC → 原 read + 总线调用，以及脚本模型内存会话；真实模型、桌面界面与实际沙箱仍未验收。**不支持重启后恢复任务。**
 
@@ -19,6 +19,7 @@ DSH 独立插件：`@feng0531/dsh-execution-bus` · 当前版本 **0.8.0**
 | 同一次请求重复提交 | 在同一会话、同一存活实例和保存期内，共用一次执行 |
 | 重复或迟到的进度到达 | 按序号处理，忽略旧进度和终态后的进度 |
 | 取消时不确定任务是否真的停了 | 区分“已请求取消”和“已确认取消” |
+| 长任务超出 `run_code` 的时间预算 | PTC 程序结束时只停止等待，已受理执行继续；用同一 requestId 的 `status`/`result` 取回，或用 `cancel` 取消 |
 
 它只是**执行协调层**，不是新的模型或 Agent，不是工作流引擎，也不是对所有工具的全局拦截器。它不能解决模型理解错误、反复改变方案等推理问题。
 
@@ -129,7 +130,7 @@ flowchart TD
 2. 在你选定的隔离 DSH 配置依赖目录安装固定版本，不要在 DSH 程序安装目录执行：
 
    ```powershell
-   npm install --ignore-scripts @feng0531/dsh-execution-bus@0.8.0
+   npm install --ignore-scripts @feng0531/dsh-execution-bus@0.9.0
    ```
 
    这是 npm 目录示例。若目标配置使用 pnpm，应沿用其包管理器，不混用锁文件。遇到宿主 peer 版本冲突就停止，不用强制安装绕过。
@@ -200,6 +201,8 @@ flowchart TD
 
 PTC 是 DSH 的程序化工具调用入口。在 `run_code` 内使用 `await tools.execution_bus(请求对象)`，而不是直接调用折叠后的工具名。执行总线不会解除 `run_code` 自身的时间预算。已有真实 Node PTC 隔离进程读文件和调用总线的验证，但尚未进行实际模型/桌面沙箱全链路验收。
 
+**0.9.0 起，预算到期不再连带取消已受理执行。** `run_code` 因时间预算到期或程序结束时，宿主会中断其中的工具子调用；总线把这种中断视为**只停止等待**：已受理执行与宿主 Job 继续，程序返回预算错误后，可在后续 `run_code` 中用同一 `requestId` 的 `status`/`result` 取回结果，或用 `cancel` 取消。用户主动中断、会话取消、沙箱模式变化等其他原因仍会请求取消整个执行。该识别依赖 DSH 0.2.1-rc.2 的中断原因字符串（见[宿主兼容性](<docs/host-compatibility.md>)），不是宿主公开稳定契约；进程退出仍会丢失全部内存状态，保留期一小时。
+
 ## 如何理解任务状态？
 
 ```mermaid
@@ -241,6 +244,7 @@ core 开发者可用 `new ExecutionBus(options, {sessionQueueLimit:16,maxQueueWa
 宿主插件默认并发 **2**，全局排队上限 **32**，每会话排队上限 **16**；排队超过 **120 秒**且尚未开始执行时结算为 `failed / QUEUE_WAIT_TIMEOUT`，不调用 Handler。运行后不会被该排队期限中止，PTC 外层仍有独立时间预算。最多保存 **256** 条任务记录，单结果最多 **64 KiB**，完成结果保留期 **1 小时**，在新请求和查询时惰性清理；不是一小时一到即定时删除。队列或记录满时拒绝新任务；宿主 Job 自身也有容量限制。
 
 - **全部状态在内存中。** 受理没有落盘，插件关闭或进程崩溃后，不能依靠它恢复原调用或保证请求不丢失。
+- **预算分离等待不是持久化。** PTC 程序结束后继续执行的任务只在当前插件实例存活期间有效；进程关闭即丢失，结果最多保留一小时，不保证模型一定取回。
 - **不自动重跑任务。** 通信超时不等于执行失败，取消不等于回滚。Job 等待服务异常会在原执行排空后返回服务错误，执行可能已成功；应核对原 requestId 的状态，不要换编号盲目重跑。
 - **不承诺端到端 exactly-once。** 当前实例的请求复用不能代替外部副作用对账。
 - 当前没有远端执行端、跨插件 Handler 注册服务或非幂等操作对账能力。
@@ -272,7 +276,7 @@ npm run test:install    # 临时目录安装，不操作日常 DSH
 
 - [协议和投递语义](<docs/protocol.md>)：字段、状态、重复处理与取消规则。
 - [宿主兼容性与源码调用链](<docs/host-compatibility.md>)：为什么可以等待，为什么不能跨重启恢复。
-- [验证记录](<docs/validation.md>)、[0.8.0 发布说明](<docs/releases/0.8.0.md>)：已验证与未验证范围。
+- [验证记录](<docs/validation.md>)、[0.9.0 发布说明](<docs/releases/0.9.0.md>)：已验证与未验证范围。
 - [同类项目源码整合](<docs/INTEGRATION.md>)：固定来源、采用范围、许可与验证边界。
 - [维护者发布流程](<docs/RELEASING.md>)：标签 CI、安装包校验与正式发布门禁。
 

package/dist/bus.d.ts

@@ -65,6 +65,8 @@ export declare class ExecutionBus {
     submit(owner: Owner, raw: unknown, onEvent?: (e: Event) => void, invoke?: Capability): {
         accepted: Event;
         done: Promise<RecordView>;
+        /** 当前快照：供仅在停止等待时使用，不改变交付标记。 */
+        snapshot: () => RecordView;
         cancel: () => void;
         detach: () => void;
         returned: () => void;

package/dist/bus.js

@@ -282,6 +282,8 @@ export class ExecutionBus {
         return {
             accepted,
             done: e.done,
+            /** 当前快照：供仅在停止等待时使用，不改变交付标记。 */
+            snapshot: () => this.view(e),
             cancel: () => this.cancel(e),
             detach: () => {
                 if (listener)

package/dist/plugin.js

@@ -4,6 +4,12 @@ import { ExecutionOwner } from "./execution.js";
 import { ExecutionBus, parse } from "./bus.js";
 import { ERRORS } from "./error-codes.js";
 import { testHandler, readHandler, globHandler, grepHandler, editHandler, writeHandler, pwshHandler, } from "./handlers.js";
+/** DSH 0.2.1-rc.2 的 PTC 在程序结束（含时间预算到期）时用它作为子调用中断原因；
+ *  用户/会话取消使用调用方提供的原因，不匹配该固定字符串。 */
+const PTC_PROGRAM_SETTLED = "run_code settled";
+function isPtcProgramEnd(signal) {
+    return signal.aborted && signal.reason === PTC_PROGRAM_SETTLED;
+}
 export const name = "execution-bus";
 export const inject = ["tools", "jobs"];
 export function apply(ctx) {
@@ -148,14 +154,33 @@ export function apply(ctx) {
             throw Error(ERRORS.HOST_JOB_UNAVAILABLE);
         }
     }
-    /** 把宿主工具调用的取消映射到执行，并等待投影结算后返回快照。 */
+    /** 外层取消映射：PTC 程序结束（含预算到期）只停止本次等待，已受理执行与
+     *  宿主 Job 保留，同会话可用同 requestId 的 status/result 取回；其他取消原因
+     *  （用户/会话中断）仍请求取消整个执行。 */
     async function awaitProjection(exec, attached, execution) {
-        const abort = () => attached.cancel();
+        let release;
+        const detachedView = new Promise((resolve) => (release = resolve));
+        const abort = () => {
+            if (!isPtcProgramEnd(exec.signal)) {
+                attached.cancel();
+                return;
+            }
+            attached.detach();
+            release(attached.snapshot());
+        };
         exec.signal.addEventListener("abort", abort, { once: true });
         if (exec.signal.aborted)
             abort();
+        const settled = execution.settled.then(() => ({ kind: "settled" }), (error) => ({ kind: "error", error }));
         try {
-            await execution.settled;
+            const outcome = await Promise.race([
+                settled,
+                detachedView.then((view) => ({ kind: "detached", view })),
+            ]);
+            if (outcome.kind === "detached")
+                return outcome.view;
+            if (outcome.kind === "error")
+                throw outcome.error;
             const value = await attached.done;
             attached.returned();
             return value;

package/dist/product.d.ts

@@ -52,5 +52,5 @@ export declare const STATE_PARAMETERS: {
     readonly properties: {};
     readonly additionalProperties: false;
 };
-export declare const REQUEST_DESCRIPTION = "\u8427\u4F55 / Xiao He. Submit a version 1 request and WAIT for its terminal result in this tool call. Reuse requestId only for the same logical operation. Business handlers: host.read {file_path,offset?,limit?<=100}, host.glob {pattern,path?}, host.grep {pattern,path?,include?} (read-only, terminal reuse allowed); host.edit {file_path,old_string,new_string,replace_all?}, host.write {file_path,content}, host.pwsh {description,command,timeoutMs?,workdir?,run_in_background?,sandbox_permissions?,justification?} (mutating, terminal reuse denied). Diagnostic handler only: test {delayMs:0..30000,fail:boolean}; never use it to perform real work. Control status/result/cancel use empty payload. Acceptance is volatile, not success. No polling or restart resume.";
+export declare const REQUEST_DESCRIPTION = "\u8427\u4F55 / Xiao He. Submit a version 1 request and WAIT for its terminal result in this tool call. Reuse requestId only for the same logical operation. Business handlers: host.read {file_path,offset?,limit?<=100}, host.glob {pattern,path?}, host.grep {pattern,path?,include?} (read-only, terminal reuse allowed); host.edit {file_path,old_string,new_string,replace_all?}, host.write {file_path,content}, host.pwsh {description,command,timeoutMs?,workdir?,run_in_background?,sandbox_permissions?,justification?} (mutating, terminal reuse denied). Diagnostic handler only: test {delayMs:0..30000,fail:boolean}; never use it to perform real work. Control status/result/cancel use empty payload. A PTC program end (including run_code budget expiry) only stops waiting: accepted work continues and the same requestId can be retrieved with status/result or cancelled. Acceptance is volatile, not success. No polling or restart resume.";
 export declare const MODE_INSTRUCTIONS: string;

package/dist/product.js

@@ -40,9 +40,9 @@ export const STATE_PARAMETERS = {
     properties: {},
     additionalProperties: false,
 };
-export const REQUEST_DESCRIPTION = "萧何 / Xiao He. Submit a version 1 request and WAIT for its terminal result in this tool call. Reuse requestId only for the same logical operation. Business handlers: host.read {file_path,offset?,limit?<=100}, host.glob {pattern,path?}, host.grep {pattern,path?,include?} (read-only, terminal reuse allowed); host.edit {file_path,old_string,new_string,replace_all?}, host.write {file_path,content}, host.pwsh {description,command,timeoutMs?,workdir?,run_in_background?,sandbox_permissions?,justification?} (mutating, terminal reuse denied). Diagnostic handler only: test {delayMs:0..30000,fail:boolean}; never use it to perform real work. Control status/result/cancel use empty payload. Acceptance is volatile, not success. No polling or restart resume.";
+export const REQUEST_DESCRIPTION = "萧何 / Xiao He. Submit a version 1 request and WAIT for its terminal result in this tool call. Reuse requestId only for the same logical operation. Business handlers: host.read {file_path,offset?,limit?<=100}, host.glob {pattern,path?}, host.grep {pattern,path?,include?} (read-only, terminal reuse allowed); host.edit {file_path,old_string,new_string,replace_all?}, host.write {file_path,content}, host.pwsh {description,command,timeoutMs?,workdir?,run_in_background?,sandbox_permissions?,justification?} (mutating, terminal reuse denied). Diagnostic handler only: test {delayMs:0..30000,fail:boolean}; never use it to perform real work. Control status/result/cancel use empty payload. A PTC program end (including run_code budget expiry) only stops waiting: accepted work continues and the same requestId can be retrieved with status/result or cancelled. Acceptance is volatile, not success. No polling or restart resume.";
 export const MODE_INSTRUCTIONS = "你正在萧何模式中。这不是角色扮演。保留宿主 PTC 的日常工具能力与权限规则。普通编辑、搜索、命令、安装和其他工作使用原工具，不要声称此模式只读。execution_bus 是可选协调入口，实际业务 Handler 为 host.read、host.glob、host.grep（只读，可复用终态结果）与 host.edit、host.write、host.pwsh（有副作用，终态结果不可复用）；test 仅用于用户明确要求的诊断，不做真实工作，不要强制所有任务走总线。通过 run_code 调用 await tools.execution_bus(...)，受原有时间预算约束。每会话排队上限 " +
     ADMISSION_DEFAULTS.sessionQueueLimit +
     "，排队超过 " +
     ADMISSION_DEFAULTS.maxQueueWaitMs / 1000 +
-    " 秒且未执行会返回 QUEUE_WAIT_TIMEOUT，不自动重试。execution_bus_state 只用于用户明确诊断本会话元数据，不循环查询。请求只提交一次并等待结果，同一逻辑操作重发沿用 requestId。cancelRequested 不等于已取消，unknown 不代表执行失败，不承诺跨重启恢复。后台命令返回 Job ID 不代表已经完成。";
+    " 秒且未执行会返回 QUEUE_WAIT_TIMEOUT，不自动重试。execution_bus_state 只用于用户明确诊断本会话元数据，不循环查询。请求只提交一次并等待结果，同一逻辑操作重发沿用 requestId。PTC 程序结束或 run_code 时间预算到期时，已受理请求只停止等待、继续执行；用同一 requestId 的 status/result 取回，或用 cancel 取消；用户/会话中断仍会请求取消执行。cancelRequested 不等于已取消，unknown 不代表执行失败，不承诺跨重启恢复。后台命令返回 Job ID 不代表已经完成。";

package/docs/FLOW-TEST.md

@@ -37,6 +37,7 @@ npm run test:install
 - Job 先行移除、等待/清理异常与卸载交错。
 - 派生预设成功激活、原 ptc 声明不变、普通 Agent 不可见总线、write/edit 保留且宿主策略可拒绝。
 - 真实 Node PTC 进程调用原 read 与总线；测试使用显式非约束策略，不代表桌面沙箱通过。
+- 真实 Node PTC 预算到期后，已受理总线执行继续并可同 requestId 取回；外部中断仍请求取消执行。
 
 以上是场景摘要，不表示真实模型/宿主 GUI 已通过。
 
@@ -45,6 +46,7 @@ npm run test:install
 - 宿主工具调用失败在转发层使用固定码（host.read 为 `HOST_READ_FAILED`，其余为 `HOST_TOOL_FAILED`），进入总线后统一结算为 `failed` / `HANDLER_FAILED`，错误原文不保存；取消后可能保守记为 `unknown`，不能把它当作取消已确认。
 - 相同逻辑请求的取消是请求级取消，不能简单用 Promise.race 放弃执行来改成等待者级取消。
 - 当前没有远端 Handler 传输或持久化恢复；测试没有提供这些能力。
+- 预算分离等待依据 DSH 0.2.1-rc.2 的内部中断原因字符串；换宿主版本需重新验证，未知原因保守按取消处理。
 
 ## 要直接在聊天会话中试用
 

package/docs/PRODUCT.md

@@ -6,6 +6,8 @@
 
 0.8.0 在 DSH 0.2.1-rc.2 基线上补入只读搜索 Handler host.glob / host.grep 与有副作用命令 Handler host.pwsh，沿用 0.7.0 的幂等声明与宿主工具工厂，不以更名宣称完成生产环境认证。当前真实模型、桌面 UI 和实际沙箱尚未完整验收；同进程内存状态不支持跨重启恢复。
 
+0.9.0 增加 PTC 预算到期后的分离等待：宿主中断 PTC 子调用时，已受理执行只解除等待、继续运行，可用同 requestId 的 status/result 取回或用 cancel 取消；其他中断原因仍按取消处理。该区分依据 DSH 0.2.1-rc.2 的中断原因字符串，不是公开稳定契约，宿主升级需复核。
+
 ## 入口及配置层次
 
 | 入口 | 谁使用 | 责任 |

package/docs/host-compatibility.md

@@ -35,6 +35,7 @@ PTC 是可选入口：外层 `run_code` 可以调用同一个工具。它不是
 | 注册与卸载 | `@deepseek-ai/dsh-tools`：2878–2886，工具注册；3294–3331，`dispatchToolBody` | 注册为作用域副作用，工具体可异步等待 |
 | 身份与策略 | `@deepseek-ai/dsh-tools`：3131–3175、3225、3504、3417 | 生成可信 token、保留 agent/callId/rootCallId，执行前后策略及结果通知 |
 | PTC 子调用 | `@deepseek-ai/dsh-tools`：1294–1307 | 子调用携带 agent、rootCallId 和 parent token；不是任意身份注入 |
+| PTC 子调用中断 | `@deepseek-ai/dsh-tools`：1282–1285 外层中断转发；1376、1508 子调用信号取自 `runController`；1514 程序结束/预算到期后以固定字符串中断残留子调用 | 外层中断原因与程序结束原因可区分；固定字符串是 rc.2 构建细节，不是公开稳定契约 |
 | 文件读取 | `@deepseek-ai/dsh-tool-fs`：174、348，read 注册/执行路径 | 工作目录来自会话；输出和文件边界由宿主组合决定 |
 | 任务与等待 | `@deepseek-ai/dsh-jobs-local`：412–491 `start`、510 `wait`、717–729 `updateProgress` | 所属访问、容量、进度、取消、首终态与程序等待可复用 |
 | 完成通知 | `@deepseek-ai/dsh-tool-jobs`：268–270 | 正常已等待的完成通知不再额外报告；异常等待通道不承诺这一抑制仍完整生效 |
@@ -52,6 +53,7 @@ PTC 是可选入口：外层 `run_code` 可以调用同一个工具。它不是
 - 复用宿主工具管线和 Job 服务，不自行启动进程或实现独立 HTTP 执行服务。
 - bundle patch 加载派生注册器，从已声明 ptc 读取组合快照并注册可选预设，由宿主既有 Agent 预设界面消费元数据，不需要自定义前端。readDocument 在宿主注释中用于查看声明，本插件只读取其序列化数据再注册独立预设，并不认领源预设的运行实例或私有基准地址。
 - 同预设范围内共享有界总线，但查询/取消按宿主 Agent 的会话身份分隔。
+- PTC 预算到期后的分离等待（0.9.0）：程序结束只停止等待，已受理执行与宿主 Job 继续，同会话可用同一 requestId 取回结果；其他中断原因仍取消。该识别依赖 rc.2 固定中断原因，未知原因保守按取消处理。
 
 旧版只读 guard 在 0.3.0 移除，预设保留源 ptc 的工具与权限，不再削减普通写入/命令能力，也不自动启用源组合禁用行。它不是进程或权限沙箱，不隔离进程资源消耗。宿主 cwd 只是路径解析基准，不是文件访问围栏。
 
@@ -63,6 +65,7 @@ PTC 是可选入口：外层 `run_code` 可以调用同一个工具。它不是
 - 持久化受理、跨重启恢复或重新认领原工具调用。
 - 工具结果已写入会话磁盘日志的持久化回执。
 - 远端执行端、通用工作流或有副作用操作的对账能力。
+- 跨宿主版本稳定的 PTC 中断原因契约；0.9.0 的预算分离等待只按 rc.2 实际使用的固定字符串识别，宿主升级后需复核。
 
 若未来要跨重启接续，需要宿主公开稳定的认领/提交契约；本项目不虚构这样的 API，也不通过聊天消息绕过。
 

package/docs/protocol.md

@@ -40,7 +40,7 @@
 
 快照字段：`requestId`、`state`、`sequence`、`cancelRequested`、`delivery`，以及可选 `result`、`error`、`progress`。`status`、`result`、`cancel` 均返回当前快照；`result` 在运行中也只返回当前状态，不额外等待。
 
-core 的 `submit()` 返回 `accepted`、`done` Promise 和取消/解除通知/返回标记句柄。accepted 只是内存受理或已有记录的快照，`durable:false`，不代表执行成功；终态重取也不代表重新执行。
+core 的 `submit()` 返回 `accepted`、`done` Promise、只读 `snapshot()` 及取消/解除通知/返回标记句柄。accepted 只是内存受理或已有记录的快照，`durable:false`，不代表执行成功；终态重取也不代表重新执行。0.9.0 的 `snapshot()` 只供停止等待时读取当前视图，不改变交付标记。
 
 通知包含版本、消息 ID、请求 ID、关联 ID（correlationId）、请求内序号、类型与 payload。accepted 的 correlationId 对应本次提交消息，序号是当前快照；后续事件关联首次请求 messageId，新增序号。类型包括 started、progress、cancel_requested 和 succeeded、failed、cancelled、unknown 四种终态事件。
 
@@ -68,6 +68,12 @@ queued → running → succeeded / failed / cancelled / unknown
 
 执行完成与结果交付分开。`pending`/`returned` 只是插件返回路径的标记；done 快照保留当时值，后续查询可看到更新。**returned 不证明宿主磁盘提交或模型已消费**。外层取消/后置策略仍可能改变返回值。
 
+### 外层调用结束与时间预算（0.9.0）
+
+PTC 程序结束（含 `run_code` 时间预算到期）时，宿主以固定原因中断其中的工具子调用。总线对**已受理**请求只解除本次等待，不请求取消：执行与宿主 Job 继续，同一会话可用同一 requestId 的 `status`/`result` 取回（受记录保留期限制），或发送 `cancel`。用户/会话主动中断、沙箱模式变化等其他原因仍请求取消整个执行。
+
+这条区分依据 DSH 0.2.1-rc.2 的内部中断原因字符串（`run_code settled`），不是宿主公开稳定契约；未知原因按取消处理。分离等待不改变内存与保留期边界：进程退出仍丢失全部状态，`returned` 仍不证明模型已取回结果。
+
 错误也须分层：Handler 异常原文不进入保存结果，使用 HANDLER_FAILED 等固定码；不合法、过大或快照不可保存结果为 unknown / RESULT_NOT_RETAINED。宿主 wait/remove 等服务错误可能作为外层工具错误传出，不能笼统声称所有错误都已脱敏或都是固定码。不要把宿主服务错误文本当成业务执行失败凭据。
 
 ## 4. 容量、保存与关闭

package/docs/releases/0.9.0.md

@@ -0,0 +1,19 @@
+# 萧何 / Xiao He 0.9.0
+
+## PTC 预算到期后的分离等待
+
+本版解决“长任务超出 `run_code` 时间预算就被连带取消”的问题：程序结束只停止等待，已受理执行继续。
+
+- PTC 程序结束或 `run_code` 时间预算到期时，宿主会以固定原因中断其中的工具子调用。总线对已受理请求只解除本次等待：执行与宿主 Job 继续，同一会话可用同一 requestId 的 `status`/`result` 取回结果（受 1 小时保留期与 256 条记录上限约束），或发送 `cancel` 取消。
+- 用户/会话主动中断、沙箱模式变化等其他中断原因仍请求取消整个执行；未知原因保守按取消处理。
+- 该区分依赖 DSH 0.2.1-rc.2 实际使用的内部中断原因字符串（`@deepseek-ai/dsh-tools` 构建中的 `run_code settled`），不是宿主公开稳定契约；宿主升级后需复核。
+- core 的 `submit()` 附着新增只读 `snapshot()`，供停止等待时返回当前快照；不改变既有状态机、幂等与结果保留语义。
+- 模式提示与工具体描述同步说明取回与取消方式。
+
+## 升级说明
+
+需要 DSH 0.2.1-rc.2。行为变化：**PTC 程序结束不再连带取消已受理执行**。若需要旧行为（程序结束即取消），应在程序结束前显式发送 `cancel` 控制消息。不自动安装、重写日常配置或重启 DSH。历史预设、配置行、工具名、协议字段与既有错误码均不变；状态仍为进程内存，不支持跨重启恢复。
+
+## 验证与限制
+
+本地全量 101 项测试通过（新增 6 项分离等待回归、2 项真实 Node PTC 预算/中断回归，覆盖宿主 Job 生命周期、重附着与分离后的宿主工具续调用）。真实模型、桌面 UI 与实际沙箱仍未完整验收；分离等待只在同一插件实例存活期间有效，进程退出即丢失状态；跨宿主版本的中断原因识别未验证。

package/docs/validation.md

@@ -1,6 +1,6 @@
 # 验证范围与使用限制
 
-本文说明当前版本的证据边界，不是生产环境认证。当前能力基线为 **v0.8.0**，在 0.5.0 的会话准入/排队与 0.7.0 的宿主工具转发上补入只读搜索（host.glob/host.grep）与命令（host.pwsh）Handler；预设沿用 v0.3.0 的宿主 PTC 声明派生方式。验证环境为 Windows、Node.js 24.21.0，宿主组件锁定 DSH 0.2.1-rc.2、Cordis 4.0.4。
+本文说明当前版本的证据边界，不是生产环境认证。当前能力基线为 **v0.9.0**，在 0.5.0 的会话准入/排队、0.7.0 的宿主工具转发与 0.8.0 的搜索/命令 Handler 上，补入 PTC 预算到期后的分离等待；预设沿用 v0.3.0 的宿主 PTC 声明派生方式。验证环境为 Windows、Node.js 24.21.0，宿主组件锁定 DSH 0.2.1-rc.2、Cordis 4.0.4。
 
 ## 已验证什么？
 
@@ -9,6 +9,7 @@
 | 总线核心 | 参数、队列、并发、重复请求、冲突、取消竞争、结果保存、TTL、监听与注销 | 程序内部约束及已覆盖异常路径可重复检查 |
 | 真实宿主组件 | Cordis、ToolRuntime、LocalJobs、LocalFS、文件工具；host.glob/host.grep/host.pwsh 的转发测试使用宿主工具桩 | 请求经过真实工具管线；权限拒绝、Job 进度、共享任务、参数校验、幂等分流与清理逻辑有效；Agent 身份与工具实现为夹具，桩不证明真实搜索/命令工具实现 |
 | 真实会话循环 | AgentLoop、AgentRegistry、SessionStore；脚本模型适配器 | 内存会话中原工具结果只提交一次，完成后再进入下一次适配器调用 |
+| PTC 预算分离等待 | 真实 Node PTC `run_code` 以 2 秒预算等待 5 秒总线执行：预算到期后执行继续、宿主 Job 保留、同 requestId 取回结果；外部中断仍取消执行 | 在 DSH 0.2.1-rc.2 实际中断原因下成立；固定字符串不是跨版本契约 |
 | 预设隔离 | AgentPresetRegistry 与 Loader | 派生预设可激活；源 ptc 声明不变、普通 Agent 不可见总线；原 write/edit/Job 工具保留，宿主前置策略拒绝仍有效 |
 | 故障注入 | 克隆失败、观察者拒绝、Job 等待/清理异常、先行移除与卸载交错 | 指定故障下的回归约束；不证明所有故障组合都已覆盖 |
 | 候选包 | 严格文件白名单、临时目录生产依赖安装、入口注册 | 包可安装和加载；安装验证使用简化宿主夹具，不是桌面插件管理器验收 |
@@ -43,6 +44,7 @@ eb95b4e51675f5f1821275e0812ef4dd4984b1aba45a52fbc6bab3518bbf6f38
 | 实际模型/桌面 PTC 与时间预算、沙箱行为 | 真实 Node PTC 隔离子进程已调用原 read 和总线；使用显式 danger-full-access 测试策略与测试 Agent，不是桌面沙箱/真实模型验收 |
 | 从真实 tgz 经宿主插件管理器加载预设、卸载与回滚 | 未完成完整桌面流程；源码工作区的 Loader 测试不能替代 |
 | 真实 glob/grep/pwsh 工具实现 | 未在测试环境启用：真实搜索工具依赖打包 ripgrep 与 subprocess 服务，真实 pwsh 依赖 shell/sandbox/审批组合；本版只验证按 handler 名转发、输入校验、幂等分流与失败固定码 |
+| 跨版本 PTC 中断原因 | 分离等待只识别 DSH 0.2.1-rc.2 实际使用的固定中断原因字符串；宿主升级后未知原因保守按取消处理，需复核 |
 | 磁盘会话结果提交及重启恢复原调用 | 未验收磁盘提交；本插件不支持跨重启恢复 |
 | 减少真实模型轮次、状态查询或总耗时的对照 | 未验证，不给提升比例 |
 | 长期运行、所有卸载/服务故障组合 | 未穷尽；持续故障仍有清理限制 |

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@feng0531/dsh-execution-bus",
-  "version": "0.8.0",
+  "version": "0.9.0",
   "type": "module",
   "private": false,
   "license": "SEE LICENSE IN LICENSE",