The issue is that there’s no execution platform for declarative specs, so something will be translated to imperative and that is where the issue lies. There’s a

The issue is that there’s no execution platform for declarative specs, so something will be translated to imperative and that is where the issue lies. There’s always an imperative core which needs to be deterministic or it’s out needs to be verified. LLMs are not the former and the latter option can take more time than just writing the code.