#01
Deterministische Auflösung
OmegaOS™ Kernel ist ein deterministischer Entscheidungskernel.
Entscheidungsinfrastruktur mit einem deterministischen Kernel
Technischer Hinweis
Die verifizierte Oberfläche ist bewusst klein, reproduzierbar und begrenzt.
Verifizierter öffentlicher Umfang
#02
Dreiwertige Semantik
Das interne K3-Modell behandelt Indeterminate als Primitivum. Die öffentlichen Ergebnisse sind ALLOW, DENY und INDETERMINATE.
#03
Append-only-Kontrollen in der Datenbank
Sechs Entscheidungstabellen weisen UPDATE und DELETE auf Datenbankebene zurück.
#04
Mandantenbezogener Zugriff
Die Row-Level Security von PostgreSQL grenzt SELECT und INSERT nach Mandant ab.
#05
Atomare Entscheidungstransaktion
Die Entscheidung, die zugehörigen Nachweise, der Entscheidungsnachweis-Eintrag und der Witness-Datensatz werden in einer Transaktion festgeschrieben.
#06
Zulässigkeitsprüfung vor dem Commit
Ein Zulässigkeits-Gate vor dem Commit weist doppelte oder veraltete Anfragen zurück.
#13
Hashing von Nachweisinhalten
Inhalts-Hashes von Nachweisen verwenden domänengetrenntes SHA-256.
Revision der Aussagequelle: e5256479c823
Nachweisgrenze
Eigenschaften, die in der normativen Aussagentabelle nicht als nachgewiesen aufgeführt sind, sind von diesem Hinweis ausgeschlossen.