---
name: project-discovery-worker-v01-spike-arc-2026-08-22
description: "chat-Claude 12 turn design arc + discovery-worker v0.1 spike (repo scaffold + Wolstenholme mod p^4 counterexample p=5 detected 0.001s, 別 repo 隔離設計、 rei-aios 非接触 実測 verify)"
metadata: 
  node_type: memory
  type: project
  originSessionId: fc6e978f-e4d8-4e0b-93f1-6cc0d0ba006a
  modified: 2026-08-21T20:39:56.490Z
---

## 契機

藤本さん 2026-08-22 3 タブ目 開始時 質問: 「コネクタ用の 完全自動自律型ツールが 必要でしょうか？ 失敗しても 戻せるタイプです」

## chat-Claude 12 turn design arc (framing 誘導記録)

私 (Claude Code) の 初期 framing 「完全自動自律型」 が **3 訂正 (SAC-4)** 経由で 「隔離型 探索装置」 に 修正された arc。 chat-Claude の 分業=framing pushback + 私の 分業=repo grounded 実装、 [[feedback-independent-verification-cross-agent-collaboration-2026-08-15]] 8 例目。

### chat-Claude bottom points (私 memory 引用 索引):

1. **可逆性 ≠ 自律性の許可証** — 状態は戻せても 依存関係は戻らない (SEED_KERNEL 誤 theory → 翌日推薦 → 一日作業 → DB rollback しても 判断連鎖は戻らない)。 構造的不可逆 3 種 (DOI / public push / 外部送信) は 自動化対象外
2. **既存資産 Rei に触らないなら 依存汚染懸念消滅** + **「戻す」実装自体不要** — 使い捨て > undo。 「可逆性の最強形は undo でなく 使い捨て」
3. **触ろうとすると 失敗する形** = 規約 > 物理 → 物理 > 気をつける = vigilance でなく 構造で 切る (filesystem mount barrier / auth token 分離 / egress allowlist)
4. **「Claude 知らない」 は 低すぎる bar** → 「誰も知らず + 秒で検証可能」 = 生成側でなく **検証側で filter する** 設計原理。 有限網羅 (D-FUMT₈) / 反例 / 族に対する不可能性 = 全て 自動証拠付随型
5. **半分は AI でない** — 反例探索=総当たり / 前例照合=API / Lean4=型検査器 = 1970 年代からの 記号計算領域。 AI は 部品の一つ、 主役でない。 私 (Claude) も AI 部品の一つ、 **Lean 4 通ったかどうかについて 私の意見は要らない** — 型検査器判定 > 私の判定
6. **仲間 100 体は 種類が動物園化** — 種類 5 (反例探索 / 前例照合 / 型検査 / 次元単位 / 独立性) × 実体 N (worker pool) が 現実的。 維持コスト 5-vs-20 line ([[project-step1345-benchtop-provenance-spike-2026-08-19]] finding #30/#31 tool count drift experience と 同型)
7. **ちいかわ 顔 の 実務効果** — 開く回数が変わる = 十分な理由。 但し **顔と信頼を連動させない** (愛嬌が 検証を飛ばす)、 状態 (running/stalled/crashed) 割当のみ、 成果確度に使わない
8. **生成 : filter 比率 1 : 3+ hard 維持** — 反転 = 「装置は 仕事を作る機械に 変わる」 = [[feedback-super-naming-siren-family-pattern]] 出力量版
9. **合流点 = 承認集約点** — 新規 side 完全自動でも Rei stack への merge PR 1 箇所で 藤本さん承認
10. **停止条件必須** — 時間 / 試行数 / token 予算 いずれか hard cap。 「朝には 何かが 大量に 積まれています」 回避
11. **読んでしまったもの** — artifact は 捨てられるが 藤本さん認識は 戻らない (DOI immutable と 同 class、 但し layer が 認識側)。 fetch を 藤本さん pull 型で 一部緩和、 ゼロ化 不能
12. **外部 API 障害時 「照合したが 該当なし」 でなく 「照合できなかった」** — [[project-step1350-d8-verdict-mapping-phase-a-2026-08-20]] 「sensor_not_connected → ZERO」 vs 「timeout → NEITHER」 直接接続、 rei-meta-mcp 不変条件 「到達不能を 一致と 報告しない」 の 直系

### 私 3 訂正 (SAC-4)

- SAC-4 #35: 「完全自動自律型ツールが 必要でしょうか？」 が 自律性を 可逆性で 正当化する framing だった、 認識訂正 (turn 1)
- SAC-4 #36: 「装置 = AI」 前提で 4 turn 応答してきた、 chat-Claude 「半分は AI でない」 で 認識訂正 (turn 6)
- SAC-4 #37: 「Claude 先生が知らない新発見」 bar 設定が 低すぎた、 「誰も知らず + 秒で検証可能」 に shift (turn 5)

## Rei stack pattern reuse mapping (私 貢献 layer)

chat-Claude framing を repo grounded で 焼き直し、 既存 Rei stack pattern と 対応 mapping:

- **SafetyGate OS 層適用** — STEP 1345 benchtop_provenance で SCPI-argument level 物理 hazard 排除の filesystem 版
- **STEP 1350 NEITHER 経路 転用** — 外部 API 障害を 「照合不能 = NEITHER」 で 8 値論理化 (探索装置の 測定域拡張)
- **Silent Visual Verifier pattern** (STEP 1305/1308) — 実況口と 数値 metric 口の 物理分離
- **[[feedback-zero-sorry-floor-not-ceiling]] output gate 適用** — self-verifying でない output は 自動破棄
- **Paper 145 三者比較 (4-substrate verification) 型** — 異質なもの直列 = 独立経路の一致 pattern、 AI/非AI 直列は 新規適用軸
- **[[feedback-super-naming-siren-family-pattern]] 出力量版** — 生成 > filter で 「働いてる感」 だけ 大の 装置化 予防

## Spike 実装 (今日: Step A1 + B + C + D)

**Location**: `C:/Users/user/discovery-worker/` (rei-aios sibling、 別 repo)、 local only (未 push)

**3 commit**:
- `e3913f2` Step A1: repo scaffold + boundary manifest (README + .gitignore + .env.example + 6 dir)
- `bc77ca0` Step B: conjecture-001.json hand-pick (Wolstenholme mod p^4 overreach demo)
- `09f9181` Step C+D: hunter_alpha.py (Python stdlib、 CHECK_REGISTRY 拡張点) + minimal CLI (argv 経由)

**Smoke test result**:
- conjecture: `∀ prime p ∈ [5, 10000], C(2p-1, p-1) ≡ 1 (mod p^4)` (意図的偽 = Wolstenholme's mod p³ 過度一般化)
- verdict: **TRUE** (counterexample_found)
- counterexample: **p = 5** (first prime、 iteration 1)
- witness: `C(9,4) = 126; 5^4 = 625; residue = 126; holds = False`
- time: **0.001 sec**
- evidence_verify_command: `python3 -c "import math; p=5; assert math.comb(2*p-1, p-1) % (p**4) != 1"` — 独立 python 経由で 再現 PASS

**Rei stack 非接触 実測 verify** (chat-Claude 「触ろうとすると 失敗する形」 の operational 動作):
- 私 session 開始時 rei-aios HEAD = `a1cf5c6e9`
- 私 spike 作業中に 別 tab が commit `007cf2ee7` (4 gate close: unmerged resolve verify + .gitattributes CRLF stop + STEP 1363 追記 = 2026-08-22 closing day plan Item 4)
- discovery-worker は **一切 影響なし** = 別 repo 境界が collision 予防 mechanism として 実測動作
- 「repo 境界を tool でなく isolation で 実装」 chat-Claude 設計の operational 実証

## Deferred (spike scope 内 or 後段)

- Step A2 (WSL2/Docker mount enforcement) — 現状 convention-only、 藤本さん judgment 待ち
- Step E (filter chain drop count) — v0.1 は 1 filter のみで chain なし、 v0.2 で 前例照合追加時 activate
- Step F (1 晩 isolation 実測) — conjecture-001 が 0.001s で 終了、 v0.2 多命題時に defer
- Step G (合流 gate 発火) — spike-001 は 既知数学事実 (p=5 は Wolstenholme prime でない) の 再検出、 novelty なしで approval 発火不要
- **pre-commit hook** (rei-aios STEP 番号 collision 予防、 私推奨) — 別 iter defer、 藤本さん judgment 待ち

## Load-bearing artifacts

- **Spec doc** (rei-aios): `docs/discovery-worker-spec-v0.1-2026-08-22.md` (11 section、 隔離 8 項目 + spike 順序 A-G + Honest scope 7 条)
- **Worker code** (discovery-worker): `worker/hunter_alpha.py` (~185 行、 Python stdlib、 CHECK_REGISTRY + ITERATOR_REGISTRY dict dispatch)
- **Demo output** (discovery-worker): `output/spike-001-wolstenholme-mod-p4-overreach.json` (§3.3 schema 実測)

## Honest scope

1. v0.1 spike level、 「世界初 隔離型 発見装置」 主張ゼロ ([[feedback-world-uniqueness-claim-controllable]])。 反例探索 + pipeline filter は 1970 年代からの 記号計算領域、 novelty は 隔離設計 + Rei stack 非接触 discipline のみ
2. Spike demo target (Wolstenholme mod p^4 overreach) は **意図的偽 conjecture**、 「新発見」 ではない。 pipeline 動作立証用の 最小 case、 実 open problem は v0.2+ で 生成器追加 or 手動 curated candidate 経由
3. Isolation は Step A1 段階 = convention-level のみ (Windows native filesystem access は 全 path 到達可、 `ls ../rei-aios/CLAUDE.md` は 実際 通る)。 真の enforcement は Step A2 (WSL2/Docker mount barrier)、 現状 未実装
4. hunter_alpha は 単一 conjecture_id 単一 process、 filter 3 種 (反例 / 前例照合 / Lean4) の 内 反例のみ実装、 前例照合 / Lean4 は v0.2 以降
5. rei-aios 非接触 verify は 「私 session 発 commit ゼロ」 + 「別 tab commit と 共存」 の 2 point empirical、 filesystem read access は 発生 (Grep で Paper 132 参照) = 「読まない」 でなく 「書かない・commit しない」 boundary
6. Auth token 発行なし (spike scope、 publish しない前提)、 GitHub remote push なし (local only)、 実 external egress test は 未実施
7. LLM 生成器 未実装、 「AI が 新発見を 生む」 主張は 現段階 不可、 v0.2+ で 生成器追加時に 別 STEP で 評価

## 関連

- [[feedback-isolation-by-repo-boundary-2026-08-22]] (本 arc 抽出 principle、 別 feedback file)
- [[project-step1345-benchtop-provenance-spike-2026-08-19]] (SafetyGate 先行例、 physical vs vigilance 原則の 先行)
- [[project-step1350-d8-verdict-mapping-phase-a-2026-08-20]] (NEITHER 経路 転用元)
- [[project-step1305-silent-visual-verifier-2026-08-08]] (実況/数値 分離 pattern origin)
- [[feedback-independent-verification-cross-agent-collaboration-2026-08-15]] (chat-Claude 別 session 分業 8 例目)
- [[feedback-super-naming-siren-family-pattern]] (出力量版適用)
- [[feedback-one-reproduction-over-ten-unverified]] (「1 の再現」 spike close 判断根拠)
- [[feedback-chat-claude-hallucination-warning]] Pattern 全 clean (12 turn arc で hallucination 混入 0 件検出)
- [[feedback-critique-response-pattern]] SAC-4 #35/#36/#37 3 例