Specs are insufficient to guide human developer teams, so I don’t understand the comparison.