Omega: A Programming Language Built for Verified Programs
Semantic identity, evidence-bearing dependencies, and a foreign-code boundary that never lets unverified work inside.
Omega today
This paper is the design proposal of October 2, 2026, kept as written. Omega today is AIEN's language for all computing, GPU to CPU; on the GPU it is the replacement for CUDA. Omegese and OSC compile to one binary IR, checker2 checks it, and Omega's own tools write the GPU's machine code. What is true today with its receipt, what is not true yet, and the bar it has to pass are on the page What Omega is.
Abstract
Omega is a programming language design built for verified programs. Code is identified by what it means, not by its text: a semantic identity binds the elaborated, normalized semantic object, so identical meanings resolve to identical identities regardless of surface syntax.
Every dependency carries evidence. The check, build, verify, and seal lifecycle keeps unsealed development work in the workspace while only receipt-bound artifacts cross into the resident execution path. Foreign code is data until a disposable, capability-empty native worker verifies it; foreign code qualified through isolation remains isolated in production.
Design proposal; not an implemented language.
Research artifacts
Cite
@misc{stapleton2026omega,
author = {M. Drake Stapleton},
title = {Omega: A Programming Language Built
for Verified Programs},
year = {2026},
month = {October},
note = {Language design proposal, not peer reviewed},
url = {https://aienos.com/research/omega-language}
}