本文へ移動
MITHRIL
English

MITHRIL · ENTERPRISE KOTOBA

Kotoba が引く境界を、企業の規模で。

Mithril は Kotoba のエンタープライズ版です。AI が自由に書き、コンパイラが境界を引く言語 —— 同じ言語、同じ検査済み KIR、同じ内容アドレス化された成果物を、企業のフリートに必要なポリシー・証跡・サポートとともに届けます。

設計パートナーになる Kotoba の仕様を読む アーキテクチャを見る

kami-engine がブラウザ上で描画中

安全性を、計算全体の性質にする

従来のソフトウェアはプログラムの外側に安全策を足します。Kotoba は安全性を計算そのものの性質にし、Mithril はその性質を組織の中へ持ち込みます。

DENY BY DEFAULT

暗黙の権限を持たない

ファイルシステム・ネットワーク・プロセス・時計・モデル・シークレットは付与されるものであって既定ではありません。生成されたプログラムは、与えられていないものに手を伸ばせません。

CHECKED KIR

権限はコンパイルを生き延びる

型・効果・資源・ターゲット対応は、何かを出力する前に検査済み KIR で承認されます。コンパイラが承認したものだけを、ホストが強制します。

POST-QUANTUM FLOOR

耐量子は承認の床

新しい暗号化オブジェクトにはハイブリッド X25519 + ML-KEM-768、公開権限には ML-DSA-65。kotoba-lang.org が機械可読データとして公開している coverage であり、互換モードではありません。

Mithril が加えるもの

言語もコンパイラも仕様も 1 つ。Mithril は、企業が採用し、監査し、持ち続けられる形でそれを配布するものです。

エンタープライズ版の範囲。商用条件は契約ごとに定めます。
項目 Kotoba（公開版） Mithril（エンタープライズ）
言語・コンパイラ・検査済み KIR 同一 同一 —— pin されたツールチェーンのリリースと更新経路
ツールチェーンの配布 公開リリース 私設・署名済み・エアギャップ環境へ導入可能
ポリシー capability kit 組織ポリシーパック: データとしての許可リストを、コードと同じにレビュー
証跡 公開ベンチマークと coverage 成果物ごとのコンプライアンス出力: SBOM・承認レシート・リリース証明
ライブラリ登録簿 kotoba-lang.org/libraries 同じ CID 依存グラフの上の私設レジストリ
デプロイ Kotoba Cloud Kotoba Cloud、専用、または主権的デプロイ
サポート コミュニティ 担当エンジニア・応答目標・セキュリティアドバイザリ

1 本の境界を、端から端まで

境界はラッパーではありません。ソースからコンパイラ、成果物、ホストまで運ばれ、各段が承認し、どの段も前段を信用しません。

  1. ソース

    人にもエージェントにも読める、Lisp 型の言語で書かれた検査可能なプログラム。

  2. 検査済み KIR

    型付き中間表現への精緻化。型を付けられないものは推測せず拒否します。

  3. 承認

    capability・効果・資源予算をデータとして承認。付与は明示的で検査可能です。

  4. 成果物

    署名付き来歴を持つ内容アドレス化された出力。CID が identity で、名前で引くものはありません。

  5. ホスト

    承認された付与だけを束縛。エンタープライズのホストは組織のポリシーパックをその上に重ねます。

約束ではなく、根拠

Mithril は Kotoba が公開している主張をそのまま継承し、未公開の主張を足しません。証跡は公開されている場所で読んでください。

再現可能なベンチマーク

コールドビルド・実行時・ビルド規模の計測とそのサンプル。

暗号境界

デプロイ済みの、機械可読な耐量子 coverage の正本。

ライブラリの来歴

公開ライブラリの CID 依存グラフと互換性の証跡。

ソース

言語の正本と実装を、公開で。

あなたの動かす場所で動く

運用面はそれぞれ別の authority であって 1 つの製品ではありません。境界に必要なものだけを採用してください。

Kotoba Cloud

Passkey identity と CLI deploy discovery —— 運用の入口。

Kotobase

成果物・レシート・グラフのための、内容アドレス化された永続ストレージ。

Murakumo

ビルド・推論・シミュレーションのための CPU / GPU 実行。

よくある質問

Mithril は Kotoba のフォークですか？

いいえ。言語・コンパイラ・仕様は 1 つで、kotoba-lang.org に公開されています。Mithril はまさにそれのエンタープライズ配布です。

Mithril はプログラムにできることを変えますか？

広げることはありません。承認は言語のものです。ポリシーパックは、組織がホストの付与を狭めるためのもので、その絞り込みはデータとしてコードと同じにレビューされます。

エアギャップ環境で動きますか？

ツールチェーンは JVM なしで動き、成果物は内容アドレス化されているので、pin されたツールチェーンと私設レジストリがあればオフラインの拠点で足ります。外へ通信するものはありません。

mithril.fund とは？

エンタープライズ版の本拠地です。商用条件と設計パートナーシップはここで扱い、言語は kotoba-lang.org で公開のままです。

お問い合わせ

設計パートナーシップは、生成コードを本番で動かす少数のチームに開かれています。あなたの境界が守るべきものを教えてください。

メールを送る

または support@kotoba-lang.org 宛に件名「Mithril」でお送りください。