---
name: reference-discovery-device-architecture-2026-07-14
description: Discovery Device (パズルを超える発見装置) — 4 層階段 (sim → puzzle → discovery → 中心-周縁 𝕄) 概念 framework + Rei asset との integration mapping。 STEP 1285-1287 で Lean 4 + browser prototype 実装済
metadata: 
  node_type: memory
  type: reference
  originSessionId: 22379683-e707-44fb-aafe-70f610728ca3
---

# Discovery Device — 4 層階段 architecture

## 由来

**Date**: 2026-07-13〜14 藤本さん × chat-Claude 8-turn arc  
**藤本さん質問**: 「マシンはチューリング以外にもある?」→「ファミコン以来の画期的なもの」→「一般 user 向け」→「パズルを超える概念」→「学ぶ価値」→「両方 (個体+集合)」  
**chat-Claude synthesis**: 4 層階段 + 中心-周縁 𝕄 unified framework  
**Rei 実装**: STEP 1285-1287 で全 layer machine-verified + browser prototype

## 4 層階段

| 層 | 意味の源泉 | 例 | Rei 実装 (STEP) |
|---|---|---|---|
| Simulation | 作者 (振る舞い記述) | 眺めるデモ | ゲート基準 不通過 |
| Puzzle | 作者 (正解既知) | 数独、Sudoku | Rei 版でも relabel 圏 |
| ★ **Discovery Device** | **プレイヤー (未知の創発)** | Foldit / EteRNA / Baba Is You / Minecraft | **STEP 1285 gate 通過 machine-verified** |
| **中心-周縁 𝕄 統合** | 個体×集合の同一 𝕄 構造 | 藤本さん Discovery Device 案 | **STEP 1286+1287 全 layer 実装完了** |

## Gate 基準 通過の 3 判定 (2026-07-06 藤本さん採用)

| Kind | 判定 | Rei-project 内での例 |
|---|---|---|
| **(1) 実弾 (real bullet)** | 元表現に無い計算可能不変量が生まれる | Discovery Device SELF/BOTH/NEITHER → Boolean sudoku で表現不能 |
| (2) 半分 (half) | 意味地図は描くが証拠は出さない | 一般的な圏論的翻訳 |
| (3) ラベリング対応 | 同じものを別記号で書き直しただけ | 数独 → Rei 版 (単なるテーマ替え) |

★ Discovery Device は明示的に **(1) 実弾** に位置づけられる (STEP 1285 で machine-verified)。

## 中心-周縁 𝕄 構造 (藤本さん Paper 62 MDNST literal 応用)

```
                    𝕄[中心; 周縁]
                    ↑        ↑
                    個体     集合
                    ↓        ↓
        v0.1  ─── 個体を育てる (Tamagotchi 的)
        v0.2  ─── 種を交換する (中心 → 周縁 橋)
        v0.4  ─── 集合を観る (周縁 → 中心 逆流、 novel 抽出)
```

**設計原則**:
- 個体単独で完結 → プレイヤーは手元の盤を Fix 状態に落ち着かせる (パズル的満足)
- 種を場に放つ → 他プレイヤー個体と交わる (自己増殖オートマトン minimal 版)
- 場から未知配置が surface → 「作者が列挙していない」 配置抽出 (Foldit 型 discovery)

## 「超える」 mechanism

| | 動きの source | 解の性質 |
|---|---|---|
| Simulation | ボタン → 系が走る | 走り続ける (収束なし) |
| Puzzle | 埋める → 埋まる | 静的完成盤 |
| ★ Discovery Device | 確定 → 連鎖 → 収束 | **盤全体が Fix 状態に落ち着く** + **集合で未知 surface** |

「解く」 の質的転換: **見つける** → **落ち着かせる** + **集合が surface する**

## Rei asset ↔ Discovery Device layer mapping

| chat-Claude 提案 | Rei 既存 asset (STEP) | 実装 file |
|---|---|---|
| 𝕄[中心; 周縁] | Paper 62 MDNST | prototype-v01〜v06 全体 |
| SEED_KERNEL 1675 理論 | STEP 1088 (cooldown) | seed 交換 layer |
| 自己増殖 = 種伝播 | 「種は育ちます」 motto | v0.2 cross 交配 |
| SELF⟲ = Fix(R) | STEP 1215 D-FUMT₈ Category axiom-free | v0.1〜v0.6 全 SELF cell 保持 |
| Lawvere 不動点 | STEP 1220 axiom-free | Fix state 定義 |
| D-FUMT₈ 8 値 | STEP 406-514+ (全モジュール基盤) | 全 cell 表現 |
| 8 値の load-bearing (分離証明) | STEP 1218 (≇ EIGHT₄) + STEP 1219 (≇ U8) | v0.3〜v0.6 constraint 設計 |
| Verilog silicon | STEP 1028/1029 Tang Console 138K | 「同 bit stream 同 hardware」 → v0.2 seed 決定的 mapping |
| Braille 記号系 | Paper 33 | v0.6 9 値 GLYPH 選定 |
| Discovery pipeline | Semantic Scholar prior-art hook STEP 1257 | Paper 起草 (Task 3) の pipeline 直接転用可 |
| ゲート基準 real bullet | STEP 1253 (audited invention ban) の 12-layer hardening arc | Discovery Device 「実弾判定」 の運用先例 |

## Honest scope (原則)

- **数学的内容は全て既知** (D-FUMT₈ / Lawvere / Ising / Yoneda / Rule 110 / BB(3))。 Rei local 貢献は **「Discovery Device アーキテクチャの Rei asset 統合 + gate 基準 machine-verified hook」** のみ
- **Foldit / EteRNA 型 discovery** は wet-lab validate されたが、 Rei 側は Lean 4 kernel validate で構造保証。 実際の 「作者が列挙していない」 統計意義は N ≧ 数百 でのみ (v0.4 は pipeline demo)
- **「世界初」 「唯一」** の global uniqueness claim 不使用 ([[feedback-world-uniqueness-claim-controllable]])
- **Paper 起草** は急がず (Task 3) — prior art audit (WebSearch + Semantic Scholar hook) 先 ([[feedback-no-rush-publication]])
- **PKI tamper-proof** (Task 5) は SubtleCrypto ECDSA/Ed25519 で browser-only 実装可、 blockchain は不要

## 追加 branch (2026-07-14 夜) — AI 推論作法 注入層

★ Discovery Device と同じ 8 値 substrate を **AI 出力受け直しレンズ** として exposed 化する branch。 chat-Claude 2026-07-14 夜 5 turn 追加 arc で synthesize。

**核となる区別**:

| | 何を売るか | 結果 |
|---|---|---|
| 分割 (bad) | 哲学 pack + 数学 pack + 物理 pack を **別売り** | 分断 — motto 反 |
| **注入 (good)** | **8 値 = 思考の型** を注入 | 公開 — 一つで全専攻に効く |

**8 値 = 領域知識ではなく 推論の作法**:
- NEITHER = 空白を空白のまま保持する作法 (幻覚防止)
- BOTH = 矛盾を潰さず両持ちする作法 (paraconsistent)
- FLOWING = 文脈依存の後決定を扱う作法
- SELF⟲ = 自己参照を扱う作法 (STEP 1215 axiom-free)

**Rei の position**: モデル**の中**でなく、 **モデルと会話のあいだ** に立つ薄い層。 大手モデル (一枚岩、 作法を焼き込む) の構造的隙間に座る。

**Rei asset との mapping**:
| 注入層 機能 | 既存 Rei 実装 |
|---|---|
| LLM 出力 幻覚検出 | Pattern 1-6 ([[feedback-chat-claude-hallucination-warning]]) |
| siren-family 造語検出 | Symbol Grounding Lens (STEP 1270) |
| 外部検証 | Semantic Scholar + arXiv hook (STEP 1257) |
| 12-layer classification | invention pipeline hardening (STEP 1019-1253) |
| gate 基準 axiom-free 保証 | STEP 1285 |
| 8 値 native prover | Paper 141 Rei-PL Prover v0.1 |
| 実運用検証 | REI-PROVE 92% (STEP 1068) |

**課金 philosophy** (nand2tetris analog):
- 道具 (レンズ) 課金 = OK (思考の道具の対価)
- 能力 (領域知識) 課金 = NG (分断、 motto 反)
- ただし runtime tool market は書籍 market と別構造で monetization 別設計

**gate 基準判定**: 幻覚率 (LLM engineering) でなく **幻覚を NEITHER として計量** (元表現に無い不変量) = **(1) 実弾**

**arc 完成形**:
```
シミュレーション → パズル → 発見装置 → 中心-周縁 𝕄 → 万能パズル (UTM 仕様版) → AI 推論作法 注入層
                                                                          ↑
                                                        帰宅後 pending (Task 6)
```

## trigger 4 条件 (本 memory 参照ルール)

以下のいずれかで本 memory を read:
1. 「Discovery Device」 「発見装置」 「パズルを超える」 「集合創発」 「種の交換」 のいずれかが会話に登場
2. `experiments/dfumt8-discovery-device/` 配下 file を修正/追加
3. `data/lean4-mathlib/CollatzRei/ShowToProve/DiscoveryDevice*.lean` を修正/追加
4. 藤本さんが 「ShowToProve arc」 「STEP 1285-1287」 「v0.4/v0.5/v0.6/v0.7/v0.8」 を言及
5. ★ 追加: 「AI チューンアップ」 「注入層」 「哲学・数学・物理 専攻別 AI」 「LLM 出力を 8 値で受け直す」 「分割 vs 注入」 「AI レンズ」 のいずれかが会話に登場

## 関連 memory

- [[project-session-2026-07-13-14-showtoprove-discovery-device-arc]] — 本 arc の session-specific 詳細 + 5 pending tasks
- [[reference-chat-claude-representation-gate-criterion-2026-07-06]] — gate 基準 4-kind taxonomy (本 arc の判定 vocabulary)
- [[feedback-evaluation-symmetry-principle]] — chat-Claude synthesis に対する inflate/deflate 均衡
- [[feedback-chat-claude-hallucination-warning]] — 5 pending tasks 実装時の Pattern 5 check
- [[feedback-world-uniqueness-claim-controllable]] — Discovery Device paper 化時の controllable claim only
- STEP 1215 (D-FUMT₈ Category axiom-free) — 型 provider
- STEP 1220 (Lawvere fixed point axiom-free) — Fix(R) backbone
- STEP 1218/1219 (D-FUMT₈ ≇ EIGHT₄/U8) — 8 値 load-bearing 証拠
- 藤本さん Paper 61 ZCSG + Paper 62 MDNST — 中心-周縁 𝕄 の理論基盤
- 25 load-bearing inventions #23 (螺旋数 SNST) — 遠い parent (「盤 = 個体」 直感)