Comment by cassianoleal

If your specs are not executable or are editable by the agent, they are as non-deterministic as any code that comes out of them.