#01
Resolución determinista
OmegaOS™ Kernel es un núcleo de decisión determinista.
Infraestructura de decisión basada en un núcleo determinista
Límite de la realidad
La superficie pública declara lo que está probado, limita cada afirmación a su evidencia y no se pronuncia más allá de ella.
Á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.
#23
Gobernanza de las afirmaciones
Las afirmaciones públicas de OmegaOS se rigen por una tabla de verdad normativa versionada.
Revisión de la fuente de afirmaciones: e5256479c823
Límite de la evidencia
El replay, los comprobantes firmados, la evidencia de manipulación entre entradas, la verificación posterior, la preparación para reguladores y un plano de control de gobernanza quedan fuera del límite actual de prueba pública.