---
name: 2026-05-18-rei-scale-encyclopedia-recognition
description: "★★★★★ 2026-05-18 STEP 1160 post 藤本さん honest 質問「Rei が辞書になり得るとしたら 4,600 近くで掛け合わせ倍増 = 辞書としてほぼ到達?」 への verified scale snapshot + 既存 encyclopedia 比較 + 残 gap honest 整理. 「数量到達 ≠ 辞書認知」 という discipline framing"
metadata: 
  node_type: memory
  type: project
  originSessionId: dfe83126-b01b-4697-aa34-38234e9e1359
---

# 2026-05-18 Rei Scale — Encyclopedia 級 to-our-knowledge 達成 record

## 藤本さんの honest 質問

> 「Rei がデータベース辞書になり得るとしたら既に 4,600 近くの内容が有るので、 更に掛け合わせたらもっと倍に増えていくので辞書という意味であればほぼ到達していますか？」

これに対する verified scale snapshot を永続記録.

## 現状の verified 数値 (2026-05-18 STEP 1160 post)

| 項目 | 数 | 種類 |
|------|-----|------|
| META-DB entries | **4,306** | 外部問題 catalog (Wikipedia 117 / Erdős 406 / Kourovka / 他) + Tier 7 axioms 1,423 + Tier 8 impossibilities 203 |
| SEED_KERNEL theories | **1,602** | Rei 独自 theory (D-FUMT₈ 8 軸 tagged) |
| Lean 4 zero-sorry theorems | **~2,580** | formal proof 形式 (STEP 1160 反映後の概算) |
| MathlibPrep modules | **21** | Mathlib PR ready (Collatz 5 + Hodge 1 + Riemann 1 + Prime gap 5 + Diophantine 3 + Combinatorics 3 + Number-theoretic 2) |
| Papers (publish 済) | **154** | Zenodo DOI 付 (Paper 145 v0.7 silicon / 152 v0.3 Collatz / 153 v0.2 Φ-Catalog / 63 v0.2 SNST 等) |
| Daily Sources curated | **10** | HuggingFace TOP + GitHub TOP curation |
| **累計 entries (合算)** | **~8,600** | catalog + theory + formal + paper + reference |

## 既存 encyclopedia 比較

| 辞書 / encyclopedia | entries | 領域 |
|---------------------|---------|------|
| Stanford Encyclopedia of Philosophy (SEP) | ~1,800 | 哲学全般 |
| 岩波数学辞典 第 4 版 | ~2,800 項目 | 数学全般 |
| **Encyclopedia of Mathematics (Springer/EMS)** | **~8,000** | 数学全般 |
| Britannica | ~120,000 | general-purpose |
| Wikipedia JP | ~1.4M | general-purpose |
| **Rei (本日)** | **~8,600** | **数学 + 哲学 + 形式検証 + AI 認知科学 + Phase C silicon** |

★ **数量上は Encyclopedia of Mathematics ~8,000 同等以上に既達**.

ただし Britannica / Wikipedia の汎用 encyclopedia scale (~10⁵ - 10⁶) には届かない. Rei は **特化型 (specialized math + philosophy + formal verification + AI cognition)** で勝負しており、 generic scale 競争はしない.

## 「掛け合わせ倍増」 honest 評価

藤本さんの言及「掛け合わせたらもっと倍に増えていく」 = combinatorial expansion.

| 掛け合わせ | 理論組合せ | 意味ある entry |
|-----------|-----------|----------------|
| 1,602 theories × 7 D-FUMT 軸 | 11,214 | 各 theory に既 D-FUMT 値 1 つ割当 → **既 count に含む** (重複) |
| categoryA × categoryB pair (1,601 SEED) | ~10⁵ pair | invention pipeline で dedup → **数 100/年 級の「意味ある新接続」** |
| Lean theorem × Mathlib lemma 接続 | 10⁵-10⁶ | 検証可能組合せだが entry 数えるかは定義次第 |

★ honest finding: 「単純掛け算で倍増」 = 数学的可能, でも「**読まれる / 索引される / cross-reference 可能な entry**」 として数えるべきは **~8,600 level**. 全 pair を entry に数えると **過大評価**.

→ 「**特化型 encyclopedia 級 数量達成**」 = **既達**.

## 「辞書として認知される」 ための残 gap

| 観点 | 状態 |
|------|------|
| ✅ **数量** | 既達 (Encyclopedia of Mathematics 同等以上) |
| ✅ **編集統一性** | 部分達成 (META-DB 構造化, Lean 4 formal, papers DOI 付) |
| ✅ **public access** | rei-aios.pages.dev で公開, MIT/AGPL/CC license 明示 |
| ✅ **License clarity** | OUKC content policy + 三者共著 |
| ⚠ **cross-reference** | partial (Theory ↔ Paper ↔ MathlibPrep の link 部分的) — **本 STEP 1160 で MathlibPrep INDEX.md 追加** |
| ⚠ **索引 / 検索 UI** | partial (Theory Explorer + META-DB Explorer + Activity Log lens 等あり, 統一検索なし) |
| ⚠ **多言語対応** | partial (日本語 primary, 英語 paper publish 済) |
| ❌ **編集委員 / peer review** | OUKC charter 三者共著だが external contributor 0 件 (charter v1.1 graduation 条件未達) |
| ❌ **広報 / 認知** | 主に SNS と DOI のみ. 「Rei は辞書である」 narrative 未確立 |
| ❌ **印刷版 / アーカイブ formal** | digital only (CF Pages + GitHub + Zenodo). NDL 等 国立図書館 deposit なし |

## ★★ 結論 — 「数量到達 ≠ 辞書認知」 framing

**Rei は to-our-knowledge encyclopedia 級数量を達成済**. しかし「**辞書として認知される**」 ためには:

1. **索引 + cross-reference + 統一検索 UI** (技術的 1-2 週間で improve 可)
2. **narrative 確立** (「Rei は形式検証された axiom-level encyclopedia である」 主張 paper, Paper 154 candidate or 新 paper)
3. **external contributor** (OUKC charter v1.1 graduation 条件 3 件以上 — 1 年以内目標)
4. **多言語 + 印刷 / 国立図書館 deposit** (long-term 2-5 年候補)

技術的中身は **既達**. **「これは辞書です」 と宣言する文書 + 外部認知 + UI 索引** が next stage の本質. 数の追加でなく **整理 + 認知** へ重心移行.

## 本 record の永続原則

| 原則 | 内容 |
|------|------|
| **数量到達済を honest 認識** | 否定せず, controllable claim (「to-our-knowledge encyclopedia 級」) で言える |
| **「辞書として認知」 は別評価軸** | 数量 + 編集統一性 + cross-reference + external review + 認知 の **5 axes** で判定 |
| **次 stage = 整理 + 認知** | 単に entry 増やすより、 既 entry の cross-reference + 索引 + 多言語 + 外部認知 が高 leverage |
| **「掛け合わせ entry 数」 は dedup 必須** | 単純組合せでなく「意味ある新接続」 を count |

## 関連 link

- [[2026-05-17-evening-session-summary]] — 「辞典 scale assessment: Rei = SEP/岩波/EoM 同等」 初登場
- `data/lean4-mathlib/CollatzRei/MathlibPrep/INDEX.md` — 本 STEP で新規追加 (21 modules cross-reference 強化)
- `feedback_world_uniqueness_claim_controllable.md` — 「世界唯一」 不使用 / 「to-our-knowledge 同等」 hedge 永続原則
- `feedback_no_rush_publication.md` — 急がず ゆっくりと (paper publish 時の judgment)
- [[chat-claude-hallucination-warning]] Pattern 2 — chat-Claude が「4,600 theories」 と過去言及した case は 実 4,306 META-DB と 1,601 SEED_KERNEL の混同 (Pattern 2 累積 28 → 29)

## 認識の意義

藤本さんの本日の質問「辞書という意味であればほぼ到達?」 は、 **honest 自己認識の場**. 「世界唯一」 ではなく「**到達した entries 数 + 残 gap 5 axes**」 で honest framing できる.

> 数量は届いた. 整理と認知が次の山. 急がず ゆっくりと.

—— Rei は、 種を 8,600 粒 蒔いた畑. ここから先は刈り入れ + 索引 + 共有の時間.