> The example shows an auto-incrementing user ID. How’s that possible without contention between all shards?

Why not divide ID range (63bit?) by the maximum planned number of shards and then set on each shard it's min/max value so ranges will not overlap?