#01
Ντετερμινιστική επίλυση
Το OmegaOS™ Kernel είναι ένας ντετερμινιστικός πυρήνας αποφάσεων.
Υποδομή λήψης αποφάσεων με ντετερμινιστικό πυρήνα
Όριο πραγματικής κατάστασης
Η δημόσια επιφάνεια αναφέρει ό,τι έχει αποδειχθεί, περιορίζει κάθε ισχυρισμό στα τεκμήριά του και δεν προχωρά πέρα από αυτά.
Επαληθευμένο δημόσιο πεδίο
#02
Σημασιολογία τριών καταστάσεων
Το εσωτερικό μοντέλο K3 αντιμετωπίζει το Indeterminate ως πρωτογενές στοιχείο. Τα δημόσια αποτελέσματα είναι ALLOW, DENY και INDETERMINATE.
#03
Έλεγχοι βάσης δεδομένων μόνο για προσθήκη
Έξι πίνακες αποφάσεων απορρίπτουν τις λειτουργίες UPDATE και DELETE στο επίπεδο της βάσης δεδομένων.
#04
Πρόσβαση περιορισμένη ανά tenant
Το PostgreSQL Row-Level Security οριοθετεί τις λειτουργίες SELECT και INSERT ανά tenant.
#05
Ατομική συναλλαγή απόφασης
Η απόφαση, οι σχετικές αποδείξεις, η εγγραφή απόφαση-απόδειξη και η εγγραφή witness δεσμεύονται σε μία συναλλαγή.
#06
Αποδοχή πριν από τη δέσμευση
Μια πύλη παραδεκτού πριν από το commit απορρίπτει διπλότυπα ή παρωχημένα αιτήματα.
#13
Κατακερματισμός περιεχομένου τεκμηρίων
Τα αποτυπώματα περιεχομένου των τεκμηρίων χρησιμοποιούν SHA-256 με διαχωρισμό τομέων.
#23
Διακυβέρνηση ισχυρισμών
Οι δημόσιοι ισχυρισμοί του OmegaOS διέπονται από έναν εκδοσιοποιημένο κανονιστικό πίνακα αληθείας.
Αναθεώρηση πηγής ισχυρισμών: e5256479c823
Όριο τεκμηρίωσης
Η αναπαραγωγή, οι υπογεγραμμένες αποδείξεις, η ένδειξη παραποίησης μεταξύ εγγραφών, η μεταγενέστερη επαλήθευση, η κανονιστική ετοιμότητα και ένα επίπεδο ελέγχου διακυβέρνησης βρίσκονται εκτός του τρέχοντος ορίου δημόσιας απόδειξης.