Salix

Salix

Salix er agentharnessen til Comma: det distribuerte kjøremiljøet med flere leietakere som kjører alle Comma-agenter. Det er skrevet i Elixir og Lean.

Mange agenter, få ressurser

En tradisjonell agent får sin egen sandkasse: en container eller VM som står på mens agenten jobber. Salix kjører hundrevis av agenter på den CPU-en og det minnet som én slik sandkasse bruker.

Salix plasserer hver agent på en node i klyngen, og flytter agenter mellom noder når klyngen endrer seg. Den leverer meldinger fra én agent til en annen på tvers av noder. En klynge kan ha hundrevis av noder.

Agenten kjører utenfor sandkassen

Det meste av arbeidet en agent gjør, trenger ingen datamaskin: den leser, planlegger, skriver og kaller appene du har koblet til. Salix kjører det arbeidet i selve harnessen, ikke i en sandkasse.

Når agenten trenger en datamaskin, vekker Salix en sky-VM for den. VM-en beholder lagringen sin mellom gangene, så filer og installerte verktøy blir liggende der agenten forlot dem. Når arbeidet er gjort, kan VM-en sove igjen.

Bygget i Elixir og Lean

Salix kjører på Elixir og Erlang-VM-en. Hver agent er sin egen lette prosess. Når en del av systemet svikter, starter den på nytt, og de andre agentene kjører videre.

Kjernen i agentløkken er skrevet i Lean. Kontrollbeslutningene, for eksempel hva som skjer videre i en tur og hvor dataene dine har lov til å gå, kjører som Lean-kode med maskinkontrollerte bevis.

Loops kjører på Spinfoam, der JIT-kompilatoren er formelt verifisert til å generere minnesikker kode.

Alltid på, uten en sandkasse som alltid er på

En agent kan holde vakt over dataene dine 24/7 med en Loop. En Loop er et lite program som kjører på klyngen. Den vekker agenten bare når noe trenger den, så en stille time koster ingen modelltokens.

Dine maskiner og dine kjøremiljøer

Du kan koble en Linux- eller macOS-maskin til Salix, og agentene kjører kommandoer og åpner filer på den. Comma bruker dette til å jobbe på Mac-en din.

Salix har sin egen agentløkke. En agent kan også bruke et eksternt agentkjøremiljø, for eksempel Codex eller Claude Code, på en enhet du velger.

I denne delen

• Loops: bakgrunnsarbeid som alltid er på, kompilert til eBPF.
• Enheter: koble til dine egne maskiner.
• Agentkjøremiljøer: den innebygde agentløkken, Codex og Claude Code.