#01
Risoluzione deterministica
OmegaOS™ Kernel è un kernel decisionale deterministico.
Infrastruttura decisionale basata su un kernel deterministico
Limite della realtà
La superficie pubblica indica ciò che è provato, limita ogni affermazione alle relative evidenze e non va oltre.
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.
#05
Transazione decisionale atomica
La decisione, le prove associate, la voce decisione-prova e il record witness vengono registrati in un’unica transazione.
#06
Ammissibilità prima del commit
Un gate di ammissibilità pre-commit rifiuta le richieste duplicate o obsolete.
#13
Calcolo dell’hash del contenuto delle evidenze
Gli hash del contenuto delle evidenze usano SHA-256 con separazione dei domini.
#23
Governance delle affermazioni
Le affermazioni pubbliche di OmegaOS sono governate da una tabella di verità normativa versionata.
Revisione della fonte delle affermazioni: e5256479c823
Limite delle evidenze
Replay, ricevute firmate, evidenze di non manomissione tra più voci, verifica a valle, preparazione normativa e un piano di controllo della governance sono fuori dall’attuale perimetro pubblico delle evidenze.