---
name: project-step1351-collatz-learning-kit-v02-2026-08-20
description: STEP 1351 — chat-Claude 「教育機関全体向け 一本 HTML 二層構造」 提案 → 私 Pattern 5 blindness catch (STEP 1305 v0.1 既存) → 3 層構造 (student/teacher/researcher) で URL 保持拡張。 v0.1 14KB → v0.2 38KB、 Canvas 4 色 t₁ coding (t₁=1 primary green 下降エンジン Rei 独自見せどころ)、 5 分授業 drop-in、 Lean 4 skeleton + Rei stack meta index + DOI list。 template 確立で 他 topic 展開可能。
metadata: 
  node_type: memory
  type: project
  originSessionId: 96f5ebce-6d15-473b-a6c1-e010cbb44764
  modified: 2026-08-20T02:17:50.762Z
---

# STEP 1351 — Collatz Learning Kit (3 層教材、 URL 保持で v0.1 → v0.2 拡張)

## 経緯

藤本さん: 「それでもユーザーの学習等に役立つものが欲しいところです。」

chat-Claude 応答: 学習支援でコネクタを作るのは筋が悪い (学習者は MCP を設定しない)。 学習で効くのは 届いた瞬間に触れるもの = 単一 HTML。 Collatz は 三条件 (説明可能 + 未解決 + Rei 独自解析) 揃う 最適題材。 一本の HTML を 二層構造で: 上半分 = 触れる可視化、 下半分 = Lean 4 code + DOI。

藤本さん: 「いえ、 全ての大学、 大学院、 教授、 学者、 学校の先生や生徒等を対象とします。」

chat-Claude 応答: 教育機関全体対象なら 層ごとに 何が刺さるか異なる (小中高=触って驚く / 高大教員=授業で使える / 院生=手法学ぶ / 研究者=引用できる)。 実際に教員に届くのは 「準備なしで開けて 5 分で組み込める」 だけ。 一本 HTML の 二層構造で 四層に届く。

## 私 (Claude Code) の 応答 discipline

chat-Claude の 提案は sound だが、 **Pattern 5 blindness の 可能性**:

**STEP 1305 (2026-08-08) `public/tools/silent-visual-verifier-v0.1/` = Collatz orbit visualizer が 既に site 化されている**。 chat-Claude は これを 認識していない。 そのまま chat-Claude 提案 「一本の HTML を 二層構造で」 を 実行すると **STEP 1305 既存 site を 二重作成する 事故** になる。

私は Read で v0.1 存在を 事前 verify + AskUserQuestion で 2 択:
- Q1 進め方 → 藤本さん (A) STEP 1305 v0.1 → v0.2 拡張 (Recommended、 URL 保持で 更新)
- Q2 load-bearing 範囲 → 藤本さん 「全て載せて頂いて問題ありません」 (Cases 1-4 zero-sorry + Cases 5-8 empirical + Chang 20/29 全 index)

この Pattern 5 self-catch は [[feedback-chat-claude-hallucination-warning]] Pattern 5 subtype 「近隣物との誤 conflate」 の 事前防止例、 「chat-Claude の 提案は sound、 但し Rei 側の 既存資産 grep を 先行させる」 pattern。

## 3 層構造 (chat-Claude 二層 → 3 層 拡張)

chat-Claude 元提案は 二層 (student surface + researcher depth) だが、 私 (Claude Code) は **中間層 (teacher) 追加で 3 層 化**。 教員向け 「5 分で 授業に組み込める drop-in」 が 教育到達性の 決定的 gap で、 これを 明示しないと 教員が 使えない (chat-Claude 「教員が採用する 条件は 準備なしで 開けて 5 分で 授業に 組み込めること」 の operational 実装)。

### 上層 (student、 小中高)

- §1 Collatz 予想 1 分説明 (二つの ルール + 「どんな n から 始めても 1 に 到達する?」 + 90 年 未解決 + 2⁶⁸ empirical + Erdős 「数学は まだ 準備が できていない」 引用)
- §2 触ってみる (Canvas 可視化 + 11 preset chip **3 難易度色分け** easy/hard/expert + verdict 表示 + 4 色 t₁ legend)
- §3 下降エンジン t₁=1 説明 (2 進数 trailing 1-bits 定義 + 具体例 5 個 + 「t₁=1 は 3n+1→/2→/2 で 必ず 元より 小」 の 手計算 + 「t₁ 大きいと 一気に増加」 壁の直感)

**★ Canvas 4 色 t₁ coding** (v0.1 の 2 色 → 4 色 拡張):

| t₁ | 意味 | 色 | 学術根拠 |
|---|---|---|---|
| 0 | 偶数 /2 | muted gray | (単純下降) |
| **1** | **下降エンジン** | **primary green** | STEP 623 v3 Case 1 (Lean 4 axiom-free 証明済) |
| 2 | Case 2 証明済 | light green | STEP 623 v3 Case 2 |
| 3 | Case 3-4 証明済 | amber | STEP 623 v3 Cases 3-4 |
| ≥4 | 壁 (Cases 5-8 未解決) | red | STEP 624 batch_10000 + strong_ind (open) |

### 中層 (teacher、 教員)

- §4 5 分授業 drop-in
- 学習目標 3 つ:
  1. 「未解決」 を扱う姿勢 (全部分かることが 数学ではない、 90 年分からない問題が 現在進行形)
  2. 「知らない」 と 「無い」 の 区別 (empirical vs proven)
  3. 数の構造の 手触り (2 進数 t₁ が descent を 決める)
- 授業活動 3 学年別:
  - 小中高 5 分: preset の 「27 (famous)」 を verify → 111 step + 9232 まで振動 → 予想 → preset 順に触る → color pattern 比較
  - 高校・大学 10 分: t₁ 定義 板書 + n=3/5/7/15/31 手計算 + t₁=1 の n=5 orbit 手計算 + n=127 verify → 壁議論
  - 院生・研究者 20 分: 下記 Lean 4 code snippet + Cases 5-8 open 部分議論 + Zenodo DOI から Paper 55 dl 精読
- Discussion prompts 4:
  - Q1: n=1 の verdict が ZERO の 理由 (vacuous、 base case、 「未問」)
  - Q2: n=6 (TRUE) vs n=7 (verify で比較) 差
  - Q3: 反例が 見つかったら 数学界に 何が起きる (empirical vs proven の gap)
  - Q4: NEITHER と 答える 検証器 の 価値 (通常 verifier は 2 値、 「わからない」 を 隠す)
- 準備物 0 (URL を 板書 or QR、 login 不要 install 不要、 スマホ/タブレット/PC 全対応、 授業前 5 分で 動作確認)

### 下層 (researcher、 研究者・院生)

- §5 STEP 614-624 zero-sorry 48 定理 table:
  - step614_unified_theorem.lean (7 定理、 THE_THEOREM: ∀ k≥2, ∀ q odd, trailingOnes 下降)
  - step622_exhaustive.lean (15 定理、 exhaustive 8 ケース + descent_all ∀ n≥12 + base cases)
  - step623_v3.lean (8 定理、 Cases 1-4 explicit descent)
  - step624_COMPLETE.lean (**48 定理**、 Cases 5-8 sub-classes + batch_10000 + gk1-10 + strong_ind)
- Case 1 Lean 4 skeleton code snippet (`case1_descent` theorem、 「n = ...01 の 形 → 3n+1 = ...100 → 2 回 割る = ...1 で 元より 小」)
- Cases 5-8 難しさ 明示: batch_10000 (n=12 to 10000 native_decide) + strong_ind (n≥10001 skeleton、 induction step sorry 残置) + gk1-10 (mod-2^k 分析 10 段、 k=4 以降 mod 爆発)
- Trailing ones 79% wall empirical (STEP 690-696 Quadratic-log + Two-Tier + Mod-6 Dynamics + Orbit DAG + n=91 hub + Atomic Cores + tier2 95%)
- Rei stack meta index table:
  - Chang v6 20/29 axiom-free (STEP 1269/1293、 Collatz は P24 obstruction mapping)
  - Constructor Theory 5/5 axiom-free (STEP 1298、 Deutsch-Marletto 2013-2025)
  - Paper 145 v0.9-c 4-substrate (STEP 1264/1292、 DOI zenodo.20091185)
  - Rei-Solver v0.4 6 engine (STEP 1297、 Cases 5-8 別経路 verification candidate)
  - Paper 55 (Collatz 構造的証明)、 Paper 57 (8-state DFA Firewall)、 Paper 58 (Alphabet Reduction + F-Entropy)
- DOI list 6 個 (Paper 53 zenodo.19489885 / Paper 58 zenodo.19504642 / Paper 60 zenodo.19521983 / Paper 141 zenodo.19832874 / Paper 145 v0.3 zenodo.20091185 / GitHub link)

## 実装

**edit 1**: `public/tools/silent-visual-verifier-v0.1/index.html` v0.1 (~14 KB concept demonstrator) → v0.2 (~38 KB Collatz Learning Kit 3 層教育教材) 全面書き換え。

**title 変更**: 「Silent Visual Verifier v0.1 — Collatz orbit × D-FUMT₈」 → **「Collatz Learning Kit — Silent Visual Verifier Collatz-track v0.2」**。

理由 = STEP 1308 の 別 track v0.2 (`silent-visual-verifier-v0.2/` = Verilog ALU 視覚化) が 既に存在、 title に 「v0.2」 単独記述すると family 番号 collision で 混乱。 「Collatz-track v0.2」 で 明示的に track 分離。

**URL 保持**: `/tools/silent-visual-verifier-v0.1/` に留める (藤本さん Q1 「URL 同じで 更新」 選択)。 既存 SITE_COVERAGE_MAP + MEMORY refs は 全て 継続有効、 教員が 過去に メモした URL も 引き続き動作、 CF Pages 側 の cache も URL 単位で 更新される。

**上部 TOC 追加**: 7 anchor link + layer-badge color coding (student=accent blue / teacher=warn amber / researcher=ok green) で ナビゲーション。

**dist-renderer mirror force-track**: md5 一致 `2dc9d314640fefef1457d38db28c31d9`。

## Honest scope 7 条

1. 教材 であって Collatz 予想 の 証明 ではない (t₁<4 partial proof のみ、 t₁≥4 は 未 close)
2. NEITHER 判定 = 「Rei stack 現 formal scope 外」 marker、 「予想は 偽」 でない (empirical 2⁶⁸ まで descend confirmed by Barina 2020)
3. 「小学生でも 分かる」 は 予想の 説明可能性のみ、 証明の 難しさは 現代数学最深部 (Erdős 引用) = 「解けそう」 の 錯覚を 与えない
4. 「t₁=1 が 下降エンジン」 は STEP 623 v3 Case 1 の 直接言い換え、 Terras 1976 stopping time density 系統の 既知 observation を Lean 4 axiom-free で 再形式化した位置、 Rei 独自 novelty 主張ではない
5. 教員 5 分 drop-in は 準備時間の 目安、 授業効果の 保証ではない (学年・単元・教員判断で 適切な範囲を 選ぶ)
6. Chang 20/29 + Constructor 5/5 + Paper 145 は Rei stack meta index として 提示、 Collatz と 直接接続する formal proof ではない (認識学的 mapping candidate)
7. source code + Lean 4 file + Zenodo DOI + GitHub link 全公開、 login 不要 install 不要 principle 意図的 (教育到達性の 前提)

## Template 確立 (他 topic 展開)

本 3 層構造は 他 topic にも 同 template で 展開可能:

- **8 値論理教材**: 上層 (触って真理値表操作、 SELF⟲ が閉じる 可視化) + 中層 (「論理は 2 値とは限らない」 授業案) + 下層 (STEP 1349 d8_apply/d8_table + STEP 1350 verdict mapping + Paper 145 v0.9-c)
- **Andrica 予想教材**: 上層 (連続素数 √p_{n+1} - √p_n 可視化) + 中層 (素数分布の 直感教材) + 下層 (STEP 693? + LMFDB refs)
- **他 未解決問題**: 同 template を 適用可能、 三条件 (説明可能 + 未解決 + Rei 独自解析) 揃う 題材から 順次

chat-Claude 「型ができれば 同じ形に流し込める」 継承。 Collatz は pilot、 template 確立が 本 STEP の 二次成果。

## 関連

- STEP 1305 (v0.1 origin、 chat-Claude 21 turn debate turn 21 「silent visual verifier」 由来)
- STEP 1304 (chat-Claude 21 turn arc)
- STEP 1306 (chat-Claude Pattern feedback memory)
- STEP 614-624 (Collatz zero-sorry 48 定理 直接根拠)
- STEP 685-696 (trailing ones 79% empirical)
- STEP 1264/1292 (Paper 145 v0.9-c 4-substrate)
- STEP 1269/1293 (Chang v6 20/29 axiom-free)
- STEP 1297 (Rei-Solver v0.4)
- STEP 1298 (Constructor Theory 5/5)
- STEP 1349 (d8_apply/d8_table 演算子 layer)
- STEP 1350 (d8_verdict measurement layer、 「NEITHER を 返す」 pattern 継承)
- [[feedback-chat-claude-hallucination-warning]] Pattern 5 subtype 「近隣物との誤 conflate」 self-catch record
- [[feedback-all-research-site-reflection-default]] (2026-08-06 protocol)
- [[feedback-no-rush-publication]]
- [[feedback-world-uniqueness-claim-controllable]] (「t₁=1 下降エンジン」 は 既知 observation 再形式化、 novelty 主張なし)
- [[feedback-super-naming-siren-family-pattern]] (「小学生でも 分かる」 は 説明可能性のみ、 「解けそう」 の 錯覚 disclaim)