Onus Puts AI-Written Code on a Compiler-Enforced Leash

Field notes

The language makes effects and authority explicit in signatures: a function receiving a read-only database handle cannot write, while access values can only be narrowed as they move through the program. Its example combines an authenticated customer with a read-only orders schema and a result guarantee tying every order to that customer. The site also describes three contract outcomes—compiler-proved, runtime-checked, or explicitly assumed—and says the compiler targets JavaScript and native code through LLVM.