理論

Rei-AIOS 研究最前線の live mirror — Lean 4 形式証明 / Zenodo publish 論文 / SEED_KERNEL 理論基盤 / D-FUMT₈ 八値論理. data は build 時に rei-aios.pages.dev/data/rei-stats.json + activity-log/latest.json から fetch.

総計 (live)

最終更新: 2026-05-21

直近 STEP マイルストーン

• 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 完全機械化)

直近 commit

• 7fea471e 2026-05-20 step(F+G): build-studystoa-news-feed.ts — unified 5-category aggregation for StudyStoa Phase 2
• 893413ce 2026-05-20 docs(source-policy): Phase 1 3 source verify (Inside Higher Ed + Hechinger + HN) — StudyStoa (E) 完了
• c1ba87bd 2026-05-20 Auto: site rebuild + stats refresh (SEED 1607 / STEP 1159 / Papers 155)
• 47094a51 2026-05-20 Auto: site rebuild + stats refresh (SEED 1607 / STEP 1159 / Papers 155)
• aa3b1122 2026-05-20 Auto: site rebuild + stats refresh (SEED 1607 / STEP 1159 / Papers 155)
• e89f2262 2026-05-20 step(1090): OG image scraper + edu-news image_url 拡張 — studystoa Phase 1 (A)(B)
• 429af8f2 2026-05-20 feat(grafana-defer): Grafana Strategic Deferral — Research Radar v1.19 + chat-claude-notes septet 化
• a1f2dd79 2026-05-20 Auto: site rebuild + stats refresh (SEED 1607 / Papers 155 / 本 session 6 commits 反映)

理論 layer について