Mitigating LLM non-determinism in software engineering via formal workflows | HACKOBAR_