Rozhodovací infrastruktura založená na deterministickém jádru

Technická poznámka

Ověřený rozsah je záměrně malý, reprodukovatelný a ohraničený.

Ověřený veřejný rozsah

#01

OmegaOS™ Kernel je deterministické rozhodovací jádro.

#02

Interní model K3 považuje Indeterminate za primitivní prvek. Veřejné výsledky jsou ALLOW, DENY a INDETERMINATE.

#03

Šest rozhodovacích tabulek odmítá operace UPDATE a DELETE na databázové vrstvě.

#04

Row-Level Security v PostgreSQL vymezuje operace SELECT a INSERT podle tenanta.

#05

Rozhodnutí, související důkazy, položka rozhodnutí-důkaz a záznam witness jsou potvrzeny v jedné transakci.

#06

Brána přípustnosti před commitem odmítá duplicitní nebo zastaralé požadavky.

#13

Otisky obsahu důkazů používají SHA-256 s oddělením domén.

Revize zdroje tvrzení: e5256479c823

Vlastnosti, které nejsou v normativní tabulce tvrzení uvedeny jako prokázané, jsou z této poznámky vyloučeny.