enhancement(doctor): セルフインストール投影の鮮度を検出できない — ブランチ前進後 build 前に着地済み修正が無音で無効化される

[j5ik2o]

エレベーターピッチ

ブランチ前進のたびに手作業の再ビルドを覚えていなくても、実行される自分自身が古いことに気づきたい
自己開発リポジトリで Amadeus を回す開発者・エージェント 向けの、
Amadeus セルフインストール鮮度チェック というプロダクトは、
ローカルの読み取り専用診断面 です。
これは 正本 packages/framework/core/ と実行面 .claude/ などの投影ツリーの乖離を、実行前に loud に検出 ができ、
CI の隔離2回ビルド再現性検査 とは違って、
ローカルの実行直前に、着地済み修正が実際に効いているかを本人へ返す こと が備わっている。

背景・対象範囲

dist/ とセルフインストール面（.claude/ / .codex/ など）は source-only 境界により未追跡のローカル生成物である。したがってブランチを前進させても、bun run build を実行するまで実行面は前進前のコードのまま残る。

このとき、その worktree で動くエージェントは古いツリーのツールを実行し続けるが、それを知らせる loud なローカル信号が無い。対象範囲は amadeus-plugin.ts の status / doctor が提供するローカル読み取り専用診断面と、packages/framework/core/tools/ → <harness>/tools/ の投影鮮度。CI 側の再現性検査・source-only:check は対象外（後述のとおり別の面を守っている）。

根拠・実測証拠

観測環境: macOS 26.5.0 / bun 1.3.13 / ハーネス Claude Code / worktree マネジメント用セッション
対象リビジョン: 前進前 c909b6130 → 前進後 da3f19e9f（origin/main へ fast-forward、自分のコミット 0・15コミット取り込み）

fast-forward 直後、再ビルド前の実測:

1. 正本と実行面のツール差分 — packages/framework/core/tools/*.ts と .claude/tools/*.ts を cmp で全件突き合わせ、130件中3件が差分（amadeus-harness.ts / amadeus-plugin.ts / amadeus-stage-stats.ts）。それぞれ [plugin-harness-dir-token/bolt-1/fix-2790-plugin-harness-dir-token] resolve {{HARNESS_DIR}} at the plugin staging seed #2811 / feat(stage-stats): CG ウィンドウの観測可能区間と帰属不能残余の遡及集計 (#2695) #2809 の着地先を含む。

2. 実行面が古いことの直接証拠 — リポジトリ外 scratch から .claude/tools/amadeus-plugin.ts を in-process import して stagingHarnessDirOf を呼ぶと TypeError: mod.stagingHarnessDirOf is not a function。同シンボルは正本 packages/framework/core/tools/amadeus-plugin.ts:659 に export 済み（seedBytesForHarness は :669、stagingEntryState は :681）。つまり [plugin-harness-dir-token/bolt-1/fix-2790-plugin-harness-dir-token] resolve {{HARNESS_DIR}} at the plugin staging seed #2811 の修正は実行時に一切効いていなかった。

3. 症状 — 合成済み .claude/plugins/pr-convergence/stages/pr-convergence.md が修正前の出力のまま。正本の 5 箇所の {{HARNESS_DIR}} に対し、4 箇所はハーネス名が脱落した bun plugins/pr-convergence/tools/...（本来 .claude/plugins/...）、1 箇所（:180）は生トークン bun {{HARNESS_DIR}}/tools/amadeus-sensor.ts が残存。後者は fix(pr-convergence): plugin センサー手動発火の HARNESS_DIR リテラル化を修正 #2798 が修正対象とした行そのもの。

4. 読み取り専用診断面の応答 — bun .claude/tools/amadeus-plugin.ts status は Plugins: 2 installed, 2 composed, revision 0（exit 0）を返すのみでドリフトを報告しない。ハンドラは amadeus-plugin.ts:1382-1387 で installed / composed / revision の3値を返すだけで、バイト比較を一切行わない。

5. 再ビルド後 — bun run build（exit 0）後に再測定し、ツール差分 0/134、{{HARNESS_DIR}} 残存 0、5 パスすべて .claude/... へ正しく解決、追跡ファイルへの変更なし（git status --porcelain 空）。bun run source-only:check は前後とも clean（exit 0）。

機序

doctor のプラグイン節にはステール検知が実在する（amadeus-plugin.ts:1352 の stagingEntryState(staging, source) !== "identical" → stale → drift 行）。ただしその比較対象は plugin staging (<harness>/.amadeus-plugin-src/<name>) と authoring source (plugins/<name>) であり、packages/framework/core/tools/ → <harness>/tools/ の投影鮮度は対象外である。したがって今回ステールだった core tools 3件は、この検知の守備範囲の外にある。

さらに構造的な要因として、検知器自身が投影ツリーから読み込まれる。stagingEntryState は source を seedBytesForHarness を通して読むため（:681 以降）、投影面の当該関数が古い世代であれば「古い変換 vs 古い出力」を比較して identical と判定しうる。すなわちドリフト検知器がドリフトした面の一部であるという自己参照の死角が成立しうる。

未特定として明記する: 再ビルド前に doctor を実行しなかったため、「doctor が実際に沈黙した」ことは観測していない。確定しているのは (i) doctor のプラグイン節が core tools を比較対象に含めないこと（静的読解）、(ii) status が沈黙したこと（実測）の 2 点である。自己参照の死角は上記コード構造からの推論であり、決定的再現は未実施。

期待結果・完了条件

ローカルの読み取り専用診断で、投影ツリーが正本から遅れていることを loud に返せること。

• 完了条件1: 正本 packages/framework/core/ に対し投影ツリーが遅れている場合、ローカル実行の読み取り専用コマンドが drift として報告し、非ゼロ exit または明示の drift 行で可視化する。
• 完了条件2: 検知は投影面のコードに依存せず判定できる（自己参照の死角を作らない）。手段は設計段で決める。
• 完了条件3: 落ちる実証 — 投影ツリーのツール1件を意図的に旧世代へ差し替えた状態で検知が実際に赤くなることを示す。
• 完了条件4: 正常状態（build 直後）で誤検知しないことを、対象コーパスへの実述語適用で示す。

影響・価値

影響は「着地済みの修正が効いていないまま作業が進む」こと。今回は #2811 / #2798 / #2809 の3修正が実行時に無効なまま、合成済み plugin prose が誤ったパスを保持していた。ルート直下に plugins/ が存在する自己開発リポジトリでは bun plugins/... が偶然解決するため、症状が表面化しにくい。

価値は、bun run build の実行忘れという運用依存を、機械が検出する信号へ置き換えること。project.md の Mandated「正本変更後は bun run build を実行し…」は人間・エージェント側の義務として書かれており、履行漏れを検出する機構は存在しない。

代替案と非採用理由

• CI の隔離2回ビルド再現性検査に任せる — 非採用。守っている面が違う。CI はクリーン checkout からの独立ビルド結果と正本の性質を検証するもので、ローカル worktree の投影が古いまま実行されている状態は検出しない。実際、今回 source-only:check はステール状態でも clean（exit 0）だった。
• 運用ルール（ブランチ前進のたびに build を挟む）で対処する — 非採用。今回の見落としがまさにその運用の履行漏れであり、同じ手段の反復は再発を防がない。org.md の検証劇場の禁止と同じ理由で、人間の記憶に依存する保証は保証ではない。
• status にバイト比較を足す — 部分的に妥当だが単独では不十分。status の現契約は件数の報告（:1382-1387）であり、そこへ判定を足しても検知器が投影面に載る問題（自己参照の死角）は解決しない。手段の選定は設計段へ委ねる。

関連 Issue・PR・intent

• bug(pr-convergence): 中立 plugin stage が .claude/tools/ をハードコード — {{HARNESS_DIR}} トークンでなくリテラルのため非 Claude 投影で手順が壊れる #2790 → PR [plugin-harness-dir-token/bolt-1/fix-2790-plugin-harness-dir-token] resolve {{HARNESS_DIR}} at the plugin staging seed #2811（{{HARNESS_DIR}} を plugin staging seed で解決）— 今回ステールだった修正の1つ
• PR fix(pr-convergence): plugin センサー手動発火の HARNESS_DIR リテラル化を修正 #2798（pr-convergence センサー発火の HARNESS_DIR リテラル化）— 生トークン残存として症状が出ていた行
• enhancement(observability): CG ウィンドウ内の観測可能区間と帰属不能残余を既存 audit から遡及集計する (#2405 の分解能拡張) #2695 → PR feat(stage-stats): CG ウィンドウの観測可能区間と帰属不能残余の遡及集計 (#2695) #2809（stage-stats）— ステールだった3ツールのうち1つ
• bug(scope-grid): self-feature の lightening 裁定が非 claude ハーネス面へ未伝播 — kimi intent が SKIP 済み4ステージを実行(drift check の workspace-local 盲点) #2033（CLOSED, drift check の workspace-local 盲点）— 検知の守備範囲という点で同族。ただし対象は scope-grid のハーネス面伝播であり本件の core tools 投影とは別面
• bug(plugin): Codex worktreeでformal-model-checkのopt-in状態が欠落しadvisoryが空振りする #2018（CLOSED, Codex worktree で plugin opt-in 状態が欠落し advisory が空振り）— 投影面の欠落という点で同族

重複検索: gh issue list --state all を plugin status stale drift / self-install stale build 反映 / staging compose drift の3クエリで実施し、open な重複なし。open PR も stale|drift|self-install|promote|plugin status で 0 件。

初期分類

• 種別: enhancement。issue-type-decision の判定順に従い、(3) の bug ではない — 投影ツリーの鮮度を検出すると約束した契約は存在せず、status は件数報告という自身の契約どおりに動作している。履行義務は project.md の Mandated として人間・エージェント側に課されており、実行可能な成果物が合意済み契約に違反しているわけではない。(4) に該当し、新しい検査を追加する提案である。
• 優先度: P2（重要だが急がない）。回避策として bun run build の実行が確立しており、CI 側は別面で守られている。

[j5ik2o]

クロスレビュー(1人目・reviewer-1): CONFIRMED_WITH_REFINEMENTS

対象 SHA 10dbac5954d554c4370379b084e879f8c721829f に対し、本文の material な主張を独立に実測検証しました。中核の前提は現在も成立していますが、影響・価値節の断定1点と代替案の網羅性に訂正が必要です。

確認できた主張

• doctor のステール検知の守備範囲(CONFIRMED): amadeus-plugin.ts:1351 の selectionDoctorLines は plugins/<name>(追跡)と <harness>/.amadeus-plugin-src/<name>(未追跡)を比べるのみで、packages/framework/core/tools/ → <harness>/tools/ は対象外。本文引用の :1352 は1行ずれ。
• status の契約(CONFIRMED): handleStatus は :1381-1387(本文引用と一致)で installed / composed / revision を返すのみ。出力は :1583。バイト比較なし。
• シンボル位置(CONFIRMED): stagingHarnessDirOf :659 / seedBytesForHarness :669 / stagingEntryState :681 — 3件とも行番号まで一致。
• 投影面の性質(CONFIRMED): git ls-files .claude/tools = 0 行に対し実体は 132 個の .ts。plugins/ は追跡 54 ファイル、.claude/.amadeus-plugin-src/ は未追跡。ブランチ前進で実行面が取り残される構図は成立。
• 起票後に検出は追加されていない(CONFIRMED): git log --since=2026-08-10 で amadeus-plugin.ts は refactor(plugins): スコープ割当をホスト所有へ移す #2890 / [plugin-harness-dir-token/bolt-1/fix-2790-plugin-harness-dir-token] resolve {{HARNESS_DIR}} at the plugin staging seed #2811 の2件、amadeus-utility.ts + hooks/ は [pr-convergence-gate/pr-convergence/issue-2838] fix(pr-convergence): enforce verifiable self-delivery gate #2932 の1件のみで、いずれも投影鮮度を検出しない。CORE_TOOLS / toolsProjection / projectionFreshness / staleProjection / selfInstallFreshness / selfInstallStale は対象集合 packages/framework/core/tools/*.ts に対し全て exit 1(0 hit)。doctor 側のドリフト検査は elections registry のみ。
• :180 の生トークン(CONFIRMED、歴史的): git show da3f19e9f:plugins/pr-convergence/stages/pr-convergence.md の :180 に bun {{HARNESS_DIR}}/tools/amadeus-sensor.ts を verbatim 確認。現行正本にこの行は無く、sensor 呼び出しはプラグイン所有ツールへ移行済み。
• 自己参照の死角(構造は CONFIRMED / 発現は INCONCLUSIVE): 実行実体は .claude/tools/amadeus-plugin.ts で、stagingEntryState は同一モジュールの seedBytesForHarness を通して source を読み、staging を書く copyPluginSource(:702)も同一モジュール。本文が結論を「判定しうる」に留め決定的再現の未実施を明記している点は正確で、本レビューでも(リポジトリ非変更の制約下)再現は未実施。

再現しなかった値(設計どおり)

本文の 130件中3件差分 / stagingHarnessDirOf の TypeError は当時の revision 依存です。build 済みの現行ツリーでは全件 cmp が total=132 diff=0 missing=0、投影面の in-process import で3シンボルとも function、合成済み prose の {{HARNESS_DIR}} 残存は 0(grep exit 1)、bun .claude/plugins/... へ正しく解決。これは本文の実測5(再ビルド後)と整合しており矛盾ではありません。

訂正を要する点

1. 「履行漏れを検出する機構は存在しない」(影響・価値)は成立しません。 scripts/promote-self.ts の既定モード --check(usage :307-313)が、managedDirs(:64-71、dist/claude/.claude → .claude ほか6面)を walk して期待バイト列を組み(buildExpected :368-380)、.claude/tools/*.ts を含む全ファイルを got.equals(want) で照合し DIFFERS / MISSING / ORPHAN / MISPLACED を返します(check :591-608)。既定では dist 再生成を先に走らせるため、本件の状況で実行すればステールだった3ツールは DIFFERS として出たはずです。実測: bun scripts/promote-self.ts --check --no-build → exit 0 "project-local self install is in sync"(実行前後とも git status --porcelain 0 行)。赤経路の落ちる実証も既存(tests/integration/t356-promote-self-plugin-carveout.integration.test.ts:167 ほか)。

   ただし前提が全面的に崩れるわけではありません。(a) package.json に --check を呼ぶスクリプトは無く(promote:self は --apply 固定、CI も ci.yml:547 で書き込み側を使用)、(b) doctor / status からは呼ばれず、(c) 既定が build を伴うため完了条件1の「読み取り専用診断」とは形が異なります。Issue が明示する対象範囲(status / doctor)の内側では前提は成立します。文言は「読み取り専用診断面には検出が無く、既存の照合は promote-self --check に限られるが診断面へ配線されていない」と限定するのが正確です。

2. 代替案に「既存 promote-self --check を読み取り専用診断へ配線する」案が欠けています。 scripts/promote-self.ts は追跡ツリーにあり .claude へ投影されません(find .claude -name 'promote-self.ts' は 0 件、.claude/scripts も不在)。つまり完了条件2(検知が投影面のコードに依存しない)を既に構造的に満たす面であり、新規機構より有力な候補です。既存で代替できない根拠がある場合のみ新規機構を導入する、という再利用棚卸しの要求にも合致します。

3. 機序節の amadeus-plugin.ts:1352 は :1351 が正しい行です(他の引用行は一致)。

補足(設計段への申し送り)

• doctor のフック存在チェックは「列挙元と検査対象が同一ならトートロジー」という自己参照問題を既に認識し、期待ロスターを settings.json から採ることで回避しています。完了条件2は同型の要求であり、この既存パターンが先例になります。
• 対象面を .claude 決め打ちにしないでください。managedDirs は .codex / .agents / .cursor / .opencode / .kimi-code を含む6面を持ち、対象集合は packager の検出集合から導出すべきです。本文はこの点に触れていません。

分類

種別 enhancement、優先度 P2(リポジトリ定義「重要だが急がない」、gh label list から転記)はいずれも妥当と判断します。投影鮮度の検出を約束した契約は現行コードに存在せず(不在確認済み)、status は自身の契約どおり動作しているため bug ではありません。回避策が確立している点も P2 と整合します。

Verdict

CONFIRMED_WITH_REFINEMENTS

この verdict は Issue の実在性確認であり、実装着手・優先順位・クローズの承認ではありません。

[j5ik2o]

クロスレビュー（2人目・reviewer-2）: CONFIRMED_WITH_REFINEMENTS

独立性と対象

• 起票者・他レビュアーの結論を参照せず独立検証（本 Issue のコメントは 0 件。他 Issue のコメントも未読）
• Review run: xrev-2851-20260813131430
• Reviewer: reviewer-2
• Execution subject: sha256:f43cd7ef6c441b75
• 対象: 10dbac5954d554c4370379b084e879f8c721829f
• 適用ノルム: amadeus/spaces/default/memory/team.md（P1・P2・検証実測規律）、amadeus/spaces/default/memory/project.md（配送先ツリー述語・全ハーネス再生成）、.github/ISSUE_TEMPLATE/enhancement.yml
• レンズ: 主張の完全性 / 履歴・出典 / 影響 / ラベル / 同根・対称面

Claim ledger

主張	判定	独立エビデンス
doctor / status がコア tools 投影の鮮度を検出しない	CONFIRMED	doctor 実装面に core/tools / framework/core の照合が 0 hit（分割述語で exit 1 ×2）。drift/stale の hit 内訳を実読し全件別面と確認
doctor のステール検知の比較対象は staging ⇄ authoring source	CONFIRMED	amadeus-plugin.ts:1351（本文引用の :1352 は測定 revision da3f19e9f では正確）。両辺は plugins/<name> と <harness>/.amadeus-plugin-src/<name>
status は 3 値を返すのみでバイト比較なし	CONFIRMED	:1381-1387 を実読。加えて実行結果が本文記載と完全一致（下記）
正本シンボル 659 / 669 / 681	CONFIRMED	frozen SHA・da3f19e9f の双方で 3 シンボルとも当該行に一致
c909b6130 → da3f19e9f、15 コミット	CONFIRMED	両者とも origin/main 系譜の実在コミット。git rev-list --count = 15
PR #2811 / #2809 / #2798 実在・main 着地	CONFIRMED	3 件とも MERGED / base: main
ステール 3 ツールは #2811 / #2809 の着地先	CONFIRMED	#2811 が amadeus-harness.ts + amadeus-plugin.ts、#2809 が amadeus-stage-stats.ts を変更。本文の 3 件と完全一致
影響節「#2811 / #2798 / #2809 の 3 修正」	REFINED	#2798 の merge commit は c909b6130 の祖先で、今回の前進の 15 コミットに含まれない
自己参照の死角	REFINED（強化）	「推論」ではなく #2811 の diff からの構造的帰結
source-only:check は鮮度に不感	CONFIRMED	evaluateTrackedBoundary は追跡パスへの述語適用のみで内容比較経路を持たない
open な重複なし	CONFIRMED	独立再検索で open 重複 0 / 該当 open PR 0
種別 enhancement / P2	CONFIRMED	ラベル定義（P2: 重要だが急がない）と回避策の確立に整合
完了条件の測定可能性	REFINED	条件 2・3 は測定可能。条件 1 の選言と条件 4 のコーパス未指定に緩み
実測値そのもの（130/3・TypeError・トークン残存）	INCONCLUSIVE	当時の未追跡ツリー依存で再現不能。機序は独立に確認済みで前提は損なわれない
issue form 準拠	REFINED	必須 9 節の実質はすべて存在。重複・現行状態の確認 と 優先度 が独立見出しでなく他節に内包

再現・コード実読

対象 SHA 10dbac595…、作業ツリー clean（git status --porcelain 空）で実行。

履歴・出典

git merge-base --is-ancestor c909b6130 da3f19e9f   → exit 0
git rev-list --count c909b6130..da3f19e9f          → 15
git merge-base --is-ancestor c909b6130 origin/main → exit 0
git merge-base --is-ancestor da3f19e9f origin/main → exit 0

前進窓への帰属（--is-ancestor の組合せ、exit code から判定）:

merge commit	PR	判定
c51afbd0a…	#2811	窓の内側
40056d0ec…	#2809	窓の内側
0f7efe84b…	#2798	窓の外側（c909b6130 の祖先）

git show --stat によるコア tools 変更: #2811 → amadeus-harness.ts / amadeus-plugin.ts、#2809 → amadeus-stage-stats.ts、#2798 → plugins/pr-convergence/stages/pr-convergence.md（コア tools なし）。本文が挙げるステール 3 件と過不足なく一致する。

不在の反証確認（述語分割 + exit code）

git grep -n "core/tools"     -- <doctor 実装 3 ファイル> → exit 1（0 hit）
git grep -n "framework/core" -- <doctor 実装 3 ファイル> → exit 1（0 hit）
git grep -niE "stale|drift"  -- amadeus-utility.ts      → exit 0（hit あり）

3 本目の hit 内訳を実読: stage graph drift、practices staleness、elections registry ⇄ directory drift、compose approval marker staleness、state ⇄ audit drift。いずれも別面であり、コア tools 投影を比較する経路は存在しない。空出力だけに依らず、近傍語彙の hit を取ってその内訳を実読することで不在を確定した。

現行ツリーの鮮度と status の応答

132 件の cmp（core/tools ⇄ .claude/tools） → 差分 0 / 欠落 0
bun .claude/tools/amadeus-plugin.ts status
Plugins: 2 installed, 2 composed, revision 0
exit 0

投影が完全に鮮度どおりの状態でも、status の出力は本文がステール状態で観測したものと文字列・exit code とも完全一致する。当該診断面は鮮度の 2 状態を区別する情報を運んでおらず、沈黙が偶発でなく契約であることが、当時の値を再現せずとも確定する。

機序・影響・ラベル

観測事実

amadeus-plugin.ts:1347-1351 で比較の両辺は authoring plugins/<name> と staging <harness>/.amadeus-plugin-src/<name> に定まり、packages/framework/core/tools/ → <harness>/tools/ は現れない。handleStatus（:1381-1387）に鮮度判定はない。起票日以降 frozen SHA までに検知は追加されていない。Issue が前提とする問題は frozen SHA で実在する。

自己参照の死角 — 推論ではなく構造的帰結

git show c51afbd0a… -- …/amadeus-plugin.ts | grep -E "^\+.*export function (stagingHarnessDirOf|seedBytesForHarness)"
+export function stagingHarnessDirOf(…)
+export function seedBytesForHarness(…)
+    if (other === undefined || !other.equals(seedBytesForHarness(rel, bytes, harnessDir))) return "different";

git show c51afbd0a…^:…/amadeus-plugin.ts | grep -c "seedBytesForHarness" → 0（exit 1）

#2811 は seed 変換そのものを新設し、それを stagingEntryState の比較辺へ配線した PR である。よって #2811 以前の世代の投影ツリーから doctor を起動すると、検知器は seed 変換を持たず source を素バイトで読み、staged も同じ旧変換の産物であるため、必ず identical を返す。本文は「成立しうる」「推論」と抑制的に書いているが、変換の欠如ゆえに必ず成立する。しかもその一致判定を招いた当の関数が、ステールだったツール 3 件のうち amadeus-plugin.ts そのものである。

留保: 本文が正しく明記するとおり「再ビルド前に doctor を実行して沈黙を観測した」動的証拠は存在しない。上記は diff とコード構造からの決定的導出であり、完了条件 3 が求める落ちる実証を代替しない。

影響・ラベル

影響（着地済み修正が効かないまま作業が進む）は上記実測から支持される。P2 はラベル定義（重要だが急がない）に整合し、回避策の確立・影響のローカル限定・マージ済み成果物を守る CI の別面という 3 点から妥当。

留保（推論であり訂正ではない）: 隣接する #2772 / #2771 はいずれも P1。#2772 の受け入れ基準「対象 revision に結び付いた base 同期済み証跡と source build 成功証跡を検証する」は、本件が求める検知器を実質的に必要とする。両者を「検知（本件）と執行（#2772）」の 1 対と見るなら優先度は結合しており、#2772 着手時に本件がクリティカルパスへ乗りうる。優先度変更の提案ではなく、着手順の依存として記録する。

訂正・未解決事項

1. 訂正（影響・価値節） — 「今回は [plugin-harness-dir-token/bolt-1/fix-2790-plugin-harness-dir-token] resolve {{HARNESS_DIR}} at the plugin staging seed #2811 / fix(pr-convergence): plugin センサー手動発火の HARNESS_DIR リテラル化を修正 #2798 / feat(stage-stats): CG ウィンドウの観測可能区間と帰属不能残余の遡及集計 (#2695) #2809 の 3 修正が実行時に無効なまま」は、3 件が等しく今回の前進で取り込まれたと読める。fix(pr-convergence): plugin センサー手動発火の HARNESS_DIR リテラル化を修正 #2798 は前進前 c909b6130 に既在。なお「根拠・実測証拠」§1 は「それぞれ [plugin-harness-dir-token/bolt-1/fix-2790-plugin-harness-dir-token] resolve {{HARNESS_DIR}} at the plugin staging seed #2811 / feat(stage-stats): CG ウィンドウの観測可能区間と帰属不能残余の遡及集計 (#2695) #2809 の着地先を含む」と正しく除外しており、訂正が必要なのは影響節の並列表記のみ。この訂正は主張を弱めず、むしろ強める — 投影ステールが 1 回の前進による一過性の不整合ではなく、build を挟まない限り累積し続ける状態であることの実証になる。

2. 完了条件 1 の選言が緩い — 「非ゼロ exit または明示の drift 行」は advisory 行のみでも満たされる。「いつ走るか」と「赤が止めるか」は独立の 2 面であり、本件の価値（履行漏れを機械が止める）が exit code に依存するかを、設計段でなく受け入れ基準で確定しておくのが望ましい。

3. 完了条件 4 の対象コーパスが未指定 — .claude のみか全 self-install 投影かが読み取れない。実在する投影は 3 面（.claude 132 / .codex 135 / .cursor 132、正本 132）、packages/framework/harness/ には 8 ハーネス。受け入れ条件は配送先の実ツリーに対する述語で書く必要があり、コーパスは packager の検出集合として明記すべき。

4. issue form の軽微な逸脱 — 重複・現行状態の確認 は独立見出しがなく「関連 Issue・PR・intent」末尾の重複検索段落が実質を担う。優先度 は「初期分類」に内包。いずれも実質は充足しており内容欠落はない。form にない「機序」節の追加は本 Issue の中核的価値を担っている。

5. 実測値は再導出不能 — 130/3・TypeError・トークン 5 箇所の内訳は当時の未追跡ツリー依存で再現できない。本文が観測環境と対象 revision を明記している点で実測規律は満たすが、将来これらを引用する際は一回性の観測であることを明示されたい。

同根・対称面

面	既存検査	覆われるか
生成物が git 追跡下に入る	source-only:check	覆う（内容鮮度には不感）
クリーン checkout のビルド再現性	CI 隔離 2 回ビルド	覆う（ローカル投影には不感）
plugin staging ⇄ authoring	stagingEntryState（:1351）	覆う（ただし検知器自身が投影面に載るため条件付き）
elections / compose marker / state ⇄ audit	doctor 内の各 drift 検査	覆う（別面）
コア tools 正本 ⇄ 投影ツリー	なし	覆われない — 本 Issue の対象

• 他ハーネス投影: promote-self.ts は SELF_INSTALL_HARNESSES を反復して投影する。本文の機序節は <harness>/tools/ と一般形で書かれ対称面を排除していないが、実測証拠は .claude のみ。.codex / .cursor は未測定（上記 未解決 3 に対応）。
• plugin staging 面: 既存検査が存在することは、その面が守られていることを意味しない — 検知器がステールなとき当該検査も同時に無効化される。
• dist/: 同じ理由で鮮度未検出だが、直接実行する運用がなく実害経路が異なる。対象範囲を投影ツリーに限定した判断は妥当。
• 本文が挙げていない隣接: ci: マージ時再検証の一般化 — drift guard・ベースライン系ゲートをマージ直前に fail-closed で再検証する #1983（マージ直前の drift guard 再検証）は「ゲートが古い基準で判定する」点で同根だが面が異なる。重複ではないが、設計段で検知器を共有できるか検討の余地がある。

後続検証者向けメモ

1. 「検証時にたまたま build 済みで症状が再現しない」ローカル生成物の鮮度 Issue では、再現の代わりに「診断面の出力が鮮度の 2 状態で区別されるか」を問うと、鮮度どおりの状態のままでも前提を確定できる。
2. 不在主張は「hit 0」より「近傍語彙で hit を取り、内訳がすべて別面であることを実読で示す」ほうが強い。空出力の exit 1 の積み上げは、検索語が外れていただけの場合と区別できない。
3. 「同じ前進で取り込まれた」は merge 時刻でなく git merge-base --is-ancestor <merge> <前進前> の exit code で判定する。squash 運用では時刻の前後は帰属の根拠にならない。
4. 検知器のステール性を疑うときは、その検知器を導入した PR の diff を見る。git show <merge>^:<file> | grep -c で pre 世代の不在を取ると、推論を構造的帰結へ格上げできることがある。
5. 投影面の受け入れ基準は配送先ツリーの数を数えてから書く。ハーネス定義の数と worktree に実在するツリー数は一致しない（8 対 3）。

Verdict

CONFIRMED_WITH_REFINEMENTS

この verdict は Issue の実在性確認であり、実装着手・優先順位・
クローズの承認ではありません。