From feature request to verifiable agent work

How do you give an AI coding agent checkable instructions for your billing service to handle “don't process the same payment twice”?