#02
Třístavová sémantika
Interní model K3 považuje Indeterminate za primitivní prvek. Veřejné výsledky jsou ALLOW, DENY a INDETERMINATE.
Rozhodovací infrastruktura založená na deterministickém jádru
Hranice integrace
Jádro vrací výsledek rozhodnutí. Tato dokumentace netvrdí nic o chování navazujících procesů.
Ověřený veřejný rozsah
Revize zdroje tvrzení: e5256479c823
Hranice důkazů
Tato veřejná stránka neuvádí tvrzení o topologii nasazení, režimech vynucování ani následném ověřování.