---
name: reference-chat-claude-draft-partial-adoption-pattern
description: chat-Claude が完成 draft (Lean 4 file / HTML / Python 等) を送ってきた際の Rei filter 分別 pattern — parallel formulation / axiom-using / genuinely new の 3 分別 + partial adoption 手順
metadata: 
  node_type: memory
  type: reference
  originSessionId: dcec6d78-0ea9-41f0-8239-0a0ecad9879c
---

# chat-Claude Draft の Partial Adoption Pattern

## 適用場面

藤本さん経由で chat-Claude が完成 draft (Lean 4 file、 HTML、 Python 等) を送ってくることがある。
その際、 単純な全面採用 (over-deference, Pattern 4) でも全面拒否 (over-skeptical) でもなく、
**section 単位で 3 分別** して partial adoption するのが Rei filter の standard 手順。

## 実例 (2026-07-09 STEP 1267 で確立)

chat-Claude `Downloads/RichardsonPeace.lean` (234 行、 3 sections) 受領時:

| section | 内容 | Rei filter 分別 | 対応 |
|---|---|---|---|
| §1 | Hurwitz stability (複素根経由) | **parallel formulation** | STEP 1261 と approach 異なる (複素根 vs elementary Δx/Δy)、 co-exist 可、 本 STEP 非採用 |
| §2 | Hurwitz ⇔ Banach 縮小 | **axiom-using** | `axiom lyapunov_of_peace` + `axiom peace_of_lyapunov` で Rei baseline (axiom-free) から外れる。 別 STEP (1265 decoupled bridge + 1266+ coupled bridge) で explicit 化 |
| §3 | geometric_convergence + depth_log_bound (Layer E abstract kernel) | **genuinely new** | Rei 既存 formalization 未カバー → API drift 修正 + Rei env axiom-free 化 で採用、 STEP 1267 として抽出 |

## 3 分別 criteria

### 1. parallel formulation (co-exist、 本 STEP 非採用)
- Rei 既存 formalization と **同 domain** かつ **approach 異なる**
- 数学的内容は同じでも proof strategy が異なる (例: 複素根 vs elementary algebra、 topological vs categorical)
- **判断**: co-exist 可、 本 STEP では採用せず、 既存 STEP との関係を honest scope に明記

### 2. axiom-using (非採用、 別 STEP で代替)
- `axiom X : ...` を含む section
- chat-Claude 自身が「Mathlib 側が揃うまで axiom で interface 化」 と honest disclosure している場合が多い
- **判断**: Rei baseline (axiom-free zero-sorry, `[propext, Classical.choice, Quot.sound]` のみ) から外れるので採用しない。 代わりに Rei stack で explicit bridge を組む (例: STEP 1265 decoupled 1D Euler-forward)

### 3. genuinely new (採用、 新 STEP として抽出)
- Rei 既存 formalization に **未カバー** 領域
- API drift のみで Rei env で verify 可能
- **判断**: API drift 修正 + Rei env axiom-free 化 (`[propext, Classical.choice, Quot.sound]` baseline) で採用、 新 STEP 番号割当

## Standard 手順

1. **Rei env で lake build 実測**:
   - `cd data/lean4-mathlib && lake env lean CollatzRei/<Draft>.lean 2>&1`
   - API drift error 特定 (Mathlib v4.27.0 との差分)
   - chat-Claude 元 draft の tier disclosure と照合 (例: 「機械検証未実施」 明示なら error 想定)

2. **section 単位で 3 分別**:
   - 各 section の内容を Rei 既存 formalization と比較 (`grep -rn <keyword> data/lean4-mathlib/CollatzRei/`)
   - parallel / axiom-using / genuinely new を判定
   - Pattern 5 (grep-before-propose blindness) 自己 check: 私が chat-Claude の主張を verify する前に Rei 既存 work を確認したか

3. **genuinely new を新 STEP として抽出**:
   - 新 file 作成 (例: `RichardsonBeliefHierarchyKernel.lean`)
   - chat-Claude 元 draft からの Rei 側修正を honest scope に明記:
     - どの API drift を修正したか (逐次列挙)
     - どの section を採用 / 非採用としたか
     - 「元設計そのまま」 と「Rei 側修正」 の区別
   - `lake build` + axiom check で verify
   - commit message に「chat-Claude 元 draft §X 抽出」 と origin 明記

4. **docs 反映**:
   - RECENT_UPDATES.md に「chat-Claude 元 draft §X Rei env verify」 と記載
   - SITE_COVERAGE_MAP.md に新 STEP entry 追加
   - 元 chat-Claude thread への reference を保持

5. **honest scope 維持**:
   - 「chat-Claude 元設計 (Rei 改変なし)」 と「Rei 側修正版」 の区別を明記
   - inflate せず (「genuinely new」 と主張する時は Rei 既存 formalization との差分を明示)
   - deflate せず (partial adoption は valid contribution、 全面拒否ではない)

## HTML / Python 等 non-Lean draft の場合

Lean 4 file 以外 (HTML artifact、 Python script 等) では 3 分別 criteria が異なる:

- **educational artifact** (interactive HTML 等): 【模式的】 と chat-Claude 自身明示している部分は Lean 4 化スコープ外、 site 反映のみ (例: STEP 1268 Peace Basin governance risk 3 関数)
- **executable script** (Python quantum 等): 実行可能性 (import 解決、 API 整合) を Rei env で verify、 script 側修正必要なら実施
- **rigorous formalization worth**: Layer C-like【模式的】部分と Layer E-like【検証可能命題】 部分を分別、 後者のみ Lean 4 化検討

## 関連 memory

- [[feedback-chat-claude-hallucination-warning]] Pattern 1-6 全体
- [[feedback-chat-claude-over-deference]] Pattern 4 (over-deference 禁止)
- [[feedback-chat-claude-term-uncritical-adoption]] Pattern 5 (造語無批判禁止)
- [[feedback-evaluation-symmetry-principle]] (inflate/deflate 両禁止)
- [[feedback-world-uniqueness-claim-controllable]] (「世界唯一」 不使用)
- [[reference-chat-claude-transfer-typeclass-review-2026-07-07]] (Transfer typeclass review、 5 integration recommendation の前身)
- [[project-session-2026-07-09-chat-claude-world-peace-equation-arc]] (本 pattern 確立の session)

## 関連 STEP

- STEP 1259 (chat-Claude 2026-07-07 Transfer typeclass draft の Rei env verify、 partial adoption 初 example)
- STEP 1265 (chat-Claude Layer D 提案から派生した decoupled 1D bridge)
- **STEP 1267** (chat-Claude 2026-07-09 `RichardsonPeace.lean` §3 抽出、 本 pattern 確立 example)
- STEP 1268 (chat-Claude 完成 HTML の site 反映、 non-Lean draft への適用 example)