@zhushanwen/subagent-core 0.7.1 → 0.9.0

package/src/execution/notifier.ts

@@ -28,6 +28,33 @@ import { deriveOutcome } from "./execution-record.ts";
 import { getBoundNotifyLedger, NOTIFY_CUSTOM_TYPE } from "./notify-ledger.ts";
 import type { ClosedReason, ExecutionOutcome } from "./types.ts";
 
+// ============================================================
+// [T4① / PS-2] notify 门（H1 U2 自 subagent-service.ts 迁入——Continuation
+// 成功/失败分支双闸共用；原位置 re-export 保持既有 import 路径不变）
+// ============================================================
+
+/** notify 门拦截集：disposeAllRecords 因这两类原因关闭的 record，其迟到的
+ *  轮次完成回注不得注入新 session——/new、/fork 的决策（[v4 A-6]）
+ *  是「被关 record 的告知改由 list 的 closedReason 表达」，不主动通知；旧门只排除
+ *  cancelled，parent-new/parent-fork 放行 → 新对话被「Subagent X failed: closed due to
+ *  parent-new」的僵尸回执 triggerTurn 唤醒，已废弃会话的通知注入新上下文。 */
+const NOTIFY_BLOCKED_CLOSED_REASONS: ReadonlySet<ClosedReason> = new Set(["parent-new", "parent-fork"]);
+
+/**
+ * [T4① / PS-2] 轮次完成回注的 notify 门（按 closedReason 白名单放行）。
+ *
+ * cancelled（cancelBackground 自己 notify）与 parent-new/parent-fork（编排性关闭，
+ * 告知由 list 的 closedReason 表达）不放行；其余（undefined = 本路径抢到 CAS 尚未
+ * 终态化的迟到回调、user-close/gc 等真实终态）照旧回注。导出供测试与调用点复用。
+ * [H1 U2] 消费面扩为三处：Continuation 成功分支（route 前）、失败分支（独立载荷
+ * 发出前，B#19 投递门照迁移）、泛化派发主干尾部（one-shot 回注，现状不变）。
+ */
+export function notifyGateAllowsDelivery(closedReason: ClosedReason | undefined): boolean {
+  if (closedReason === undefined) return true;
+  if (closedReason === "cancelled") return false;
+  return !NOTIFY_BLOCKED_CLOSED_REASONS.has(closedReason);
+}
+
 /** U4：delivery warn 出口注入用——facade 同 component 同引用，与 index.ts 的
  *  getLogger("subagents") 共享单例；configureCore 后透明切换到宿主实现。 */
 const notifyLogger = getLogger("subagents");
@@ -78,6 +105,14 @@ export interface BgNotifyRecord {
    *  回执匹配 / 幂等去重共用——details 携带（不进文案，G4 字节锁定不受影响），
    *  重复注入条目凭此可识别为同一条（G2 at-least-once 幂等键）。 */
   notifyId?: string;
+  /**
+   * [drain-drop 修复] notifyId 构造的显式覆盖（notify() 优先消费；缺省 = 既有
+   *  `id` / `id:round` 语义零变化）。供「同轮先导通知与派生通知必须区分」的场景使用：
+   *  现行唯一消费方 = drain 队列丢弃通知（`${id}:${round}:drain-drop`）——同轮
+   *  settleRoundFailed 失败通知缺省 key 为 `id:round`，丢弃通知若沿用同 key 会被
+   *  ledger/内核按 key 永久去重吞掉（「队列消息被丢」的显式反馈永不可达）。
+   */
+  dedupKey?: string;
   /** [C-2] close 终态通知的轮次统计（文案 "completed after N rounds." 用）。
    *  仅 chatMode close 语义（notifyClosed）构造时携带——此时 dedup 身份 round 已被
    *  置 undefined（与轮次通知的 id:round key 区分，终态不被吞），轮数改由本字段进
@@ -507,7 +542,10 @@ export function createNotifier(host: NotifierHost): BgNotifier {
       // 构造）。running（轮次通知）语义上无 outcome，不物化。消源自 record 的浅拷贝
       // ——不改写入方对象（BgNotifyRecord 由调用方持有）。notifyId 同批物化（U2：
       // dedupe key 与账本身份键同源，details 携带供回执匹配）。
-      const notifyId = record.round != null ? `${record.id}:${record.round}` : record.id;
+      // notifyId 构造：dedupKey 显式覆盖优先（drain 丢弃通知等派生通知的独立去重
+      // 身份），缺省维持既有 `id:round` / `id` 语义（既有通知面 key 零变化）。
+      const notifyId =
+        record.dedupKey ?? (record.round != null ? `${record.id}:${record.round}` : record.id);
       const payload: BgNotifyRecord =
         record.status === "closed"
           ? { ...record, outcome: record.outcome ?? deriveOutcome(record.closedReason, record.error), notifyId }

package/src/execution/notify-host.ts

@@ -25,7 +25,7 @@ export interface PiLike {
     options?: { triggerTurn?: boolean; deliverAs?: "steer" | "followUp" | "nextTurn" }, // g4-allow: 类型注解——PiLike 接口形状（pi.sendMessage 签面子集），非投递调用
   ): void;
   /** 订阅 pi 事件（D8：notifier 的 settled 边沿订阅用 'agent_settled'）。
-   *  pi 0.84.1 的 on 返回 void 且无 off——退订语义由调用侧 disposed 标志包装兑现。
+   *  pi 0.84.4 的 on 返回 void 且无 off——退订语义由调用侧 disposed 标志包装兑现。
    *  可选：旧测试 mock pi 可能未实现 on，缺省时 notifier 退化为内核退避路径。 */
   on?(event: "agent_settled", handler: () => void): void;
 }
@@ -122,11 +122,19 @@ export function createNotifyHost(deps: NotifyHostDeps): NotifyHost {
    *  正在执行（running + 活进程 + 非 timer-armed）返回 undefined（调用方 notifyComplete 跳过）。
    *  SP-1: closed 统一终态，closedReason 由 BgNotifyRecord 携带。 */
   const toNotifyRecord = (record: ExecutionRecord): BgNotifyRecord | undefined => {
+    // [H2 W2 / D6] workflow origin 回注全静默（单漏斗 origin gate）：完成/关闭/失败
+    // 回注经此全部拒绝——workflow agent 结果由脚本返回值承载（无 message 对端），
+    // 回注只会把已隐藏的 record 通知主 agent（设计 D6 出口枚举化；失败回注同静默，
+    // v3 扩）。单漏斗盖住全部调用点（notifyComplete/notifyClosed/collectCoordinator
+    // route 六调用面全经此，禁止散改调用点）；监督器 steer 通知族不经本漏斗——随
+    // adopt 豁免对 workflow record 零触发。
+    if (record.origin === "workflow") return undefined;
     const snap = snapshot(record);
     const s = snap.status;
     // [N1] isResumable 放行：SP-5 one-shot 成功完成后 finalizeRoundToIdle 把 record 回退
-    // running-resumable——进程已死且永不 arm idle timer（armIdleTimer 只在 agent_settled 的
-    // chatMode 分支调用），旧守卫（closed / isIdle only）对其恒拒绝 → 完成通知静默丢失，
+    // running-resumable——进程已死且永不 arm idle timer（armIdleTimer 的 arm 链随 H1 U6
+    // 长驻退役失活，全仓无生产调用，见 lifecycle-predicates.ts 头注释），旧守卫
+    // （closed / isIdle only）对其恒拒绝 → 完成通知静默丢失，
     // 而 one-shot 失败走 finalizeRecord 保持 closed 反而通知——与 tool 契约「runs once,
     // notifies on completion」完全倒置。isResumable = running + 无活进程，恰为该完成态；
     // 在跑轮的 record 有活进程，不会被误放行。
@@ -177,7 +185,8 @@ export function createNotifyHost(deps: NotifyHostDeps): NotifyHost {
      *  收不到带指针行的终态通知（审查 C-1）。故 round 置 undefined（key 回退为裸 id），
      *  轮数改经 totalRounds 进文案 "completed after N rounds."（C-2）。
      *
-     *  仅 chatMode close 语义调用（closeChatIdle / closeAfterRoundSettled 终态化成功后）。
+     *  仅 chatMode close 语义调用（closeChatIdle 终态化成功后；[H1 U6] 旧
+     *  closeAfterRoundSettled 消费点已随 chat 域退役）。
      *  one-shot 显式拒绝（G4：one-shot close 路径现状无终态通知，字节不变）；cancel 走
      *  cancelBackground 自己的 notifyComplete，不经本方法。幂等性：两条 close 路径均由
      *  closeSubagent 的 status 分流守卫（closed 后幂等 no-op）/ CAS 抢锁保证只执行一次，

package/src/execution/path-encoding.ts

@@ -19,6 +19,12 @@ export function encodeCwd(cwd: string): string {
 /**
  * 获取 subagent session 持久化目录路径。
  *
+ * C-ext-21（跨包隐式契约）：本函数产出的 `subagents/<enc>/sessions` 路径形态被
+ * extensions/universal/rename-session/src/llm.ts 的 isSubagentSession 嗅探
+ * （路径含 `<sep>subagents<sep>` 段 → 判为 subagent 会话并跳过重命名）——改本布局
+ * （移动/改名 subagents 段）必须同步该嗅探逻辑，反之亦然；约束登记见
+ * docs/constraints.json C-ext-21，设计依据 rename-session-three-modes.md §3.3 D7。
+ *
  * D-004: 用主 cwd 编码——保证同一主 cwd 下所有 subagent 的 session 文件
  * 存放在同一目录，便于 session-file-gc 统一清理。
  * [MF-3] worktree 模式下调用方必须传树根 cwd（ROOT mainCwd，经 PI_SUBAGENT_ROOT_CWD

package/src/execution/record-entry.ts

@@ -17,6 +17,7 @@ import type {
   DisplayItem,
   ExecutionMode,
   ExecutionStatus,
+  RecordOrigin,
   SubagentRecord,
 } from "./types.ts";
 
@@ -30,10 +31,11 @@ export const SUBAGENT_RECORD_CUSTOM_TYPE = "subagent-record";
  * `subagent-record` entry 的 data schema（v1）。
  *
  * = 完整 SubagentRecord 快照（GUI 侧列表/详情需要的全部持久化字段）+ 版本号。
- * 显式排除三个非持久化字段（与 SubagentRecord 的差集）：
+ * 显式排除两个非持久化字段（与 SubagentRecord 的差集）：
  *   - currentActivity：running 时的瞬时流态，重开 session 无重建价值；
- *   - externalInstance：跨重启探活态（pid/startedAt），由 .alive sidecar 重建；
  *   - worktreeHandle：不可 JSON 序列化的运行时句柄（布尔投影 worktree 保留）。
+ *（[U4a / D3b (a)] externalInstance 投影已随字段链删除——探活态由 .alive sidecar
+ * 现查探针承担，不再进 record 快照。）
  *
  * undefined 字段经 JSON.stringify 自然缺省（与 SubagentRecord 重建侧语义一致）。
  *
@@ -109,6 +111,18 @@ export interface SubagentRecordEntryData {
    * 未离开批 / 旧 entry 零迁移。消费方：U5 E1 重建扫描只收无标记成员（防双重通知）。
    */
   batchFinalized?: boolean;
+  /**
+   * 来源身份（H2 W1，设计 subagent-workflow-record-unification §3.3 D1）。
+   * undefined（存量 entry）= "tool" 语义，消费方零迁移。重启后 origin 过滤面
+   * （subagents list / renderer / TUI）生效的唯一持久化载体——漏本字段则重启后
+   * workflow record 逃过全部投影过滤。
+   */
+  origin?: RecordOrigin;
+  /**
+   * origin="workflow" 时所属 workflow run id（W2 写入）；tool 来源恒缺省。
+   * W2/W3 run 视图按 collectRecordsByParentRunId 从本字段回查本 run 的 record 集。
+   */
+  parentRunId?: string;
 }
 
 /** SubagentRecord → 自描述 entry data（快照投影，不 mutate 源）。
@@ -150,5 +164,9 @@ export function toSubagentRecordEntry(record: SubagentRecord): SubagentRecordEnt
     // 旧记录/旧 entry 序列化产物字节不变（零迁移）。
     collectMode: record.collectMode,
     batchFinalized: record.batchFinalized,
+    // 来源身份两字段（H2 W1）：undefined 经 JSON.stringify 自然缺省，存量 entry
+    // 序列化字节不变（零迁移）。
+    origin: record.origin,
+    parentRunId: record.parentRunId,
   };
 }