LLM Plans, Compiler Generates – A Deterministic SQL Generator with the Workflow as Its Contract