"we can all agree SE isn't defined as just applying formal methods, that there is a lot in development that will never go near a formal spec."

I've yet to see a field without artificial restraints that has abandoned need for human intuition and creativity.