#01
Deterministic resolution
OmegaOS™ Kernel is a deterministic decision kernel.
Decision infrastructure built around a deterministic kernel
Reality boundary
The public surface states what is proven, narrows each statement to its evidence, and remains silent beyond it.
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.
#23
Claim governance
Public OmegaOS claims are governed by a versioned normative truth table.
Claim source revision: e5256479c823
Evidence boundary
Replay, signed receipts, cross-entry tamper evidence, downstream verification, regulator readiness, and a governance control plane are outside the current public proof boundary.