#02
Semantikë me tri gjendje
Modeli i brendshëm K3 e trajton Indeterminate si element primitiv. Rezultatet publike janë ALLOW, DENY dhe INDETERMINATE.
Infrastrukturë vendimmarrjeje e ndërtuar rreth një bërthame deterministe
Kufiri i integrimit
Bërthama jep një rezultat vendimmarrjeje. Kjo dosje nuk bën asnjë pohim për sjelljen e proceseve pasuese.
Fushëveprimi publik i verifikuar
Versioni i burimit të pohimeve: e5256479c823
Kufiri i provave
Topologjia e instalimit, mënyrat e zbatimit dhe verifikimi në sistemet pasuese nuk paraqiten si aftësi në këtë faqe publike.