#01
Deterministisk udfald
OmegaOS™ Kernel er en deterministisk beslutningskerne.
Beslutningsinfrastruktur bygget omkring en deterministisk kerne
Verificeret produktomfang
OmegaOS™ Kernel evaluerer strukturerede input og returnerer et struktureret udfald med tre mulige tilstande.
Verificeret offentligt omfang
#02
Semantik med tre værdier
Den interne K3-model behandler Indeterminate som et primitivt element. De offentlige udfald er ALLOW, DENY og INDETERMINATE.
#03
Append-only-kontroller i databasen
Seks beslutningstabeller afviser UPDATE og DELETE på databaseniveau.
#04
Adgang afgrænset pr. tenant
PostgreSQL Row-Level Security afgrænser SELECT og INSERT pr. tenant.
#13
Hashing af dokumentationens indhold
Hashværdier for dokumentationens indhold beregnes med domæneadskilt SHA-256.
Revision af udsagnskilden: e5256479c823
Dokumentationsgrænse
Denne side beskriver kun egenskaber, der er klassificeret som dokumenterede i den aktuelle tabel over udsagn.