In my experience PMs often work at a very high level. How things shold work are defined in a incosistent way when we take into account all the user flows, subtelness and restrictions of other systems. So programmers end up doing a significant chunk of the work by refining the specs so that the thing actually makes sense.