The Missing Layer in AI Systems: Verifiable Execution