[sfink]

That's ok. Writing such a spec is writing the code, declaratively.

The only difference between that and writing SQL (as opposed to writing imperative code to query the database) is that the translation mechanism is much more sophisticated, much less energy efficient, much slower, and most significantly much more error-prone than a SQL interpreter.

But declarative coding is good! It has its issues, and LLMs in particular compound the problems, but it's a powerful technique when it works.