← 仕様一覧
MIL / 公開概要
制御条件を、判断と証拠に結ぶ。
MILは、人間が定めた条件、判断理由、証拠への参照を、区別したまま結びつけるための記述基盤です。 制御条件ギャップチェックは、この基盤を実挙動の検査と検証記録に適用するサービスです。
このページは公開資料への案内です。MIL全体の正式仕様や、各サービス成果物が同じパケット形式を採用していることを示すものではありません。
ギャップチェックとの対応
MILが扱う条件・判断・証拠の対応を、合意した対象の検査へ落とし込みます。サービスの範囲・価格・依頼方法は、サービスページにまとめています。
- 条件を記述する
- 対象版・人間が定めた方針・守る制御条件・比較基準を、検査の前に固定する。
- 判断と理由を区別する
- 正常時と条件変更時の挙動を比較し、観測結果・反例・判定不能・未観測を分けて記録する。
- 証拠への参照を残す
- 対象版・条件・結果・証拠・再確認手順を結び、検証記録ID（Verify ID）から辿れる形で渡す。
公開資料を役割から読む
概念の記述
miniMIL — 最小制度記述言語
制度概念、版と時間、公開面と検証導線を構造化する記述体系です。個別案件の検査手順や、現行サービスの実装仕様とは役割が異なります。
評価段階の交換形式
MIL Decision Packet Profile v0.1
Logos Gate Coreの判断を、入力・ルールのハッシュ、理由コード、証拠参照を持つパケットへ固定する公開プロファイルです。Schemaと合成サンプル、ハッシュの再計算規則を参照できます。
固定対象の観測記録
MIL-IELの外部再現記録
固定されたMIL-IEL v0.3パッケージについて、外部参加者環境での再実行と返却結果を記録しています。観測の対象と限界は、記録自身の記載を確認してください。
確認できる範囲
パケットの再現性、実装の制御維持、AIへ任せる判断、実際の実行許可は、それぞれ別に扱います。ハッシュの一致や特定ケースの再現だけで、判断の正しさやシステム全体の安全性を確定しません。
評価プロファイルの状態は当該仕様に、検証結果の範囲は個々の記録に示します。この案内は、品質保証・第三者認証・法令適合の保証・実行許可・仕様決定権を意味しません。