#01
Determinisztikus feloldás
A OmegaOS™ Kernel determinisztikus döntési mag.
Determinisztikus döntési mag köré épülő infrastruktúra
A tényleges állapot határa
A nyilvános felület a bizonyított tényeket közli, minden állítást a bizonyítékaira korlátoz, azon túl pedig hallgat.
Ellenőrzött nyilvános hatókör
#02
Háromállapotú szemantika
A belső K3 modell az Indeterminate értéket primitív elemként kezeli. A nyilvános kimenetek: ALLOW, DENY és INDETERMINATE.
#03
Csak hozzáfűzést engedő adatbázis-kontrollok
Hat döntési tábla adatbázisszinten elutasítja az UPDATE és DELETE műveleteket.
#04
Tenanthez kötött hozzáférés
A PostgreSQL Row-Level Security tenant szerint határolja a SELECT és INSERT műveleteket.
#05
Atomi döntési tranzakció
A döntés, a kapcsolódó bizonyítékok, a döntés–bizonyíték bejegyzés és a witness rekord egyetlen tranzakcióban kerül véglegesítésre.
#06
Véglegesítés előtti elfogadhatóság
A commit előtti elfogadhatósági kapu elutasítja a duplikált vagy elavult kéréseket.
#13
Bizonyítéktartalom kivonatolása
A bizonyítékok tartalmi kivonatai tartományelválasztott SHA-256-ot használnak.
#23
Az állítások irányítása
Az OmegaOS nyilvános állításait verziózott normatív igazságtábla szabályozza.
Az állításforrás verziója: e5256479c823
Bizonyítékok határa
A visszajátszás, az aláírt nyugták, a bejegyzések közötti manipulációbiztosság, a további ellenőrzés, a szabályozói készenlét és az irányítási vezérlősík kívül esik a jelenlegi nyilvános igazolási határon.