サイバーセキュリティ・重要インフラ

MITHRIL · サイバーセキュリティ

生成 code は実行 host のネットワーク・ファイルシステム・シークレットを継承します — あらゆる侵害が再現する前提です。防御側は監査より速く届く脆弱性データを武器にする必要があります。

Approach

Deny by default は hardening の追加ではなく承認規則そのもの: effect は実行前に型付け・検査されます。耐量子 floor (ハイブリッド X25519 + ML-KEM-768、ML-DSA-65) は機械可読 coverage として出荷されるため、KEV・CVE feed は証拠 query の出発点であって境界そのものではありません。

Proof

• kotoba-lang.org の公開済み耐量子 coverage (機械可読、deploy 済み)
• OaK kernel: effect 前の fail-closed 承認 — 公開ソースと適合 suite
• KEV・CVE データセット (knowledge.kotoba.cloud 公開) — 言語の承認が消費するのと同じ証跡 plane