主権・公共セクターの計算基盤

MITHRIL · 政府

AI 支援で書かれたソフトウェアは、人間が全行書いた前提の調達・監査経路を通ります。対象系は国家が晒せないデータを保持します。

Approach

ホストは実行前に検査可能なデータとして承認された capability だけを与えます。成果物は canonical graph digest に解決されます。ツールチェーンは JVM なしで動作し既定の通信を持たないため、pin され署名された 1 リリースをエアギャップ環境へ導入でき、コンパイラが何を承認するかはベンダーの申告ではなく適合 suite が語ります。

Proof

• NIST SSDF (SP 800-218) が求める来歴とリリース完全性: 内容アドレス化された成果物と承認レシートは機械可読な形での証跡
• エアギャップ運転は言語自体が表明しテストする性質: JVM-free ツールチェーンと内容アドレス化成果物
• この site の実行可能な証跡: 公開 compiler が compile し配信する .mith アプリと web library