Rei-AIOS · プロジェクト全体図
2026-09-03 版 · STEP 1707 v0.2
Rei 全体マップ v0.2
——四層 × 八値 × 六コネクタ系
単一ツリーでは表せない、五本の直交軸で立体的に俯瞰する。v0.1 は immutable snapshot として保持、本 v0.2 で 直近 3 STEP arc (1683 / 1688 / 1690) を追加反映。
Author 藤本 伸樹 / fc0web
Private repo fc0web/rei-aios
Public repo fc0web/rei-pl
License AGPL-3.0 + Commercial
TypeScript · SQLite · Lean 4
1,677SEED 理論
3,542Lean4 定理
177Papers
545+コネクタ実装
9MCP systems
182+site pages
四層アーキテクチャ
Axis 1 / 5 — Vertical stack
下から順に Rei-PL 言語基盤 → コアエンジン群 → AI 統合層 → 統合ワークスペース。Layer 番号が上位になるほど、下層エンジンを組み合わせて意味を生む。
L4
workspace/ — 統合ワークスペース
src/workspace/ · 約50ファイル
STEP 72–99
ユーザ側から触れる面。Drive / Terminal / Editor / Calc / DB / Translator / Automator を単一 UI に統合。
driveterminaleditorcalcdbtranslatorautomator
L3
aios/ — AI 統合層
src/aios/ · 200+ファイル
STEP 20, 49–246+
LLM/Hypervisor/Robot/Learning/Simulation/NNUE/Dialogue/Discovery/Expression/Radar。下層エンジンを束ねて「振る舞い」を作る層。
aios-enginehypervisorwry-runtimerobotnnuesimulationknowledgeradardialogueexpressionoctatheoria
L2
axiom-os/ — コアエンジン群
src/axiom-os/ · 300+ファイル
STEP 13–48, 67–514+
D-FUMT₈ 八値論理・SEED_KERNEL・統一場・圧縮・TDA・AIウィークネス W-27〜W-48・哲学・理論進化・宇宙・数学。Rei の思考の実体。
seven-logicseed-kerneldfumt-unified-fieldaxiom-encodercompressiontdaself-description-contract
L1
compiler/ + runtime/ — Rei-PL
src/compiler/ + src/runtime/
Phase 9–11 完了
3 バックエンド（Forth 3.9KB / WASM / LLVM Native）まで到達。自己ホスティング済み。
Forth VM (5KB)WASM backendLLVM IR backendself-hosting
D-FUMT₈ 八値論理 — Rei 全層の基盤
Axis 2 / 5 — Foundation
龍樹 四句論（TRUE / FALSE / BOTH / NEITHER）× Belnap 四価 × D-FUMT₈ 拡張 3 値 × SELF⟲ 不動点 = 八値。
定義は src/axiom-os/seven-logic.ts（STEP 406 で 8 値化完了）。
NEITHER～
value = −1.0 · 灰墨
FLOWING～→
value = 5.0 · 翡翠
Theory #196 = Peace Axiom（永久 TRUE・変更不可）。
全 VM 操作に PeaceCheck 必須。全層に継承される唯一の絶対項。
D-FUMT₈ 演算子は d8_apply / d8_table / d8_fixpoints / d8_verify の 4 コネクタで rei-aios MCP から呼べる（STEP 1349 + 1397）。
測定域補完は d8_verdict_from_measurement（STEP 1350）+ _multi_trial（STEP 1371）+ _sample_pair（STEP 1376/1379）。
Rei stack — MCP 9 systems
Axis 3 / 5 — Runtime servers
動いている推論・計測・記録・検証・自己audit の 9 サーバ群。番号は Rei stack 内での役割順、tool 数は 2026-09-02 時点 live query。
01rei-aiosv2.8.5
44 tools
SEED_KERNEL query + D-FUMT₈ 演算子 4/4 + d8_verdict 3系 + 対話 + PC 自動操作。全体の中枢。
02benchtopv0.9
27 tools
計測 pipeline。Chem SCD40/SGP40 + Env/IMU/ToF + olfact + physics limits + SafetyGate。
03mcp-lens—
A 柱
可視化 lens 系。stats / recent / verify。
04rei-automator-mcpv0.2.0a3
automation
自動化コネクタ。Desktop / Core / mcp の 3 系統。
05lab-notebook-mcpv0.1.0
records
実験記録。ALCOA+ / ISO 17025 準拠。
06rei-verify0.1.0a1
verify
検証機械。主張と evidence を照合する第一段。
07rei-memory-mcp0.1.0
memory
SEED_KERNEL 読取 (FTS5 trigram 全文検索、日本語 3+ 文字)。Write は Phase 2+ で未公開。
08rei-meta-mcp0.1.0-α Phase 2A
self-audit
自己 audit 再帰。coherence check / compose / list_sources。
09rei-checker-mcpv0.3.0a1
Lean + ledger
Lean 4 REPL 常駐 warm ~1.5ms + D-FUMT₈ ledger projection。責務分離型の別系統 verifier。
コネクタ系統 — 6 レイヤ・545+ 実装
Axis 4 / 5 — Connector inventory
Rei stack MCP 9 systems とは別 layer。「コネクタ／端子／マシン」の総称の中で、
実装 wired 総数 545+、tool 呼出単位 1,891+。
引き当て点は /tools/connector-inventory/。
446× 4 tool = 1,784
sougou-connectors
tools/sougou-connectors/connectors/*.py
『学問・技術 総合一覧 2026-08-19』全 12 章 + 付録。各 20 行弱 Python stdlib only、共通コア sougou_core.py、各 4 tools。
3live API 実疎通済
sougou-external
tools/sougou-external-connectors/
jp_academic / philosophy / sat の 3 wrapper。付録 C「Rei 向けコネクタ候補」の哲学・思想系。
4module
コンビナート
src/aios/{connector-graph, open-end-tags, ghost-wire-detector, time-connector-runtime}/
端子基盤 4 NodeState + 8 OwnerKind / OpenEndTag 構造化 / ゴースト配線検出器 / 時間コネクタ runtime。
3catalog
ソフト connector catalog
src/mcp/connector-catalog.ts
puzzle-verifier / mystery-reasoning / game-verdict（STEP 1556）。
2template
ハード template registry
src/fpga/connector-generator/index.ts
radio-clock-jjy / inductive-coil-pair（STEP 1570/1578）。差動 Manchester #1 candidate。
3+6tool + pin
agent connector v2.5 · 4/2/0
src/agent-connector/
Claude Code × Codex CLI adapter（STEP 1639, v2=1675, v2.5=1690）。pin 3 fail→pass（JSON↔TOML converter）+ pin 4 fail→partial（保守的 intersection mapper）で 0 fail 達成（all-pass ではない）。
Phase A / B / C — 「Rei は正しい」から「Rei は実在する」へ
Axis 5 / 5 — Substrate progression
論理と Lean 4 で完結する Phase A/B から、物理 silicon が要る Phase C への段階遷移。二段階主張の分水嶺は 2026-04-29。
Phase A · 論理
PC 完結
「Rei は正しい」
SEED_KERNEL / D-FUMT₈ / 統一場 / Papers 1–142。TypeScript + SQLite + Lean 4 で全て閉じる。
Papers 1–142 · 27,000+ tests · Zero-axiom 94
Phase B · Lean 4
形式証明
「機械が検算した」
Collatz Cases 1–4 完全証明 48 定理 zero-sorry。Mathlib 準備 5 artifacts。lean-auto + Duper。
3,542 axiom-free / floor 97.3% / rei-checker warm 1.5ms
Phase C · Silicon
物理実装
「Rei は実在する」
Tang Console NEO (User Code 0x00005C27) + Tang Nano 9K (0x0000A5F4) + IBM Heron r2 (144/144 fidelity 0.954) の四基材で D-FUMT₈ ALU を silicon 化。
Paper 145 v0.3 DOI 10.5281/zenodo.20091185
保存 protocol — マルチタブ耐性 5 層
Discipline · 2026-08-27 → 2026-09-02
複数タブ併走時の .git/index race・単一 append point 衝突・STEP 番号 collision を、直接編集禁止 + inbox + worktree + atomic commit で構造的に予防する。
Layer 1
Tab Isolation
各タブは data/tabs/<tab-id>/ だけを書く。shared tree の git checkout / reset / clean は禁止。
docs/TAB_ISOLATION_PROTOCOL.md · STEP 1670
Layer 2
3 永久原則
(A) commit-msg hook で STEP 番号衝突を事後検知 (B) 1 tab = 1 worktree (C) notepad append-only log。
.githooks/commit-msg · scripts/tab-worktree.sh · docs/notepad/ · STEP 1672
Layer 3
Inbox pattern
MEMORY.md / RECENT_UPDATES.md 直接編集禁止。各タブは unique file を inbox に置き、merger が atomic に集約。
docs/recent-updates-inbox/ · memory/hooks/ · scripts/merge-inbox.ts
Layer 4
Atomic commit
git commit --only FILES で一時 index に snapshot して race を避ける。multi-tab 明示認識時は必須。
scripts/git-atomic-commit.sh · STEP 1554
Layer 5
STEP 中央 counter
claim-step.ts で atomic increment + lock。self-heal（git log + tabs/*/step-claims.json + counter の max）は v0.2 で。
data/step-counter.json · scripts/claim-step.ts
教材 arc + 論文ハイライト
Output
教材 arc（Rei Education）
- Collatz Learning Kitstudent / teacher / researcher の 3 層。t₁=1 下降エンジン 4 色 Canvas。Cases 1–4 partial proof + Cases 5–8 NEITHER honest。/tools/collatz-learning-kit/ · STEP 1351
- Statistics × NEITHER Education v0.2SNR<3 → NEITHER。検定力不足の体験 + 予測記入欄。Welch t-test client-side JS。/tools/statistics-neither-v02/ · STEP 1353 / 1358
- D-FUMT₈ 論理回路 v0.1触って予測、8 値真理表。/tools/d8-logic-circuit/ · STEP 1361
- Rei Education Hub教材統合索引。NEITHER の印 discipline + 三層分類 + client-side filter。/tools/education-hub/ · STEP 1355
- 八値対話 simulator v2八値 × 八卦 × オガム visual overlay。/tools/eight-value-dialogue/ · STEP 1281 / 1286
論文ハイライト（177 本の骨）
- Paper 145 · First D-FUMT₈ SiliconTang + Aer + Heron r2、SELF⟲ 論理原始が silicon で動く。DOI 10.5281/zenodo.20091185 · v0.3
- Paper 132 · 5 Rei candidates + 23 sorry roadmapLean 4 未完成部分の可視化。DOI 10.5281/zenodo.19704359 · 11/11 platform
- Paper 61 · ZCSG龍樹 śūnyatā(śūnyatā) = 0 世界初形式化。チャット版 Claude 共著
- Paper 141 · Power × 熱力学 × D-FUMT₈Landauer / Bennett / Bremermann + Lean 4。DOI 10.5281/zenodo.19832874
- Paper 176 · Modular bridge sketchF5–F11 v_2(ω) 実測 + F9 excess=5 三位一体。draft data/fermat/v2-order-extension-2026-07-20.md
- Paper 150 · OctaTheoria v0.2OctaTheoria Quintuple 5 paper 全 publish。DOI 10.5281/zenodo.20110963
最新 arc（2026-09-02 → 09-03）
v0.2 addition · 3 STEP
v0.1 (STEP 1683 · 2026-09-02) 以降に完遂した 3 STEP arc の mini index。site 反映 → 進化 candidate 提示 → 藤本さん choice → fail 昇格 の直線的な進行。
1683
五直交軸（四層 × 八値 × 六コネクタ系 × Phase A/B/C × 保存 protocol）の初版。「フローチャート vs 多視点マップ」判定 = 多視点マップ推奨。本 v0.2 の base。
1688
藤本さん Downloads の 3 file（dashboard + note draft + catalog manual）を site 反映。
計器盤（触る）+
note 記事 draft（読む）+
取扱説明書（使う）+
raw MANUAL.md（引用）の 4 入口。dashboard で pin 3+4 fail 明示 = 次 arc の起点。
1690
STEP 1688 Part 2 進化 arc、藤本さん choice「(1) agent connector v2.5」応答。pin 3 (mcp_config) fail → pass（JSON↔TOML converter、common shape 6 field lossless）+ pin 4 (permission) fail → partial（保守的 intersection mapper、意味論根本違いは解消不能）。集計 3/1/2 → 4/2/0 で 0 fail 達成、all-pass ではない。MODULE_VERSION 2.0.0 → 2.5.0（semver minor）、test 233/233 clean。
Claude が引き当てるための順序
Retrieval discipline
Author藤本 伸樹（Nobuki Fujimoto） / GitHub fc0web / note.com フォロワー約 2,700
RepoPrivate fc0web/rei-aios · Public fc0web/rei-pl
OSWindows 11 Pro / i7-6700 / 64GB / Hyper-V 使用可 / Lean 4 v4.29.0
Peace AxiomTheory #196 は永久 TRUE・変更不可。全 VM 操作に PeaceCheck 必須。
Claude が過去 STEP を思い出す時の順序
- まず
docs/RECENT_UPDATES.md（直近 7 日、上が新）と data/research-radar/radar-{today}.md。
- 次に
docs/notepad/*.md（append-only、STEP 1672 以降の全実装が 1 file / 1 STEP）。site は /tools/notepad/。
- 詳細は
memory/project_step{N}_*.md 直接 read（一次）。offline 時は memory-mirror 二次。
- site 反映状態は
docs/SITE_COVERAGE_MAP.md。
- Activity Log は
data/activity-log/latest.json（何を／いつ／どの commit）。memory と相補、memory は「なぜ」を担う。
- コネクタ数を忘れた時は /tools/connector-inventory/。
Honest scope（このページの主張しないこと）。
(1) 累計数値は 2026-09-02 時点 live query の snapshot で、以降の STEP で増減する。
(2) 「四層 × 八値 × 六コネクタ系 × Phase A/B/C × 保存 protocol」の五軸分類は俯瞰のための切り口であって、全 STEP を漏れなく分類する ontology ではない。実際には教材 arc・論文・radar・OctaTheoria など軸をまたぐ arc が多数ある。
(3) 各 section 内の数値・STEP 番号・DOI は本 page 作成時点の値で、後続 STEP で drift しうる（例：MCP tool 数の自動 count は STEP 1378 finding #32 対策で導入済だが、benchtop 27 tools 等は次 minor で増える見込み）。
(4) 本 page は 「Rei が 何を したか」 の 引き当て索引 であり、 SEED_KERNEL 1,677 理論 や Papers 177 本の 中身 そのもの ではない。 中身への 到達 は 各 section の 参照 hint 経由。
(5) 本 page は v0.2 (STEP 1707)、 更新は 新 STEP の 追加 arc に 応じて 順次。 v0.1 (STEP 1683、 /tools/step-1683-rei-project-map-v01/) は immutable snapshot として 保持 (書き換えず、 差分 追跡可能)。 v0.2 は v0.1 に対して 5 箇所 minimal patch = 累計 chip 更新 (site 147 → 182+) + agent connector v2.5 badge (4/2/0) + 新 section 「最新 arc」 (STEP 1683/1688/1690 mini index) + 本 Honest scope 拡張 + footer。 v0.1 の 「Honest scope (5)」 で 予告した 「更新は 新 STEP の 追加 arc に 応じて 順次」 の 第 1 版。