What is open. What is licensed.
The OMEGA specification and its formal proof are MIT licensed and public. The runtime is licensed commercially.
| Component | Status | Where |
|---|---|---|
| OMEGA Specification (v1, v1.4.1) | MIT licensed, public | /omega/spec/v1, spec PDF |
| 22-conjunct Lean 4 proof | MIT licensed, public | OmegaV14Predicate.lean, OmegaV141Predicate.lean |
| SafeVerify kernel-check attestation | Public | safeverify-v141-attestation.txt |
| Record schema (JSON) | MIT licensed, public | Documentation |
| Runtime (record generation, validation, chaining) | Commercial licence | Contact for terms |
| Attestation layer (cryptographic binding, freshness proofs) | Commercial licence | Contact for terms |
| Deployment infrastructure (hosted) | Commercial licence | Contact for terms |
| Reference integrations (per regulated sector) | Commercial licence | Contact for terms |
Rationale
The protocol is open because it is only valuable if regulators, auditors, and counterparties can read it without permission. The runtime is licensed because production deployments require correctness guarantees, integration support, and indemnification that an open-source project cannot provide.
If you want to study the protocol, build a reference implementation, or write a paper - everything you need is MIT licensed. If you want to deploy OMEGA in a regulated workflow, contact us.