Aminci
Muna gwada cutarwar da ka'idojin takarda ba za su iya kama su ba.
Kafin kowane sakin laya, CIRIS yana gudanar da jarrabawar aminci ta lafiyar hankali a cikin harsunan 29. Kowane harshe yana da saitin lokuta masu wuya na gwaji, jagora na ƙididdiga da aka rubuta, da dokoki da na'ura za ta iya duba. Idan gwaji ya gaza, ana toshe sakin layin. Ana gudanar da kariyar ƙari biyu a cikin wakilin kansa: wucewar lamiri da zai iya ƙi ko jinkirta, da buga ƙwallon da ke miƙa kiran da ake shakka game da shi ga ɗan adam mai hikima.
Injiniya
Yanar gizo, an auna shi
Binciken da ke sama shi ne rabin hujja. Rabin ɗaya shi ne hanyar sadarwa da ke ɗaukar shi. Kowane baiti da yanar gizon ke ɗauka yana da sa hannun post-quantum, kuma ana auna kudin aikin a kan CI runner na jama'a, ba a ƙididdige shi kawai ba. Ka gudanar da shi da kanka kuma za ka sami ƙididdigan da suka yi daidai.
Duba dukkan lambobin da aka auna, kuma sake gwadawa da kanka →
Ka'ida
An rubuta da'awar, kowa zai iya karantata, kuma an gina ta don a iya tabbatar da kuskurenta.
Karanta Tsarin Mulki na CIRIS →
Duba dukkan takardun huɗu tare da manyan bincike da iyakokin aiki →
Bin Ka'idoji
An zana zuwa ga tsarin mulki guda hudu, doka bayan doka.
Muna jera CIRIS tare da tsarin mulki guda hudu na jama'a kuma muna nuna, ga kowane doka, abin da CIRIS ke yi da sarrafa da ke tabbatar da shi. Jadawali ne mai rai da za ka bincika, ba faifai ba.
Magnifica Humanitas · EU HLEG · IEEE EAD · ASEAN
Bayyanarwa