(Just an aside, doesn't invalidate any of your reasoning) The name change from Jumbo Visma to Visma | Lease a Bike didn't happen between the Giro and the Tour,

(Just an aside, doesn't invalidate any of your reasoning) The name change from Jumbo Visma to Visma | Lease a Bike didn't happen between the Giro and the Tour, it was a lot earlier. I would say, but I'm not 100% certain of this, that the name change happened between the 2023 and 2024 seasons. I think teams have to register their name with the UCI, and can't change it during the season. For example here is a photo of Jan Tratnik finishing first in Omloop Het Nieuwsblad on 2024-02-24, long beclearly wearing a Visma | Lease a Bike shirt. The team did change the design of the shirts before the Tour, because their old shirts had a lot of yellow which conflicts with the yellow jersey of the GC leader. Maybe that's what you were thinking of?