#01
Deterministiskt utfall
OmegaOS™ Kernel är en deterministisk beslutskärna.
Beslutsinfrastruktur byggd kring en deterministisk kärna
Verklighetsgräns
Den offentliga ytan anger vad som är bevisat, begränsar varje påstående till dess bevis och förblir tyst därutöver.
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.
#23
Styrning av påståenden
Offentliga OmegaOS-påståenden styrs av en normativ sanningstabell med angiven version.
Revision av påståendekällan: e5256479c823
Bevisgräns
Återkörning, signerade kvitton, manipulationsbevis mellan poster, verifiering nedströms, beredskap för tillsynsmyndigheter och ett styrningsskikt ligger utanför den nuvarande offentliga bevisgränsen.