#01
Deterministyczne rozstrzygnięcie
OmegaOS™ Kernel jest deterministycznym jądrem decyzyjnym.
Infrastruktura decyzyjna oparta na deterministycznym jądrze
Nota techniczna
Zweryfikowany zakres jest celowo niewielki, odtwarzalny i ograniczony.
Zweryfikowany zakres publiczny
#02
Semantyka trójstanowa
Wewnętrzny model K3 traktuje Indeterminate jako element pierwotny. Wyniki publiczne to ALLOW, DENY i INDETERMINATE.
#03
Kontrole dopisywania w bazie danych
Sześć tabel decyzyjnych odrzuca operacje UPDATE i DELETE na poziomie bazy danych.
#04
Dostęp ograniczony do dzierżawcy
Mechanizm Row-Level Security w PostgreSQL ogranicza operacje SELECT i INSERT według dzierżawcy.
#05
Atomowa transakcja decyzyjna
Decyzja, powiązane dowody, wpis decyzja-dowód i rekord świadka są zatwierdzane w jednej transakcji.
#06
Dopuszczalność przed zatwierdzeniem
Brama dopuszczalności przed commitem odrzuca zduplikowane lub nieaktualne żądania.
#13
Haszowanie treści materiału dowodowego
Skróty treści materiału dowodowego używają SHA-256 z separacją domen.
Wersja źródła twierdzeń: e5256479c823
Granica materiału dowodowego
Właściwości niewymienione jako potwierdzone w normatywnej tabeli twierdzeń są wyłączone z tej noty.