#01
Deterministisk udfald
OmegaOS™ Kernel er en deterministisk beslutningskerne.
Beslutningsinfrastruktur bygget omkring en deterministisk kerne
Teknisk note
Den verificerede overflade er bevidst lille, reproducerbar og afgrænset.
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.
Revision af udsagnskilden: e5256479c823
Dokumentationsgrænse
Egenskaber, der ikke er angivet som dokumenterede i den normative tabel over udsagn, er udeladt fra denne note.