>"A spec that detailed would basically have to _be_ the code itself."

No it wouldn't. The specs are applied as part of the test suite. Please read up on code contracts to see how this is possible.

If you didn't like the link I shared before, here's a video:

https://m.youtube.com/watch?v=YQJMe0Eahyg