@feng0531/dsh-execution-bus 0.2.3 → 0.2.5

package/README.md

@@ -4,7 +4,7 @@
 
 “萧何”是产品与模式显示名，执行总线是其技术功能；不新增人物 Agent，不进行角色扮演。仓库 dsh-execution-bus、npm 包名、execution_bus 工具名及 execution-bus-test 预设 ID 保持不变。历史版本发布说明保留当时名称。
 
-DSH 独立插件：`@feng0531/dsh-execution-bus` · 当前版本 **0.2.3**
+DSH 独立插件：`@feng0531/dsh-execution-bus` · 当前版本 **0.2.5**
 
 > 当前是早期可运行版本，不是完整生产验收版。已验证真实 DSH 组件和脚本模型驱动的内存会话；真实模型、桌面界面和 PTC 完整链路尚未验收。**不支持重启后恢复任务。**
 
@@ -102,7 +102,7 @@ flowchart TD
 2. 在你选定的隔离 DSH 配置依赖目录安装固定版本，不要在 DSH 程序安装目录执行：
 
    ```powershell
-   npm install --ignore-scripts @feng0531/dsh-execution-bus@0.2.3
+   npm install --ignore-scripts @feng0531/dsh-execution-bus@0.2.5
    ```
 
    这是 npm 目录示例。若目标配置使用 pnpm，应沿用其包管理器，不混用锁文件。遇到宿主 peer 版本冲突就停止，不用强制安装绕过。
@@ -231,7 +231,7 @@ npm run test:install    # 临时目录安装，不操作日常 DSH
 
 - [协议和投递语义](<docs/protocol.md>)：字段、状态、重复处理与取消规则。
 - [宿主兼容性与源码调用链](<docs/host-compatibility.md>)：为什么可以等待，为什么不能跨重启恢复。
-- [验证记录](<docs/validation.md>)、[0.2.3 发布说明](<docs/releases/0.2.3.md>)：已验证与未验证范围。
+- [验证记录](<docs/validation.md>)、[0.2.5 发布说明](<docs/releases/0.2.5.md>)：已验证与未验证范围。
 - [维护者发布流程](<docs/RELEASING.md>)：标签 CI、安装包校验与正式发布门禁。
 
 ## 许可

package/dist/bus.js

@@ -75,9 +75,15 @@ export class ExecutionBus {
     register(name, handler) {
         if (this.handlers.has(name))
             throw Error("DUPLICATE_HANDLER");
-        this.handlers.set(name, handler);
+        const registration = { handler, token: Symbol(name) };
+        this.handlers.set(name, registration);
+        let disposed = false;
         return () => {
-            this.handlers.delete(name);
+            if (disposed)
+                return;
+            disposed = true;
+            if (this.handlers.get(name)?.token === registration.token)
+                this.handlers.delete(name);
         };
     }
     key(o, id) {
@@ -87,7 +93,7 @@ export class ExecutionBus {
     }
     emit(e, type, payload, correlationId = "") {
         e.view.sequence++;
-        const event = {
+        const event = freezeJson({
             protocolVersion: 1,
             messageId: randomUUID(),
             requestId: e.view.requestId,
@@ -95,10 +101,13 @@ export class ExecutionBus {
             sequence: e.view.sequence,
             type,
             payload,
-        };
+        });
         for (const f of e.listeners)
             try {
-                f(event);
+                // Observe promise rejection without awaiting or blocking task settlement.
+                void Promise.resolve(f(event)).catch(() => {
+                    /* Async observers are best-effort; never leak their error text. */
+                });
             }
             catch {
                 /* Observers cannot alter execution. */
@@ -145,7 +154,7 @@ export class ExecutionBus {
             }
             return this.attachment(e, onEvent, m.messageId);
         }
-        const handler = this.handlers.get(p.handler);
+        const handler = this.handlers.get(p.handler)?.handler;
         if (!handler)
             throw Error("UNKNOWN_HANDLER");
         handler.validate(input);

package/dist/json.js

@@ -13,6 +13,8 @@ export function assertJson(value, depth = 0, active = new Set(), budget = { left
     if (active.has(value))
         throw Error("CYCLIC_JSON");
     const array = Array.isArray(value);
+    if (array && Object.getPrototypeOf(value) !== Array.prototype)
+        throw Error("INVALID_JSON_ARRAY");
     if (!array &&
         Object.getPrototypeOf(value) !== Object.prototype &&
         Object.getPrototypeOf(value) !== null)

package/docs/protocol.md

@@ -2,7 +2,7 @@
 
 ## 输入
 
-严格无损 JSON，最大 16 KiB，不接受额外顶层字段。JSON 值最大深度 64、访问节点最多 65536；拒绝非有限数字、负零、undefined、函数、符号、稀疏数组、访问器属性、特殊对象和循环引用。messageId / requestId 为 1–128 位字母、数字、下划线、点、冒号或短横线。
+严格无损 JSON，最大 16 KiB，不接受额外顶层字段。JSON 值最大深度 64、访问节点最多 65536；拒绝非有限数字、负零、undefined、函数、符号、稀疏数组、访问器属性、特殊对象和循环引用；数组只接受当前运行域的原生 Array.prototype，拒绝数组子类、自定义原型及跨域数组。messageId / requestId 为 1–128 位字母、数字、下划线、点、冒号或短横线。
 
 
 type 为 request 时 payload 为 {handler,input}；type 为 status / result / cancel 时 payload 必须为 {}。不支持其他类型或版本。sessionId、权限、工作目录不能出现在输入中，可信归属只能由宿主工具上下文绑定。
@@ -16,7 +16,7 @@ type 为 request 时 payload 为 {handler,input}；type 为 status / result / ca
 
 核心 submit 返回 accepted 事件和 done Promise。受理只意味着已进入内存记录和队列，durable:false；不是成功。事件包含 protocolVersion、messageId、requestId、correlationId（首次请求 messageId）、sequence、type、payload。每请求 sequence 单调递增，accepted 是当前序号的快照，不占新增序号。
 
-事件类型：accepted、started、progress、cancel_requested、succeeded、failed、cancelled、unknown。进度只接受 Handler 正整数序号递增的百分比，重复、乱序、终态后进度丢弃。进程内投递，无外部消息接收端，也不支持任意远端终态注入；终态只由总线持有的执行 Promise 结算。
+事件类型：accepted、started、progress、cancel_requested、succeeded、failed、cancelled、unknown。进度只接受 Handler 正整数序号递增的百分比，重复、乱序、终态后进度丢弃。进程内投递，无外部消息接收端，也不支持任意远端终态注入；终态只由总线持有的执行 Promise 结算。事件及其 payload 在投递前深度冻结，观察者不得修改请求关联、序号、类型或进度内容。观察者是最佳努力通知：同步抛错及异步 Promise 拒绝均被隔离，不记录异常原文；不等待观察者完成，不保证关闭前异步通知已经完成，观察者须自行管理资源。
 
 工具的 request 保持 pending，最终返回 RecordView（requestId,state,sequence,cancelRequested,delivery,result?,error?,progress?）；status/result/cancel 返回同一种当前快照。工具不会提前返回 accepted 或 taskId，也不会用聊天进度消息唤醒模型。Job 的 UI progress 只含状态/百分比。
 
@@ -47,6 +47,6 @@ queued → cancelled。终态不可变；取消终态任务只返回原状态。
 
 ## 扩展 Handler
 
-core 导出 ExecutionBus、Handler 和 Capability 类型。register(name,handler) 返回注销函数；同名拒绝。Handler 提供 validate 和 async run，执行上下文仅有 requestId、signal、progress 与最小执行 capability，不传聊天历史。注销不影响已受理任务捕获的 Handler；关闭时等待它们。
+core 导出 ExecutionBus、Handler 和 Capability 类型。register(name,handler) 返回幂等注销函数，绑定唯一注册令牌；旧函数不会删除后来同名注册，即使复用同一 Handler 对象。同名活跃注册拒绝。Handler 提供 validate 和 async run，执行上下文仅有 requestId、signal、progress 与最小执行 capability，不传聊天历史。注销不影响已受理任务捕获的 Handler；关闭时等待它们。
 
 当前插件内置注册 test 与 host.read。尚未公开 Cordis Handler 注册服务，其他插件不能假定存在 ctx.executionBus；跨插件动态注册属于后续事项。

package/docs/releases/0.2.4.md

@@ -0,0 +1,14 @@
+# 萧何 / Xiao He 0.2.4
+
+## BUG 修复
+
+- 隔离事件观察者返回 Promise 的异步拒绝，避免异步日志/通知回调形成未处理 rejection 并导致进程退出。通知不阻塞执行或终态结算，不将观察者异常原文写入日志。
+- 严格 JSON 校验补齐数组原型检查，拒绝数组子类和自定义原型，避免继承的 toJSON 改写结果后仍报告成功。原生数组保持可用；core 跨运行域数组需先转换为当前运行域原生 JSON 数据。
+
+## 验证
+
+新增三项回归：严格 unhandled-rejections 子进程中异步观察者拒绝不退出、数组子类/自定义原型拒绝且序列化钩子不执行、原生数组结果完整保存。修复前两个缺陷测试失败，修复后全量测试及标签四矩阵发布门禁验证。
+
+## 使用边界
+
+本版不增加执行能力，保留萧何名称及所有技术标识。观察者通知为最佳努力，不等待异步通知完成；观察者自己的资源仍应自行管理。真实模型、GUI、PTC 完整链路未验收；不支持跨重启恢复。非商业源码公开许可，发布不自动安装或重启 DSH。

package/docs/releases/0.2.5.md

@@ -0,0 +1,14 @@
+# 萧何 / Xiao He 0.2.5
+
+## BUG 修复
+
+- Handler 注销函数绑定唯一注册令牌并支持幂等清理。旧注销函数重复执行不会误删后来同名注册，即使复用相同 Handler 对象。已受理请求继续使用它捕获的旧 Handler，新请求使用当前注册。
+- 事件和 payload 在通知观察者前深度冻结，前一个观察者无法污染后续观察者收到的 requestId、sequence、type 或进度。同步/异步异常继续隔离。
+
+## 验证
+
+新增三项回归，覆盖相同对象重新注册、已受理任务与替换 Handler 并存、前序观察者修改事件被隔离；三项在修复前均失败。全量测试、标签四矩阵 CI、包内容、生产隔离安装及两端公开包一致性按既有门禁验证。
+
+## 边界
+
+兼容目标仍为 DSH 0.2.0-rc.2，不更改品牌或技术标识。真实模型、桌面 GUI 与 PTC 完整链路未验收；不支持跨重启恢复。非商业源码公开许可，不自动安装或重启 DSH。

package/package.json

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