Every specification document, as we commonly know them at least, still contain ambiguity gaps that need to be crossed. It doesn't matter whether whether you're manufacturing a bridge, a kitchen appliance, or a program.
And check out the date on that comic! 2016!
https://haskellforall.com/2026/03/a-sufficiently-detailed-spec-is-code




