thincoder 0.12.67 → 0.12.69

package/src/tui/subagent-freeze.mjs

@@ -12,7 +12,10 @@
 
 import { C } from "./ansi.mjs"
 import { closeOpenSubChildren } from "./subagent-children.mjs"
-// TUI-OOM-ROOTCAUSE（TUI.md §15.3.3 落点表末行）：state.lines 总量账——splice 插入路径过账。
+// #726 写点③：冻结载体行 ∥ 归档快照记录同点双动作（记录形/行集 = lifecycle-records 单一实现）
+import { pushRecord } from "@thincoder/core/context.mjs"
+import { subagentRecord } from "./lifecycle-records.mjs"
+// TUI-OOM-ROOTCAUSE（TUI-SESSION-VIEW.md §5.3 落点表末行）：state.lines 总量账——splice 插入路径过账。
 // zero-block 批（§6.8.3.2）：摘除路径负向出账——releaseLine（增删均须过账）。
 import { accountLine, releaseLine } from "./display-budget.mjs"
 
@@ -23,7 +26,7 @@ import { accountLine, releaseLine } from "./display-budget.mjs"
 // 子代理——agent._tuiState 缺省）→ 返 null = 无面板——消费面降级池视图/freeze 报
 // 不可用（T-P5 语义不变）。status 三态映射（纯函数）：done+awaitingDigest →
 // "awaitingDigest"；done → "done"；queued（waiting/等位未启动）→ "queued"；
-// 其余 → "running"（§20 D-SD3b queued 态入镜口径保留）。
+// 其余 → "running"（AGENT-LOOP-SUBAGENT.md §6.9 D-SD3b queued 态入镜口径保留）。
 
 /** 现算面板块列表（state.subTasks 活值纯推导——无时点快照语义）。 */
 export function computePanelBlocks(state) {
@@ -31,7 +34,7 @@ export function computePanelBlocks(state) {
   if (!subs) return null // 未挂载（headless/mock 无 TUI state）——无面板
   const blocks = []
   for (const sub of Object.values(subs)) {
-    // §20 D-SD3b：waiting/等位块（sub.queued——未启动）以 queued 态入镜（视图与面板
+    // AGENT-LOOP-SUBAGENT.md §6.9 D-SD3b：waiting/等位块（sub.queued——未启动）以 queued 态入镜（视图与面板
     // 所见一致——action:'panel' 视图 + freeze 门控读此态）。
     const status = sub.done ? (sub.awaitingDigest ? "awaitingDigest" : "done") : (sub.queued ? "queued" : "running")
     blocks.push({ key: sub.key, role: sub.role ?? null, status, startedAt: sub.started ?? Date.now() })
@@ -40,7 +43,7 @@ export function computePanelBlocks(state) {
 }
 
 /** §7.2.3 完成冻结——CLI-ACTIVITY-DEBLOAT F-2（2026-09-10）收窄：本函数是历史启发式
- *  入口（"最早 started"角色匹配——§15 async 化后的 7.2.3.1 实测误冻源：async eng-coder
+ *  入口（"最早 started"角色匹配——AGENT-LOOP-SUBAGENT.md §6.7.3 async 化后的 7.2.3.1 实测误冻源：async eng-coder
  *  先启动时 explore 完成会误冻其块）。评审 #4 路线定死：签名保留、函数体收窄为精确
  *  匹配校验——本签名无 key 参数，无从精确归属 → 恒 no-op 返 null，不再猜任何块
  *  （宁可 no-op 不误冻——被否决备选"保留兜底加告警日志"：冻错块是错动作，日志救不回）。
@@ -53,7 +56,7 @@ export function finishSubTask(state, roles, lastError = null) {
 }
 
 /** §7.2.3 sync spawn 完成精确冻结（2026-09-03）：按 relay key 精确 settle。finishSubTask
- *  的"最早 started"启发式只在面板单 running 块时成立——§15 async 化后 async eng-coder
+ *  的"最早 started"启发式只在面板单 running 块时成立——AGENT-LOOP-SUBAGENT.md §6.7.3 async 化后 async eng-coder
  *  （先启动）与 sync explore 并存时 explore 完成会误冻先启动的 eng-coder 块（7.2.3.1）。
  *  dispatch 沿 ctx._subagentKey（relayPrefix 去尾 = `role#N`）把 key 传进 onToolResult——
  *  有 key 即精确标 done（冻结载体进流 + 删条目由调用方 freezeDoneSubTasks 承接——与
@@ -71,29 +74,34 @@ export function finishSubTaskKey(state, key, lastError = null) {
   return sub
 }
 
-/** 冻结完成/中断区块进 state.lines（§7.2 D4——_frozenSubTask 载体行，渲染端
+/** 冻结完成/中断区块进 state.lines（docs/cli/design/TUI.md §6.8 D4——_frozenSubTask 载体行，渲染端
  *  render-conversation 识别；折叠交互 key = sub-${key} 与运行面板同源跨冻结延续）。
- *  §27 R23 D-R23c2 收尾语义（T-R23c.2a）：外层先冻结而内层子块未收尾（外层 abort/
+ *  docs/cli/design/TUI.md §6.8.2 R23 D-R23c2 收尾语义（T-R23c.2a）：外层先冻结而内层子块未收尾（外层 abort/
  *  中断）→ 子块随外层冻结定格 stopped（closeOpenSubChildren——不悬空）。SUBAGENT-TAIL：
  *  ② 语义照旧（防御性保留——无正读者、不设断言；显示契约 docs/design/TUI.md §6）。
  *  锚点插入（2026-09-03 修复轮）：settled 块带 _freezeAt（settle 时刻流位置）——
  *  splice 落位使挂起期补发冻结块位于其 digest 总览文本之前；无锚点尾推不变；
- *  多锚点批量冻结按降序（绝对位置 splice——先插小锚点会移走大锚点目标）。 */
-export function freezeSubTaskLines(state, sub) {
+ *  多锚点批量冻结按降序（绝对位置 splice——先插小锚点会移走大锚点目标）。
+ *  **本批 2026-10-01（台账 #754 —— 用户 02:21 裁 A）**：第三参 `anchor` = 显式落位锚
+ *  （起跑窗 = 起跑族尾——`digestTurn` 逐条传入；缺省 ⇒ `_freezeAt` settle 锚 ∥ 流末）——
+ *  落位语义 = 「固化块居本族文档序末元素之后」（与桌面 ∥ VSC 同形同义）。 */
+export function freezeSubTaskLines(state, sub, anchor = undefined) {
   if (!sub) return
   closeOpenSubChildren(sub) // R23 D-R23c2——开子块随外层冻结定格 stopped（SUBAGENT-TAIL：② 防御性保留）
   state._frozenSubKeys ??= new Set()
   state._frozenSubKeys.add(sub.key)
   sub.done = true
   sub.doneAt = sub.doneAt ?? Date.now()
-  const anchor = sub._freezeAt ?? state.lines.length
+  const at = anchor ?? sub._freezeAt ?? state.lines.length
   const line = {
     text: `subagent activity: ${sub.key}`, color: C.dim, _frozenSubTask: sub,
   }
-  state.lines.splice(Math.min(anchor, state.lines.length), 0, line)
-  // TUI-OOM-ROOTCAUSE（TUI.md §15.3.3 落点表末行「冻结子代理 splice 插入——经
+  state.lines.splice(Math.min(at, state.lines.length), 0, line)
+  // TUI-OOM-ROOTCAUSE（TUI-SESSION-VIEW.md §5.3 落点表末行「冻结子代理 splice 插入——经
   // syncLineBudget 同款对账」）：冻结行进 state.lines 总量账（splice 插入路径）。
   accountLine(state, line)
+  // #726 写点③：归档快照记录（与冻结载体行插入同点）；载体缺位（headless ∕ 子代理内）⇒ 核口零动作
+  pushRecord(state?._agent, subagentRecord(sub))
 }
 
 /** 键级墓碑（af 批 c2——§6.8.3.3 墓碑写入单点同址）：key 计入 `_frozenSubKeys` ⇒ 后续 token
@@ -182,23 +190,6 @@ export function freezeDoneSubTasks(state) {
   }
 }
 
-/** 按角色整组标记 done——consult N 并行 children 的会话级 settle（2026-08-30；
- *  F-2 收窄后 finishSubTask 已退役 no-op——本函数为唯一按角色完成面）。 */
-export function finishSubTasksByRole(state, roles, lastError = null) {
-  state.subTasks ??= {}
-  const roleSet = new Set(Array.isArray(roles) ? roles : [roles])
-  for (const sub of Object.values(state.subTasks)) {
-    if (!sub.done && roleSet.has(sub.role)) {
-      sub.done = true
-      sub.doneAt = Date.now()
-      sub.currentTool = null
-      sub.approval = null
-      if (lastError) sub.lastError = lastError
-      sub.blockEpoch = (sub.blockEpoch ?? 0) + 1
-    }
-  }
-}
-
 /** 回合尾/挂起退出清扫（runAgentTurn finally / suspensionSession finally）：冻结全部
  *  剩余块——中断（Ctrl+C/错误）不留下钉住输入框的 ghost；未 done 者
  *  lastError="interrupted"（Ready 态跳过）。AGENT-LOOP-ASYNC-POOL.md §6.8：挂起自然退出时本函数只兜底
@@ -227,16 +218,27 @@ export function freezeAllSubTasks(state) {
 /** 消化完成逐条冻结回收（2026-09-03 实测修订 + round1 #1 位置裁定）：digest/会话内
  *  用户回合消化完 pending 条目（run 首行已注入）后调用——把"已消化但仍驻留面板"的
  *  awaitingDigest 块立即冻结进流（不等池空——块回收与池空解耦；池空 freezeAllSubTasks
- *  仅兜底未消化残项）。归属不变式：会话内任何 run 开始前 pinned 块的条目必在 pending
- *  （settle 即移交）；run 消费后条目不在 pending 的 pinned 块 = 本 run 消化者——无需
- *  快照即精确归属。位置（round1 #1 裁定——与早版文本的矛盾已消解；digest 面 =
- *  AGENT-LOOP-ASYNC-POOL.md §6.8）：**settle 锚点 splice 落位——digest 总览文本之前**——同
- *  §7.2 D4 修复轮/D-S8 锚点语义（T-S6/T-S14 位置断言同口径）——锚点降序逐块冻结
+ *  仅兜底未消化残项）。**归属 = `consumed` 实参**（核 `hooks.reclaim(consumed)` 直传——本 run
+ *  已消费条目；consult 同族收齐批 · #748 收正：原「pending 全表反查」被否——回收点判据与两端不同源）。
+ *  **本批 2026-10-01（台账 #754）**：起跑窗（`digestTurn`）已逐条冻结起跑快照
+ *  ⇒ 本径 = **兜底幂等**（起跑窗漏口 ∥ 迟结算面——已冻结者已出 `subTasks` ⇒ 零命中）。
+ *  **consult 条目（#748）**：会话本体无行——按其 `childIds` 展开子块键（`consult#<N>`——子块各居一行）。
+ *  位置（round1 #1 裁定——与早版文本的矛盾已消解；digest 面 =
+ *  AGENT-LOOP-ASYNC-POOL.md §6.8）：**settle 锚点 splice 落位**——启动窗径居起跑族尾（显式锚）∥
+ *  本径 = settle 锚（迟结算块之 settle 位次在族输出区内 ⇒ 恒居本族之后）；锚点降序逐块冻结
  *  （splice 绝对位互不位移）。@returns {number} 回收块数 */
-export function freezeReclaimDigestedBlocks(state, pendingList) {
-  const pend = pendingList ?? []
+export function freezeReclaimDigestedBlocks(state, consumed) {
+  const keys = new Set()
+  for (const e of consumed ?? []) {
+    if (e === null || e === undefined || e.id === undefined || e.id === null) continue
+    if (e.role === "consult") { // #748：会话本体无行——展开子块键（childIds = 子块 relay 号）
+      for (const cid of e.childIds ?? []) keys.add(`consult#${cid}`)
+      continue
+    }
+    keys.add(`${e.role ?? "subagent"}#${e.id}`)
+  }
   const targets = Object.values(state.subTasks ?? {})
-    .filter((s) => s.awaitingDigest && !pend.some((e) => `${e.role}#${e.id}` === s.key))
+    .filter((s) => s.awaitingDigest && keys.has(s.key))
     .sort((a, b) => (b._freezeAt ?? -1) - (a._freezeAt ?? -1)) // 锚点降序（同 freezeAllSubTasks）
   for (const sub of targets) {
     freezeSubTaskLines(state, sub) // splice 落 settle 锚点（digest 总览文本之前）

package/src/tui/subagent-panel.mjs

@@ -1,18 +1,18 @@
 /**
- * subagent-panel.mjs — 运行中子 agent 固定底部面板渲染（AGENT-LOOP.md §7.2.1 D1/D2）。
+ * subagent-panel.mjs — 运行中子 agent 固定底部面板渲染（docs/cli/design/TUI.md §6.8）。
  *
  * 面板位于 conversation 与 todo 之间（布局顺序 header → conversation → 面板 →
  * todo → picker → permission → queue → input → status），高度完全自适应 = 全部
  * 运行中区块的渲染行数（F2，会话区被挤小）；无运行中区块 → 返回 []（F6 空态，
  * 无悬空分隔线）。子 agent 完成后立即冻结进会话流（subagent-blocks.mjs
- * freezeSubTaskLines，✓ 头 + 可展开，§7.2 D4 现状不变），面板下一帧自然移除
+ * freezeSubTaskLines，✓ 头 + 可展开，现状不变），面板下一帧自然移除
  * 该区块（F5）——本模块只渲染 `!done` 条目。AGENT-LOOP-ASYNC-POOL.md §6.8 T-S14 中间态例外：挂起期已结算
  * 区块（sub.done && sub.awaitingDigest）冻结被延迟，驻留面板显示
  * "done · awaiting digestion"，池空补发冻结后才移除。
  *
  * AGENT-LOOP-SUBAGENT.md §6.7.2 D-M7 ⏹：运行中（非 done）折叠头右缘停止标记（dim，仅折叠头）——点击 =
  * cancel（mouse.mjs 列级命中 _stopCol——不触发折叠翻转）。
- * SUBAGENT-TAIL（supersede §27 R23 子块段方案；显示契约 docs/design/TUI.md §6）：嵌套
+ * SUBAGENT-TAIL（supersede §6.8.2 R23 子块段方案；显示契约 docs/cli/design/TUI.md §6.8）：嵌套
  * 子代理内容行并入本块 blocks（数据层——append 目标上移）——面板与冻结渲染只读
  * sub.blocks（无子块段/无子块头/无每层折叠键）；折叠键只剩 `sub-${key}`（面板 ↔
  * 冻结同键——D5 无缝衔接不变）。
@@ -22,7 +22,7 @@
  * 渲染）——若本函数放 render-frame 会引入 layout↔render-frame 循环依赖。
  *
  * 区块渲染逻辑自 render-conversation.mjs buildConvLines runningSubs 段迁移
- * （§7.2.1 D2）：折叠头 `[▶/⏸ key · model · elapsed · turn] state`（⏸ = 等待
+ * （docs/cli/design/TUI.md §6.8 D2）：折叠头 `[▶/⏸ key · model · elapsed · turn] state`（⏸ = 等待
  * 审批态图标，sub.approval 非空时显示）+ tail 3；展开态经 fold-block.mjs 公共
  * 组件（renderBlockTimeline + renderExpandedBlock，60% 封顶 + 块内滚动）。
  * 折叠状态 key = `sub-${key}` 跨 turn 保持（D5，与冻结区块同一 key——冻结边界
@@ -43,7 +43,7 @@ export function renderSubagentPanel(state, cols, maxRows) {
   const runningSubs = Object.values(state.subTasks ?? {}).filter((s) => !s.done || s.awaitingDigest)
   if (runningSubs.length === 0) return []
   const out = []
-  // 面板顶部边界线（现状分隔线语义迁移，§7.2.1 D2/NF2）——面板存在即画线，
+  // 面板顶部边界线（现状分隔线语义迁移，docs/cli/design/TUI.md §6.8 D2/NF2）——面板存在即画线，
   // 无运行区块时面板整体不渲染（F6：无悬空线）。
   out.push({ text: "─".repeat(Math.max(1, cols - 1)), color: C.dim, _skipDimFold: true })
   for (const sub of runningSubs) {
@@ -56,14 +56,14 @@ export function renderSubagentPanel(state, cols, maxRows) {
     // AGENT-LOOP-SUBAGENT.md §6.7.2 D-M7b ②: sync/async 显式头标（B 形态——不靠"没标推断"）——async 由
     // ⟦ev⟧async 标记置位；sync 区块（无标记）显式标 sync。真实 subagent 角色
     // （escalate/consult/compress 等复用面板槽的条目无语义——非 spawn 角色豁免）；
-    // §11.2 D-24b：role "advisor" 伪角色同面板（块/⏹/冻结复用——ruling ②-4 A）。
+    // AGENT-LOOP-ASYNC-POOL.md §6.10 D-24b：role "advisor" 伪角色同面板（块/⏹/冻结复用——ruling ②-4 A）。
     // 冻结后保留（与 model 标识同生命周期——render-conversation frozenSubTaskLines
     // 同款 modePart）。**颜色后置注入**（code review 🔵#4）：bracket 宽度预算用纯文
     // 本（dim ANSI 内嵌会被 sliceByWidth 截断在 restore 之前 → 行尾残留 dim）——
     // 截断后对完整存活的 mode word 单独套 dim + 恢复行色（自闭合——截断落在词内
     // 则 replace 不命中 → 无 ANSI 泄漏，词以行色显示）。
     const isSubRole = SUBAGENT_ROLES.includes(sub.role) || sub.role === "advisor"
-    // §20 D-SD3b waiting 块（sub.queued——排队 spawn 返回即建——未启动无 relay 流）：
+    // AGENT-LOOP-SUBAGENT.md §6.9 D-SD3b waiting 块（sub.queued——排队 spawn 返回即建——未启动无 relay 流）：
     // 括号状态词 = waiting（依赖/域冲突等位——detail 即原因）或 queued（槽满等位——
     // 状态区显示 position）；不显示 sync/async 词（尚未启动——无 async 标记可言——
     // sync 词会误导：async spawn 排队的块不是 sync）；⏹ 门控（QUEUED-VISIBILITY F-2——