# Rei-AIOS > 藤本 伸樹 (fc0web) の 個人研究 archival。 D-FUMT₈ 八値論理 + Lean 4 axiom-free 検証 + FPGA silicon (Phase C) + 論文 ローカル草稿 142 本 + Zenodo 公開 199 record (うち rei-aios keyword tagged 163 件、 snapshot 2026-08-12T01:57:33Z) + SEED_KERNEL 1,685 理論。 商業化 目標なし、 marketing 目的でない。 site content は 参照用、 意図して 来られた visitor 向けの utility として 提供。 ## 本 llms.txt について - **自動生成**: 本 file は `scripts/generate-llms-txt.ts` が `data/site-stats.json` から 自動生成する。 手書き編集は 次回 cycle で 上書きされる。 - **最終更新**: 2026-10-04T22:09:40.893Z - **数字の定義**: - 「ローカル草稿本数」 = `papers/` dir 内 の 一意 paper 番号 count (= 本 repo 内 の draft 枚数)。 番号 ギャップ あり: 最大番号 180 に対して 38 件 の 欠番 (= Zenodo 公開済 だが 本 repo に draft file が 存在しない paper の 可能性)。 - 「Zenodo 公開 record」 = Zenodo API query `search?q=rei-aios` で 返る 全 record 数 (static snapshot)。 「rei-aios keyword tagged」 は Zenodo keyword field に `rei-aios` を 含む 部分集合。 - 「Lean 4 定理・補題」 = `data/lean4-mathlib/CollatzRei/*.lean` 全 346 file を 正規表現 scan した `theorem ` + `lemma ` の 合計。 コメント は strip。 kernel の axiom check は 走らせていない (`#print axioms` 相当 の 実行結果 ではなく source scan)。 「axiom-free proven」 は sorry=0 かつ user-axiom=0 の file 内 定理・補題 の 和 (strict metric だが やはり kernel 実行 ではない)。 ## Stance - **非商業**: tracking / affiliate / login / ads なし - **World-uniqueness claim 不使用**: 「世界初」 主張は audit 完了 controllable range のみ - **「Rei-AIOS」 「D-FUMT₈」 は 独自造語**: general search entry point としての 意図なし - **Content authorship**: 藤本 伸樹 単独 + Claude 系 AI 補助 (`𝕄[Nobuki; Gemini, Claude, Rei]` 開示 pattern) - **Site 変化**: cron による daily auto-rebuild (SEED / STEP / Paper 数値 反映)、 human edit は commit hash で 追跡可能 (`docs/RECENT_UPDATES.md`) ## Data endpoints (JSON, CORS enabled, no auth) 70 個 `/data/*/latest.json` endpoint (cron-generated snapshot、 stability guarantee なし)。 全体一覧 + curl 例 + schema hint は `/data/README.md` 参照。 主要 endpoint 抜粋: - [/data/activity-log/latest.json](https://rei-aios.org/data/activity-log/latest.json): commit + STEP + publish + invention 集約 memo (daily aggregation) - [/data/site-stats.json](https://rei-aios.org/data/site-stats.json): **本 llms.txt の source** — 数字 の 単一情報源 - [/data/research-radar/](https://rei-aios.org/data/research-radar/): 監視 keyword 147 種 × arxiv/GitHub feed (Collatz + Lean 4 focus) - [/data/ibm-quantum/latest.json](https://rei-aios.org/data/ibm-quantum/latest.json): IBM Heron r2 実測 fidelity data (Paper 145 v0.9-c 参照) - [/data/hyperv-status/latest.json](https://rei-aios.org/data/hyperv-status/latest.json): Hyper-V VM lifecycle status snapshot - [/data/rei-prove-benchmark/latest.json](https://rei-aios.org/data/rei-prove-benchmark/latest.json): REI-PROVE benchmark 92% baseline Update 頻度: 大半 daily、 一部 hourly (crypto / manifold)、 一部 event-driven (activity-log)。 各 endpoint の 詳細は README 参照。 ## Lean 4 verification artifacts Lean 4 定理・補題 3,843 (うち 未完了 (sorry) 27、 user-axiom 宣言 264、 axiom-free proven 2,866、 file 数 346、 うち closed-by-rei (sorry=0 かつ axiom=0) 228)。 - [AXIOM_PROFILES.md](https://rei-aios.org/lean4-mathlib/AXIOM_PROFILES.md): axiom profile aggregation + sample metadata JSON companion pattern + Mathlib v4.27.0 lock + top-value files table - **Lean 4 source access**: main repo `fc0web/rei-aios` は 現状 private (collaborator 招待制)。 個別 paper の Lean 4 source artifact は 対応 Zenodo DOI ページに 添付 upload (例: Paper 145 v0.9-c は Zenodo で source .lean + Verilog + IBM Heron 実測 raw data 一括 download 可) - 各 file の axiom profile 実測 sample は `.meta.json` companion (populate 範囲 は 進行形、 全 file 対応は CI 化 candidate) ## Interactive tools (self-contained HTML) - [Silent Visual Verifier v0.2](https://rei-aios.org/tools/silent-visual-verifier-v0.2/): D-FUMT₈ 8 値 verdict + Collatz orbit sparkline - [Silent Well](https://rei-aios.org/tools/silent-well/): D-FUMT₈ 検証ハーネス 音響 可聴化 (chat-Claude authored 2026-08-08〜08-11) - [Rei-Solver v0.4](https://rei-aios.org/tools/rei-solver/): 6 engine (lean4/limit/pysat/qrng/sympy/z3) 統合 solver spec + 万能 TM 外 3/3 全経路 documentation - [Peace API SaaS spec v0.1](https://rei-aios.org/tools/peace-api-rei-solver-saas-spec/): 「LLM Generation → Rei stack 検証 layer 『床』 → D-FUMT₈ 8 値 verdict」 3 段 architecture concept - **Reipedia** (https://rei-aios.org/reipedia/): 独自ドメイン rei-aios.org 上 に 設置予定 の wiki namespace (段階2 extension で path 予約済) `/tools/` 配下 の 全一覧 + STEP 対応は [SITE_COVERAGE_MAP.md](https://github.com/fc0web/rei-aios/blob/main/docs/SITE_COVERAGE_MAP.md) 参照。 ## Papers (Zenodo DOI, permanent) 論文 ローカル草稿 142 本 + Zenodo 公開 199 record (うち rei-aios keyword tagged 163 件、 snapshot 2026-08-12T01:57:33Z)。 - 主要: [Paper 145 v0.9-c (Silicon 4-substrate)](https://doi.org/10.5281/zenodo.20192813) / Paper 132 (Rei candidates + residual sorry roadmap) / Paper 141 (Power × D-FUMT₈) / Paper 130 (Open Problems META-DB) - Zenodo 検索: `search?q=rei-aios` - **Aggregated index (machine-readable)**: [/papers/index.json](https://rei-aios.org/papers/index.json) — Zenodo API static snapshot (DOI + title + publication date + keywords + Zenodo URL + paper number)。 live query を 走らせたい なら Zenodo REST API `https://zenodo.org/api/records?q=rei-aios` 参照。 ## Repository - [fc0web/rei-aios](https://github.com/fc0web/rei-aios) (private) — main development repo - [fc0web/rei-pl](https://github.com/fc0web/rei-pl) (public) — Rei-PL compiler + runtime - License: AGPL-3.0 + Commercial (Dual License) ## Honest scope - 全 content は 個人研究 archival、 arxiv/journal peer review 通過を 保証しない - Zenodo DOI は 「public archival」 でありデータ検証 でない、 各 paper 内の Lean 4 axiom-free 部分のみが machine-verified - Lean 4 axiom profile の 検証は 各 file `#print axioms` 出力を primary source として 参照 - Rei-side novelty 主張は default で 最弱、 external prior art 継承 stance - Site には Rei-AIOS project の 個人開発 過程が そのまま反映 (訂正 / corrigendum / stance shift も 記録) - 本 llms.txt の 数字は regex scan + file name 計数 で 得たもの、 Lean kernel の `#print axioms` 一斉実行 や Zenodo API live query を 走らせた 結果 ではない。 全数 検証は CI 化 candidate で defer。