#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
Limite da realidade
A superfície pública declara o que está provado, limita cada afirmação à respetiva evidência e permanece silenciosa para além dela.
Â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.
#23
Governação das afirmações
As afirmações públicas do OmegaOS são regidas por uma tabela de verdade normativa versionada.
Revisão da fonte das afirmações: e5256479c823
Limite da evidência
O replay, os comprovativos assinados, a evidência de manipulação entre entradas, a verificação subsequente, a preparação para reguladores e um plano de controlo de governação estão fora do atual limite de prova pública.