#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.
Infraestructura de decisión basada en un núcleo determinista
Límite de integración
El núcleo devuelve un resultado de decisión. Este expediente no formula afirmaciones sobre el comportamiento de los flujos posteriores.
Ámbito público verificado
Revisión de la fuente de afirmaciones: e5256479c823
Límite de la evidencia
Esta página pública no afirma ninguna topología de despliegue, modalidad de aplicación ni verificación posterior.