Infrastrukturë vendimmarrjeje e ndërtuar rreth një bërthame deterministe

Shënim teknik

Fushëveprimi i verifikuar mbahet qëllimisht i kufizuar, i riprodhueshëm dhe me kufij të qartë.

Lexoni fushëveprimin e verifikuarKontakt

Fushëveprimi publik i verifikuar

#01

Zgjidhje deterministe

OmegaOS™ Kernel është një bërthamë deterministe vendimmarrjeje.

#02

Semantikë me tri gjendje

Modeli i brendshëm K3 e trajton Indeterminate si element primitiv. Rezultatet publike janë ALLOW, DENY dhe INDETERMINATE.

#03

Kontrolle të bazës së të dhënave vetëm për shtim

Gjashtë tabela vendimmarrjeje refuzojnë UPDATE dhe DELETE në shtresën e bazës së të dhënave.

#04

Qasje e kufizuar sipas tenantit

Siguria në nivel rreshti e PostgreSQL kufizon SELECT dhe INSERT sipas tenantit.

#05

Transaksion atomik i vendimit

Vendimi, provat e lidhura, zëri vendim-provë dhe regjistrimi i dëshmitarit ruhen së bashku në një transaksion të vetëm.

#06

Pranueshmëria para konfirmimit

Një portë pranueshmërie para commit-it refuzon kërkesat e dyfishta ose të vjetruara.

#13

Hashimi i përmbajtjes së provave

Për hashimin e përmbajtjes së provave përdoret SHA-256 me ndarje sipas domenit.

Versioni i burimit të pohimeve: e5256479c823

Kufiri i provave

Vetitë që tabela normative e pohimeve nuk i rendit si të provuara përjashtohen nga ky shënim.