The conditional distribution is the same. The joint distribution of the full output does change with watermarking. Just look at the diagram in the article: there is a loop back to the seed once a token has been generated.
Changing the distribution is the whole point: it introduces statistical regularities that can be detected.
Changing the distribution is the whole point: it introduces statistical regularities that can be detected.