@feng0531/dsh-execution-bus 0.2.4 → 0.2.6

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

package/dist/bus.js

@@ -68,16 +68,23 @@ export class ExecutionBus {
         retentionMs: 3600000,
     }) {
         this.options = options;
-        for (const v of Object.values(options))
+        this.options = Object.freeze({ ...options });
+        for (const v of Object.values(this.options))
             if (!Number.isSafeInteger(v) || v < 1)
                 throw Error("INVALID_OPTIONS");
     }
     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 +94,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,7 +102,7 @@ export class ExecutionBus {
             sequence: e.view.sequence,
             type,
             payload,
-        };
+        });
         for (const f of e.listeners)
             try {
                 // Observe promise rejection without awaiting or blocking task settlement.
@@ -141,14 +148,15 @@ export class ExecutionBus {
             const previous = e.messages.get(m.messageId);
             if (previous && previous !== canonical(m))
                 throw Error("MESSAGE_CONFLICT");
-            if (!previous) {
-                if (e.messages.size >= 128)
-                    throw Error("MESSAGE_LIMIT");
+            if (!previous && e.messages.size >= 128)
+                throw Error("MESSAGE_LIMIT");
+            // Acquire the attachment before committing its message identity. Rejection is side-effect free.
+            const attached = this.attachment(e, onEvent, m.messageId);
+            if (!previous)
                 e.messages.set(m.messageId, canonical(m));
-            }
-            return this.attachment(e, onEvent, m.messageId);
+            return attached;
         }
-        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/docs/protocol.md

@@ -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 结算。观察者是最佳努力通知：同步抛错及异步 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 只含状态/百分比。
 
@@ -31,7 +31,7 @@ queued → cancelled。终态不可变；取消终态任务只返回原状态。
 
 ## 容量和清理
 
-默认并发 2，待分发队列 32，记录 256，单结果 JSON 64 KiB；所有请求先经上限检查，满则 BACKPRESSURE，不自动重试。Job 仍受宿主自己的每 owner 容量限制。队列不提供公平性 SLA，单会话可占满实例。
+默认并发 2，待分发队列 32，记录 256，单结果 JSON 64 KiB；所有请求先经上限检查，满则 BACKPRESSURE，不自动重试。Job 仍受宿主自己的每 owner 容量限制。队列不提供公平性 SLA，单会话可占满实例。core 构造时复制并冻结容量配置，之后修改调用方原对象不改变总线限制；没有动态配置更新接口。重复附着只有成功取得观察者名额后才提交新消息记账，WAITER_LIMIT 拒绝不占用消息 ID 或额度。
 
 终态自完成后保存一小时；新受理及控制消息查询时惰性清理，可通过 core.sweep 主动清理。无定时器常驻、无磁盘结果存储、无日志输出。插件关闭先停止受理，取消队列与运行任务，等待合作 Handler，清理内存；不合作的 Handler 会阻碍关闭，插件无法安全硬杀同进程代码。
 
@@ -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.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/docs/releases/0.2.6.md

@@ -0,0 +1,14 @@
+# 萧何 / Xiao He 0.2.6
+
+## BUG 修复
+
+- 重复附着在取得观察者名额后才提交消息记账，WAITER_LIMIT 拒绝不再占用消息编号或耗尽后续查询/结果重取额度。已有重复识别和取消保留槽语义不变。
+- 容量配置在构造时复制并冻结，不再保留调用方可变引用；外部修改原配置不改变队列、记录、并发或结果大小限制。
+
+## 验证
+
+新增两项回归在修复前均失败，覆盖 96 次拒绝附着后消息编号可用和结果可重取、外部配置修改不影响限制。全量回归、标签四矩阵 CI、包白名单和生产依赖隔离安装按既有门禁执行。
+
+## 边界
+
+只修复 core 接口边界，不新增业务执行能力或动态配置接口。DSH 0.2.0-rc.2；非商业源码公开许可。真实模型/GUI/PTC 完整链路未验收，不支持跨重启恢复。发布不自动安装或重启 DSH。

package/package.json

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