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

Ověřený rozsah produktu

OmegaOS™ Kernel vyhodnocuje strukturované vstupy a vrací strukturovaný třístavový výsledek.

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.

#13

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

Revize zdroje tvrzení: e5256479c823

Tato stránka popisuje pouze vlastnosti, které jsou v aktuální tabulce tvrzení klasifikovány jako prokázané.