Hello Forum!
I am confused about this topic, too.
The post of @vanesch seems to suggest, that the superselection rules are additional postulates to the quantum theory, while in @zbyszek's post there seems to be a mathematical way to deduct them?
Or rephrased into a more direct question...