#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
Âmbito verificado do produto
OmegaOS™ Kernel avalia entradas estruturadas e devolve um resultado estruturado de três estados.
Â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.
#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 página descreve apenas propriedades classificadas como provadas na atual tabela de afirmações.