“Building codes have a storied history and largely have been established only after tragic events such as the Great Fire of London, which destroyed swaths of the city in 1666. Since then, codes have been enacted to make buildings more fire resistant, for example, or to increase public…