I don't know the literature, but I thought the generic violations theorems covered more ground that that. Can you give an example that is generically Pareto efficient? Your cancelling externalities example is not generic. The other example doesn't seem well-posed enough to talk about genericity.