#01
Resolução determinística
OmegaOS™ Kernel é um núcleo de decisão determinístico.
Infraestrutura de decisão assente num núcleo determinístico
Nota técnica
A superfície verificada é deliberadamente reduzida, reproduzível e delimitada.
Âmbito público verificado
#02
Semântica de três estados
O modelo K3 interno trata Indeterminate como um elemento primitivo. Os resultados públicos são ALLOW, DENY e INDETERMINATE.
#03
Controlos de anexação exclusiva na base de dados
Seis tabelas decisionais rejeitam UPDATE e DELETE na camada da base de dados.
#04
Acesso delimitado por tenant
O Row-Level Security do PostgreSQL delimita SELECT e INSERT por tenant.
#05
Transação atómica de decisão
A decisão, as provas associadas, a entrada decisão-evidência e o registo witness são confirmados numa única transação.
#06
Admissibilidade antes do commit
Uma porta de admissibilidade anterior ao commit rejeita pedidos duplicados ou obsoletos.
#13
Cálculo do hash do conteúdo das evidências
Os hashes de conteúdo das evidências usam SHA-256 com separação de domínios.
Revisão da fonte das afirmações: e5256479c823
Limite da evidência
Esta nota exclui as propriedades que não estão classificadas como provadas na tabela normativa de afirmações.