#01
Risoluzione deterministica
OmegaOS™ Kernel è un kernel decisionale deterministico.
Infrastruttura decisionale basata su un kernel deterministico
Perimetro del prodotto verificato
OmegaOS™ Kernel valuta input strutturati e restituisce un esito strutturato a tre stati.
Perimetro pubblico verificato
#02
Semantica a tre stati
Il modello K3 interno tratta Indeterminate come un elemento primitivo. Gli esiti pubblici sono ALLOW, DENY e INDETERMINATE.
#03
Controlli append-only nel database
Sei tabelle decisionali rifiutano UPDATE e DELETE a livello di database.
#04
Accesso limitato al tenant
La Row-Level Security di PostgreSQL delimita SELECT e INSERT per tenant.
#13
Calcolo dell’hash del contenuto delle evidenze
Gli hash del contenuto delle evidenze usano SHA-256 con separazione dei domini.
Revisione della fonte delle affermazioni: e5256479c823
Limite delle evidenze
Questa pagina descrive esclusivamente le proprietà classificate come provate nella tabella attuale delle affermazioni.