This compiler pipeline processes JSON ASTs generated by AI agents through multiple stages—including structural validation, type checking, effect analysis, and Z3 contract verification—before generating secure WASM bytecode. It is designed f…