But notice the sneaky assumption in that argument: We were able to count the number of states in one half of the box, and then multiply by the number in the other half. In other words, what happened in one half of the box was assumed to be totally independent of what happened in the other half. And that is exactly the assumption of locality.
