可验证提示

将自然语言提示编译为可验证、可调试、可版本化的Prompt DSL字节码。