I assume that data posted is for when the correct HDMI output has been set
from the profile shown:
device.profile.description = "Digital Stereo (HDMI 3)"
but you can probably see that some other numbers for this device are different
device.profile.name = "hdmi-stereo-extra2"
hdmi-output-2: HDMI / DisplayPort 3 (priority 5700, latency offset 0 usec, available: yes)
active port: <hdmi-output-2>
The line in
pacmd dump has most of the command needed to set the correct Profile when needed
use this command in terminal to save having to adjust profile manually
pacmd set-card-profile alsa_card.pci-0000_26_00.1 output:hdmi-stereo-extra2
but that is just a workaround. It might work to prevent selection of the wrong Profile after resuming from sleep, but I would not expect it to survive a system reboot
For a complete solution, PulseAudio has to be stopped from connecting to “Digital Stereo (HDMI 2)”
If the output can be located and muted in ALSA, PulseAudio should detect that the output is no longer available and use the correct output
please post response to
so I can identify the correct item to mute