Salix

Salix

Salix est le harnais d'agents de Comma : le runtime distribué et multi-tenant qui exécute chaque agent Comma. Il est écrit en Elixir et en Lean.

Beaucoup d'agents, peu de ressources

Un agent classique dispose de sa propre sandbox : un conteneur ou une VM qui reste allumé tant que l'agent travaille. Salix exécute des centaines d'agents avec le CPU et la mémoire qu'utilise une seule de ces sandboxes.

Salix place chaque agent sur un nœud du cluster, et déplace les agents d'un nœud à l'autre quand le cluster change. Il achemine les messages d'un agent à un autre, d'un nœud à l'autre. Un cluster peut compter des centaines de nœuds.

L'agent s'exécute hors de la sandbox

La plupart du travail d'un agent ne demande pas d'ordinateur : il lit, planifie, écrit et appelle vos apps connectées. Salix exécute ce travail dans le harnais lui-même, pas dans une sandbox.

Quand l'agent a besoin d'un ordinateur, Salix réveille une VM cloud pour lui. La VM conserve son stockage d'une utilisation à l'autre : les fichiers et les outils installés restent là où l'agent les a laissés. Une fois le travail terminé, la VM peut se remettre en veille.

Construit en Elixir et Lean

Salix s'exécute sur Elixir et la VM Erlang. Chaque agent est un processus léger distinct. Quand une partie du système tombe en panne, elle redémarre, et les autres agents continuent de tourner.

Le cœur de la boucle d'agent est écrit en Lean. Ses décisions de contrôle, comme ce qui se passe ensuite dans un tour et les endroits où vos données peuvent circuler, s'exécutent sous forme de code Lean accompagné de preuves vérifiées par machine.

Les Loops s'exécutent sur Spinfoam, dont le compilateur JIT est formellement vérifié pour générer du code sûr en mémoire.

Toujours actif, sans sandbox toujours allumée

Avec un Loop, un agent peut surveiller vos données 24 h/24, 7 j/7. Un Loop est un petit programme qui s'exécute sur le cluster. Il ne réveille l'agent que lorsque quelque chose le demande : une heure calme ne coûte donc aucun token de modèle.

Vos machines et vos runtimes

Vous pouvez connecter une machine Linux ou macOS à Salix, et les agents y exécutent des commandes et ouvrent des fichiers. Comma s'en sert pour travailler sur votre Mac.

Salix a sa propre boucle d'agent. Un agent peut aussi utiliser un runtime d'agent externe, comme Codex ou Claude Code, sur l'appareil de votre choix.

Dans cette section

• Loops : un travail de fond permanent, compilé en eBPF.
• Appareils : connecter vos propres machines.
• Runtimes d'agent : la boucle d'agent intégrée, Codex et Claude Code.