Fair enough, let's say that happens.

But what we're gonna manage the codebase in, then? What kind of language?

Will it be a natural language, or a formal one?

I feel that "coding" cannot collapse. Coding is just translation from natural to formal language. Somebody needs to write the specs. And writing/maintaining them in natural language brings a lot of fun - shifting interpretation, inconsistency, missing specification, etc.

I don't think it's progress for the field of SW engineering. But at least more "shareholder value" will be created.