Trading anecdotes isn't going to produce a statistical analysis of approaches to innovation in an HN thread. Meanwhile, this is mainstream macro/IPE shit: government-driven technological innovation has a pretty damn solid track record, and I pointed to several specific and oft-cited cases to demonstrate this, out of a large field.
This does not mean it always works out well, but the benchmark for "damn solid" in this space is very very far from "perfect", in much the same way that an excellent batter in professional baseball still fails to get on base more than half the time—your line of attack here is just as baffling as someone countering "Joe's a solid clean-up hitter" with "yeah but look at this list of times he struck out!" It's omitting the context of what constitutes good in the space—meanwhile, he's near the top of the league in RBI. Continuing to trade anecdotes about times Joe hit a home run or times he hit an easy pop-fly to center field is just pointless noise, entirely beside the point.
That's why I keep pushing back that what you're trying to do here isn't even relevant to the point I was making, which point is quite far from being controversial, incidentally. I don't think both of us posting Amazon links to books covering the successes and failures of government-lead tech initiatives when I am not denying that plenty of failures exist in that space in the first place, is productive. If that's the way you want this to go, just pretend I've posted a series of links to mainstream macro, IPE, and tech and econ history textbooks in response to each of your (probably mostly valid!) "counter-points", because that's what I'd do, but it doesn't seem like a valuable exercise when I'm not even denying that examples of failures of these kinds of initiatives exist.