#23
Zarządzanie twierdzeniami
Publiczne twierdzenia OmegaOS podlegają wersjonowanej normatywnej tabeli prawdy.
Infrastruktura decyzyjna oparta na deterministycznym jądrze
Zarządzanie publikacją
Stwierdzenie jest publiczne tylko wtedy, gdy jego zakres i status dowodowy są jednoznaczne.
Zweryfikowany zakres publiczny
Wersja źródła twierdzeń: e5256479c823
Granica materiału dowodowego
Zarządzanie publikacją nie oznacza, że istnieje niemożliwa do obejścia warstwa sterowania zarządzaniem w czasie działania.