Make the Safe Harbour Compile: Regulate the Predicate, Not the Prose

Vague regulation is not light touch. It is a tax collected in delay, and it buys no safety, because a rule too imprecise to check is also too imprecise to enforce at scale. But formalising the law is the wrong fix, since a legal standard's vagueness is a designed capability. Formalise the safe harbour instead. Part three of Building in Steel.