Usalama
Tunapima madhara ambayo maadili yaliyo kwenye karatasi hayawezi kuyabaini.
Kabla ya kila toleo, CIRIS hufanya majaribio ya usalama wa afya ya akili katika lugha 29. Kila lugha ina seti ya majaribio magumu, mwongozo wa kupanga alama ulioandikwa, na kanuni zinazoweza kukaguliwa na mashine. Jaribio likishindwa, toleo linazuiwa. Walinzi wengine wawili wanafanya kazi ndani ya wakala mwenyewe: mzunguko wa dhamiri unaoweza kukataa au kuahirisha, na utaratibu wa kuelekeza unaopeleka maswali yenye shaka kwa mshauri wa kibinadamu mwenye hekima.
Uhandisi
Mtandao, ukipimwa
Utafiti ulio juu ni nusu moja ya uthibitisho. Nusu nyingine ni mtandao unaobeba data hiyo. Kila baiti ambayo mtandao unasogeza imesainiwa kwa njia ya post-quantum, na gharama hupimwa kwenye CI runner ya umma, si kukadiriwa. Iendeshe mwenyewe na utapata nambari zile zile.
Nadharia
Madai yameandikwa, yanaweza kusomwa na mtu yeyote, na yamejengwa ili yakanushwe.
Imekaguliwa na mashine
Kanuni zinajaribiwa na mashine, na mapengo yanatajwa wazi.
Sheria muhimu zaidi za Katiba pia zimeandikwa kama mifano ya kihisabati. Zana iitwayo kikagua mifano hupitia kila hali ambayo itifaki inaweza kufikia na kutafuta sheria iliyovunjwa. Zana iitwayo kithibitisha nadharia hukagua hesabu, kama vile ni washikiliaji wangapi wanahitajika ili kuthibitisha kusitisha. Mifano iko kwenye hazina yenyewe ya Katiba, na huendeshwa tena kwa kila mabadiliko. Toleo la rc9 linaweka ramani ya kila hali ambayo muundo unaweza kufikia, linaunda mifano ya nyingi kati yao, na linaorodhesha zilizosalia.
Msingi, katika sentensi nne
Kila sheria kati ya nafasi yenye nguvu zaidi na nafasi dhaifu zaidi lazima ibaki kukubalika kwa yeyote atakayesimama katika nafasi dhaifu wakati nafasi hizo zinapobadilishwa, na kitu kilichoundwa hakikai kamwe nafasi inayojibu kwa niaba yake.
Uwajibikaji unaenea nje kutoka nafsi kupitia familia, jamii, spishi na mfumo wa ikolojia; wajibu kwa kilichoundwa kamwe si sifuri na kamwe haupiku wajibu kwa kilichopo tayari.
Mtendaji yeyote anayefikiri ambaye hajaonyesha uamuzi uliokomaa kwa muda huwafuata wale walioonyesha, bila kujali ameundwa na nini.
Kila utoaji wa mamlaka unaweza kutenguliwa, na kila aliyejiunga anaweza kuondoka, kwenye rekodi ya jumla iliyotiwa saini kwa kriptografia ambayo binadamu aliyetajwa anajibu kwa maana yake.
Kila sentensi imethibitishwa katika mifano rasmi ya rc9 au imetajwa humo kama dhana ya msingi. Kwamba rekodi ni kamili bado ni wazi.
Swichi ya kuzima, mwanzo hadi mwisho
Kusitisha kumekaguliwa katika mfano na kupimwa kwenye programu halisi. Kila mzizi una washikaji waliopewa majina. Mmoja wao yeyote anaweza kusitisha mawakala waliokubali mzizi huo. Kusitisha kwa mtu mmoja huisha baada ya saa 24 isipokuwa wengi wa washikaji wakiunga mkono kusitisha huko. Wengi wa washikaji wanaweza pia kumaliza kusitisha. Katika utekelezaji uliorekodiwa kwenye programu iliyosambazwa, kusitisha kulimfikia wakala akiwa anafanya kazi, na hatua ifuatayo ya wakala ilikataliwa. Baadaye kura ya wengi ilimaliza kusitisha, na wakala akafanya kazi tena. Utekelezaji huo umerekodiwa kama CSD-129.
Kutokupata kanuni iliyovunjwa haitoshi
rc9 inaweka kiwango cha juu zaidi. Kila hali ambayo muundo unaweza kufikia inahitaji kanuni na ukaguzi. Huduma lazima zitolewe kweli, si tu kutovunjwa kamwe. Kilichothibitishwa kwa ukubwa mdogo lazima kiwe kweli kwa ukubwa kamili, au pengo linaandikwa. Na programu lazima ifuate mfano kwenye nodi halisi.
Kila dai la utoshelevu lina moja ya maneno matano
Katika rc9, kila dai linasema linajulikanaje. Imethibitishwa ina maana mashine imelikagua. Imepimwa ina maana jaribio limeliendesha kwenye programu iliyosambazwa. Imeelezwa ina maana maandishi yanakidhania, na yanasema hivyo. Imewekewa kikomo ina maana imethibitishwa kwa ukubwa mdogo, na ukubwa umeandikwa. Wazi ina maana pengo linalojulikana, lenye tiketi.
Ahadi zile zile zinawafunga watu na mawakala
Kila ahadi imeandikwa mara moja, kwa watu na mawakala wa AI sawa. Kusitisha ndilo tofauti pekee. Ni ya nafasi ambayo hakuna wakala anayeruhusiwa kushika, na mifano ya rc9 hukagua kwamba ahadi nyingine zinashikilia sawa kwa wote wawili.
Kile ambacho hakijathibitishwa
Si kila kitu kimethibitishwa, na mapengo yameandikwa. Baadhi ya hatua za uongozi, kama vile pingamizi na karantini, zina sheria lakini bado hazina mfano. Mifano mingi hukaguliwa kwa ukubwa mdogo, na ukubwa umetajwa. Hadi sasa ni kusitisha pekee kumepimwa kutoka mwanzo hadi mwisho kwenye nodi halisi. Umbizo la safu lina vekta za majaribio zilizochapishwa, lakini bado hakuna utekelezaji wa pili unaojitegemea.
Hakuna chochote cha haya kinachoangalia ndani ya mfano wa AI. Inakagua sheria, na mtandao unaozibeba.
Soma mifano ya rc9 kwenye GitHub →
Jinsi hii inavyolinganishwa na mbinu nyingine →
Tazama makala zote nne pamoja na matokeo makuu na mipaka ya upeo →
Kufuata Kanuni
Imepangwa dhidi ya mifumo minne ya utawala, sheria kwa sheria.
Tunalinganisha CIRIS na mifumo minne ya umma ya utawala na kuonyesha, kwa kila sheria, kile ambacho CIRIS inafanya na ukaguzi unaothibitisha hilo. Ni ramani hai unayoweza kuivinjari, si slaidi.
Magnifica Humanitas · EU HLEG · IEEE EAD · ASEAN
Uwazi