#23
Upravljanje tvrdnjama
Javnim tvrdnjama OmegaOS upravlja verzionirana normativna tablica istine.
Infrastruktura za odlučivanje izgrađena oko determinističke jezgre
Upravljanje objavama
Tvrdnja je javna samo kada su njezin opseg i status dokaza izričito navedeni.
Provjereni javni opseg
Revizija izvora tvrdnji: e5256479c823
Granica dokaza
Upravljanje objavama nije tvrdnja da postoji upravljački sloj u izvršnom okruženju koji nije moguće zaobići.