防衛・デュアルユース

MITHRIL · 防衛

エッジ・機密プログラムは外部に通信できないソフトウェアを動かし、接続を暗黙に前提とするサプライチェーン規則の下にあります。生成 code は host の到達範囲をすべて継承します。

Approach

実行境界は compile 時に固定されます。暗黙の権限を持てないプログラムは、誠実さのために perimeter を必要としません。オフライン運転はツールチェーンの性質 (JVM-free・内容アドレス化) であり、来歴は暗号学的 — 各バイナリは再現可能なソースとツールチェーン identity に解決されます。

Proof

• Deny-by-default 承認: OaK は effect の前に ontology・transaction・Execution IR・capability・implementation identity を再検証
• この site のエアギャップ FAQ: 外へ通信するものはなく、pin されたツールチェーンと私設 registry があればオフライン拠点は足りる
• Amu: 言語の下で verified compile を司る JVM-free compiler/runtime