This reads like a case study from "The Innovator's Dilemma" by Clayton Christensen.
TL;DR: big incumbents (e.g. IBM) get out-innovated and replaced by scrappy startups even when the incumbent sees it coming and tries to react. The incumbent's business processes, sales metrics (NPII in this story), internal culture and established customer base make it impossible for an innovative product to succeed within the company.
The incumbent produces an innovative gadget. It may even be good, but its Sales Dept earn their quarterly bonus from the existing product line sold to the existing customers. They haven't got time to go chasing small orders of the new gadget from new customers who they don't have a relationship with, and the existing customers don't see the point of the new gadget. So orders for the gadget stagnate.
Across town is the small scrappy start-up making a similar gadget. It lives on those small orders and has a highly motivated sales person who chases those orders full time. So their orders grow, their product improves from the market feedback, and one day the new gadget is actually better than the incumbent's main product. At that point the incumbent goes out of business.
This has much the same design philosophy as the original Land Rover: tough, reliable, simple and maintainable. It was originally developed as the UK answer to the Jeep, but rapidly became the standard utility vehicle for anyone with an outdoor off road job. Especially farmers. Something like two thirds of all Land Rovers ever made are still in use.
Gentrification doesn't reduce segregation, it just moves the boundaries of the segregated areas.
Poor people mostly rent because they can't afford or can't get a mortgage. When an area gentrifies those people are forced out because the rents rise, and wealthy people move in. If you just look at the income distribution in the area it looks like "the population" became wealthier, but if you look at the individuals you find that the old residents have been forced out, and generally wind up poorer because of this (social networks disrupted, work further away etc).
This is the Paradox of Tolerance. If you tolerate intolerance then intolerance wins, and you don't have tolerance any more.
Intolerance isn't just "causing offence", it is the creation of an environment which is threatening. If ou get enough veiled anonymous threats against your life, health and family then you might well withdraw from public life. And then, what value does "free speech" have for you?
But, you say, you aren't talking about threats, just about "offence". But offensive speech begets threats. If Mr Rabblerouse publicly calls Jenny Good out as a dangerous degenerate, some of his followers will, quite predictably, follow his lead and start to make actual threats. Some might go further and carry out those threats. Even if they do not, Ms Good is going to have a perfectly reasonable fear that they might.
You say that Mr Rabblerouse is merely stating a legitmate opinion, that he has a right to be offensive, and that the Ms Good is equally free to say unpleasant things about him. But that is just deliberately ignoring the power inequality. Ms Good has no mob who will take the hint to hate on Mr Rabblerouse, no power to put him in fear. But he does have the power to do it to her, on a whim, answerable to nobody. And when people see that, and see how easily he can put Ms Good in fear and misery, they will think twice about their own speech.
And this is the point. Hate speech is not merely unpleasant and worthless, it actively suppresses the speech of other people. US jurisprudence makes much of "chilling effects" of government action on speech, and with good reason. But it is not just the government that can chill speech. Mr Rabblerouse can chill the speech of others against himself very effectively. So the only way to ensure freedom of speech, paradoxically, is to ban speech that incites hatred.
If we can use AI to automatically implement a formal spec, then that formal specification language has just become a programming language.