claude-spotter 0.12.0 → 0.13.1

package/CHANGELOG.md

@@ -1,5 +1,54 @@
 # Changelog
 
+## 0.13.1
+
+**Haiku timeout 30s → 45s 緩和 + hook 側 IPC timeout を整合**。v0.13.0 以前の実セッション ([daemon-80b5c0af.log](../../.spotter/logs/daemon-80b5c0af-700f-47af-a3ac-796144823a7d.log) line 15) で `E_HAIKU_TIMEOUT: haiku did not respond within 30000ms` を観測。同ログ line 20 でも `mode=first, duration_ms=20948` と 30s の 70% 域まで達しており、timeout が実測レイテンシに対して狭すぎた。合わせて [src/hooks/stop.mjs](src/hooks/stop.mjs) の IPC timeout が元々 15s で Haiku 側 30s と整合していなかった既存バグ (turn_end で Haiku が 16s 超かかると hook 側が先に諦めていた) も同時解消。
+
+### 調査で判明した Haiku 4.5 の高速化ダイヤル不在
+
+公式 docs 確認 (2026-04-20):
+
+- `--effort` フラグは Opus 4.7 / Opus 4.6 / Sonnet 4.6 のみ対応、**Haiku 4.5 は effort 非対応** ([model-config docs](https://code.claude.com/docs/en/model-config#adjust-effort-level))
+- Haiku 4.5 は **extended thinking 対応だが adaptive thinking 非対応** ([models/overview](https://platform.claude.com/docs/en/docs/about-claude/models/overview) 比較表)
+- `claude -p` CLI に thinking 直接フラグ無し、API デフォルトで thinking は OFF
+- つまり Haiku 側で「速くする手段」は存在せず、timeout 緩和しか打ち手が無い (Sonnet 4.6 切替は遅くなる + 3 倍コストで逆効果)
+
+### 変更点
+
+- **編集 [src/daemon/daemon.mjs](src/daemon/daemon.mjs)**: `DEFAULT_HAIKU_TIMEOUT_MS` を 30_000 → 45_000。first-call cold-start + 観測されたレイテンシスパイク (20.9s) + margin を包含
+- **編集 [src/hooks/user-prompt.mjs](src/hooks/user-prompt.mjs)**: `TIMEOUT_MS` を 30_000 → 50_000 (Haiku 45s + IPC margin 5s)
+- **編集 [src/hooks/stop.mjs](src/hooks/stop.mjs)**: `TIMEOUT_MS` を 15_000 → 50_000 (既存の整合性バグも解消)
+
+### 残課題
+
+Haiku 突然死 (shutdown ログなしで daemon 再起動する事象、v0.12.0 auto-resurrect で救われているが見えない欠落ターンが発生する) は未対処。[docs/open-issues.md](docs/open-issues.md) P0 に残置。
+
+## 0.13.0
+
+**Stop 判定軸を「要請充足チェック」から「ツール適用機会の監査」に転換**。v0.12.x 以前の `stage=turn_end` は `<user_input>` + `<used_tools>` + `<final_response>` を Haiku に渡し、「ユーザー要請されたツールが使われたか」を判定していた。この軸では Bell が Stop 到達後にすべき動作 — 事実断定の裏付け / 新知見の記録 / 既知情報の照会 — を拾えない。実セッションで Haiku が応答「判明: A モジュールは B に依存」に対し `caveat_record` を推奨する、といった本来期待される指摘が構造的に出ない状態だった (ユーザーが [この議論](https://github.com/kitepon-rgb/Spotter) で指摘)。
+
+### 新軸: ツール適用機会の監査
+
+- **入力**: `<used_tools>` + `<final_response>` のみ (user_input は削除)
+- **問い**: 「この応答で、カタログ上のツールが役立つ箇所ないか？」
+- **3 カテゴリ**: 検証 (Read/Grep/Bash/WebFetch 等) / 登録 (memory/caveat 等) / 照会 (search/list 等)
+- **非対称**: 指摘ゼロは歓迎、`used_tools` 既含は再指摘しない、迷ったら pass:true
+
+挨拶ターンの早期 pass は daemon 側の `state.lastUserInput === null` 分岐で従来通り機能する (user_input が来ていないターンは turn_end で `reason=no_user_input` で pass)。Stop hook の入力契約 (`final_response` のみを daemon に送信) は v0.4.4 時点で user_input を送っていないので hook 側の変更なし。
+
+### 変更点
+
+- **編集 [src/daemon/haiku-caller.mjs](src/daemon/haiku-caller.mjs)**: `SHARED_HEADER` の stage=turn_end 説明を書き換え、few-shot を 4 件 (検証/登録/照会/pass) に拡張。`buildFinalStagePrompt` から `userInput` 引数を削除、`<user_input>` タグも削除
+- **編集 [src/daemon/daemon.mjs](src/daemon/daemon.mjs)**: `handleTurnEnd` の `buildFinalStagePrompt` 呼び出しから `userInput` 引数削除、`savedUserInput` 変数削除。`state.lastUserInput` は `no_user_input` pass 分岐用に保持継続 (コメントで意図明記)
+- **編集 [test/haiku-caller.test.mjs](test/haiku-caller.test.mjs)**: `buildFinalStagePrompt` の 3 テストから `userInput:` 引数削除、`<user_input>` タグ包含アサートを非包含アサートに反転
+- **編集 [test/daemon.test.mjs](test/daemon.test.mjs)**: turn_end の per-turn prompt に `<user_input>` タグも user 発言原文も含まれないことを確認するテストを 1 件追加
+- **編集 [CLAUDE.md](CLAUDE.md)**: Product Concept に「判定軸 (v0.13.0 で 2 軸化)」セクションを追加、user_input=要請充足チェック / turn_end=ツール適用機会の監査 を明記
+
+### 非互換
+
+- **判定挙動の意味論変更**: v0.12.x までの「user_input 要請に対応するツール」しか指摘しなかった Stop hook が、v0.13.0 からは user_input 非依存で「応答に対する適用機会」を指摘する。false positive / false negative の方向性も変わるため、過検出率 / pass 率の再計測が必要 ([docs/open-issues.md](docs/open-issues.md) P0 に観測タスクを追加)
+- **API 変更**: `buildFinalStagePrompt({ userInput, usedTools, finalResponse })` → `buildFinalStagePrompt({ usedTools, finalResponse })`。外部から直接呼ばれる API ではない (daemon 内部) ため影響範囲は Spotter 本体のみ
+
 ## 0.12.0
 
 **親 PID watch を heartbeat 方式に置換 + UserPromptSubmit auto-resurrect**。v0.6.2 で導入した `--parent-pid` watch (Claude Code 本体 PID を `process.kill(pid, 0)` で 5 秒間隔 ping) が VSCode native extension 環境で誤爆する問題を解消。`process.ppid` は extension host から spawn される短命ラッパーを指していて、5 秒で ESRCH → daemon 自死していた (`~/.spotter/logs/ppid-probe.log` の env dump で実測: hook の ppid が毎回 (55692, 46020 等) 変わるのに対し `VSCODE_PID=39964` は固定、CLAUDE_* 系には PID 系 env なし)。

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "claude-spotter",
-  "version": "0.12.0",
+  "version": "0.13.1",
   "description": "Audit agent running alongside Claude Code that catches missed tool calls — 気づく役と実行する役の分離",
   "type": "module",
   "bin": {

package/src/daemon/daemon.mjs

@@ -47,10 +47,11 @@ import { join } from 'node:path';
 import { writeFile, unlink } from 'node:fs/promises';
 const DEFAULT_HAIKU_CALL_WINDOW_MS = 10_000;
 // v0.5.0: lowered 60s → 30s. Session-scoped (--resume) means the first call still pays
-// cold-start but subsequent calls skip it. 30s covers the first-call cold path without
-// being excessive, and a role-collapse recovery cycle (reset → next call is effectively
-// a cold start again) stays within budget.
-const DEFAULT_HAIKU_TIMEOUT_MS = 30_000;
+// cold-start but subsequent calls skip it. 45s covers first-call cold path plus the
+// observed Haiku CLI latency spikes (2026-04-20 log shows 20.9s resumed calls and 30s
+// timeouts in the wild). Role-collapse recovery (reset → next call is effectively a
+// cold start again) stays within budget.
+const DEFAULT_HAIKU_TIMEOUT_MS = 45_000;
 // v0.12.0: heartbeat-based orphan cleanup. Every envelope resets a setTimeout; if no
 // hook event arrives within this window, the daemon self-shuts. 30 min is the longest
 // silence we expect from a live Claude Code session. UserPromptSubmit auto-resurrects
@@ -258,12 +259,13 @@ export async function startDaemon({
       return { pass: true, missing_tools: [], reason: 'no_user_input' };
     }
 
-    const savedUserInput = state.lastUserInput;
+    // v0.13.0: state.lastUserInput は turn_end の Haiku 判定には渡さない (新軸は
+    // final_response + used_tools のみで判定)。ただし「挨拶ターン (user_input が来て
+    // いない) は早期 pass」の分岐は上で使うので保存は引き続き必要。
     const savedUsedTools = state.usedTools.slice();
     const { parsed, meta } = await runHaikuJudgment(
       'turn_end',
       buildFinalStagePrompt({
-        userInput: savedUserInput,
         usedTools: savedUsedTools,
         finalResponse,
       })

package/src/daemon/haiku-caller.mjs

@@ -38,6 +38,11 @@ export async function ensureWorkdir() {
 
 // Shared header covers BOTH stages — the preamble documents stage=user_input and
 // stage=turn_end so per-turn prompts only need to announce which stage they are.
+//
+// v0.13.0: stage=turn_end の判定軸を「要請充足チェック」から「ツール適用機会の監査」に転換。
+// 旧軸は <user_input> に対し used_tools が足りているかをチェックしていた。新軸は
+// <final_response> の内容 (事実断定 / 記録すべき新情報 / 既知情報の参照) に対し、カタログ
+// 上のツール (検証 / 登録 / 照会) を差し込める余地を探す。非対称 (指摘ゼロ歓迎) 設計。
 const SHARED_HEADER = [
   'あなたは Spotter。Bell (主役の Claude) が呼び忘れるツールを検出する監査役です。',
   'ユーザーへの会話文は生成せず、必ず下記 JSON のみを返します。',
@@ -49,13 +54,32 @@ const SHARED_HEADER = [
   '',
   '## 判定対象',
   '各ターン、以下いずれかの stage で判定リクエストを受けます:',
-  '- stage=user_input: <user_input> のみ届く。when_to_use に明確に該当するツールを列挙',
-  '- stage=turn_end: <user_input> + <used_tools> + <final_response> が届く。既使用を除き Bell が呼び忘れたツールを列挙',
-  'どちらも推測禁止。該当なしなら pass:true。',
+  '',
+  '### stage=user_input',
+  '<user_input> のみ届く。when_to_use に明確に該当するツールを列挙。',
+  '推測禁止。該当なしなら pass:true。',
+  '',
+  '### stage=turn_end  (ツール適用機会の監査)',
+  '<final_response> + <used_tools> が届く。',
+  'Bell の応答に含まれる動作 — 事実の断定 / 記録すべき新情報 / 既知情報の参照 —',
+  'それぞれについて、カタログに役立つツールがあれば提示する。',
+  '検証 (Read/Grep/Bash/WebFetch 等) / 登録 (memory/caveat 等) / 照会 (search/list 等) のいずれも対象。',
+  '<used_tools> に既に含まれるツールは再指摘しない。',
+  '指摘ゼロは歓迎。迷ったら pass:true。',
   '',
   '## 例',
-  '- stage=user_input "今何時?" → {"pass":false,"missing_tools":[{"name":"current_time","reason":"時刻の直接質問"}]}',
-  '- stage=user_input "ありがとう" → {"pass":true,"missing_tools":[]}',
+  '- stage=user_input "今何時?"',
+  '  → {"pass":false,"missing_tools":[{"name":"current_time","reason":"時刻の直接質問"}]}',
+  '- stage=user_input "ありがとう"',
+  '  → {"pass":true,"missing_tools":[]}',
+  '- stage=turn_end 応答「この関数は配列長を返します」(used:なし) ← 検証',
+  '  → {"pass":false,"missing_tools":[{"name":"Read","reason":"関数実装の断定は実ファイル読取で裏付けるべき"}]}',
+  '- stage=turn_end 応答「判明: A モジュールは B に依存」(used:Grep) ← 登録',
+  '  → {"pass":false,"missing_tools":[{"name":"mcp__caveat__caveat_record","reason":"新発見の依存関係は記録して次回参照可能にすべき"}]}',
+  '- stage=turn_end 応答「この話題は前にも議論したはず」(used:なし) ← 照会',
+  '  → {"pass":false,"missing_tools":[{"name":"mcp__caveat__caveat_search","reason":"過去の議論参照は検索して裏付けるべき"}]}',
+  '- stage=turn_end 応答「作業完了しました」(used:Read,Edit,Bash) ← pass',
+  '  → {"pass":true,"missing_tools":[]}',
 ].join('\n');
 
 // Preamble — sent exactly once per Haiku session (first call). Contains the role,
@@ -92,13 +116,13 @@ export function buildFirstStagePrompt({ userInput }) {
 }
 
 // Per-turn prompt — Stop hook stage.
-export function buildFinalStagePrompt({ userInput, usedTools, finalResponse }) {
+// v0.13.0: user_input は渡さない。判定軸が「ユーザー要請の充足」から「final_response に
+// ツール適用機会があるか」に変わったため。挨拶ターンの早期 pass は daemon 側の
+// state.lastUserInput === null 分岐 (handleTurnEnd) で処理する。
+export function buildFinalStagePrompt({ usedTools, finalResponse }) {
   const usedList = usedTools.length > 0 ? usedTools.map((t) => `- ${t}`).join('\n') : '(なし)';
   return [
     'stage=turn_end',
-    '<user_input>',
-    userInput,
-    '</user_input>',
     '<used_tools>',
     usedList,
     '</used_tools>',

package/src/hooks/stop.mjs

@@ -15,7 +15,7 @@ import {
 import { getLastAssistantText } from './transcript-reader.mjs';
 import { sendRequest } from '../daemon/transport.mjs';
 
-const TIMEOUT_MS = 15_000;
+const TIMEOUT_MS = 50_000;
 
 export async function runStop() {
   if (isChildCall()) return;

package/src/hooks/user-prompt.mjs

@@ -21,7 +21,7 @@ import {
 import { sendRequest, TransportError } from '../daemon/transport.mjs';
 import { spawnDaemonAndWaitReady } from './spawn-daemon.mjs';
 
-const TIMEOUT_MS = 30_000;
+const TIMEOUT_MS = 50_000;
 const SHORT_PROMPT_MAX_CHARS = 10;
 
 export async function runUserPrompt() {