@cocorograph/hub-agent 0.7.18 → 0.7.19

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cocorograph/hub-agent",
-  "version": "0.7.18",
+  "version": "0.7.19",
   "description": "Hub Hosted Cockpit のローカル常駐 agent。Hub と outbound WSS で接続し、ローカルの tmux/pty を中継する。",
   "type": "module",
   "license": "UNLICENSED",

package/src/main.mjs

@@ -71,6 +71,7 @@ import {
   listWorktreeNameHistory,
   listWorktreeStubs,
   isPaneRunningClaude,
+  paneClaudeAliveOrUnknown,
   rebindClaudeSession,
   shouldSkipRebindRespawn,
   recoverTuiInput,
@@ -667,6 +668,11 @@ export async function startDaemon({ version, ptyModule, claudeSdk } = {}) {
     // セッションの jsonl」で判定するために渡す (cwd dir 内の別 jsonl 取り違え=メタ欠陥#1 の根治)。
     boundSessions: ctx.tuiReboundSessions,
   })
+  // T1: tmux.list_sessions poll fallback で turn_active/proc_busy/child_busy/stalled を
+  // 同梱できるよう、state loop の最新値スナップショット accessor を ctx に晒す。
+  // push 専用の 4 信号を poll でも回復可能にする (生産点は state loop で単一のまま、
+  // 取り出し口を 2 つに増やすだけ = §5 の用途別出し分けを侵さない)。
+  ctx.getSessionStateSnapshot = stateLoop.getSnapshot
   // bundle hook (cockpit_session_event_hook.py) が /tmp/cockpit_session_events/<name>.json
   // に書き出す UserPromptSubmit / Stop / ready の event を fs.watch で拾って WS push する。
   // text マーカー判定 (detectStatusFromText) より精度が高い「ターン境界」の signal。
@@ -1192,7 +1198,47 @@ const STATE_TRACE = process.env.HUB_AGENT_STATE_TRACE === "1"
 // TURN_STALL_WARN_MS と揃える。
 const STALL_WARN_MS = Number(process.env.HUB_AGENT_STALL_WARN_MS ?? 90000)
 
-function startStateLoop({ client, plugins, logger, intervalMs, claudeBridge, readinessTracker, boundSessions }) {
+/**
+ * tmux.list_sessions 応答に同梱する session オブジェクトを組み立てる純関数。
+ *
+ * T1: push 専用だった 4 信号(turn_active/proc_busy/child_busy/stalled)を poll 応答にも
+ * 同梱して、WS 再接続直後/push 取りこぼし時のドット系古値固着を解消する。snapshot 未取得
+ * (新規セッション cold window <5s) なら 4 信号を付与せず、frontend は legacy フォールバック
+ * (現状維持で退行なし)。設計正本 §5 の不変条件は侵さない(生産点は startStateLoop で単一の
+ * まま、取り出し口を push と poll の 2 つに増やすだけ)。
+ *
+ * 純関数として export することでテスト容易性を上げる(getSessionStateSnapshot を mock で
+ * 注入し、snapshot 有/無/null/欠落フィールドの各ケースで挙動を検証可能)。
+ *
+ * @param {Array} sessions tmux.list_sessions が返した素の session 行
+ * @param {Map<string, object>} lastEventByName session_name → 最新 hook event
+ * @param {((name: string) => object | null) | undefined} getSnap state loop の getSnapshot
+ *        accessor。undefined のときは 4 信号を一切付与しない(snapshot 経路 OFF と等価)
+ */
+export function enrichTmuxSessionsForListResponse(
+  sessions,
+  lastEventByName,
+  getSnap,
+) {
+  return sessions.map((s) => {
+    const base = {
+      ...s,
+      last_event: lastEventByName.get(s.name) || null,
+    }
+    if (!getSnap) return base
+    const snap = getSnap(s.name)
+    if (!snap) return base
+    // snapshot は startStateLoop.getSnapshot が shallow copy で返しているため、ここでの
+    // 上書きが lastByName を汚染することはない(症状A/B 再発防止)。
+    base.turn_active = snap.turn_active
+    base.proc_busy = snap.proc_busy
+    base.child_busy = snap.child_busy
+    base.stalled = snap.stalled
+    return base
+  })
+}
+
+export function startStateLoop({ client, plugins, logger, intervalMs, claudeBridge, readinessTracker, boundSessions }) {
   const lastByName = new Map() // session_name → {status, context_pct}
   const lastTurnAtByName = new Map() // session_name → 最後に event ファイル化した turnAt
   // (i) session_name → {sig, changedAt}: 出力領域署名の最終変化時刻 (出力フロー検知用)。
@@ -1312,13 +1358,21 @@ function startStateLoop({ client, plugins, logger, intervalMs, claudeBridge, rea
         //    bound session_id を渡すことで、同一 cwd dir 内の別セッション / サブエージェント /
         //    headless `claude -p` / `/clear` ローテの jsonl を「最新」と取り違えて turn_active を
         //    誤る (cross-activity contamination = メタ欠陥#1) のを防ぐ。
+        //    T2: tool_use 末尾 active 中の中断マーカー無しクラッシュ判定のため、tmux pane_current_command
+        //    から claude プロセス生存を 3 値で返す paneClaudeAliveOrUnknown を probe として渡す。
+        //    'dead' (シェル前景)→active=false に倒す。'alive'/'unknown' は active 維持(偽陰性ゼロ)。
         let turnActive = null
         if (chat?.status === "processing") {
           turnActive = true
         } else if (chat?.status === "waiting" || chat?.status === "idle") {
           turnActive = false
         } else if (s.cwd) {
-          turnActive = await turnActiveForCwd(s.cwd, boundSessionId(boundSessions, s.session_name))
+          turnActive = await turnActiveForCwd(
+            s.cwd,
+            boundSessionId(boundSessions, s.session_name),
+            s.session_name,
+            { paneAliveProbe: paneClaudeAliveOrUnknown },
+          )
         }
 
         const prev = lastByName.get(s.session_name)
@@ -1417,6 +1471,23 @@ function startStateLoop({ client, plugins, logger, intervalMs, claudeBridge, rea
       clearTimeout(t0)
       client.off?.("open", onReopen)
     },
+    /**
+     * tmux.list_sessions poll fallback 用の session.state snapshot を返す。
+     *
+     * 背景: session.state push は差分送信(prev 比較で変化時のみ送信)のため、WS 再接続
+     * 直後や push 取りこぼし時にドット権威信号(turn_active/proc_busy/child_busy/stalled)が
+     * 古値固着し得る(2026-06-28 ワークフローで検出した「事故的非対称」)。tmux.list_sessions
+     * poll の応答にこれら 4 信号を同梱することで、status/context_pct と同じ精度で poll 経路
+     * からも最新化できるようにする(T1)。
+     *
+     * shallow copy で返却して呼び出し側の mutate が lastByName を汚染するのを防ぐ
+     * (state loop の差分送信ロジックが prev 比較で誤判定するのを避ける = 症状A/B 再発防止)。
+     * 名前が未知 or まだ tick が走っていなければ null(frontend は legacy フォールバックへ)。
+     */
+    getSnapshot(name) {
+      const entry = lastByName.get(name)
+      return entry ? { ...entry } : null
+    },
   }
 }
 
@@ -2922,10 +2993,11 @@ async function dispatch(msg, ctx) {
           // fs.watch 由来の session.event push は揮発性のため、frontend が新規
           // マウントすると過去 event を取れず全グレー表示になる事象を解消する。
           const lastEventByName = await readAllSessionEvents()
-          const enriched = sessions.map((s) => ({
-            ...s,
-            last_event: lastEventByName.get(s.name) || null,
-          }))
+          const enriched = enrichTmuxSessionsForListResponse(
+            sessions,
+            lastEventByName,
+            ctx.getSessionStateSnapshot,
+          )
           // cockpit (PR 1719) で未起動 worktree をサイドバーに可視化するために
           // filesystem 上は存在するが tmux session が無い worktree dir のリストを
           // 同梱する。古い cockpit は worktree_stubs を無視するので互換 OK。

package/src/tmux.mjs

@@ -1438,6 +1438,51 @@ export async function isPaneRunningClaude(name, opts = {}) {
   }
 }
 
+/**
+ * pane_current_command から claude プロセスの生存を 3 値で返す (T2)。
+ *
+ * `isPaneRunningClaude` は判定不能時に false (= respawn 許可) に倒す保守的な 2 値版で、
+ * `shouldSkipRebindRespawn` の安全弁(「動いている claude は誰の要求でも殺さない」)に
+ * 使われている。これに対して T2 (`scanTurnActive` の tool_use 末尾クラッシュ判定) は
+ * 「claude が確実に死んだ ('dead') ときだけ active=false に倒し、判定不能 ('unknown') /
+ * 生存 ('alive') では active を維持する」という symmetry が逆向きの設計が必要で、
+ * 既存 isPaneRunningClaude の意味論を再利用すると tmux 失敗 → false → 誤って idle 化
+ * = 偽陰性増加 = 中断後の長時間ツール中ペインを灰化させてしまう。
+ *
+ * 3 値の意味:
+ *   - 'dead'    : pane の前景がシェル (fish/bash/zsh/sh/dash/tmux/login) = claude プロセス
+ *                 突然死 (中断マーカー無しの crash) でシェルに戻った確証あり
+ *   - 'alive'   : pane の前景がシェル以外 (claude / claude.exe / node 等) = 生存
+ *   - 'unknown' : tmux 失敗 / 空出力 = 判定不能 = 安全側で active 維持に倒す
+ *
+ * 既存 isPaneRunningClaude は触らない (shouldSkipRebindRespawn の意味論互換のため
+ * 独立 export とする)。命名 (`AliveOrUnknown`) も呼び出し側で「3 値である」ことを
+ * 明示するため。
+ *
+ * @param {string} name
+ * @param {{ tmux?: string }} [opts]
+ * @returns {Promise<'alive' | 'dead' | 'unknown'>}
+ */
+export async function paneClaudeAliveOrUnknown(name, opts = {}) {
+  if (!name) return "unknown"
+  try {
+    const { stdout } = await execFileP(tmuxBin(opts), [
+      "display-message",
+      "-p",
+      "-t",
+      `${name}:`,
+      "-F",
+      "#{pane_current_command}",
+    ])
+    const cmd = (stdout || "").trim().toLowerCase()
+    if (!cmd) return "unknown"
+    const SHELLS = new Set(["fish", "bash", "zsh", "sh", "dash", "tmux", "login"])
+    return SHELLS.has(cmd) ? "dead" : "alive"
+  } catch {
+    return "unknown"
+  }
+}
+
 export function shouldSkipRebindRespawn({
   generating,
   fresh,

package/src/usage.mjs

@@ -725,9 +725,18 @@ const TURN_END_STOP_REASONS = new Set([
 // 移植漏れた鮮度フロアで、Esc 中断後に放置した jsonl 等が永久に turn_active=true (青) に
 // 居座り 0.7.17 の「赤=閉じろナッジ」を相殺していた問題を根治する。
 // ※ tool_use 末尾 (assistant が active を立てたケース) は floor しない (frontend と同じ。
-//    長時間ツール実行を誤って畳まない)。ツール中クラッシュは PID 生存判定が別途必要。
+//    長時間ツール実行を誤って畳まない)。ツール中クラッシュは下記 STALE_TOOL_USE_MS + PID 生存判定。
 const STALE_USER_TAIL_MS = 60_000
 
+// T2: tool_use 末尾 active (assistant 由来) の「中断マーカー無しのプロセス突然死」検知用フロア。
+// scanTurnActive は tool_use 末尾を floor しない (長時間ツールの偽陰性を防ぐ) ため、
+// claude プロセスが clean に死ぬ (Stop hook を経ず crash) ケースで永久青固着し得る。
+// turnActiveForCwd で tool_use 末尾 active + この時間経過時に tmux pane_current_command で
+// claude プロセス生存を確認し、'dead' (= シェル前景) なら active=false に倒す。
+// 'alive' / 'unknown' (tmux 失敗) は active 維持 = 長時間ツール / tmux 失敗時の偽陰性ゼロ。
+// 5s は「pane scrape も capture もすり抜けた assistant 行が確実に書かれた猶予」を最短で取る値。
+const STALE_TOOL_USE_MS = 5_000
+
 /** jsonl の user 行から表示テキスト (string content / text ブロック連結) を取り出す。
  *  コマンド echo (`<command-name>`) 判定に使う。 */
 function userEventText(d) {
@@ -775,12 +784,21 @@ function parseEntryTs(ts) {
  * @param {number} [now] テスト用の現在時刻 (ms)。省略時は Date.now()
  * @returns {boolean}
  */
-export function scanTurnActive(text, now = Date.now()) {
-  if (!text) return false
+/**
+ * jsonl テキストを走査して「最終 active 状態 + 何が立てたか + その時刻」の 3 つ組を返す
+ * 内部ヘルパー (T2)。scanTurnActive は本関数の `.active` を返す薄ラッパで API 互換。
+ * turnActiveForCwd は assistant 由来 active の鮮度判定で PID 生存 probe を挟むために
+ * activeBy/activeSinceTs を必要とする。
+ *
+ * @returns {{active: boolean, activeBy: 'user'|'assistant'|null, activeSinceTs: number|null}}
+ */
+export function _scanTurnState(text, now = Date.now()) {
+  const empty = { active: false, activeBy: null, activeSinceTs: null }
+  if (!text) return empty
   let active = false
   let lastTurnEnded = true
   // 最終 active=true を立てた要因 ("user"=実入力 / "assistant"=tool_use) と、その入力の時刻。
-  // 鮮度フロアは "user" 由来かつ古いときだけ適用する。
+  // 鮮度フロアは "user" 由来かつ古いときだけ適用する (T2 は assistant 由来でも別フロアで probe)。
   let activeBy = null
   let activeSinceTs = null
   const lines = text.split("\n")
@@ -836,16 +854,22 @@ export function scanTurnActive(text, now = Date.now()) {
       }
     }
   }
-  // 鮮度フロア: 実ユーザー入力で active になったまま応答が来ず、その入力が古ければ idle に倒す。
+  // 鮮度フロア (user 側): 実ユーザー入力で active になったまま応答が来ず、その入力が古ければ
+  // idle に倒す。assistant 側 (tool_use 末尾) はここでは floor しない (長時間ツールの偽陰性を防ぐ)。
+  // assistant 側のクラッシュ判定は turnActiveForCwd が PID 生存 probe で別途行う (T2)。
   if (
     active &&
     activeBy === "user" &&
     activeSinceTs !== null &&
     now - activeSinceTs > STALE_USER_TAIL_MS
   ) {
-    return false
+    return { active: false, activeBy: null, activeSinceTs: null }
   }
-  return active
+  return { active, activeBy, activeSinceTs }
+}
+
+export function scanTurnActive(text, now = Date.now()) {
+  return _scanTurnState(text, now).active
 }
 
 /** P5: turnActiveForCwd のメモ (newest fp + mtime + size をキー)。 */
@@ -862,13 +886,27 @@ const _turnActiveMemo = new Map()
  *  1. cwd → encoded dir → bound `sessionId` の jsonl (あれば最優先) / 無ければ mtime 最新を選ぶ
  *  2. 末尾 256KB を tail 読みし `scanTurnActive` でターン状態を判定
  *  3. tail で結論が出ない巨大ツール結果ケースのみ全文 read にフォールバック
+ *  4. (T2) tool_use 末尾 active かつ STALE_TOOL_USE_MS 経過のとき paneAliveProbe で
+ *     claude プロセス生存を確認 → 'dead' なら active=false に倒す (中断マーカー無し
+ *     の crash を idle 化)。'alive' / 'unknown' は active 維持 (長時間ツール + tmux
+ *     失敗時の偽陰性ゼロ)。sessionName / paneAliveProbe が無ければ probe をスキップ。
  *
  * @param {string} cwd
  * @param {string|null} [sessionId] その tmux ペインが bind しているセッション id。指定時はその
  *   jsonl を直接読み、cwd dir 内の別セッション/サブエージェント/headless jsonl の取り違えを防ぐ。
+ * @param {string|null} [sessionName] tmux ペイン名。指定時かつ paneAliveProbe ありで tool_use
+ *   末尾 active のクラッシュ判定を行う (T2)。
+ * @param {{ paneAliveProbe?: (name: string) => Promise<'alive'|'dead'|'unknown'>, now?: number }} [opts]
+ *   paneAliveProbe: tmux pane_current_command から claude プロセス生存を 3 値で返す関数。
+ *   循環 import 回避のため呼び出し側 (main.mjs) から DI で渡す。テストではモックを渡す。
  * @returns {Promise<boolean | null>} true=生成中 / false=待機中 / null=jsonl 不在
  */
-export async function turnActiveForCwd(cwd, sessionId = null) {
+export async function turnActiveForCwd(
+  cwd,
+  sessionId = null,
+  sessionName = null,
+  opts = {},
+) {
   if (!cwd) return null
   const dirName = encodeCwdToDirName(cwd)
   if (!dirName) return null
@@ -885,20 +923,43 @@ export async function turnActiveForCwd(cwd, sessionId = null) {
     return memo.result
   }
 
+  const now = typeof opts.now === "number" ? opts.now : Date.now()
+
   // 256KB tail で多くの場合は決着がつく (1 ターン分の assistant + tool_use/result サイクル) 。
   // tail 内に assistant 行が 0 件のみのケース (= 巨大 tool_result で先頭を tail から外れた)
   // に備え、結果が「全行で active 状態が変化しない」場合は全文読みにフォールバックする。
   const tail = await readTail(newest.fp, 256 * 1024)
-  let active = false
+  let state = { active: false, activeBy: null, activeSinceTs: null }
   if (tail != null) {
-    active = scanTurnActive(tail)
+    state = _scanTurnState(tail, now)
   }
   // tail で active=false の場合のみ、巨大 tool_result で先頭の assistant 行が
   // 落ちて誤って完了扱いになっていないか全文で確認する (高コストだが必要時のみ)。
-  if (active === false) {
+  if (state.active === false) {
     const full = await readOrNull(newest.fp)
-    if (full != null) active = scanTurnActive(full)
+    if (full != null) state = _scanTurnState(full, now)
   }
+
+  let active = state.active
+
+  // T2: tool_use 末尾 active (assistant 由来) で、その記入から STALE_TOOL_USE_MS 経過していて、
+  // tmux pane_current_command から probe 可能なら、claude プロセス生存を確認する。
+  // 'dead' (シェル前景) → 中断マーカー無しの crash 確証 → active=false に倒す。
+  // 'alive' (claude 等) → 長時間ツール継続中 → active 維持 (偽陰性ゼロ)。
+  // 'unknown' (tmux 失敗 / 空出力) → 判定不能 → 安全側で active 維持 (偽陰性ゼロ)。
+  // sessionName 未指定 / probe 関数未指定の場合は本ロジックをスキップ (後方互換、SDK チャット保護)。
+  if (
+    active &&
+    state.activeBy === "assistant" &&
+    state.activeSinceTs !== null &&
+    now - state.activeSinceTs > STALE_TOOL_USE_MS &&
+    sessionName &&
+    typeof opts.paneAliveProbe === "function"
+  ) {
+    const verdict = await opts.paneAliveProbe(sessionName)
+    if (verdict === "dead") active = false
+  }
+
   _turnActiveMemo.set(newest.fp, {
     mtimeMs: newest.mtimeMs,
     size: newest.size,