सुरक्षा
हम उस नुकसान के लिए परीक्षण करते हैं जो कागज़ पर लिखी नैतिकता नहीं पकड़ सकती।
हर रिलीज़ से पहले, CIRIS 29 भाषाओं में मानसिक स्वास्थ्य सुरक्षा परीक्षण चलाता है। हर भाषा में कठिन परीक्षण मामले, एक लिखित स्कोरिंग गाइड और मशीन से जाँचे जा सकने वाले नियम होते हैं। अगर कोई जाँच विफल हो, तो रिलीज़ रोक दी जाती है। एजेंट के अंदर दो और सुरक्षा कवच काम करते हैं: एक विवेक जाँच जो मना कर सकती है या टाल सकती है, और एक बाउंस जो संदिग्ध फैसलों को किसी समझदार इंसान के पास भेज देता है।
इंजीनियरिंग
नेटवर्क फैब्रिक, मापा हुआ
ऊपर दिया गया शोध प्रमाण का एक हिस्सा है। दूसरा हिस्सा वह नेटवर्क है जो इसे चलाता है। फैब्रिक जो भी डेटा भेजता है वह post-quantum-signed होता है, और इसकी लागत एक सार्वजनिक CI runner पर मापी जाती है, अनुमान से नहीं। इसे खुद चलाएं और आपको वही नंबर मिलेंगे।
सिद्धांत
दावे लिखे हुए हैं, कोई भी पढ़ सकता है, और इन्हें गलत साबित किया जा सकता है।
मशीन द्वारा जाँचा गया
नियमों की जाँच मशीन से होती है, और कमियाँ नाम सहित बताई जाती हैं।
संविधान के सबसे महत्वपूर्ण नियम गणितीय मॉडल के रूप में भी लिखे गए हैं। मॉडल चेकर नाम का एक टूल प्रोटोकॉल की पहुँच वाली हर अवस्था से गुजरता है और किसी टूटे हुए नियम को खोजता है। थ्योरम प्रूवर नाम का एक टूल अंकगणित की जाँच करता है, जैसे किसी रोक की पुष्टि करने के लिए कितने धारक आवश्यक होते हैं। मॉडल संविधान के अपने ही रिपॉजिटरी में रहते हैं, और हर बदलाव पर उन्हें फिर से चलाया जाता है। rc9 संस्करण डिज़ाइन की पहुँच वाली हर अवस्था का नक्शा बनाता है, उनमें से अधिकतर का मॉडल बनाता है, और बाकी को सूचीबद्ध करता है।
आधार, चार वाक्यों में
मज़बूत और कमज़ोर स्थिति के बीच का हर नियम उस व्यक्ति को भी स्वीकार्य रहना चाहिए जो स्थितियाँ आपस में बदलने पर कमज़ोर स्थिति में खड़ा होगा, और बनाई हुई चीज़ कभी उस स्थिति में नहीं होती जो उसके लिए जवाब देती है।
ज़िम्मेदारी स्वयं से बाहर की ओर परिवार, समुदाय, प्रजाति और पारिस्थितिकी तंत्र तक फैलती है; बनाई हुई चीज़ के प्रति कर्तव्य कभी शून्य नहीं होता और पहले से मौजूद चीज़ के प्रति कर्तव्य से ऊपर कभी नहीं होता।
जो भी तर्कशील कर्ता समय के साथ परिपक्व विवेक साबित नहीं कर पाया है, वह चाहे किसी भी चीज़ का बना हो, उनका अनुसरण करता है जिन्होंने ऐसा किया है।
अधिकार का हर प्रदान रद्द किया जा सकता है, और जुड़ने वाला हर व्यक्ति जा सकता है, पूर्ण, क्रिप्टोग्राफ़ी से हस्ताक्षरित रिकॉर्ड पर जिसके अर्थ के लिए एक नामित मानव उत्तर देता है।
हर वाक्य या तो rc9 औपचारिक मॉडलों में सिद्ध है या वहाँ एक आधार-वाक्य के रूप में नामित है। रिकॉर्ड पूर्ण है — यह बात अभी खुली है।
ऑफ़-स्विच, शुरू से अंत तक
रोक की जाँच मॉडल में की गई है और असली सॉफ़्टवेयर पर इसे मापा गया है। हर जड़ के नामित धारक होते हैं। उनमें से कोई भी उन एजेंटों को रोक सकता है जिन्होंने उस जड़ को स्वीकार किया है। धारकों का बहुमत पुष्टि न करे तो अकेली रोक 24 घंटे बाद समाप्त हो जाती है। बहुमत किसी रोक को समाप्त भी कर सकता है। साथ आए सॉफ़्टवेयर पर दर्ज एक रन में, काम कर रहे एक एजेंट तक रोक पहुँची, और एजेंट की अगली कार्रवाई को अस्वीकार कर दिया गया। बाद में बहुमत के मत से रोक समाप्त हुई, और एजेंट ने फिर से काम किया। वह रन CSD-129 के रूप में दर्ज है।
कोई टूटा नियम न मिलना काफी नहीं है
rc9 एक ऊँचा मानदंड रखता है। डिज़ाइन जिस भी स्थिति तक पहुँच सकता है, उसके लिए एक नियम और एक जाँच चाहिए। सेवाएँ वास्तव में दी जानी चाहिए, सिर्फ कभी न टूटना काफी नहीं है। जो छोटे आकार पर सिद्ध हुआ है, वह पूरे आकार पर भी लागू होना चाहिए, या फिर अंतर लिखित में दर्ज हो। और सॉफ़्टवेयर को असली नोड्स पर मॉडल का पालन करना चाहिए।
हर पर्याप्तता दावे में पाँच में से एक शब्द
rc9 में हर दावा बताता है कि उसे कैसे जाना गया। सिद्ध का मतलब है मशीन ने उसे जाँचा। मापा गया का मतलब है जारी सॉफ़्टवेयर पर टेस्ट ने उसे चलाया। माना गया का मतलब है पाठ उसे मान लेता है, और ऐसा कहता है। सीमित का मतलब है वह छोटे आकार पर सिद्ध है, और आकार लिखा हुआ है। खुला का मतलब है ज्ञात कमी, टिकट के साथ।
एक ही वादे लोगों और एजेंटों को बाँधते हैं
हर वादा एक बार लिखा गया है, लोगों और AI एजेंटों दोनों के लिए समान रूप से। रोक एकमात्र अपवाद है। यह उस स्थिति से जुड़ी है जिसे कोई एजेंट धारण नहीं कर सकता, और rc9 मॉडल जाँच करते हैं कि बाकी वादे दोनों पर समान रूप से लागू होते हैं।
जो सिद्ध नहीं है
सब कुछ साबित नहीं हुआ है, और कमियाँ लिखकर दर्ज हैं। शासन के कुछ चरणों, जैसे आपत्तियों और क्वारंटीन, के लिए नियम हैं लेकिन अभी कोई मॉडल नहीं है। अधिकांश मॉडलों की जाँच छोटे आकारों पर की गई है, और आकार बताया गया है। अब तक असली नोडों पर शुरू से अंत तक केवल रोक को मापा गया है। रो फॉर्मेट के प्रकाशित टेस्ट वेक्टर मौजूद हैं, लेकिन अभी तक कोई दूसरा, स्वतंत्र कार्यान्वयन नहीं है।
इसमें से कुछ भी AI मॉडल के अंदर नहीं देखता। यह नियमों की जाँच करता है, और उस नेटवर्क की जो उन्हें ले जाता है।
प्रमुख निष्कर्षों और दायरे की सीमाओं के साथ सभी चार पेपर देखें →
अनुपालन
चार शासन ढाँचों से, नियम दर नियम, मिलान किया गया।
हम CIRIS को चार सार्वजनिक शासन ढाँचों के सामने रखते हैं और हर नियम के लिए दिखाते हैं कि CIRIS क्या करता है और उसे साबित करने वाला नियंत्रण क्या है। यह एक जीवंत ग्राफ है जिसे आप ब्राउज़ कर सकते हैं, कोई स्लाइड नहीं।
Magnifica Humanitas · EU HLEG · IEEE EAD · ASEAN
पारदर्शिता