monster-orchestrator 3.7.6 → 3.8.0

package/scripts/monster-deathcheck

@@ -40,7 +40,8 @@ exit code:
   MONSTER_ROOT      monster レジストリの場所（既定 ~/.claude/monsters）
   TMUX_BIN          tmux の絶対パス（既定は PATH → /opt/homebrew/bin/tmux の順に探索）
                     ⚠️ 非対話 SSH では PATH に /opt/homebrew/bin が乗らないため必要
-  CLAUDE_PROJECTS_ROOT  transcript の場所（既定 ~/.claude/projects）
+  CLAUDE_PROJECTS_ROOT  transcript の場所（既定 ~/.claude/projects）。足跡が無い席（移行前）だけ読む
+  BLUELAMP_FOOTPRINTS_ROOT  足跡の場所（既定 ~/.bluelamp/footprints・箱 n=2475 §足跡の形 v1）
 """
 
 import glob
@@ -247,11 +248,11 @@ def find_ghosts(monsters, tmux):
         # 🚨 GHOST と STALLED は同時に成立しうる（実測: 23b47504）。
         #    片方が他方を隠さないよう、ghost 側にも API 状態を載せる。
         gid = next((k for k in monsters if k.startswith(short)), None) or short
-        readable, is_err, status = read_last_api_state(gid)
+        readable, stalled, _cause = read_api_verdict(gid)
         out.append({
             "session": sess,
             "short_id": short,
-            "stalled": classify_api_error(is_err, status) if readable else None,
+            "stalled": stalled if readable else None,
             "stalled_unverified": not readable,
             "spawned_at": spawned.get(sess, ""),
             "detail": ("tmux にセッションが在るが state.json にエントリが無い。"
@@ -330,6 +331,109 @@ def read_last_api_state(monster_id):
     return (False, None, None)
 
 
+# ---------------------------------------------------------------------------
+# 足跡（箱 n=2475 §足跡の形 v1）— 席は会話の記録を書かない（CLAUDE_CODE_SKIP_PROMPT_HISTORY=1）。
+#   起動子のフックが本文なしの 1 行を ~/.bluelamp/footprints/<cwd のスラグ>/<sid>.jsonl に足す:
+#     {"v":1,"ts":…,"sid":…,"cwd":…,"ev":"api_error","err":"rate_limit"} 等
+#   transcript 版と同じ問い（最後の応答は API エラーか）を、本文を持たない足跡で答える:
+#     最後の ev=api_error の後に、席が応答した印（FOOTPRINT_RESPONDED）が 1 つも無ければ止まっている。
+#   🔑 prompt は応答の印に数えない（transcript 版も user 行の後に assistant 行が来るまで最後のエラーを見続ける）。
+#   ⚠️ 足跡が在る席は足跡だけを読む。足跡が無い席（移行前）だけ transcript を読む。
+# ---------------------------------------------------------------------------
+
+FOOTPRINTS_ROOT = os.environ.get("BLUELAMP_FOOTPRINTS_ROOT") or os.path.expanduser("~/.bluelamp/footprints")
+
+FOOTPRINT_TAIL_LINES = 200
+
+# api_error の後に来たら「席が応答した」印になる足跡の種別
+FOOTPRINT_RESPONDED = {"tool", "tool_fail", "stop", "session_start"}
+
+
+def footprint_dir(monster_id):
+    """monster の足跡のディレクトリ。無ければ None（＝移行前の席）。"""
+    hits = [d for d in glob.glob(os.path.join(FOOTPRINTS_ROOT, f"*monsters-{monster_id}*")) if os.path.isdir(d)]
+    return hits[0] if hits else None
+
+
+def last_footprint_error(lines):
+    """足跡の行列から、止めている api_error の err を返す純関数（--verify で単体検証する）。
+
+    返り値: None＝止まっていない／文字列＝最後の api_error の err（その後に応答の印が無い）
+    v が 1 でない行・壊れた行は読まない。
+    """
+    last_err = None
+    for line in lines:
+        line = line.strip()
+        if not line:
+            continue
+        try:
+            e = json.loads(line)
+        except json.JSONDecodeError:
+            continue
+        if not isinstance(e, dict) or e.get("v") != 1:
+            continue
+        ev = e.get("ev")
+        if ev == "api_error":
+            err = e.get("err")
+            last_err = err if isinstance(err, str) and err else "unknown"
+        elif ev in FOOTPRINT_RESPONDED:
+            last_err = None
+    return last_err
+
+
+def read_last_footprint_state(monster_id):
+    """足跡から API 状態を返す。
+
+    返り値: None＝足跡が無い（ディレクトリが無い／1 本も無い＝移行前の席・transcript へ。
+      orchestrator の footprint.ts readSeatFootprintTail と同じ線引き）／(readable, err)
+      readable=False は「足跡のファイルは在るが読めない」。⚠️ 正常に丸めない。
+    """
+    d = footprint_dir(monster_id)
+    if d is None:
+        return None
+    files = glob.glob(os.path.join(d, "*.jsonl"))
+    if not files:
+        return None
+    try:
+        with open(max(files, key=os.path.getmtime), errors="replace") as f:
+            lines = f.readlines()[-FOOTPRINT_TAIL_LINES:]
+    except OSError:
+        return (False, None)
+    return (True, last_footprint_error(lines))
+
+
+def classify_footprint_error(err):
+    """足跡の err から判定名を返す純関数（--verify で単体検証する）。
+
+    transcript 版（classify_api_error）と同じ 3 つに畳む:
+      rate_limit（transcript では 429）→ STALLED-RATE-LIMIT
+      server_error・overloaded（transcript では 5xx・529 Overloaded）→ STALLED-BACKEND
+      （err の語は StopFailure の error＝箱 n=2475 の W1 実測・Claude Code 2.1.289 の列挙）
+      それ以外（authentication_failed 等・transcript では status なし）→ STALLED-API-ERROR
+    """
+    if not err:
+        return None
+    if err == "rate_limit":
+        return "STALLED-RATE-LIMIT"
+    if err in ("server_error", "overloaded"):
+        return "STALLED-BACKEND"
+    return "STALLED-API-ERROR"
+
+
+def read_api_verdict(monster_id):
+    """席の API 応答不能の判定。足跡が在れば足跡だけ、無ければ transcript（移行の間）。
+
+    返り値 (readable, verdict, cause)
+      verdict は STALLED-* か None。cause は詳細表示用（"HTTP 429" / "err=rate_limit"）。
+    """
+    fp = read_last_footprint_state(monster_id)
+    if fp is not None:
+        readable, err = fp
+        return (readable, classify_footprint_error(err) if readable else None, f"err={err}")
+    readable, is_err, status = read_last_api_state(monster_id)
+    return (readable, classify_api_error(is_err, status) if readable else None, f"HTTP {status}")
+
+
 def classify_api_error(is_api_error, status):
     """API エラー状態から判定名を返す純関数（--verify で単体検証する）。
 
@@ -345,15 +449,16 @@ def classify_api_error(is_api_error, status):
     return "STALLED-API-ERROR"
 
 
-def stalled_detail(verdict, status):
+def stalled_detail(verdict, cause):
+    """cause は詳細表示用の原因（transcript なら "HTTP 503"・足跡なら "err=server_error"）。"""
     if verdict == "STALLED-RATE-LIMIT":
-        return ("API が上限で応答しない（HTTP 429）。state.json は running・tmux も在席・"
+        return (f"API が上限で応答しない（{cause}）。state.json は running・tmux も在席・"
                 "session.log も更新され続けるが、次の 1 文字も出力できない。"
                 "盤面の稼働数が嘘になるので、配車先として数えないこと")
     if verdict == "STALLED-BACKEND":
-        return (f"API がバックエンド障害で応答しない（HTTP {status}）。"
-                "429 と違い、次の瞬間に回復しうる")
-    return f"API が応答しない（HTTP {status}）"
+        return (f"API がバックエンド障害で応答しない（{cause}）。"
+                "上限と違い、次の瞬間に回復しうる")
+    return f"API が応答しない（{cause}）"
 
 def tail_since_last_prompt(events):
     """最後の user_prompt / spawned 以降のイベント列を切り出す"""
@@ -383,15 +488,14 @@ def classify(mid, rec, events_by_id, tmux):
                     "state.json は running だが tmux セッションが3回とも取れない")
 
         # tmux に居ても API が応答しないことがある。
-        readable, is_err, status = read_last_api_state(mid)
+        readable, stalled, cause = read_api_verdict(mid)
         if not readable:
             # ⚠️ 読めなかったものを ALIVE に丸めない（正常と未確認は別物）
             return ("ALIVE-UNVERIFIED",
                     "tmux セッション在席を実測（3回確認）／"
-                    "⚠️ transcript が読めず、API に応答できるかは未確認")
-        stalled = classify_api_error(is_err, status)
+                    "⚠️ 足跡も transcript も読めず、API に応答できるかは未確認")
         if stalled:
-            return (stalled, stalled_detail(stalled, status))
+            return (stalled, stalled_detail(stalled, cause))
 
         return ("ALIVE", "tmux セッション在席を実測（3回確認）")
 
@@ -555,6 +659,52 @@ def verify_stalled():
     return ok
 
 
+def verify_footprint():
+    """足跡の判定の単体検証と、付け替え前後（transcript／足跡）が同じ判定を返すかの表（箱 n=2475）。
+
+    🚨 偽陽性の方が危険（働いている席を STALLED と誤ると「止めてよい」に見える）。
+    """
+    def fp(ev, **kw):
+        return json.dumps({"v": 1, "ts": "2026-10-04T08:00:00Z", "sid": "s", "cwd": "/x", "ev": ev, **kw})
+
+    # (場面, transcript の (is_api_error, status), 足跡の行列)
+    scenes = [
+        ("rate_limit（上限）", (True, 429), [fp("prompt"), fp("tool", tool="Bash", ok=True), fp("api_error", err="rate_limit")]),
+        ("authentication_failed（失効）", (True, None), [fp("prompt"), fp("api_error", err="authentication_failed")]),
+        ("server_error（バックエンド）", (True, 500), [fp("prompt"), fp("api_error", err="server_error")]),
+        ("overloaded（バックエンド）", (True, 529), [fp("prompt"), fp("api_error", err="overloaded")]),
+        ("billing_error（その他）", (True, 400), [fp("prompt"), fp("api_error", err="billing_error")]),
+        ("正常", (False, None), [fp("prompt"), fp("tool", tool="Bash", ok=True), fp("stop")]),
+        ("上限の後に回復", (False, None), [fp("api_error", err="rate_limit"), fp("prompt"), fp("tool", tool="Bash", ok=True)]),
+        ("上限の後に続きを投げたが未応答", (True, 429), [fp("api_error", err="rate_limit"), fp("prompt")]),
+        ("配下の席の終わり・pane の終わりは応答でない", (True, 429), [fp("api_error", err="rate_limit"), fp("subagent_stop"), fp("session_end")]),
+    ]
+    ok = True
+    seen = set()
+    for label, (is_err, status), lines in scenes:
+        before = classify_api_error(is_err, status)
+        after = classify_footprint_error(last_footprint_error(lines))
+        seen.add(after)
+        good = before == after
+        ok = ok and good
+        print(f"  {'OK ' if good else 'NG '}{label:<28} transcript={before} 足跡={after}")
+    # 壊れた行・v が違う行は読まない
+    for label, lines, want in [
+        ("壊れた行", ["{壊れた", ""], None),
+        ("v が 1 でない", [json.dumps({"v": 2, "ev": "api_error", "err": "rate_limit"})], None),
+        ("空", [], None),
+    ]:
+        got = classify_footprint_error(last_footprint_error(lines))
+        good = got == want
+        ok = ok and good
+        print(f"  {'OK ' if good else 'NG '}{label:<28} → {got}")
+    # 🔬 陽性対照: 表の判定が全部 None に潰れていない
+    good = {"STALLED-RATE-LIMIT", "STALLED-BACKEND", "STALLED-API-ERROR", None} <= seen
+    ok = ok and good
+    print(f"  {'OK ' if good else 'NG '}陽性対照: 場面で判定が変わる → {sorted(str(x) for x in seen)}")
+    return ok
+
+
 def verify():
     """対照実験: 測定器が既知ケースを正しく分類できるか。
 
@@ -565,6 +715,8 @@ def verify():
     ghost_ok = verify_ghost()
     print("\n--- API 応答不能の判定（純粋関数・実データ非依存）---")
     stalled_ok = verify_stalled()
+    print("\n--- 足跡の判定と付け替え前後の一致（純粋関数・実データ非依存・箱 n=2475）---")
+    stalled_ok = verify_footprint() and stalled_ok
     print(f"\n--- 死亡判定（既知ケース・実データ依存）---")
     cases = {
         # short_id: 期待する分類（人手で一次資料まで確認済み・2026-08-04）
@@ -607,7 +759,7 @@ def ghost_as_row(g):
     if g.get("stalled"):
         detail += f"／＋ {g['stalled']}: API が応答しない（2 つの死角に同時該当）"
     elif g.get("stalled_unverified"):
-        detail += "／＋ transcript が読めず、応答可能かは未確認"
+        detail += "／＋ 足跡も transcript も読めず、応答可能かは未確認"
     return {
         "short_id": g["short_id"],
         "spawned_at": g.get("spawned_at") or "(spawn 記録なし)",