#01
Determinističko razrješenje
OmegaOS™ Kernel je deterministička jezgra odlučivanja.
Infrastruktura za odlučivanje izgrađena oko determinističke jezgre
Provjereni opseg proizvoda
OmegaOS™ Kernel procjenjuje strukturirane ulaze i vraća strukturirani trostupanjski ishod.
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.
#13
Hashiranje sadržaja dokaza
Sažeci sadržaja dokaza koriste SHA-256 s odvajanjem domena.
Revizija izvora tvrdnji: e5256479c823
Granica dokaza
Ova stranica opisuje samo svojstva koja su u trenutačnoj tablici tvrdnji klasificirana kao dokazana.