Omega v1.0 Final Candidate: a typed governance language for autonomous systems

Omega is a typed governance language designed for autonomous systems, providing formal verification and runtime enforcement of system policies. Its v1.0 final candidate introduces a type system that ensures policy correctness at compile time, reducing runtime failures in autonomous operations. The language aims to bridge the gap between high-level governance requirements and low-level system behavior.