Nutzung HDMI (ARC) - welches Tonsignal wird vom AVR vorrangig wiedergegeben?

Hallo

Ich habe wie folgt verkabelt:
- Sky-Receiver, BluRay-Player, PS4 als Quellen jeweils über ein separates HDMI an den AV-Receiver (Denon X1300W);
keine extra Tonkabel (opt. bzw. koax.)
- HDMI (ARC) zwischen AV-Receiver und TV
- am AVR hängt ein Canton 5.1-System

Jetzt zu meiner Frage:
Soweit ich das verstanden habe, hat die Nutzung von HDMI (ARC) zur Folge, dass der AV-Receiver den Ton vom Fernseher wiedergeben kann. Das ist bei mir eigentlich gar nicht notwendig, da der TV nur als Bildwiedergabequelle benötigt wird. Nun können vom TV ja nicht alle möglichen zugespielten Tonformate wiedergegeben/verarbeiten werden (nicht DolbyTrueHD etc.). Wenn ich jetzt im BluRay-Player eine BluRay mit einem solchen hochwertigen Tonsignal (z.B. DolbyTrueHD) wiedergebe, welchen Weg nimmt dann das Tonsignal, bevor es an den Lausprechern ankommt?

a) BluRayPlayer -> AV-Receiver -> TV -> AV-Receiver -> Lautsprecher
oder
b) BluRayPlayer -> AV-Receiver -> Lautsprecher ????

Bei a) würde es ja bedeuten, dass im Ergebnis am AV-Receiver kein DolbyTrueHD mehr ankommt, weil das ja über den TV nicht verarbeitet werden kann. Sollte dies so sein, würde ich die ARC-Funktion nämlich nicht nutzen wollen.

Die Frage ist also auch, ob der AV-Receiver bei der Nutzung von HDMI (ARC) vorrangig das Tonsignal kommend vom TV über die Boxen ausgibt, oder ob er, wenn er praktisch Ton von beiden Seiten (1. HDMI vom BluRay-Player und zugleich 2. HDMI (ARC) vom TV), das von der Ursprungsquelle (hier BluRay-Player) wiedergibt...

Ich hoffe, es war zu verstehen, was ich wissen möchte...

Gruß und Danke schon mal...