#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.
Infraestrutura de decisão assente num núcleo determinístico
Limite de integração
O núcleo devolve um resultado de decisão. Este dossiê não formula afirmações sobre o comportamento dos fluxos subsequentes.
Âmbito público verificado
Revisão da fonte das afirmações: e5256479c823
Limite da evidência
Esta página pública não afirma qualquer topologia de implementação, modo de imposição ou verificação subsequente.