#01
Risoluzione deterministica
OmegaOS™ Kernel è un kernel decisionale deterministico.
Infrastruttura decisionale basata su un kernel deterministico
Nota tecnica
La superficie verificata è intenzionalmente ridotta, riproducibile e delimitata.
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.
Revisione della fonte delle affermazioni: e5256479c823
Limite delle evidenze
Le proprietà non indicate come provate nella tabella normativa delle affermazioni sono escluse da questa nota.