The design phase is like map making. You can't make a completely accurate map at any scale, or that map would be the size of what it represents.

So, you can't make a design doc detailed enough to make the programmer make zero decisions, or you could just compile that design doc.