मिलिए Salix से, Comma का एजेंट हार्नेस

Loop किसी कनेक्ट किए हुए ऐप, जैसे Gmail, GitHub या Slack, पर नज़र रख सकता है, समय-समय पर किसी वेब API की जाँच कर सकता है, या अपने गुप्त वेबहुक URL पर इवेंट पा सकता है। चैट में Comma से किसी चीज़ को फ़ॉलो करने को कहें, जैसे कोई पुल रिक्वेस्ट या थ्रेड, और वह Loop तैयार करके शुरू कर देता है; जब Loop की ज़रूरत न रहे, तो Comma से उसे रोकने या मिटाने को कहें। एक एजेंट एक साथ ज़्यादा से ज़्यादा 20 Loops चला सकता है।

इंतज़ार करता Loop, Salix क्लस्टर पर एक छोटा प्रोग्राम है, क्लाउड कंप्यूटर नहीं। यह कोई मॉडल नहीं बुलाता और इसका अपना कोई मीटर नहीं है, इसलिए क्रेडिट सिर्फ़ उन चीज़ों पर ख़र्च होते हैं जिन्हें यह बुलाता है: जैसे Jev से पूछे गए सवाल, जिन पर क्रेडिट लगते हैं भले ही आप अपनी मॉडल कुंजी जोड़ें, और एजेंट के वे टर्न जो इसके जगाने पर चलते हैं, जिनका बिल किसी भी दूसरे टर्न की तरह बनता है। यह हर दस मिनट की अवधि में एजेंट को ज़्यादा से ज़्यादा छह बार जगा सकता है।

Jev उन सवालों का जवाब देता है जो Loop पूछता है, जैसे कि किसी नए ईमेल पर आपका ध्यान चाहिए या नहीं। वह मैसेज नहीं भेज सकता, कुछ बदल नहीं सकता और एक्सेस नहीं दे सकता। जब Comma आपके लिए किसी पुल रिक्वेस्ट, इश्यू या थ्रेड को फ़ॉलो करता है, तो उसका Loop सिर्फ़ तभी शांत रहता है जब Jev 0.9 या उससे ज़्यादा भरोसे के साथ 'शांत' जवाब दे। बाकी सब कुछ, एरर समेत, आपके एजेंट के पास जाता है, जिसे आपको लिखने से पहले स्रोत जाँचने का निर्देश दिया गया है। अगर Jev पूरे भरोसे के साथ 'शांत' कहे और ग़लत हो, तो वह अपडेट आप तक नहीं पहुँचता।

वह डेटा ही रहता है: कोई ईमेल या इवेंट Loop का कोड नहीं बदल सकता, न ही उसकी क्षमताओं की तय सूची में कुछ जोड़ सकता है। आने वाला इवेंट सिर्फ़ तब तक सेव रहता है जब तक Loop उसकी पुष्टि न कर दे, और Loop ज़्यादा से ज़्यादा 16 KB का एक ही चेकपॉइंट रखता है। Loop जो पढ़ता है, वह आगे सिर्फ़ Loop की अपनी कॉल के ज़रिए जाता है, जैसे Jev से पूछा गया सवाल या आपके एजेंट को जगाने वाला मैसेज। Jev को TypeSafe AI चलाती है।

हर एजेंट Erlang VM पर एक अलग प्रोसेस के रूप में चलता है, इसलिए फ़ेल हुआ हिस्सा फिर से शुरू होता है और बाकी एजेंट चलते रहते हैं। Salix जो मैसेज स्वीकार कर चुका है, वे रीस्टार्ट के बाद भी बने रहते हैं, और अगर कुछ बदलने वाली कोई कार्रवाई बीच में रुक जाए, तो वह अपने आप दोबारा नहीं चलती। रीस्टार्ट के बाद या किसी दूसरे नोड पर ले जाए जाने के बाद Loop अपने आख़िरी चेकपॉइंट से फिर शुरू होता है, और अगर उसके अपने प्रोग्राम में गड़बड़ी हो, तो वह एक घंटे में ज़्यादा से ज़्यादा तीन बार रीस्टार्ट होता है, फिर रुक जाता है और आपके एजेंट को बताता है।

एजेंट लूप का कोर Lean कोड के रूप में चलता है, और उसके प्रूफ़ मशीन से जाँचे जाते हैं। ये प्रूफ़ दिखाते हैं कि Salix ने जो काम स्वीकार किया है, वह फ़ेल होने और रीस्टार्ट के बाद भी बना रहता है; कि फ़ेल हुआ जवाब पूरा नहीं माना जाता; और कि कुछ बदलने वाली हर कार्रवाई Salix के उसे शुरू करने से पहले दर्ज होती है और ज़्यादा से ज़्यादा एक बार शुरू होती है। ये प्रूफ़ कर्नेल के आसपास के कोड के बारे में बताई गई मान्यताओं पर टिके हैं, और ये स्टोरेज, मॉडल के फ़ैसलों या किसी टास्क के सफल होने को साबित नहीं करते।

शुरुआत में Comma आपके Mac समेत किसी भी कनेक्ट किए हुए कंप्यूटर पर सिर्फ़ फ़ाइलें पढ़ सकता है। उसे फ़ाइलें बदलने, कमांड चलाने और वहाँ इंस्टॉल किए गए कोडिंग एजेंट इस्तेमाल करने देने के लिए, Settings > Devices में उस कंप्यूटर के लिए Allow operations चालू करें। आप इसे कभी भी बंद कर सकते हैं: चल रहे कमांड रुक जाते हैं, और Comma फिर से सिर्फ़ पढ़ सकता है।

जब किसी कनेक्ट किए हुए कंप्यूटर पर Codex, Claude Code, Pi या Kimi इंस्टॉल हो और Allow operations चालू हो, तो Comma उसे काम सौंप सकता है। कोडिंग एजेंट उसी कंप्यूटर पर काम करता है, और बातचीत Salix के पास रहती है। अगर कंप्यूटर ऑफ़लाइन हो जाए, तो काम इंतज़ार करता है या एरर के साथ फ़ेल हो जाता है, और Salix उसे अपने आप किसी दूसरी मशीन पर नहीं ले जाता।