Ask your agent to do a mock formal verification of your code, that will surface any gotchas. Create lots of unit tests. I think of the NL spec as an abstraction

Ask your agent to do a mock formal verification of your code, that will surface any gotchas. Create lots of unit tests. I think of the NL spec as an abstraction of the pseudocode which is an abstraction of the real code.