#01
Deterministische uitkomst
OmegaOS™ Kernel is een deterministische beslissingskernel.
Beslisinfrastructuur rond een deterministische kernel
Werkelijkheidsgrens
Het openbare oppervlak vermeldt wat bewezen is, beperkt elke verklaring tot het bijbehorende bewijs en blijft daarbuiten stil.
Geverifieerde openbare reikwijdte
#02
Driewaardige semantiek
Het interne K3-model behandelt Indeterminate als een primitief element. De openbare uitkomsten zijn ALLOW, DENY en INDETERMINATE.
#03
Append-onlycontroles in de database
Zes beslissingstabellen weigeren UPDATE en DELETE op databaseniveau.
#04
Toegang afgebakend per tenant
PostgreSQL Row-Level Security bakent SELECT en INSERT af per tenant.
#05
Atomaire beslissingstransactie
De beslissing, de bijbehorende bewijzen, de beslissing-bewijsvermelding en het witness-record worden in één transactie vastgelegd.
#06
Toelaatbaarheid vóór vastlegging
Een toelaatbaarheidspoort vóór commit weigert dubbele of verouderde verzoeken.
#13
Hashing van bewijsinhoud
Inhoudshashes van bewijs gebruiken domeingescheiden SHA-256.
#23
Governance van claims
Openbare OmegaOS-claims worden beheerst door een geversioneerde normatieve waarheidstabel.
Revisie van de claimbron: e5256479c823
Afbakening van het bewijs
Heruitvoering, ondertekende ontvangstbewijzen, manipulatiebewijs tussen records, verificatie verderop in de keten, gereedheid voor toezichthouders en een besturingslaag vallen buiten de huidige openbare bewijsgrens.