We should just wait. Building codes grow from catastrophe. They don't know how to modify it short of catastrophes Technology has overrun the problem, there is no technological problem, There are some practical problems for higher-order logic, not technological. There are some programs which tell if one classification subsumes another only if in some type of formal representation. Any similarities between building codes and laws in the United States.
Environmental regulations are worse.
Software industry will eventually have quality assurances. Information technology is here.