#01
Determinističko razrješenje
OmegaOS™ Kernel je deterministička jezgra odlučivanja.
Infrastruktura za odlučivanje izgrađena oko determinističke jezgre
Granica stvarnog stanja
Javna površina navodi ono što je dokazano, ograničava svaku tvrdnju na njezine dokaze i ne ide dalje od toga.
Provjereni javni opseg
#02
Trostupanjska semantika
Interni model K3 tretira Indeterminate kao primitivni element. Javni ishodi su ALLOW, DENY i INDETERMINATE.
#03
Kontrole baze podataka samo za dodavanje
Šest tablica odluka odbija operacije UPDATE i DELETE na razini baze podataka.
#04
Pristup ograničen na tenant
PostgreSQL Row-Level Security ograničava SELECT i INSERT prema tenantu.
#05
Atomska transakcija odluke
Odluka, povezani dokazi, zapis odluka-dokaz i witness zapis potvrđuju se u jednoj transakciji.
#06
Prihvatljivost prije potvrde
Kontrolna točka prihvatljivosti prije commita odbija duplicirane ili zastarjele zahtjeve.
#13
Hashiranje sadržaja dokaza
Sažeci sadržaja dokaza koriste SHA-256 s odvajanjem domena.
#23
Upravljanje tvrdnjama
Javnim tvrdnjama OmegaOS upravlja verzionirana normativna tablica istine.
Revizija izvora tvrdnji: e5256479c823
Granica dokaza
Ponovna reprodukcija, potpisane potvrde, otpornost zapisa na neovlaštene izmjene, daljnja provjera, regulatorna spremnost i upravljački sloj izvan su trenutačne granice javnog dokazivanja.