Should username for a tenant-specific user include a tenant_id discriminator?
I would expect tenant-specific usernames to be unique only within that specific tenant. Currently, the tenant-specific username must be unique across the entire system. Is this the expected behavior?
Yes, this is the expected behavior. The username must be unique in the whole DB (as all the tenants are stored in the same DB).