#02
Driewaardige semantiek
Het interne K3-model behandelt Indeterminate als een primitief element. De openbare uitkomsten zijn ALLOW, DENY en INDETERMINATE.
Beslisinfrastructuur rond een deterministische kernel
Integratiegrens
De kernel levert een beslisuitkomst. Dit dossier doet geen uitspraak over het gedrag van vervolgprocessen.
Geverifieerde openbare reikwijdte
Revisie van de claimbron: e5256479c823
Afbakening van het bewijs
Deze openbare pagina doet geen uitspraken over implementatietopologie, handhavingsmodi of verificatie verderop in de keten.