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)
155
Papers (Zenodo DOI)
2,540
Lean 4 theorems
1,610
SEED_KERNEL theories
298
D-FUMT₈ categories
21,525
Test cases (PASS)
1,159
STEPs completed
#196
Peace Axiom (immutable)
10
Daily data sources
Last updated: 2026-05-21
Recent STEP milestones
- STEP 1157 2026-05-17 backend-only sync site-stats + INDEX to reflect STEP 1157-1159 ingester runs
- STEP 1156 2026-05-18 backend-only web 上で dormant 機能可視化 — STEP 1156-followup-31
- STEP 1138 2026-05-18 backend-only scaffold-status.json STEP 1138 → 1159 update
- STEP 1131 2026-05-14 backend-only STEP 1131 — Ramanujan deep-link works (?tab=ramanujan parsing + filter)
- STEP 1128 2026-05-14 backend-only STEP 1128 — Paper 152 v0.3 §5d.3 Corollary mechanically proved (full §5d 完全機械化)
Recent commits
-
7fea471e2026-05-20 step(F+G): build-studystoa-news-feed.ts — unified 5-category aggregation for StudyStoa Phase 2 -
893413ce2026-05-20 docs(source-policy): Phase 1 3 source verify (Inside Higher Ed + Hechinger + HN) — StudyStoa (E) 完了 -
c1ba87bd2026-05-20 Auto: site rebuild + stats refresh (SEED 1607 / STEP 1159 / Papers 155) -
47094a512026-05-20 Auto: site rebuild + stats refresh (SEED 1607 / STEP 1159 / Papers 155) -
aa3b11222026-05-20 Auto: site rebuild + stats refresh (SEED 1607 / STEP 1159 / Papers 155) -
e89f22622026-05-20 step(1090): OG image scraper + edu-news image_url 拡張 — studystoa Phase 1 (A)(B) -
429af8f22026-05-20 feat(grafana-defer): Grafana Strategic Deferral — Research Radar v1.19 + chat-claude-notes septet 化 -
a1f2dd792026-05-20 Auto: site rebuild + stats refresh (SEED 1607 / Papers 155 / 本 session 6 commits 反映)
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)