#01
Deterministické rozhodnutí
OmegaOS™ Kernel je deterministické rozhodovací jádro.
Rozhodovací infrastruktura založená na deterministickém jádru
Hranice skutečného stavu
Veřejná vrstva uvádí to, co je prokázáno, omezuje každé tvrzení na jeho důkazy a za tuto hranici nejde.
Ověřený veřejný rozsah
#02
Třístavová sémantika
Interní model K3 považuje Indeterminate za primitivní prvek. Veřejné výsledky jsou ALLOW, DENY a INDETERMINATE.
#03
Databázové kontroly pouze pro přidávání
Šest rozhodovacích tabulek odmítá operace UPDATE a DELETE na databázové vrstvě.
#04
Přístup omezený na tenanta
Row-Level Security v PostgreSQL vymezuje operace SELECT a INSERT podle tenanta.
#05
Atomická rozhodovací transakce
Rozhodnutí, související důkazy, položka rozhodnutí-důkaz a záznam witness jsou potvrzeny v jedné transakci.
#06
Přípustnost před potvrzením
Brána přípustnosti před commitem odmítá duplicitní nebo zastaralé požadavky.
#13
Hashování obsahu důkazů
Otisky obsahu důkazů používají SHA-256 s oddělením domén.
#23
Řízení tvrzení
Veřejná tvrzení OmegaOS se řídí verzovanou normativní pravdivostní tabulkou.
Revize zdroje tvrzení: e5256479c823
Hranice důkazů
Přehrávání, podepsaná potvrzení, odolnost záznamů proti manipulaci, následné ověřování, regulatorní připravenost a řídicí vrstva jsou mimo současnou hranici veřejného prokázání.