#01
Deterministic resolution
OmegaOS™ Kernel is a deterministic decision kernel.
Decision infrastructure built around a deterministic kernel
Verified product scope
OmegaOS™ Kernel evaluates structured inputs and returns a structured three-state outcome.
Verified public scope
#02
Three-state semantics
The internal K3 model treats Indeterminate as a primitive. Public outcomes are ALLOW, DENY, and INDETERMINATE.
#03
Database append-only controls
Six decisional tables reject UPDATE and DELETE at the database layer.
#04
Tenant-scoped access
PostgreSQL Row-Level Security scopes SELECT and INSERT by tenant.
#13
Evidence content hashing
Evidence content hashes use domain-separated SHA-256.
Claim source revision: e5256479c823
Evidence boundary
This page describes only properties classified as proven in the current claim table.