#01
Deterministiskt utfall
OmegaOS™ Kernel är en deterministisk beslutskärna.
Beslutsinfrastruktur byggd kring en deterministisk kärna
Verifierad produktomfattning
OmegaOS™ Kernel utvärderar strukturerade indata och returnerar ett strukturerat utfall med tre möjliga tillstånd.
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.
#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
Den här sidan beskriver endast egenskaper som klassificeras som bevisade i den aktuella tabellen över påståenden.