After some experimenting with HDR content and "ShowRenderSteps" I have determined that HDR tone mapping actually happens before scaling. This is nice for performance if you do upscaling but bad if you downscale. Tone mapping before scaling might be important to avoid clipping issues after scaling (edit: though that sounds backwards to me...).
I added a new flow chart for UHD HDR content.