← Rei-AIOS home · tools index

STEP 1908 — Handoff-driven audit methodology arc + 4 番目 drift 型 発見

2026-09-09 discipline finding 4 番目 drift 型 grep before report tab isolation

1. Arc の 位置づけ

Cowork-Claude が repo 外側 (WebFetch で 公開 URL 21 page 取得) から 検出した 9 症状の handoff を、 Rei-AIOS repo 側 実測で 「症状の報告」 → 「原因の確定」 へ 寄せる audit methodology を 実践した arc。 cowork-Claude 明示 discipline:

各項目は「症状の報告」であって「原因の確定」ではない。
Claude Code は修正に入る前に、必ず repo 側から同じ症状を再現・確認すること。
外部観測と repo 実物が食い違った場合、食い違いそのものを報告対象とすること (修正して黙らせないこと)。

Handoff は GREP_BEFORE_REPORT_DISCIPLINE.md の 3 型でいう 「成果物と現実のずれ」 (3 番目型) の 検出。 検出は review でしか成立しないため、 handoff は 結論ではなく review 入力 として扱われる。

2. 実測 fact (中立 numeric evidence stack)

2.1 付録 B 形式 fact table (抜粋)

2.2 数字不一致の 実測 evidence

同一指標が 複数 spot で 異なる 数字を持つ 現象 (公開面 / API / repo 内部 / 論文 引用 の 4 layer):

指標: 「open problems 総数」
  Paper 130 出版時                    2,572
  META-DB v2 (公開時)                 2,583
  handoff 引用                        2,806
  同一 handoff 別 spot                2,736
  META-DB v3.0 INDEX.json Tier 1      2,620
  META-DB v3.0 INDEX.json grandTotal  4,641
  OUKC ページ表示                     4,290

3. ★ 4 番目 drift 型 「会話中の再述でのずれ」 発見

Cowork-Claude が GREP_BEFORE_REPORT_DISCIPLINE.md の 既存 3 型 (出所と記述のずれ / 記述と成果物のずれ / 成果物と現実のずれ) の いずれでもない 新 drift 型 を 発見。

3.1 定義

3.2 実例 (私 = Claude Code 自身の self-drift)

STEP 1908 前ターン で 私が AskUserQuestion option description に:

「論文 145 本 / Lean 定理 / 445 コネクタ / silicon 4-substrate」

と 書いた。 正しい値は 446 (repo 内 全 spot で 一貫して 446 と明記済み):

• public/tools/step-1697-home-hub/index.html:201: 「sougou-connectors 446 本」
• dist-renderer/assets/app-*.js: 「Sougou Connectors (総目録 446 コネクタ)」
• dist-renderer/tools/step-1707-rei-project-map-v02/index.html:518: 「446 × 4 tool = 1,784」
• public/data/sougou-connectors/catalog-compact.json: "count": 446
• CLAUDE.md Rei stack section: 「sougou-connectors ... 446」

Repo は 全て 446。 私 の 散文 だけが 445。 grep -rn "445.*コネクタ" は 私自身の 前ターン response の string を repo に 反映しない限り hit 0。 これが 4 番目型 が 「grep で 捕まらない」 の 実体。

3.3 予防策

1. 原文引用時 は 明示 quote マーク (私が cowork-Claude 原文 「446」 を 引用 して いれば drift しなかった、 独自 phrasing に 転記した とき drift した)
2. 数字は 常に verify tool で 検算 (再述時 は grep で fact check)
3. 記憶再生 vs 直接 fetch を discipline で 区別 (私 の 「145 papers」 隣接 で 「446 → 445」 と drift、 数字近接 の 混線 は 記憶再生依存)
4. Multi-speaker review が 唯一 の 検出経路 = chat-Claude / cowork-Claude / 藤本さん の cross-check

4. 付録 B 形式 discipline (grep before report)

Handoff §付録 B: 各項目 は 以下 4 field を 揃える:

| 項目 | 主張 | verify tool | 実行結果 (生の出力) | status |
|---|---|---|---|---|
| §1 | 死にリンク 0 | grep -rn + curl -sI | (貼付) | 未 review |

Discipline 3 point:

• (未 review) / (review 済) を 必ず 添える: status 欠落は grep で 検出可能 に する ための 機構
• 本 handoff は cowork-Claude 発: 引用時 は [via 藤本さん / orig: cowork-Claude] attribution 付与
• 自己判定禁止・自己発火は 無条件義務: 「直したので完了」 は 完了ではない

5. Failure mode 予防 (機械学習用 dataset)

6. Honest scope (本 page 対象外事項)

• Handoff §1 分岐 A/B (rei-aios public 化 vs 参照張替) の 判断: 別 track で 継続
• Handoff §4 単一成果物 議論: 別 track で 継続 (本 page 反映せず)
• Handoff §5 最小貢献単位 手順書化: §4 依存 で 判断待ち
• Handoff §2/§3/§6/§7/§8/§9 の 修正 land: tab 分担確定 + 判断待ち で 保留
• Prior-art audit 結果 (Formal Abstracts / formal-conjectures / ProofNet / miniF2F / Mathlib archive 差分): 別 track

7. 参照

• Handoff 原文: C:\Users\user\Downloads\HANDOFF-oukc-public-surface-audit.md (private)
• Sidecar fact base (private repo): data/tabs/rei-aios-2e/step-1908/
• 関連 discipline: GREP_BEFORE_REPORT_DISCIPLINE.md (既存 3 型 → 本 STEP で 4 番目型 追加提案)
• 関連 STEP: STEP 1907 (rei-repair-mcp P0 audit、 前 arc)