#23
Az állítások irányítása
Az OmegaOS nyilvános állításait verziózott normatív igazságtábla szabályozza.
Determinisztikus döntési mag köré épülő infrastruktúra
Közzétételi irányítás
Egy állítás csak akkor nyilvános, ha a hatóköre és bizonyítottsági állapota egyértelmű.
Ellenőrzött nyilvános hatókör
Az állításforrás verziója: e5256479c823
Bizonyítékok határa
A közzétételi irányítás nem jelenti egy megkerülhetetlen futásidejű irányítási vezérlősík létezését.