Salix · Comma ドキュメント

Salix

Salix は Comma のエージェントハーネスです。すべての Comma エージェントを動かす、分散型でマルチテナントのランタイムで、Elixir と Lean で書かれています。

少ないリソースで、たくさんのエージェント

従来のエージェントは、専用のサンドボックスを持ちます。エージェントが働いている間ずっと動き続けるコンテナや VM です。Salix は、そのサンドボックス 1 つ分の CPU とメモリで、数百のエージェントを動かします。

Salix は各エージェントをクラスターのノードに配置し、クラスターが変わるとエージェントをノード間で移動します。ノードをまたいで、エージェント間のメッセージも届けます。1 つのクラスターには数百のノードを置けます。

エージェントの作業の多くは、コンピューターを必要としません。読む、計画する、書く、連携したアプリを呼び出す、といった作業です。Salix はこうした作業を、サンドボックスではなくハーネス自体の中で実行します。

エージェントにコンピューターが必要になると、Salix はクラウド VM を起こします。VM は使い終わった後もストレージを保つので、ファイルやインストールしたツールはエージェントが残したままです。作業が終われば、VM は再びスリープできます。

Salix は Elixir と Erlang VM の上で動きます。各エージェントは、それぞれが軽量なプロセスです。システムの一部が失敗しても、その部分は再起動し、ほかのエージェントは動き続けます。

エージェントループの中核は Lean で書かれています。ターンの中で次に何をするか、データがどこへ流れてよいかといった制御の判断は、機械検証された証明付きの Lean コードとして実行されます。

Loop は Spinfoam の上で動きます。Spinfoam の JIT コンパイラーは、メモリ安全なコードを生成することが形式的に検証されています。

エージェントは Loop を使って、あなたのデータを 24 時間見守れます。Loop はクラスター上で動く小さなプログラムです。対応が必要なときだけエージェントを起こすので、何も起きない時間にはモデルのトークンを使いません。

Salix には Linux や macOS のマシンをつなげます。エージェントはそのマシンでコマンドを実行し、ファイルを開きます。Comma はこのしくみで、あなたの Mac で作業します。

Salix には独自のエージェントループがあります。エージェントは、選んだデバイス上で Codex や Claude Code などの外部のエージェントランタイムを使うこともできます。