Are you willing to do a benchmarking experiment on your 5800X? I can't , my i5-6600K has had HT disabled forever by its creator. You'd need to run two instances of a single-threaded benchmarking program such as Super Pi at the same time, one pinned (via affinity settings) to virtual CPU 0, the other to virtual CPU 1. Or any pair that belong to the same core. What results do you get, is one instance slower than the other?
I can't find any technical documents or discussion or benchmarking results that would confirm that there exists a "main thread" with higher priority and a "HT thread" with lower priority, so that the main thread would never be slowed down substantially, but the HT thread would "take whatever remains" of execution units and run very slowly. AnandTech has had some great articles on HT since 2002, with
this one being the most recent, and there's no mention of the two threads being unequal.
The OS scheduled clearly knows the consequences of dispatching threads to fewer physical cores (preferring HT) vs. more physical cores (preferring no HT), but this is a different matter.