Υποδομή λήψης αποφάσεων με ντετερμινιστικό πυρήνα

Τεχνικό σημείωμα

Η επαληθευμένη επιφάνεια είναι σκόπιμα μικρή, αναπαραγώγιμη και οριοθετημένη.

Επαληθευμένο δημόσιο πεδίο

#01

Το OmegaOS™ Kernel είναι ένας ντετερμινιστικός πυρήνας αποφάσεων.

#02

Το εσωτερικό μοντέλο K3 αντιμετωπίζει το Indeterminate ως πρωτογενές στοιχείο. Τα δημόσια αποτελέσματα είναι ALLOW, DENY και INDETERMINATE.

#03

Έξι πίνακες αποφάσεων απορρίπτουν τις λειτουργίες UPDATE και DELETE στο επίπεδο της βάσης δεδομένων.

#04

Το PostgreSQL Row-Level Security οριοθετεί τις λειτουργίες SELECT και INSERT ανά tenant.

#05

Η απόφαση, οι σχετικές αποδείξεις, η εγγραφή απόφαση-απόδειξη και η εγγραφή witness δεσμεύονται σε μία συναλλαγή.

#06

Μια πύλη παραδεκτού πριν από το commit απορρίπτει διπλότυπα ή παρωχημένα αιτήματα.

#13

Τα αποτυπώματα περιεχομένου των τεκμηρίων χρησιμοποιούν SHA-256 με διαχωρισμό τομέων.

Αναθεώρηση πηγής ισχυρισμών: e5256479c823

Ιδιότητες που δεν καταγράφονται ως αποδεδειγμένες στον κανονιστικό πίνακα ισχυρισμών εξαιρούνται από αυτό το σημείωμα.