Every feature is written down first, with the tests that prove it.
A person specifies what the feature does and how we will know it works. A model builds to that specification. A person verifies the result against it. Nothing is built from a vague ticket, and nothing counts as done because it compiles.