> Isn’t the value in being able to verify the design before implementing?

Fair enough, but to be truly safe you really need the whole pipeline connected. model -> validation -> emitted code.