#01
Deterministyczne rozstrzygnięcie
OmegaOS™ Kernel jest deterministycznym jądrem decyzyjnym.
Infrastruktura decyzyjna oparta na deterministycznym jądrze
Granica stanu faktycznego
Warstwa publiczna przedstawia to, co potwierdzone, ogranicza każde stwierdzenie do jego dowodów i nie wykracza poza nie.
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.
#23
Zarządzanie twierdzeniami
Publiczne twierdzenia OmegaOS podlegają wersjonowanej normatywnej tabeli prawdy.
Wersja źródła twierdzeń: e5256479c823
Granica materiału dowodowego
Odtwarzanie, podpisane poświadczenia, odporność wpisów na manipulację, weryfikacja działań następczych, gotowość regulacyjna i warstwa sterowania zarządzaniem pozostają poza obecną granicą publicznego potwierdzenia.