my AI-code language is now honest all the way down to WebAssembly

Short summary

LOOM is a programming language that makes AI-generated code trustworthy through transitive effect checking and provenance tracking. Functions declare what side effects they perform (I/O, networking, allocation, randomness), and the type system verifies they don't hide effects through helper functions or foreign code. Provenance tracking combines with role-based trust gates to ensure code, specifications, and proofs come from independent authors.

• •Effect checking prevents hidden network, I/O, and foreign code execution
• •Provenance tracking ties values to their origin (AI, human, trace) and requires independent verification
• •Role-based trust gates ensure code, specs, tests, and proofs come from different authors

Generated with AI, which can make mistakes.