@shgroup/dsh-serenity-hooks 1.95.0 → 1.96.0

package/dsh.plugin.json

@@ -1,6 +1,6 @@
 {
   "id": "dsh-serenity-hooks",
-  "version": "1.95.0",
+  "version": "1.96.0",
   "main": "lib/index.js",
   "description": "宁静号 ACC harness（Native Cordis 插件）：给 DSH 装一个「AI 工作区」——14 个工具（container_fs/cognitive_trajectory/dashboard/container_git/msm/praxis/ontology/serenity-skill-creator/cheap-worker/localstore/container_admin；另三个 im-bridge/acc-diag/diagram 按配置条件出现）+ 机械约束（安全模式/工作区围墙/密钥守卫）+ 认知轨迹日志与原地重建 + 网页登录入口/IM 桥/认知轨迹唤醒注册表。轨迹声明 = 轨迹目录下的 trajectory.json（约束面 + 旧标识 uid + CRO 机器绑定 cro.host；旧名 trajectory-constraint.json / skiff.json 仍在读取族里）；轨迹提示词 = 轨迹目录下的 PROMPT.md（一条轨迹「是谁、按什么章程工作」，所有轨迹通用，追加在容器层与质量层之后，不替换它们）。适配 DSH 0.1.7-rc.1 / 0.2.0-rc.1 / 0.2.1-rc.1（三档，deepseek-ai/deepseek-harness）。",
   "engines": {

package/lib/cro/turns.d.ts

@@ -12,11 +12,13 @@
  *
  * | 事件 | 动作 | 出处 |
  * |---|---|---|
- * | `agent/status` = `running` | 标记「在跑」；`idle` ⇒ 清除 | 宿主 `AgentLoop.setPhase`：`emit("agent/status", { status })`，**只在状态真的变化时发** |
- * | `agent/turn-stopping` | 清除标记 | `host/contract.ts`（dsp 已在 `trajectory/rebuild.ts` 等 4 处订阅） |
+ * | `agent/status` = `running` | **置位**「在跑」 | 宿主 `AgentLoop.setPhase`：`emit("agent/status", { status })`，**只在状态真的变化时发** |
+ * | `agent/status` = `idle` | **清位** | 同上；`kick()` 的 `finally` 一定 `setPhase({kind:'idle'})` |
  * | `agent/disposed` | **清该载体的项** | `host/contract.ts` |
  * | `session/disposed` | **清该载体的项** | `host/contract.ts` |
  *
+ * 🔴 **`agent/turn-stopping` 刻意不订阅** —— 它是「轮末暂停点」不是「轮结束」，见下方 D244 段。
+ *
  * ## 🔴🔴 D243（2026-10-24）：**⛔ 不许用 `agent/created` 标记「在跑」**
  *
  * **修前**：`agent/created` 也 `markTurnRunning(...)`。**为什么这是错的** —— 该事件是
@@ -37,18 +39,46 @@
  * **代价与兜底**：删掉 `agent/created` 后，本表在"宿主重启后、某会话真正开跑之前"为空
  * ⇒ 落到文件尾那条**便宜**的误判方向（报"没跑"），不会被拿来藏会话。
  *
+ * ## 🔴🔴 D244（2026-10-24）：**⛔ `agent/turn-stopping` 不得清表**
+ *
+ * **它看起来最像"收轮"，其实不是。** 宿主 `AgentLoop.turn()` 原文：
+ *
+ * ```js
+ * if (turnEnds && this.inbox.nextStep.length === 0) {
+ *     await this.dispatch.serial("agent/turn-stopping", { turn, signal })  // 暂停点
+ *     signal.throwIfAborted()
+ * }
+ * if (turnEnds && this.inbox.nextStep.length === 0) break                  // 只有 nextStep 空才真结束
+ * target = "next-step"                                                     // 否则同轮继续
+ * ```
+ *
+ * ⇒ 任何监听者在 `turn-stopping` 回调里 `steer`（往 `next-step` 塞消息）⇒ **同一轮继续跑**，
+ *   而 `turn/start` **不重发**、`agent/status` 也**不重发**（状态没变，还是 running）。
+ *
+ * 🔴 **实测代价**（真机 2026-10-24 18:1x）：`trajectory/rebuild.ts` 的 auto-continue 正是
+ *   在 `turn-stopping` 里 `agent.steer(...)` ⇒ 一条轮**连跑 9 分钟**
+ *   （`turn/start(32)` 18:12:00 → `turn/end(32)` 18:21:27），而本表**整段时间都是空的**
+ *   ⇒ `interrupted` 的排除失效 ⇒ `steer` 被塞进**正在跑的那一轮**（对它是误导）。
+ *   ⚠️ D243 之前这一格被 `agent/created` 的假置位**掩盖**；D243 删掉它 ⇒ 洞才暴露。
+ *   ⇒ **D243 的方向是对的，它只是揭开了一个更老的语义误解**。
+ *
+ * ⇒ **清理只认 `agent/status = idle`**（`kick()` 的 `finally` 一定 `setPhase({kind:'idle'})`）。
+ * ⚠️ **已知窄代价**：`runMaintenance` 期间 `status` 也是 `idle` ⇒ 压缩等内部工作时不置位。
+ *   判可接受：那时没有 CRO 该救的轮；方向落到那条**便宜**的误判（报"没跑"）。
+ * ⛔ **不要把 `clearTurnRunning` 加回 `turn-stopping`** —— 等于重新打开那个 9 分钟的洞。
+ *
  * ## 🔴 清理设计（**这是本模块最容易被做坏的地方**）
  *
  * ⚠️ 本容器栽过 **5 次**「只增不清」的病（wake-registry / keeper 三表 / pendingRebuilds …），
  * 而 `agent/disposed` 在 `HOST_EVENTS` 里的 impact 原文**恰好就是**
  * 「*per-会话内存态不清理（**长跑泄漏**）*」⇒ **本模块属于该已登记病族，必须在设计期就带清理**。
  *
- * **三层清理**：
- * 1. **正常路径**：`turn-stopping` ⇒ 清除该项；
+ * **三层清理**（D244 起第 1 层已从 `turn-stopping` 换成 `status=idle`）：
+ * 1. **正常路径**：`agent/status = idle` ⇒ 清除该项；
  * 2. **载体销毁**：`agent/disposed` / `session/disposed` ⇒ 清除该项；
  * 3. 🔴 **异常路径（前两层都漏掉的兜底）**：读取时按 **TTL** 过滤——
- *    超过 `TURN_TTL_MS` 未收到 `turn-stopping` 的项**视为不在跑**（并顺手清除）。
- *    触发场景：进程被 kill / 卡死 / 事件丢失。
+ *    超过 `TURN_TTL_MS` 未刷新的项**视为不在跑**（并顺手清除）。
+ *    触发场景：进程被 kill / 卡死 / 事件丢失（这些情况下 `idle` 永远不会来）。
  *
  * ## TTL 取值的**方向性判据**（R↓，别用"感觉合适"）
  *
@@ -58,7 +88,7 @@
  *   「漏排是硬故障、多排是常态成本」）。
  *
  * ⇒ **不确定时宁可报"没跑"**（选便宜的那种错）⇒ **TTL 不宜过长**。
- * 取 **30 分钟**：单轮静默超过 30 分钟仍无 `turn-stopping` 的情形罕见；
+ * 取 **30 分钟**：单轮静默超过 30 分钟仍无 `idle` 的情形罕见；
  * 而真发生了，代价只是一次可能多余的唤起（5min tick 限制频率，且 CRO 程序自己还能看
  * `pendingWakes` / `lastWakeAt` 二次判）。
  *

package/lib/index.js

@@ -8442,11 +8442,13 @@ function registerDisposer(ctx, label, cleanup) {
 *
 * | 事件 | 动作 | 出处 |
 * |---|---|---|
-* | `agent/status` = `running` | 标记「在跑」；`idle` ⇒ 清除 | 宿主 `AgentLoop.setPhase`：`emit("agent/status", { status })`，**只在状态真的变化时发** |
-* | `agent/turn-stopping` | 清除标记 | `host/contract.ts`（dsp 已在 `trajectory/rebuild.ts` 等 4 处订阅） |
+* | `agent/status` = `running` | **置位**「在跑」 | 宿主 `AgentLoop.setPhase`：`emit("agent/status", { status })`，**只在状态真的变化时发** |
+* | `agent/status` = `idle` | **清位** | 同上；`kick()` 的 `finally` 一定 `setPhase({kind:'idle'})` |
 * | `agent/disposed` | **清该载体的项** | `host/contract.ts` |
 * | `session/disposed` | **清该载体的项** | `host/contract.ts` |
 *
+* 🔴 **`agent/turn-stopping` 刻意不订阅** —— 它是「轮末暂停点」不是「轮结束」，见下方 D244 段。
+*
 * ## 🔴🔴 D243（2026-10-24）：**⛔ 不许用 `agent/created` 标记「在跑」**
 *
 * **修前**：`agent/created` 也 `markTurnRunning(...)`。**为什么这是错的** —— 该事件是
@@ -8467,18 +8469,46 @@ function registerDisposer(ctx, label, cleanup) {
 * **代价与兜底**：删掉 `agent/created` 后，本表在"宿主重启后、某会话真正开跑之前"为空
 * ⇒ 落到文件尾那条**便宜**的误判方向（报"没跑"），不会被拿来藏会话。
 *
+* ## 🔴🔴 D244（2026-10-24）：**⛔ `agent/turn-stopping` 不得清表**
+*
+* **它看起来最像"收轮"，其实不是。** 宿主 `AgentLoop.turn()` 原文：
+*
+* ```js
+* if (turnEnds && this.inbox.nextStep.length === 0) {
+*     await this.dispatch.serial("agent/turn-stopping", { turn, signal })  // 暂停点
+*     signal.throwIfAborted()
+* }
+* if (turnEnds && this.inbox.nextStep.length === 0) break                  // 只有 nextStep 空才真结束
+* target = "next-step"                                                     // 否则同轮继续
+* ```
+*
+* ⇒ 任何监听者在 `turn-stopping` 回调里 `steer`（往 `next-step` 塞消息）⇒ **同一轮继续跑**，
+*   而 `turn/start` **不重发**、`agent/status` 也**不重发**（状态没变，还是 running）。
+*
+* 🔴 **实测代价**（真机 2026-10-24 18:1x）：`trajectory/rebuild.ts` 的 auto-continue 正是
+*   在 `turn-stopping` 里 `agent.steer(...)` ⇒ 一条轮**连跑 9 分钟**
+*   （`turn/start(32)` 18:12:00 → `turn/end(32)` 18:21:27），而本表**整段时间都是空的**
+*   ⇒ `interrupted` 的排除失效 ⇒ `steer` 被塞进**正在跑的那一轮**（对它是误导）。
+*   ⚠️ D243 之前这一格被 `agent/created` 的假置位**掩盖**；D243 删掉它 ⇒ 洞才暴露。
+*   ⇒ **D243 的方向是对的，它只是揭开了一个更老的语义误解**。
+*
+* ⇒ **清理只认 `agent/status = idle`**（`kick()` 的 `finally` 一定 `setPhase({kind:'idle'})`）。
+* ⚠️ **已知窄代价**：`runMaintenance` 期间 `status` 也是 `idle` ⇒ 压缩等内部工作时不置位。
+*   判可接受：那时没有 CRO 该救的轮；方向落到那条**便宜**的误判（报"没跑"）。
+* ⛔ **不要把 `clearTurnRunning` 加回 `turn-stopping`** —— 等于重新打开那个 9 分钟的洞。
+*
 * ## 🔴 清理设计（**这是本模块最容易被做坏的地方**）
 *
 * ⚠️ 本容器栽过 **5 次**「只增不清」的病（wake-registry / keeper 三表 / pendingRebuilds …），
 * 而 `agent/disposed` 在 `HOST_EVENTS` 里的 impact 原文**恰好就是**
 * 「*per-会话内存态不清理（**长跑泄漏**）*」⇒ **本模块属于该已登记病族，必须在设计期就带清理**。
 *
-* **三层清理**：
-* 1. **正常路径**：`turn-stopping` ⇒ 清除该项；
+* **三层清理**（D244 起第 1 层已从 `turn-stopping` 换成 `status=idle`）：
+* 1. **正常路径**：`agent/status = idle` ⇒ 清除该项；
 * 2. **载体销毁**：`agent/disposed` / `session/disposed` ⇒ 清除该项；
 * 3. 🔴 **异常路径（前两层都漏掉的兜底）**：读取时按 **TTL** 过滤——
-*    超过 `TURN_TTL_MS` 未收到 `turn-stopping` 的项**视为不在跑**（并顺手清除）。
-*    触发场景：进程被 kill / 卡死 / 事件丢失。
+*    超过 `TURN_TTL_MS` 未刷新的项**视为不在跑**（并顺手清除）。
+*    触发场景：进程被 kill / 卡死 / 事件丢失（这些情况下 `idle` 永远不会来）。
 *
 * ## TTL 取值的**方向性判据**（R↓，别用"感觉合适"）
 *
@@ -8488,7 +8518,7 @@ function registerDisposer(ctx, label, cleanup) {
 *   「漏排是硬故障、多排是常态成本」）。
 *
 * ⇒ **不确定时宁可报"没跑"**（选便宜的那种错）⇒ **TTL 不宜过长**。
-* 取 **30 分钟**：单轮静默超过 30 分钟仍无 `turn-stopping` 的情形罕见；
+* 取 **30 分钟**：单轮静默超过 30 分钟仍无 `idle` 的情形罕见；
 * 而真发生了，代价只是一次可能多余的唤起（5min tick 限制频率，且 CRO 程序自己还能看
 * `pendingWakes` / `lastWakeAt` 二次判）。
 *
@@ -8604,10 +8634,6 @@ function registerCroTurnTracking(ctx) {
 		if (p.status === "running") markTurnRunning(id, Date.now());
 		else if (p.status === "idle") clearTurnRunning(id);
 	});
-	on("agent/turn-stopping", (payload) => {
-		const id = sessionIdOf$2(payload?.agent);
-		if (id) clearTurnRunning(id);
-	});
 	on("agent/disposed", (payload) => {
 		const id = sessionIdOf$2(payload?.agent);
 		if (id) clearTurnRunning(id);
@@ -9143,6 +9169,33 @@ function readTailEvents(logPath, want) {
 */
 const UNFINISHED_KINDS = /* @__PURE__ */ new Set(["interrupted", "aborted"]);
 /**
+* 尾部窗口里**最后一条 `turn/start` 的轮号**（D244 输出面，给调用方做 A108 的现场判断）。
+*
+* ⚠️ 与 {@link detectUnclosedTurn} 不同：**它不判"是否未收尾"**，只**如实报告窗口里有什么**。
+* 分开的理由：前者是判据（会 deciding 命中），后者是读数（零判据风险）——
+* 把读数塞进判据函数，调用方就没法在"判据因为窗口截断而沉默"时看出**为什么**沉默。
+*
+* @returns 轮号；窗口内没有 `turn/start` 或轮号缺失 ⇒ `null`
+*/
+function lastTurnStartTurnOf(events) {
+	for (let i = events.length - 1; i >= 0; i--) if (events[i]?.type === "turn/start") {
+		const t = events[i]?.data?.turn;
+		return typeof t === "number" ? t : null;
+	}
+	return null;
+}
+/**
+* 尾部窗口里**最后一条 `turn/end` 的 `reason.kind`**（同上：读数，不是判据）。
+* @returns kind；窗口内没有 `turn/end`（形态 B 的典型）或 kind 缺失 ⇒ `null`
+*/
+function lastTurnEndKindOf(events) {
+	for (let i = events.length - 1; i >= 0; i--) if (events[i]?.type === "turn/end") {
+		const k = events[i]?.data?.reason?.kind;
+		return typeof k === "string" ? k : null;
+	}
+	return null;
+}
+/**
 * 命中判定（**形态 A：靠 `turn/end.reason.kind`**）。
 *
 * ⚠️ **本函数刻意不判「开了没收」** —— 那种形态与「此刻正在跑」在日志读数上**不可分**，
@@ -9312,7 +9365,9 @@ function scanInterruptedSessions(projectDir, options = {}) {
 			* 实测（本机 10 个窗口内会话）：**4 条**只能由形态 B 抓到（末条 `tool/call` / `step/start`），
 			* 修前全落到 `skipped`。
 			*/
-			const hit = detectInterruptedEnd(events) ?? detectUnclosedTurn(events);
+			const formA = detectInterruptedEnd(events);
+			const formB = formA === null ? detectUnclosedTurn(events) : null;
+			const hit = formA ?? formB;
 			if (!hit) {
 				result.skipped++;
 				continue;
@@ -9324,7 +9379,10 @@ function scanInterruptedSessions(projectDir, options = {}) {
 				turn: hit.turn,
 				lastEventAt: typeof tailTime === "number" ? tailTime : null,
 				mtimeMs,
-				pendingTools: hit.pendingTools
+				pendingTools: hit.pendingTools,
+				form: formA !== null ? "interrupted-end" : "unclosed",
+				lastTurnEndKind: lastTurnEndKindOf(events),
+				lastTurnStartTurn: lastTurnStartTurnOf(events)
 			});
 		} catch (err) {
 			result.errors.push({
@@ -11088,13 +11146,20 @@ function renderInterruptedScan(input) {
 	for (const s of scan.sessions) {
 		const at = s.lastEventAt !== null ? new Date(s.lastEventAt).toISOString() : "(时间未知)";
 		lines.push(`  · ${s.sessionId}`);
+		const formText = s.form === "unclosed" ? "未收尾（窗口内无 turn/end）" : "有收尾（reason.kind 命中）";
 		lines.push(`      轮次 turn=${s.turn ?? "?"} · 末事件 ${at}`);
+		lines.push(`      形态 ${s.form} = ${formText} · 末条 turn/end.kind=${s.lastTurnEndKind ?? "null"} · 窗口内最后 turn/start=${s.lastTurnStartTurn ?? "null"}`);
 		if (s.pendingTools.length > 0) lines.push(`      ⚠️ 有调用无结果的工具（副作用未知）: ${s.pendingTools.join(", ")}`);
 	}
 	lines.push("");
-	lines.push("判据: 日志末条 `turn/end` 的 `reason.kind` ∈ {interrupted, aborted}，且其后没有新的 turn/start。");
+	lines.push("判据（两种形态，任一命中即收）:");
+	lines.push("  A `interrupted-end`: 末条 `turn/end.reason.kind` ∈ {interrupted, aborted}，且其后没有新的 turn/start。");
 	lines.push("      interrupted = 进程崩溃后被 resume 补收尾 ／ aborted = 被正常终止（重启、销毁、用户中断）。");
-	lines.push("      两者都表示「这一轮没跑完」，都会被收进来。");
+	lines.push("  B `unclosed`: 窗口内最后一条 `turn/start` 之后没有 `turn/end`（进程在轮内任意位置死掉，宿主来不及写收尾）。");
+	lines.push("🔴 **怎么用「形态」判该不该续**（调用方口径，ACC 不代判）:");
+	lines.push("  · 投递方式 `cold-resume` ⇒ 该会话**未被载入本进程**（死着）⇒ 真需要接走；");
+	lines.push("  · 投递方式 `live+steer` ⇒ 它在进程里 ⇒ ⚠️ **「载入」≠「空闲」**：");
+	lines.push("      `form=unclosed` 且 `窗口内最后 turn/start` == 命中 turn ⇒ 可能**那一轮正在跑** ⇒ 先核再注入。");
 	lines.push("🔴 本动作**只读** —— 是否续跑、续哪条、几点续，由调用方（你的认知轨迹）决定。");
 	lines.push("⚠️ 未完成的工具调用「副作用未知」≠「没执行」：它们可能已写文件 / 已发消息。");
 	lines.push("   续跑前应先核对副作用，而不是把那一轮整段重放。");

package/lib/trajectory/interrupted.d.ts

@@ -82,6 +82,30 @@ export interface InterruptedSession {
     mtimeMs: number;
     /** 该轮里"有 call 无 result"的工具名（**尽力而为**，可能因尾部窗口截断而不全） */
     pendingTools: string[];
+    /**
+     * 🔴 **命中形态**（D244 输出面，guard 2026-10-24 要的判别式 Y 的一半）。
+     *
+     * | 值 | 含义 | 末条 `turn/end` |
+     * |---|---|---|
+     * | `interrupted-end` | 形态 A：日志**有** `turn/end`，其 `reason.kind ∈ {interrupted, aborted}` | 存在，见 {@link lastTurnEndKind} |
+     * | `unclosed` | 形态 B：**开了没收** —— 窗口内最后一条 `turn/start` 之后没有 `turn/end` | **可能不存在** |
+     *
+     * 🔴 **为什么必须暴露它**：调用方（如 guard 的守护程序）要能自己判「该不该注入」，
+     * 而这两种形态的**可用判据完全不同** —— 形态 B 连"末条 turn/end 的 kind"都不存在。
+     * 把决定权留在 ACC 里 = 让调用方没法自己躲开误注入（D237 同族：读数要能改变下一步）。
+     */
+    form: 'interrupted-end' | 'unclosed';
+    /**
+     * 形态 A：末条 `turn/end` 的 `reason.kind`；形态 B：**恒为 `null`**（那时没有末条 turn/end）。
+     * ⚠️ `null` 在这里**承载语义**（"该格不存在"），不是"没读到"（D233 同族）——
+     * 两种成因在读数上不同：形态 B 的 `form` 会是 `unclosed`。
+     */
+    lastTurnEndKind: string | null;
+    /**
+     * 日志尾部窗口里**最后一条 `turn/start` 的轮号**；窗口内没有则 `null`。
+     * 与 {@link turn} 对照可看出「窗口是否把这一轮的起点挤出去了」（A108 的现场判据）。
+     */
+    lastTurnStartTurn: number | null;
 }
 /** 扫描结果 */
 export interface ScanResult {
@@ -99,6 +123,21 @@ export interface ScanResult {
     /** 扫描耗时（ms） */
     elapsedMs: number;
 }
+/**
+ * 尾部窗口里**最后一条 `turn/start` 的轮号**（D244 输出面，给调用方做 A108 的现场判断）。
+ *
+ * ⚠️ 与 {@link detectUnclosedTurn} 不同：**它不判"是否未收尾"**，只**如实报告窗口里有什么**。
+ * 分开的理由：前者是判据（会 deciding 命中），后者是读数（零判据风险）——
+ * 把读数塞进判据函数，调用方就没法在"判据因为窗口截断而沉默"时看出**为什么**沉默。
+ *
+ * @returns 轮号；窗口内没有 `turn/start` 或轮号缺失 ⇒ `null`
+ */
+export declare function lastTurnStartTurnOf(events: SessionEvent[]): number | null;
+/**
+ * 尾部窗口里**最后一条 `turn/end` 的 `reason.kind`**（同上：读数，不是判据）。
+ * @returns kind；窗口内没有 `turn/end`（形态 B 的典型）或 kind 缺失 ⇒ `null`
+ */
+export declare function lastTurnEndKindOf(events: SessionEvent[]): string | null;
 /**
  * 命中判定（**形态 A：靠 `turn/end.reason.kind`**）。
  *

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@shgroup/dsh-serenity-hooks",
-  "version": "1.95.0",
+  "version": "1.96.0",
   "description": "宁静号 ACC harness（Native Cordis 插件）——给 DeepSeek Harness 装一个「AI 工作区」：14 个工具（container_fs/cognitive_trajectory/dashboard/container_git/msm/praxis/ontology/serenity-skill-creator/cheap-worker/localstore/container_admin；另三个 im-bridge/acc-diag/diagram 按配置条件出现）+ 机械约束（安全模式/工作区围墙/密钥守卫/对外输出守卫）+ 认知轨迹日志与原地重建 + 网页登录入口/IM 桥/认知轨迹唤醒注册表。轨迹声明 = 轨迹目录下的 trajectory.json（约束面 + 旧标识 uid + CRO 机器绑定 cro.host；旧名 trajectory-constraint.json / skiff.json 仍在读取族里）；轨迹提示词 = 轨迹目录下的 PROMPT.md（一条轨迹「是谁、按什么章程工作」，所有轨迹通用，追加在容器层与质量层之后，不替换它们）。适配 DSH 0.1.7-rc.1 / 0.2.0-rc.1 / 0.2.1-rc.1（三档）。",
   "license": "MIT",
   "repository": {