Determinisztikus döntési mag köré épülő infrastruktúra

Műszaki jegyzet

Az ellenőrzött felület szándékosan szűk, reprodukálható és behatárolt.

Az ellenőrzött hatókör megtekintéseKapcsolat

Ellenőrzött nyilvános hatókör

#01

Determinisztikus feloldás

A OmegaOS™ Kernel determinisztikus döntési mag.

#02

Háromállapotú szemantika

A belső K3 modell az Indeterminate értéket primitív elemként kezeli. A nyilvános kimenetek: ALLOW, DENY és INDETERMINATE.

#03

Csak hozzáfűzést engedő adatbázis-kontrollok

Hat döntési tábla adatbázisszinten elutasítja az UPDATE és DELETE műveleteket.

#04

Tenanthez kötött hozzáférés

A PostgreSQL Row-Level Security tenant szerint határolja a SELECT és INSERT műveleteket.

#05

Atomi döntési tranzakció

A döntés, a kapcsolódó bizonyítékok, a döntés–bizonyíték bejegyzés és a witness rekord egyetlen tranzakcióban kerül véglegesítésre.

#06

Véglegesítés előtti elfogadhatóság

A commit előtti elfogadhatósági kapu elutasítja a duplikált vagy elavult kéréseket.

#13

Bizonyítéktartalom kivonatolása

A bizonyítékok tartalmi kivonatai tartományelválasztott SHA-256-ot használnak.

Az állításforrás verziója: e5256479c823

Bizonyítékok határa

A normatív állítástáblában nem bizonyítottként szereplő tulajdonságok nem részei ennek a jegyzetnek.