miniMIL仕様 — 最小制度記述言語

100字要約

miniMILは、C³における制度OS概念の最小核記述仕様です。制度の定義・仕様・検証導線を構造化し、人間にもAIにも参照しやすい形で整理します。

250字紹介

miniMIL（Minimum Institutional Language）は、C³制度OS構想の公開知識面を記述するための最小核言語仕様です。制度の構成要素、version関係、検証導線の接続条件を構造化し、人間の理解とAI参照の両立を実現します。ECHO-VERIFY、Verified Web、Two-Rail構造との組み合わせにより、信頼・透明性・検証可能性を備えた制度記述体系を提供します。

miniMILとは

C³制度OSの公開知識面記述の最小核言語
制度概念・定義・仕様・検証導線の構造化
版と時間の関係を機械可読に整理する仕様
人間理解とAI参照の双立を目指した記述体系

miniMILではないもの

プログラミング言語または実装仕様
データベーススキーマまたはストレージ形式
単独での法的効力の創出
制度設計そのもの（制度OSの説明面）

よくある質問

miniMILとは何ですか？

C³における制度概念の最小核記述仕様です。公開知識面と検証面を構造化し、人間にもAIにも参照しやすい形で整理します。

miniMILはプログラミング言語ですか？

いいえ。miniMILは制度概念記述のための言語仕様です。プログラミング言語ではなく、人間とAIが制度OS構想を理解・検証するための記述体系です。

miniMILとECHO-VERIFYの関係は？

miniMILは記述体系、ECHO-VERIFYは検証体系です。miniMILで記述された制度概念をECHO-VERIFYにより検証し、公開知識面で参照可能にします。

miniMILの仕様書はどこにありますか？

本ページはminiMIL仕様の公開入口です。詳細仕様はspec/minimil以下に段階的に公開されます。