#01
Resolución determinista
OmegaOS™ Kernel es un núcleo de decisión determinista.
Infraestructura de decisión basada en un núcleo determinista
Ámbito verificado del producto
OmegaOS™ Kernel evalúa entradas estructuradas y devuelve un resultado estructurado de tres estados.
Á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.
#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 página describe únicamente propiedades clasificadas como probadas en la tabla de afirmaciones vigente.