Yes. And it's not like human management does this "design a system" so well at the moment that replacing them with coders focused on explicit expressions of a

Yes. And it's not like human management does this "design a system" so well at the moment that replacing them with coders focused on explicit expressions of a process is going to be much worse. A number of comments are "it will be awful if the code is bad because the code is inflexible". Yes. That's called bad law. What we want is to write good law. See the Manna story below.