How to get Ada to “cross the chasm”?

["Dan'l Miller" <optikos@verizon.net>]

Here is the referent book to which the WWWpage is referring:  https://en.wikipedia.org/wiki/Crossing_the_Chasm

“According to Moore, the marketer should focus on one group of customers at a time, using each group as a base for marketing to the next group. The most difficult step is making the transition between visionaries (early adopters) and pragmatists (early majority). This is the chasm that he refers to. If a successful firm can create a bandwagon effect in which enough momentum builds, then the product becomes a de facto standard. However, Moore's theories are only applicable for ••disruptive or discontinuous innovations••.”

Is Ada a disruptive leap forward?  If Ada95 had occurred while C++ was still in its cfront* era, then hands down, the answer would be a resounding yes.  Ada83 was effectively a mostly-yes, but the main message wasn't so much a great leap forward in capability (although Grady Booch's HOOD of that era and Alexander Stepanov's Ada version of what was to become C++'s Standard Template Library were arguably visions best expressed in Ada83 at the time due to lack of serious competitors).  No, Ada83's public persona was primarily the strictness of its semantic rule-set.   For those clever enough to see it, those compile-time assurances are a disruptive leap forward, but they often were not received as such by the pragmatists on the righthand side of the chasm.  For their marketspaces, SPARK and the Ravenscar Profile are disruptive leaps forward.  There is a chance that Ada2020's provably-correct tasking could be a disruptive leap forward, assuming 1) that it is actually (theoretically) achievable and 2) that to accomplish it doesn't incur restrictions that are too Draconian.

* For a decade, C-with-Classes and then renamed C++ had a single reference implementation:  cfront from Bell Labs, which translated CwC early on and C++ later on to C language, which was then compiled.

What would it take for Ada202X post-Ada2020 to be a disruptive leap-forward technology as coup de grâce after Ada2020's provably-correct tasking?