●builderYou must integrate LLMs into deterministic formal workflows rather than relying on pure natural language instructions to ensure correctness.
●researcherThis highlights the persistent gap between LLM reasoning capabilities and the deterministic requirements of production software systems.