Infrastruktura za odlučivanje izgrađena oko determinističke jezgre

Tehnička bilješka

Provjerena površina namjerno je mala, ponovljiva i ograničena.

Provjereni javni opseg

#01

OmegaOS™ Kernel je deterministička jezgra odlučivanja.

#02

Interni model K3 tretira Indeterminate kao primitivni element. Javni ishodi su ALLOW, DENY i INDETERMINATE.

#03

Šest tablica odluka odbija operacije UPDATE i DELETE na razini baze podataka.

#04

PostgreSQL Row-Level Security ograničava SELECT i INSERT prema tenantu.

#05

Odluka, povezani dokazi, zapis odluka-dokaz i witness zapis potvrđuju se u jednoj transakciji.

#06

Kontrolna točka prihvatljivosti prije commita odbija duplicirane ili zastarjele zahtjeve.

#13

Sažeci sadržaja dokaza koriste SHA-256 s odvajanjem domena.

Revizija izvora tvrdnji: e5256479c823

Svojstva koja u normativnoj tablici tvrdnji nisu navedena kao dokazana isključena su iz ove bilješke.