#01
Resolución determinista
OmegaOS™ Kernel es un núcleo de decisión determinista.
Infraestructura de decisión basada en un núcleo determinista
Nota técnica
La superficie verificada es deliberadamente reducida, reproducible y delimitada.
Ámbito público verificado
#02
Semántica de tres estados
El modelo K3 interno trata Indeterminate como un elemento primitivo. Los resultados públicos son ALLOW, DENY e INDETERMINATE.
#03
Controles de solo anexado en la base de datos
Seis tablas decisionales rechazan UPDATE y DELETE en la capa de base de datos.
#04
Acceso delimitado por tenant
Row-Level Security de PostgreSQL delimita SELECT e INSERT por tenant.
#05
Transacción atómica de decisión
La decisión, las pruebas asociadas, la entrada decisión-evidencia y el registro witness se confirman en una única transacción.
#06
Admisibilidad previa al commit
Una puerta de admisibilidad previa al commit rechaza las solicitudes duplicadas u obsoletas.
#13
Cálculo del hash del contenido de las evidencias
Los hashes de contenido de las evidencias usan SHA-256 con separación de dominios.
Revisión de la fuente de afirmaciones: e5256479c823
Límite de la evidencia
Esta nota excluye las propiedades que la tabla normativa de afirmaciones no clasifica como probadas.