If you want to create an ecosystem optimized towards correctness, you'll have to curate what you let inside, and drop many things. And Nix is probably the best package manager for correctness.

That of course hurts market share.

There is no correct, only pros and cons. How you weight the pros and cons will not be the same as everyone else.