Not speaking for Roger but here it is again
DD+ or TRUEHD Bitstream over HDMI 1.3 = ONLY AVAILABLE IF THE DISC IS AUTHORED AS BASIC...
But Roger seemed to state that this was *player* depenedent, not something that was part of the spec or a player requirement.
Also, my interest isn't so much about having to extract the compressed bitstream and leave it compressed over HDMI 1.3 as it is being able to convert to analog in an audiophile processor the *original* decoded LPMC from that signal...and to be sure that no additional processing/data-recalculation is happening up the chain which could compromise absolute fidelity (even many routine "safe" DSP algorithms in common use often degrade sound quality...digital volume control in audio software and sample-rate conversion are two common examples).
The idea with leaving it compressed via HDMI 1.3 is that you'd know that you were getting the "real" signal for a fact...free from any player-processing issues such as level-change data-replotting etc.
One additional consequence of the above rapidly becomes apparent: there will be no particular reason or benefit to decoding native audio bitstreams in the A/V receiver.
If the player is passing the direct-decoded LPCM data via HDMI, then that statement is correct.
If any modification to that data is happening prior to HDMI output, then it may or may not be correct.
Given that Dolby Digital has never put audiophile interests first in their design architecture but instead given favor to "features" (ie, dialog normalization), I think it's reasonable to keep the discussion alive with a healthy bit of interest to be sure that audio signals are being handled appropriately.