#01
Deterministische Auflösung
OmegaOS™ Kernel ist ein deterministischer Entscheidungskernel.
Entscheidungsinfrastruktur mit einem deterministischen Kernel
Realitätsgrenze
Die öffentliche Oberfläche nennt, was nachgewiesen ist, begrenzt jede Aussage auf ihren Nachweis und schweigt darüber hinaus.
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.
#23
Governance öffentlicher Aussagen
Öffentliche OmegaOS-Aussagen werden durch eine versionierte normative Wahrheitstabelle geregelt.
Revision der Aussagequelle: e5256479c823
Nachweisgrenze
Replay, signierte Belege, eintragsübergreifende Manipulationsnachweise, nachgelagerte Verifizierung, regulatorische Einsatzbereitschaft und eine Governance-Kontrollebene liegen außerhalb der aktuellen öffentlichen Nachweisgrenze.