OUKC 全再現性 (Reproducibility)

EN: OUKC All-Reproducibility
Last updated: 2026-05-02 ・ License: CC-BY 4.0 / AGPL-3.0 (per content type) ・ Author: Nobuki Fujimoto + Rei + Claude (Anthropic)

概要 / Description

日: Lean 4 mechanical verification (lake env lean exit code) + D-FUMT₈ outcome tagging + Axis Y reproducibility metric + 11-platform paper archive で再現性を保証.

EN: Reproducibility guaranteed by Lean 4 mechanical verification (lake env lean exit code) + D-FUMT₈ outcome tagging + Axis Y reproducibility metric + 11-platform paper archive.

⧯ Open Interactive Rei-AIOS (SPA)

OUKC 全再現性 layer: 全 claim を mechanically reproducible にすることが OUKC の核心 commitment.

Lean 4: lake env lean exit-code verification として ground truth.

D-FUMT₈ outcome tagging: claim ごとに 8-valued tag (TRUE/FALSE/BOTH/NEITHER/INFINITY/ZERO/FLOWING/SELF) で certainty level を記録.

Axis Y reproducibility metric: 4-axis evaluation の 1 軸 (Y 認識論軸) で再現性 explicitly evaluated.

11-platform archive: Zenodo + Internet Archive + Harvard Dataverse + dev.to + Hatena + HackMD + Notion + Scrapbox + Zenn + livedoor + Mastodon (+ Jxiv) で paper redundancy.

詳細は SPA 内 Reproducibility page で interactive 表示.

⧯ Open Interactive Rei-AIOS (SPA)