I think this is where updating and maintaining the specs is just as important, if not more than adding new ones.

Maybe your flows coins take advantage of ensuring that the specs define the intent and active decisions made and not just “what the code does”, which it can actively read from the code itself.