The part about the implementation correcting the spec is very familiar. A spec can describe what you want, but the code is where all the awkward constraints show up. With agents doing more of the implementation, that feedback loop probably gets even more important.