> AFAIK they have also banned TikTok on official government phones. However they have not generally banned TikTok for everyone.

The US is not banning TikTok. The US is forcing ByteDance to sell it's controlling position on TikTok or else the company is no longer able to operate within the US.

How come the critical bit is repeatedly left out?