Rei-AIOS — D-FUMT₈ 八値論理フレームワーク

藤本 伸樹 (fc0web) の 個人研究 archival。 D-FUMT₈ 八値論理 + Lean 4 検証 + Zenodo 公開 + FPGA silicon。 商業化 目標なし、 marketing 目的でない。

数字 (ビルド時 自動注入、 site-stats.json が 単一情報源)

• SEED_KERNEL 1,685 理論
• ローカル草稿 142 本 + Zenodo 公開 199 record (tagged 163) (ローカル = papers/ dir 内 の 一意 paper 番号 count)
• Lean 4 定理・補題 3,843 (うち 未完 27、 axiom-free proven 2,866、 346 .lean file)
• META-DB 2,806 entries
• Daily sources 10
• Peace Axiom #196

主要ページ

Honest scope

• 個人研究 archival、 arXiv/journal peer review 通過 を 保証しない
• Lean 4 定理・補題 数は theorem+lemma の regex scan 合計、 kernel の #print axioms 一斉実行 は していない
• 「論文」 は 「ローカル草稿 (= 本 repo 内 の 一意 paper 番号 count)」 と 「Zenodo 公開 record (static snapshot)」 を 分けて 表示
• 「Rei-AIOS」 「D-FUMT₈」 は 独自造語、 general search entry point としての 意図なし

詳細

詳細 な stance / data endpoint 一覧 / Lean 4 artifact / papers は llms.txt を 参照。 対話的 な SPA 本体は JS 読込後 に この shell を 置き換える。