> For that, you'd want the list of requirements and hardware documentation to be written in a precise, formal language. That's no different than writing them in a programming language (though a declarative one, instead of the more common imperative ones).

From my perspective, this is a damning conclusion to the argument.

That being said, I can hear him asking Claude to generate a rebuttal as we speak.