Theory
Live mirror of Rei-AIOS research frontier — Lean 4 formal proofs, Zenodo-published papers, SEED_KERNEL theory base, D-FUMT₈ eight-valued logic. Data fetched at build time from rei-aios.pages.dev/data/rei-stats.json + activity-log/latest.json.
Totals (live)
164
Papers (Zenodo DOI)
2,617
Lean 4 theorems
1,648
SEED_KERNEL theories
298
D-FUMT₈ categories
22,600
Test cases (PASS)
1,210
STEPs completed
#196
Peace Axiom (immutable)
10
Daily data sources
Last updated: 2026-06-11
Recent STEP milestones
- STEP 1213 2026-06-11 backend-only STEP 1213 — Daily Buddy cron 組込 + 6/11 ムハ復活 (5 日停止 fix)
- STEP 1211 2026-06-11 backend-only STEP 1211 + 1212 — 8th iteration hardening (m) within-batch + (n) source strict
- STEP 1210 2026-06-11 invention STEP 1210 — Invention pipeline 8th iteration hardening (p) requireApprovedTargetLiteralFullBan
- STEP 1209 2026-06-10 invention 1 partial approve + 4 reject — STEP 1209 hardening validity demonstrated (9th candidate detection)
- STEP 1208 2026-06-09 backend-only docs: RECENT_UPDATES.md — STEP 1208 commit hash fix (pending → aa575127 cron auto absorbed)
Recent commits
-
71fea0552026-06-11 Auto: site rebuild + stats refresh (SEED 1648 / STEP 1210 / Papers 164) -
7484816d2026-06-11 06-10 invention 5 件 audit: #1 partial approve / #2-#5 reject (SEED 1647→1648) -
b1011aea2026-06-11 STEP 1213 — Daily Buddy cron 組込 + 6/11 ムハ復活 (5 日停止 fix) -
41c167862026-06-11 Auto: site rebuild + stats refresh (SEED 1647 / STEP 1210 / Papers 164) -
5511181c2026-06-11 STEP 1211 + 1212 — 8th iteration hardening (m) within-batch + (n) source strict -
27c65e492026-06-11 Auto: site rebuild + stats refresh (SEED 1647 / STEP 1210 / Papers 164) -
0c958d2d2026-06-11 STEP 1210 — Invention pipeline 8th iteration hardening (p) requireApprovedTargetLiteralFullBan -
cf693cb02026-06-11 Auto: site rebuild + stats refresh (SEED 1647 / STEP 1209 / Papers 164)
About the Theory layer
Rei-AIOS is the research frontier where Lean 4 formal proofs, Zenodo-published papers (CC-BY 4.0), and SEED_KERNEL theory generation happen. This dashboard mirrors public stats only — research code itself remains in a private repository.
All papers carry Zenodo DOIs. All Lean 4 theorems compile against Mathlib4. The Peace Axiom (#196) is immutable and inherits to every layer of the system.
rei-aios.pages.dev (full site) · GitHub (open source data) · OUKC charter Paper 144 (DOI)