#01
Deterministyczne rozstrzygnięcie
OmegaOS™ Kernel jest deterministycznym jądrem decyzyjnym.
Infrastruktura decyzyjna oparta na deterministycznym jądrze
OmegaOS™
Infrastruktura decyzyjna oparta na deterministycznym jądrze.
Zweryfikowany zakres publiczny
#02
Semantyka trójstanowa
Wewnętrzny model K3 traktuje Indeterminate jako element pierwotny. Wyniki publiczne to ALLOW, DENY i INDETERMINATE.
Wersja źródła twierdzeń: e5256479c823
Granica materiału dowodowego
Ta dokumentacja nie zawiera twierdzeń o działaniu dalszych procesów. Wykorzystanie wyniku wykracza poza zweryfikowany zakres jądra.