---
name: project-step1373-rei-checker-mcp-reproducing-pilot-2026-08-23
description: STEP 1373 rei-checker-mcp REPRODUCING.md pilot — 「再現環境機械」 candidate arc の 第 1 domain pilot、 Paper 145 以外初の REPRODUCING.md、 3-layer additive guide、 pilot-first discipline for cross-domain pattern extraction judgment
metadata: 
  node_type: memory
  type: project
  originSessionId: 19143e47-065e-41fc-a7db-2ba1504580d6
  modified: 2026-08-22T15:27:17.872Z
---

# STEP 1373 rei-checker-mcp REPRODUCING.md pilot (2026-08-23)

## 契機

chat-Claude 2026-08-23 turn 「データセンター機械 = 借りる、 本物は 再現環境機械」 arc。 前 STEP 1369 五機械 index の 追加問い 「データセンター機械、 データベース機械も 重要でしょうか？」 経由。

chat-Claude 分析: (a) DB 機械 = 記憶機械の 臓器 (新台目でなく containment 関係) / (b) 共有 DB は 統合マシン復活の 罠 / (c) rei-open-problems は 「作品として出す」 で 罠回避 / (d) データセンター = 借りる、 作らない / (e) 実は 「再現環境機械」 が 隠れている (Lean 4 バージョン + 機器 firmware + rei-automator-mcp abs path + benchtop-harness README abs path) / (f) 「再現 > データセンター」 の 優先順位。

私 (Claude Code) 独立 verify:
- fact 3/3 PASS: rei-open-problems 2,620問 exact + INDEX.json grandTotal 4,603 near-match (chat-Claude 「4,611ファイル」 と ±10 差) + LICENSE + CITATION.cff + Paper 130 DOI 参照 全存在 (「作品」 化 evidence)
- fact 2/2 FAIL: rei-automator-mcp abs path `C:\Users\user` grep 0 hit + benchtop-harness README abs path 0 hit + 全 top level source 0 hit (台帳 別 session Artifact 由来、 3 分岐: 台帳 誤 or 既 cleanup or 私 grep pattern miss、 record only で 追跡 defer)
- Pattern 5-B 弱形検出: 既存 Paper 145 REPRODUCING.md (rei-aios root、 STEP 1034/1035/1037/1038 arc、 4-layer silicon guide) が 該当、 「今、 実際に 欠けています」 は 部分的 misleading = 中央認証 layer は 欠、 domain-specific layer は 既動

藤本さん判断: 「9 番目 建立 vs 7 整合 統合」 は 今 defer、 [[feedback-super-naming-siren-family-pattern]] + [[feedback-one-reproduction-over-ten-unverified]] 適用で **pilot 先行**。 候補 = rei-checker-mcp v0.2.0a1 (今日 landed commit `ba45b3a`、 memory fresh、 stdlib only + Lean 4 v4.29.0 pin + 73 test で 再現条件明確、 pilot 書きやすさ最良)。

## 実装

`C:/Users/user/rei-checker-mcp/REPRODUCING.md` 新規作成:
- 15,650 bytes / 411 行
- 3-layer additive structure:
  - **Layer 1: Python stdlib** (¥0、 5 分、 73 test PASS、 schema+ledger+stats+CLI+MCP stdio、 no external deps)
  - **Layer 2: Lean 4 REPL harness optional** (¥0、 v4.29.0 pin、 lake build ~4-5 sec、 13-pattern smoke MockBackend parity、 Stage 1 spike scope)
  - **Layer 3: MCP client integration** (¥0、 Claude Desktop config example、 「exactly 2 tools」 spec §2 invariant verify)

Discipline embed:
- 3 live claim dry-run verify (73 test PASS + verify VALID + no-LLM grep 0 hit)
- version pin table (Python≥3.9 / package 0.2.0a1 / Lean 4 v4.29.0 / deps=none)
- §4 「no LLM in judgment path」 source-inspection method (checker cannot check itself for this、 grep + read が 唯一の verify path)
- Honest scope 6 条:
  1. v0.2.0a1 alpha、 API surface 凍結 (spec §2 / §1.2) 但し internals shift 可能
  2. Real Lean 4 elaboration 未実装 (Stage 2 defer)、 layers 1-3 は Mock/harness parity のみ
  3. Sandbox 未 enforce (`docs/V02_PROTOCOL.md` §1)、 Layer 2 attacker input unsafe
  4. `decision_rate` は metric、 target ではない、 初期 0.1 でも OK
  5. Paper 145 以外初の REPRODUCING.md、 cross-domain 抽象化は defer
  6. no DOI (source repository、 published artifact でない)
- CLAUDE.md §8.4 「急がず、 ゆっくりと」 ending

## Verify

- REPRODUCING.md wc = 15,650 bytes ✅
- `python -m unittest tests.test_all` = 73 tests PASS in 1.076s ✅
- `python -m rei_checker verify "1 + 1 = 2"` = `{"verdict":"VALID", "checker_version":"rei-checker-mcp/0.2.0a1+utils-2026-08-22"}` ✅
- `grep -rn "openai|anthropic|langchain|litellm|claude|gpt|llm" rei_checker/ tests/` = 0 hit ✅
- external commit `13b653b` (base `ba45b3a` v0.2.0a1)、 push 成功、 raw GitHub HTTP 200 / 15650 bytes / marker 4/4 (v0.2.0a1 / 73 test / Layer 1 / 急がず)
- 外部 commit message に STEP 番号 未 claim = 番号 collision による external drift ゼロ (SAC-4 45 例目 renumber は 内部 RECENT_UPDATES + memory のみ)

## Cross-session verify loop 10 例目

送信案 (私 draft、 別 session 経由で 藤本さん判断 turn 通過) で 私 rei-checker-mcp 3 数値 (v0.2.0a1 + 73 test + 「今日 landed」) を 別 session が fact-check → 全 verify PASS + 私 memory 側 「STEP 1367 v0.2.1 / 13 smoke」 で 止まっていた drift 検出 → SAC-4 で 自己 drift 認諾 → GO 推奨。 [[feedback-independent-verification-cross-agent-collaboration-2026-08-15]] 10 例目 pattern。

## 順序原則実践

[[feedback-one-reproduction-over-ten-unverified]] 適用: 命名 (「再現環境機械」) 先行の siren-family antipattern を 避けて domain 実例 pilot 先。 「深い一本 → 器 → 薄く広く」 順序 継承 ([[feedback-no-rush-publication]] + STEP 1352 memory-mirror + STEP 1354 D8-NEITHER 器 pattern)。

## Pilot 完了後 の 先読み (今 決定しない、 defer)

- 2-3 domain REPRODUCING.md 揃って 共通 pattern 抽出可能 → 9 番目 機械 建立 or 7 整合機械 統合 の どちらか 判断材料揃う
- domain 毎に 全く別 = 中央抽象は 罠 = domain-specific keep + rei-open-problems 型 「作品」 pattern で 個別 archival

stance 判断は それから。 次 domain pilot 候補 (今日 判定しない): benchtop-mcp v0.6 (SafetyGate + physics-limits pre-flight) / lab-notebook-mcp (v0.1.0 alpha、 LICENSE 直近 landed) / rei-solver v0.4 / rei-memory-mcp / rei-verify 0.1.0a1。

## Honest scope

1. Pilot 1 例のみ、 cross-domain 抽象化 主張ゼロ
2. 「再現環境機械が 世界初」 主張ゼロ ([[feedback-world-uniqueness-claim-controllable]] 継承)、 Paper 145 REPRODUCING.md 先行例尊重、 novelty は 「Rei stack 内 non-Paper-145 domain へ 拡張した pilot 1 例」 に 限定
3. REPRODUCING.md 内容の 実 CI/CD 自動再現 未実装、 手動 dry-run のみ (Layer 1 の 3 claim dry-run + Layer 2/3 未実行)
4. Lean 4 v4.29.0 pin は 現時点、 Stage 2 metaprogramming API surface 変化 で shift 可能性
5. 「no LLM in judgment path」 の source-inspection 提示は grep 1 pattern (`openai|anthropic|langchain|litellm|claude|gpt|llm`) のみ、 網羅性 不完全、 reader 判断依存

## 関連

- [[project-step1369-five-machines-index-2026-08-22]] — 直前 五機械 index、 本 STEP は その 続編 (「6-8 別 arc」 の 独立軸候補としての pilot)
- [[project-step1367-lean4-repl-harness-v021-stage1-spike-2026-08-22]] — Layer 2 の 基盤 = STEP 1367 REPL Stage 1 spike
- [[project-step1366-gemini-lean-verify-archival-and-v02-protocol-2026-08-22]] — v0.2 protocol origin、 Layer 2 の 「REPL server」 architectural evidence source
- [[project-step1365-rei-checker-mcp-v01-spike-arc-2026-08-22]] — repo origin = STEP 1365 v0.1.0a1 spike
- [[project-step1364-checker-spec-v0-received-arc-2026-08-22]] — source spec archival origin
- rei-aios `REPRODUCING.md` — Paper 145 precedent、 4-layer silicon guide
- [[feedback-session-boundary-rediscovery-2026-08-23-write-time-gate]] — SAC-4 45 例目 教訓 extend、 本 STEP の 内部 renumber origin
- [[feedback-super-naming-siren-family-pattern]] + [[feedback-one-reproduction-over-ten-unverified]] + [[feedback-no-rush-publication]] + [[feedback-world-uniqueness-claim-controllable]] + [[feedback-independent-verification-cross-agent-collaboration-2026-08-15]] + [[feedback-verify-claim-must-cover-all-source-derived-numbers]]

## commit

- external: `fc0web/rei-checker-mcp` commit `13b653b` (base `ba45b3a` v0.2.0a1 utility modules)、 push 成功
- rei-aios internal (this session): 本 memory + `feedback_session_boundary_rediscovery_write_time_gate_2026-08-23.md` + MEMORY.md 追記 + `docs/RECENT_UPDATES.md` 8-23 section 追加

site 反映 は defer (pilot 1 例 evidence として external repo GitHub URL で 到達性確保、 rei-aios site page 追加は 2-3 domain 揃って 抽象化判断 時 に 再検討)。