this covers only the most technical fields that already specify things rigorously. most people arent technical enough to even understand what a formal spec is, so how do you deal with them? insist they learn formal methods?

Most people aren’t software engineers, so it’s not clear why that should be a problem.