#01
Deterministiskt utfall
OmegaOS™ Kernel är en deterministisk beslutskärna.
Beslutsinfrastruktur byggd kring en deterministisk kärna
Teknisk anmärkning
Den verifierade ytan är avsiktligt liten, reproducerbar och avgränsad.
Verifierad offentlig omfattning
#02
Trevärd semantik
Den interna K3-modellen behandlar Indeterminate som ett primitivt element. De offentliga utfallen är ALLOW, DENY och INDETERMINATE.
#03
Append-only-kontroller i databasen
Sex beslutstabeller avvisar UPDATE och DELETE på databasnivå.
#04
Åtkomst avgränsad per klient
PostgreSQL Row-Level Security avgränsar SELECT och INSERT per tenant.
#05
Atomär beslutstransaktion
Beslutet, tillhörande bevis, beslut–bevis-posten och witness-posten sparas i en enda transaktion.
#06
Tillåtlighetskontroll före lagring
En tillåtlighetsgrind före commit avvisar dubbla eller inaktuella begäranden.
#13
Hashning av bevisinnehåll
Hashvärden för bevisinnehåll beräknas med domänseparerad SHA-256.
Revision av påståendekällan: e5256479c823
Bevisgräns
Egenskaper som inte anges som bevisade i den normativa tabellen över påståenden ingår inte i denna anmärkning.