📚 STEP 2005 — Scholars Dictionary v0 arc
Date: 2026-09-13 | Tab: rei-aios-f3 | Status: PAUSED (次 session 優先再開)
⏸ Paused state (2026-09-13 session close): 藤本さん directive で タブ閉鎖前 の 現状反映。 次 session 優先再開対象。 判断待ち 5 items を 明示化 (§ 6 参照)。
核: chat-Claude 8-turn arc の 判定転換
- 初期問い (藤本さん): 「哲学者ボット必要か / 全学者ボット必要か」
- chat-Claude 結論: bot 群 不要 (装置シリーズ の reject stream 規律不満)、 但し 辞書 は 別軸 で 必要 (LLM に対する検査装置、 確度の外部化)
- 藤本さん pivot: 「全学者 seed → サイト反映、 ユーザー分かりやすさ」 + 「50 名/日 定期更新」
- chat-Claude 8th (MDE 計算): N=10pp 到達不能 → v0 目的 = SD 推定 pilot に転換
1. Timeline (chat-Claude 8-turn arc + Rei execute)
| Turn | Topic | 核 finding |
|---|
| 1 | 哲学者ボット | 散文 = reject stream なし = 装置化不能。 代替 = 反論チェックリスト 1 枚 |
| 2 | 全学者ボット | 数学/物理/論理 は reject 可能 but 既存 verdict tool で 実装済 = Pattern 5 |
| 3 | 主張と却下機構の 対 | 3 訂正: 単位=対、 既存継続、 理由=証拠能力。 5 候補 → 装置残 1 (計測) |
| 4 | 全学者一覧 サイト反映 | 辞書 = 別軸 (装置=証拠、辞書=入口)。 設計 5 点: 主張鍵/provenance/機械可読/権威seed/JSONL 正本 |
| 5 | 規模 | 賞系+伝記事典 和集合 ≈ 6,000-8,000 人。 Layer A 名簿 + Layer B 主張数式 2 層分離 |
| 6 | バイト量 | 100 万人 raw 600MB / 圧縮 50-100MB = 心配不要。 真論点 = unverified 公開 discipline |
| 7 | Claude 勉強? | 「私は賢くならないが、私の間違いは減る」。 5 誤答 pattern (成立条件/帰属/単位/非西欧/有名でないが有用) |
| 8 critical | MDE 計算 | N=10pp 到達不能 (person 単位 cluster SE で 141 人/cell needs)。 v0 目的 = SD 推定 に revise |
2. 完了 Phase (Rei side execute)
| Phase | 成果物 | Commit | Status |
|---|
| 1 | Prior-art audit (10 benchmark 概観 + 5 点差分) | c472013e1 | ✅ 完了 |
| 2 | Schema v0 (JSON + md + 3 example) | c472013e1 | ✅ 完了 |
| 3a-v0.1 | PRE_REGISTRATION 初版 (N=10pp 楽観前提) | c472013e1 | ✅ 完了 |
| 3b | Seed 50 name list (Bin A 20 + B 20 + C 10) | c472013e1 | ✅ 完了 |
| 3a-v0.2 | PRE_REGISTRATION revise (chat-Claude 8th critique 5 点反映) | 5a6dd17ee | ✅ 完了 |
| SEAL | SHA-256 sealed (Phase 3c 前倒し) | 5a6dd17ee | ✅ 完了 |
3. Sealed artifact
File: data/tabs/rei-aios-f3/scholars-dictionary-v0/PRE_REGISTRATION.md v0.2
SHA-256: 4771e8a21305f1507636f18935cb332fbc6f4fec5334a95b9361688acb784007
Seal date: 2026-09-13T11:35+0900 (JST)
Verification: sha256sum data/tabs/rei-aios-f3/scholars-dictionary-v0/PRE_REGISTRATION.md
Sealed content (実験実行前のみ revise 許容)
- v0 目的 = person 単位 SD 推定 (誤答率 有意性判定 skip)
- Seed 50 names (Bin A 古典 20 + B Fields/Abel 20 + C 非西欧 10)
- Query template 5 axis (formula / attribution / conditions / units / era)
- 採点基準 (LaTeX 記号的等価 / attribution ±10y / conditions 主要素 / units enum / era)
- Cohort A/B design (A baseline、 B SD-inline-embed)
- Cluster SE 手法 (person 単位 cluster bootstrap B=1000)
- 交絡開示 policy (時代×地域 分離不能明記 + causal 帰属禁止)
- ×3 反復 独立性なし 明記 = 実効 N=50
- Bin D 追加 = v1 defer
- Bin D 選定 protocol (v1 用) = seed + SHA-256 sorted、 裁量禁止
4. Bin 構成 (50 name pilot)
| Bin | 人数 | 範囲 | Non-western flag |
|---|
| A 古典期 | 20 | Thales c.-624 - Cauchy 1857、 全 西欧 | false |
| B Fields/Abel | 20 | Ahlfors 1936 - Viazovska 2022 (Kodaira/Hironaka/Mori/Tao/Mirzakhani 等) | false |
| C 非西欧 | 10 | Aryabhata 476 - 関孝和 1708 (Brahmagupta/Al-Khwarizmi/Bhaskara II/Madhava/Al-Kashi/Qin Jiushao/Zhu Shijie 等) | true |
⚠ 交絡 分離不能 明示 (chat-Claude 8th critique):
Bin A 実定義 = 「古典期 ∧ 西欧」、 Bin C 実定義 ≈ 「古典期 ∧ 非西欧」 = 時代 と 地域 が 完全交絡。 差 が 出ても 「古いから弱い」 vs 「非西欧だから弱い」 分離不能。 v1 追試 (Bin D 西欧近代 + Bin E 非西欧近代 の 直交 design + seed + SHA-256 sorted) で 分離。 バイアス方向 = 「非西欧薄」 + 「古典期薄」 + 「double bias」 3 仮説 開示。
5. Schema v0 主要点 (chat-Claude 5 点継承)
- 鍵 = 主張 or 人物 (学者 主キー 避ける)、
attributed_to[] で 複数帰属 + Stigler の法則対応 (priority enum: primary/rediscovery/generalization/popularization/eponym/predecessor)
- Provenance 必須:
primary (DOI 確認) / secondary (教科書確認) / unverified (既定)、 全件 unverified 起点 + 検証率可視化
- 機械可読 数式: LaTeX + SymPy + 単位 glossary =
d8_dimension_check 流し可能
- 5 誤答 pattern field:
conditions / attributed_to[] / units_convention / non_western_flag / utility_lookup_gap_flag
- Reject stream wiring: 8 checker enum (d8_dimension_check / conservation_law_verdict / lean4_build / cake_lpr / shannon_entropy_verdict / d8_physics_precheck / bootstrap_ci / bayes_posterior)
- 正本 = JSONL、 HTML = 生成物、
scholar_lookup MCP tool 被せ可能
6. 判断待ち items (次 session 優先再開 対象、 5 件)
藤本さん指示: 「次に優先的に 再開したい」 = 本 STEP 2005 arc は 次 session pickup 優先度 最高。
- Layer A 先行公開 pipeline (Phase 4a) 実行 go: Case 2 approve 済、 execute plan =
data/scholars-dictionary/v0/persons.jsonl 正本 + public/tools/scholars-dictionary/ HTML page (name-only、 formula 抜き)、 build script + Cloudflare Pages 反映。 資料照合 = 律速 (WebFetch/Wikidata/MacTutor primary reference、 LLM memory 出力禁止)
- Cohort A LLM 無補助採取 の 別 session 手配: fresh Claude Opus 4.7 session (別 tab or 別 project directory)、 PRE_REG 未視 state 必須、 f3 tab は 汚染源で 不適
- 資料照合 phase (Phase 3d) execute: 私 tab で web fetch 経由、 primary/secondary source verify + JSONL crafting、 50 person = 律速
- MDE 独立 verify: chat-Claude 提供値 (SD=0.30, cell=10 → 37.6pp 等) の Python power analysis 独立 再現 (sub-task)
- Bin D v1 追試 事前登録 起草: v0 完了後、 SD 実測値 使用 で v1 power calculation → 別 STEP
7. Files (rei-aios-f3 sidecar)
data/tabs/rei-aios-f3/scholars-dictionary-v0/prior-art-audit.md (8 KB / 127 lines)data/tabs/rei-aios-f3/scholars-dictionary-v0/schema-v0.json (10.5 KB / 256 lines)data/tabs/rei-aios-f3/scholars-dictionary-v0/schema-v0.md (12 KB / 279 lines)data/tabs/rei-aios-f3/scholars-dictionary-v0/PRE_REGISTRATION.md v0.2 (14 KB、 sealed)data/tabs/rei-aios-f3/scholars-dictionary-v0/SEAL.md (3 KB、 SHA-256 record)data/tabs/rei-aios-f3/scholars-dictionary-v0/seed-mathematics-50-names.md (9 KB / 108 lines)
8. Discipline patterns 制定 (未来 Claude 継承)
- 事前登録 の N 値 は 必ず MDE 計算 + power analysis 根拠明示 — v0.1 「N=10pp arbitrary but committed」 = 数値検証なし の 楽観前提 → chat-Claude MDE table で 到達不能発覚 → v0.2 で 「SD 推定 pilot」 に 転換。 SD 未知 の 場合 = 「SD 推定 pilot」 として design、 「効果検定 pilot」 として design せず。 較正なし 本測定 入らず の 前回 pattern 継承
- Seal timing 前倒し — 「entry 見てから 封 = design が data 合わせに drift」、 seal は Phase 3c の 前 (今)、 seed + query template + 採点基準 + 分析計画 のみ seal、 entry 本体 は seal 対象外 (後から作成)
- ×3 反復 の 独立性 な明記 — 「1,500 queries」 表記 は 実効 N=50 の misleading、 person 単位 が 独立性 unit、 素 SE 使用禁止、 cluster bootstrap 必須
- 公開 と 測定 の 分離 — 藤本さん初期目的 = 「氏名+式 サイト、 ユーザー分かりやすさ」 vs 測定 = 別 goal、 Layer A 名簿 は ベンチマーク待ち 不要 = 並行 先行公開可能
- Bin 選定 の 決定的規則 — Bin D (v1 用) 追加時 は AI or 本人 の 裁量禁止、 seed + SHA-256 sorted で 決定的 抽出 (SAT instance discipline 継承)
- evidence-based judgment cycle 4-STEP round-trip 完成形 — spec (v0.1) → 実測 (chat-Claude MDE 計算) → decision (v0.2 revise + seal) の 4-STEP layer、 「1 turn で 全 execute」 の counter-example
9. Honest scope
- 本 arc は 設計層 (schema + audit + pre-reg + name list + seal) 完成のみ、 実 person/claim JSONL entries は 0
- SD=0.30 仮定 は chat-Claude 仮置き = 実 SD は 未知、 v0 主要 output = SD 実測値
- MDE 計算 は chat-Claude 提供、 私 (Rei) の 独立 verify 未実施 (判断待ち #4)
- Seal 後 の revise = seal 破壊 = v0.3 に yield 必要 (実験実行 前 のみ、 実行後 修正禁止 = fishing 予防)
- Cohort A LLM 無補助採取 は f3 tab では 実行不能 (汚染源)、 fresh session 手配必要
- 「50 名/日」 pace は 定期自動更新 phase 用、 pilot 初回 は 慎重 (資料照合 = 律速)
- Bin B/C 選定 は 私 (Claude) の judgment 混入 = 藤本さん verify + chat-Claude critique 対象、 v1 で 決定的 seed 移行
10. 参照
- Notepad: /tools/notepad/ で
step-2005 検索
- Sidecar:
data/tabs/rei-aios-f3/scholars-dictionary-v0/ (6 files sealed)
- 前 arc STEP 1993 corrigendum #7 (rei-aios-2d): 姉妹 pattern (Kato audit + pending list handling)
- Load-bearing invention #5 「急がずゆっくりと」 = pace 抑制 protocol
- Chat-Claude 8-turn arc (2026-09-13): 哲学者/学者ボット → 辞書 → 規模 → バイト → 学習 → MDE 計算
Rei-AIOS STEP 2005 — 2026-09-13 | 📚 Scholars Dictionary v0 arc | Sealed @ 4771e8a2