#01
Deterministisk udfald
OmegaOS™ Kernel er en deterministisk beslutningskerne.
Beslutningsinfrastruktur bygget omkring en deterministisk kerne
Virkelighedsgrænse
Den offentlige overflade angiver, hvad der er dokumenteret, afgrænser hvert udsagn til dets dokumentation og forbliver tavs derudover.
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.
#05
Atomisk beslutningstransaktion
Beslutningen, de tilknyttede beviser, beslutning-bevis-posten og witness-posten gemmes i én transaktion.
#06
Gyldighedskontrol før lagring
En admissibilitetsport før commit afviser duplikerede eller forældede anmodninger.
#13
Hashing af dokumentationens indhold
Hashværdier for dokumentationens indhold beregnes med domæneadskilt SHA-256.
#23
Styring af udsagn
Offentlige OmegaOS-udsagn styres af en normativ sandhedstabel med angivet version.
Revision af udsagnskilden: e5256479c823
Dokumentationsgrænse
Genkørsel, signerede kvitteringer, manipulationsdokumentation på tværs af poster, efterfølgende verifikation, beredskab over for tilsynsmyndigheder og et styringslag ligger uden for den nuværende offentlige dokumentationsgrænse.