#01
Deterministische uitkomst
OmegaOS™ Kernel is een deterministische beslissingskernel.
Beslisinfrastructuur rond een deterministische kernel
Technische notitie
Het geverifieerde oppervlak is bewust klein, reproduceerbaar en afgebakend.
Geverifieerde openbare reikwijdte
#02
Driewaardige semantiek
Het interne K3-model behandelt Indeterminate als een primitief element. De openbare uitkomsten zijn ALLOW, DENY en INDETERMINATE.
#03
Append-onlycontroles in de database
Zes beslissingstabellen weigeren UPDATE en DELETE op databaseniveau.
#04
Toegang afgebakend per tenant
PostgreSQL Row-Level Security bakent SELECT en INSERT af per tenant.
#05
Atomaire beslissingstransactie
De beslissing, de bijbehorende bewijzen, de beslissing-bewijsvermelding en het witness-record worden in één transactie vastgelegd.
#06
Toelaatbaarheid vóór vastlegging
Een toelaatbaarheidspoort vóór commit weigert dubbele of verouderde verzoeken.
#13
Hashing van bewijsinhoud
Inhoudshashes van bewijs gebruiken domeingescheiden SHA-256.
Revisie van de claimbron: e5256479c823
Afbakening van het bewijs
Eigenschappen die in de normatieve claimtabel niet als bewezen zijn vermeld, zijn van deze notitie uitgesloten.