if the spec is truly the source, it's because you've invented a formal programming language that evaluates the spec.
Anything short of that and the spec is the spec, the source is the source.
Now you get to learn about what good code looks like, like the rest of us!