> Just look at how many games are played with carbon "credits", and how little real impact they've had.

Credits are indeed a scam but they are not a mandatory component of a carbon externality tax.