As to 2. above - that is not entirely true.
DoVi has a number of profiles, and only one out of them is the HDR10-piggybacked one, specifically created for BDA UHD Bluray spec. There are also SDR-piggybacked and not backwardly compatible at all, profiles defined.
When it comes to aTV 4K streaming, I have the impression, that they provide 3 distinct streams from their servers - SDR, HDR10 and Dolby Vision. At least that's what I read when I look at the media stats OSD on the aTV screen (one of the developer options).