பாதுகாப்பு
காகிதத்தில் உள்ள நெறிமுறைகளால் பிடிக்க முடியாத தீங்கிற்கு நாங்கள் சோதிக்கிறோம்.
ஒவ்வொரு வெளியீட்டிற்கு முன்பும், CIRIS 29 மொழிகளில் மனநலப் பாதுகாப்பு சோதனைத் தொகுப்பை இயக்குகிறது. ஒவ்வொரு மொழிக்கும் கடினமான சோதனை வழக்குகள், எழுதப்பட்ட மதிப்பெண் வழிகாட்டி, இயந்திரத்தால் சரிபார்க்கக்கூடிய விதிகள் ஆகியவை உள்ளன. ஒரு சோதனை தோல்வியடைந்தால், வெளியீடு தடுக்கப்படும். முகவருக்குள்ளேயே இரண்டு கூடுதல் பாதுகாப்புகள் உள்ளன: மறுக்கவோ ஒத்திவைக்கவோ கூடிய மனசாட்சி சரிபார்ப்பு, மற்றும் சந்தேகமான அழைப்புகளை ஒரு அறிவுள்ள மனிதனிடம் ஒப்படைக்கும் திருப்புமுனை.
பொறியியல்
நெட்வொர்க் கட்டமைப்பு, அளவிடப்பட்டது
மேலே உள்ள ஆராய்ச்சி ஆதாரத்தின் ஒரு பாதி மட்டுமே. மற்றொரு பாதி அதைச் சுமந்து செல்லும் நெட்வொர்க் கட்டமைப்பு ஆகும். இந்த நெட்வொர்க் கட்டமைப்பு நகர்த்தும் ஒவ்வொரு byte-உம் post-quantum கையொப்பமிடப்பட்டது, மேலும் இதன் செலவு ஒரு பொது CI runner-இல் அளவிடப்படுகிறது, மாதிரியாகக் கணிக்கப்படவில்லை. நீங்களே இயக்கினாலும் அதே எண்கள் கிடைக்கும்.
அளவிடப்பட்ட ஒவ்வொரு எண்ணையும் பார்க்கவும், நீங்களே மீண்டும் சோதிக்கவும் →
கோட்பாடு
கூற்றுகள் எழுதப்பட்டு, எவரும் படிக்கலாம், தவறு என்று நிரூபிக்கலாம் என்று கட்டமைக்கப்பட்டவை.
இயந்திரத்தால் சரிபார்க்கப்பட்டது
விதிகள் இயந்திரத்தால் சோதிக்கப்படுகின்றன, இடைவெளிகள் பெயரிடப்படுகின்றன.
அரசியலமைப்பின் மிக முக்கியமான விதிகள் கணித மாதிரிகளாகவும் எழுதப்பட்டுள்ளன. மாடல் செக்கர் எனப்படும் கருவி ஒரு நெறிமுறை அடையக்கூடிய ஒவ்வொரு நிலையையும் ஆராய்ந்து மீறப்பட்ட விதியைத் தேடுகிறது. தியரம் புரூவர் எனப்படும் கருவி கணக்கீடுகளைச் சரிபார்க்கிறது, எடுத்துக்காட்டாக இடைநிறுத்தத்தை உறுதிப்படுத்த எத்தனை வைத்திருப்பவர்கள் தேவை என்பதை. மாதிரிகள் அரசியலமைப்பின் சொந்தக் களஞ்சியத்தில் உள்ளன, மேலும் ஒவ்வொரு மாற்றத்திலும் அவை மீண்டும் இயக்கப்படுகின்றன. rc9 பதிப்பு வடிவமைப்பு அடையக்கூடிய ஒவ்வொரு நிலையையும் வரைபடமாக்குகிறது; அவற்றில் பெரும்பாலான நிலைகளை மாதிரியாக்குகிறது; மீதமுள்ள நிலைகளைத் தனியாகப் பட்டியலிடுகிறது.
நான்கு வாக்கியங்களில் அடிப்படை
வலுவான மற்றும் வலுவற்ற நிலைக்கு இடையிலான ஒவ்வொரு விதியும், நிலைகள் மாற்றப்படும்போது வலுவற்ற நிலையில் நிற்பவருக்கு ஏற்கக்கூடியதாக இருக்க வேண்டும், மேலும் உருவாக்கப்பட்ட ஒன்று அதற்குப் பதிலளிக்கும் நிலையை ஒருபோதும் வகிக்காது.
பொறுப்பு தன்னிலிருந்து குடும்பம், சமூகம், உயிரினம் மற்றும் சுற்றுச்சூழல் வழியாக வெளிநோக்கி விரிகிறது; உருவாக்கப்பட்டவற்றுக்கான கடமை ஒருபோதும் பூஜ்ஜியமல்ல, ஏற்கனவே உள்ளவற்றுக்கான கடமையை ஒருபோதும் மீறாது.
காலப்போக்கில் முதிர்ந்த தீர்ப்பை நிரூபிக்காத எந்தப் பகுத்தறியும் செயலரும், அது எதனால் ஆனதாக இருந்தாலும், நிரூபித்தவர்களுக்குக் கீழ்ப்படிகிறது.
ஒவ்வொரு அதிகார வழங்கலும் திரும்பப்பெறக்கூடியது, சேர்ந்த ஒவ்வொருவரும் வெளியேறலாம், அதன் பொருளுக்குப் பெயர் குறிப்பிட்ட மனிதர் பதிலளிக்கும் முழுமையான, மறையியல் கையொப்பமிட்ட பதிவில்.
ஒவ்வொரு வாக்கியமும் rc9 முறையான மாதிரிகளில் நிரூபிக்கப்பட்டுள்ளது அல்லது அங்கு முன்கோளாகக் குறிப்பிடப்பட்டுள்ளது. பதிவு முழுமையானது என்பது இன்னும் திறந்தே உள்ளது.
நிறுத்து விசை, தொடக்கம் முதல் முடிவு வரை
நிறுத்தம் மாதிரியில் சரிபார்க்கப்பட்டுள்ளது, உண்மையான மென்பொருளில் அளவிடப்பட்டுள்ளது. ஒவ்வொரு மூலத்திற்கும் பெயரிடப்பட்ட பொறுப்பாளர்கள் உள்ளனர். அவர்களில் எவரும் அந்த மூலத்தை ஏற்றுக்கொண்ட முகவர்களை நிறுத்த முடியும். பொறுப்பாளர்களில் பெரும்பான்மையினர் உறுதிப்படுத்தாவிட்டால், தனி ஒருவரின் நிறுத்தம் 24 மணி நேரத்திற்குப் பிறகு முடிவடைகிறது. பெரும்பான்மையினரால் ஒரு நிறுத்தத்தை முடிக்கவும் முடியும். வெளியிடப்பட்ட மென்பொருளில் பதிவு செய்யப்பட்ட ஒரு ஓட்டத்தில், ஒரு முகவர் செயல்படும்போது நிறுத்தம் அதனை அடைந்தது, மேலும் முகவரின் அடுத்த செயல் மறுக்கப்பட்டது. பின்னர் பெரும்பான்மை வாக்கு நிறுத்தத்தை முடித்தது, முகவர் மீண்டும் செயல்பட்டது. அந்த ஓட்டம் CSD-129 ஆகப் பதிவு செய்யப்பட்டுள்ளது.
உடைந்த விதி எதுவும் இல்லை என்பதைக் கண்டறிவது போதாது
rc9 உயர்ந்த அளவுகோலை நிர்ணயிக்கிறது. வடிவமைப்பு அடையக்கூடிய ஒவ்வொரு நிலைக்கும் ஒரு விதியும் ஒரு சரிபார்ப்பும் தேவை. சேவைகள் உண்மையில் வழங்கப்பட வேண்டும், வெறும் உடைக்கப்படாமல் இருந்தால் மட்டும் போதாது. சிறிய அளவில் நிரூபிக்கப்பட்டது முழு அளவிலும் பொருந்த வேண்டும், இல்லையெனில் இடைவெளி எழுதி வைக்கப்படும். மேலும் மென்பொருள் உண்மையான முனைகளில் மாதிரியைப் பின்பற்ற வேண்டும்.
ஒவ்வொரு போதுமை கூற்றும் ஐந்து சொற்களில் ஒன்றைக் கொண்டுள்ளது
rc9-ல், ஒவ்வொரு கூற்றும் அது எவ்வாறு அறியப்பட்டது என்று கூறுகிறது. நிரூபிக்கப்பட்டது என்றால் இயந்திரம் அதைச் சரிபார்த்தது என்று பொருள். அளவிடப்பட்டது என்றால் வெளியிடப்பட்ட மென்பொருளில் சோதனை இயக்கப்பட்டது என்று பொருள். கூறப்பட்டது என்றால் உரை அதை அனுமானிக்கிறது, அவ்வாறே கூறுகிறது என்று பொருள். வரம்புக்குட்பட்டது என்றால் சிறிய அளவில் நிரூபிக்கப்பட்டு, அளவு எழுதப்பட்டுள்ளது என்று பொருள். திறந்தது என்றால் டிக்கெட்டுடன் கூடிய அறியப்பட்ட இடைவெளி என்று பொருள்.
அதே வாக்குறுதிகள் மக்களையும் முகவர்களையும் கட்டுப்படுத்துகின்றன
ஒவ்வொரு வாக்குறுதியும் மக்களுக்கும் AI முகவர்களுக்கும் சமமாக ஒரு முறை எழுதப்பட்டுள்ளது. இடைநிறுத்தம் மட்டுமே விதிவிலக்கு. இது எந்த முகவரும் வகிக்க முடியாத நிலையைச் சேர்ந்தது, மற்ற வாக்குறுதிகள் இருவருக்கும் சமமாகப் பொருந்துகின்றன என்பதை rc9 மாதிரிகள் சரிபார்க்கின்றன.
நிரூபிக்கப்படாதது எது
எல்லாம் நிரூபிக்கப்படவில்லை, இடைவெளிகள் எழுதி வைக்கப்பட்டுள்ளன. ஆட்சேபனைகள் மற்றும் தனிமைப்படுத்தல் போன்ற சில ஆளுகைப் படிகளுக்கு விதிகள் உள்ளன, ஆனால் இன்னும் மாதிரி இல்லை. பெரும்பாலான மாதிரிகள் சிறிய அளவுகளில் சரிபார்க்கப்பட்டுள்ளன, அந்த அளவு குறிப்பிடப்பட்டுள்ளது. இதுவரை நிறுத்தம் மட்டுமே உண்மையான முனைகளில் தொடக்கம் முதல் முடிவு வரை அளவிடப்பட்டுள்ளது. வரிசை வடிவத்திற்கு வெளியிடப்பட்ட சோதனை வெக்டர்கள் உள்ளன, ஆனால் இரண்டாவது, சுதந்திரமான செயலாக்கம் இன்னும் இல்லை.
இவற்றில் எதுவும் AI மாதிரிக்குள் பார்ப்பதில்லை. இது விதிகளையும், அவற்றைச் சுமக்கும் வலையமைப்பையும் சரிபார்க்கிறது.
GitHub-ல் rc9 மாதிரிகளைப் படியுங்கள் →
இது மற்ற அணுகுமுறைகளுடன் எவ்வாறு ஒப்பிடப்படுகிறது →
CIRIS அரசியலமைப்பைப் படிக்கவும் →
முக்கிய கண்டுபிடிப்புகள் மற்றும் நோக்கு வரம்புகளுடன் நான்கு கட்டுரைகளையும் காண்க →
இணக்கம்
நான்கு நிர்வாக கட்டமைப்புகளுடன், விதிமுறை விதிமுறையாக வரைப்படமாக்கப்பட்டது.
CIRIS ஐ நான்கு பொது நிர்வாக கட்டமைப்புகளுடன் ஒப்பிட்டு, ஒவ்வொரு விதிமுறைக்கும் CIRIS என்ன செய்கிறது என்றும் அதை நிரூபிக்கும் கட்டுப்பாடும் காட்டுகிறோம். இது ஒரு நேரடி வரைப்படம், ஒரு சுருக்கவுரை அல்ல.
Magnifica Humanitas · EU HLEG · IEEE EAD · ASEAN
வெளிப்படைத்தன்மை