OUKC — オープン汎学問知コモンズ
概要 / Description
日: 「最高密度に構造化された学と研究を全ての人に」 全形式化×全再現性×全学問×全教育×全哲学×全理論を mechanism で実現する公開知コモンズ. 142 papers / 2,188 Lean 4 theorems / 4,290 META-DB entries / 1,549 SEED_KERNEL theories.
EN: The most densely structured learning and research, for everyone. An open knowledge commons mechanically grounded in Lean 4 verification + D-FUMT₈ 8-valued tagging + 4-axis evaluation. 142 papers / 2,188 Lean 4 theorems / 4,290 META-DB entries / 1,549 SEED_KERNEL theories.
OUKC は AI フレンドリー・多言語・全学問対応の知識コモンズです.
14 「全〜」covered domains + 4 honest-mapping domains で scope を明示.
Lean 4 mechanical verification + D-FUMT₈ 8-valued outcome tagging + 4-axis evaluation = 2,560 次元 evaluation space.
Charter v1.0 published 2026-05-01, formalizing community framework around the existing Rei-AIOS research corpus (2018-present).