A spec should use orthodox tools and formats for higher level system descriptions. Like a BPMN file, a TLA+ state machine model, a P/ModP or Event B system.

Llms compile that into a binary and you deploy it and present it and users use it and they're happy or not.

There's just so many different projections of how to describe a system. What's the moat bang for the buck.