Is this spec actually correct and complete? Shrug...

Does this JavaScript actually implement the spec exactly? LoL!

At least being told what to fix in your code so that it actually implements your spec is a big step up over "staring at your code really hard." Good formal systems make it easy to find inconsistencies and incompleteness in your specs. Very good formal systems should make it easy to test and verify your spec against your intent.