@nprofile1q... (1)
I had to let this one stew a bit...
I'm not sure if I agree with the conclusion. I don't think that the fact that specs are non-deterministic is a problem, or even very surprising - the most precise way to describe what code should do is with code, and there are often many ways of achieving the same thing. That's alright, so long as the thing is achieved.