#01
Zgjidhje deterministe
OmegaOS™ Kernel është një bërthamë deterministe vendimmarrjeje.
Infrastrukturë vendimmarrjeje e ndërtuar rreth një bërthame deterministe
Kufiri i realitetit
Përmbajtja publike paraqet atë që është provuar, kufizon çdo pohim te provat përkatëse dhe nuk shprehet përtej tyre.
Fushëveprimi publik i verifikuar
#02
Semantikë me tri gjendje
Modeli i brendshëm K3 e trajton Indeterminate si element primitiv. Rezultatet publike janë ALLOW, DENY dhe INDETERMINATE.
#03
Kontrolle të bazës së të dhënave vetëm për shtim
Gjashtë tabela vendimmarrjeje refuzojnë UPDATE dhe DELETE në shtresën e bazës së të dhënave.
#04
Qasje e kufizuar sipas tenantit
Siguria në nivel rreshti e PostgreSQL kufizon SELECT dhe INSERT sipas tenantit.
#05
Transaksion atomik i vendimit
Vendimi, provat e lidhura, zëri vendim-provë dhe regjistrimi i dëshmitarit ruhen së bashku në një transaksion të vetëm.
#06
Pranueshmëria para konfirmimit
Një portë pranueshmërie para commit-it refuzon kërkesat e dyfishta ose të vjetruara.
#13
Hashimi i përmbajtjes së provave
Për hashimin e përmbajtjes së provave përdoret SHA-256 me ndarje sipas domenit.
#23
Qeverisja e pohimeve
Pohimet publike të OmegaOS rregullohen nga një tabelë normative e së vërtetës me versione të përcaktuara.
Versioni i burimit të pohimeve: e5256479c823
Kufiri i provave
Riekzekutimi, dëftesat e nënshkruara, provat ndërmjet zërave për zbulimin e manipulimit, verifikimi në sistemet pasuese, gatishmëria rregullatore dhe një shtresë kontrolli qeverisjeje janë jashtë kufirit aktual të provës publike.