Kenalan dengan Salix, harness agen Comma

Loop bisa mengawasi aplikasi yang terhubung seperti Gmail, GitHub, atau Slack, melakukan polling ke web API, atau menerima event di URL webhook rahasianya sendiri. Minta Comma di chat untuk mengikuti sesuatu, seperti pull request atau thread, dan Comma akan menyiapkan dan menjalankan Loop-nya; minta Comma menjeda atau menghapus Loop itu saat Anda tidak lagi membutuhkannya. Satu agen bisa menjalankan hingga 20 Loop sekaligus.

Loop yang sedang menunggu adalah program kecil di cluster Salix, bukan komputer cloud. Loop tidak memanggil model dan tidak punya meteran sendiri, jadi Loop hanya memakai kredit lewat apa yang dipanggilnya, seperti pertanyaan ke Jev, yang tetap memakai kredit meskipun Anda memakai key model sendiri, dan giliran agen yang dibangunkannya, yang ditagih seperti giliran lainnya. Loop bisa membangunkan agen paling banyak enam kali dalam setiap rentang sepuluh menit.

Jev menjawab pertanyaan yang diajukan Loop, seperti apakah email baru butuh Anda, dan Jev tidak bisa mengirim pesan, mengubah apa pun, atau memberi akses. Saat Comma mengikuti pull request, issue, atau thread untuk Anda, Loop-nya hanya diam jika Jev menjawab "quiet" dengan tingkat keyakinan 0,9 atau lebih, dan selain itu, termasuk error, diteruskan ke agen Anda, yang diminta memeriksa sumbernya sebelum menulis ke Anda. Jika Jev yakin tetapi keliru soal "quiet", update itu tidak sampai ke Anda.

Semuanya tetap berupa data: email atau event tidak bisa mengubah kode Loop atau menambah daftar kemampuannya yang tetap. Event yang masuk hanya disimpan sampai Loop mengonfirmasinya, dan Loop menyimpan satu checkpoint berukuran paling besar 16 KB. Apa yang dibacanya hanya bisa pergi lebih jauh lewat panggilan Loop itu sendiri, seperti pertanyaan ke Jev, yang dijalankan oleh TypeSafe AI, atau pesan wake ke agen Anda.

Setiap agen berjalan sebagai prosesnya sendiri di Erlang VM, jadi bagian yang gagal akan dimulai ulang dan agen lain tetap berjalan. Pesan yang sudah diterima Salix tetap ada setelah restart, dan aksi yang mengubah sesuatu dan sempat terputus tidak dijalankan ulang dengan sendirinya. Loop melanjutkan dari checkpoint terakhirnya setelah restart atau perpindahan ke node lain, dan jika programnya sendiri error, Loop dimulai ulang paling banyak tiga kali per jam, lalu berhenti dan memberi tahu agen Anda.

Inti loop agen berjalan sebagai kode Lean, dan mesin memeriksa bukti-buktinya. Bukti itu menunjukkan bahwa pekerjaan yang sudah diterima Salix tetap terjaga saat terjadi kegagalan dan restart, bahwa balasan yang gagal tidak dihitung selesai, dan bahwa setiap aksi yang mengubah sesuatu dicatat sebelum Salix memulainya dan dimulai paling banyak sekali. Bukti ini bertumpu pada asumsi yang dinyatakan tentang kode di sekitar kernel, dan tidak membuktikan penyimpanan, penilaian model, atau keberhasilan sebuah tugas.

Awalnya, Comma hanya bisa membaca file di komputer yang terhubung, termasuk Mac Anda. Agar Comma bisa mengubah file, menjalankan perintah, dan memakai agen coding yang terpasang di sana, aktifkan "Allow operations" untuk komputer itu di "Settings > Devices". Matikan kapan saja: perintah yang sedang berjalan berhenti, dan Comma kembali hanya-baca.

Jika Codex, Claude Code, Pi, atau Kimi terpasang di komputer yang terhubung dan "Allow operations" aktif, Comma bisa menyerahkan pekerjaan kepadanya. Agen coding itu mengerjakannya di komputer tersebut, dan Salix menyimpan percakapannya. Jika komputer itu offline, pekerjaan menunggu atau gagal dengan error, dan Salix tidak memindahkannya ke mesin lain dengan sendirinya.