> This is a bug, because the existing behavior is inconsistent with how DTensor generally handles operations in global SPMD semantics.

Such subjective definitions of 'bug' lead to needless pain.