#23
Řízení tvrzení
Veřejná tvrzení OmegaOS se řídí verzovanou normativní pravdivostní tabulkou.
Rozhodovací infrastruktura založená na deterministickém jádru
Řízení publikace
Tvrzení je veřejné pouze tehdy, když jsou jeho rozsah a důkazní stav jednoznačné.
Ověřený veřejný rozsah
Revize zdroje tvrzení: e5256479c823
Hranice důkazů
Řízení publikace není tvrzením o existenci neobejitelné řídicí vrstvy za běhu.