#01
Deterministic resolution
OmegaOS™ Kernel is a deterministic decision kernel.
Decision infrastructure built around a deterministic kernel
Technical note
The verified surface is intentionally small, reproducible, and bounded.
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.
#05
Atomic decision transaction
The decision, associated proofs, decision-evidence entry, and witness record are committed in one transaction.
#06
Pre-commit admissibility
A pre-commit admissibility gate rejects duplicate or stale requests.
#13
Evidence content hashing
Evidence content hashes use domain-separated SHA-256.
Claim source revision: e5256479c823
Evidence boundary
Properties not listed in the normative claim table as proven are excluded from this note.