All of the files provided so far suggest that HDMI *is* detected by the kernel and by Xorg. It's just labelled as a DisplayPort "DP-1" internally. That is normal... But having no image on screen might be mutter failing to interpret the Xrandr information provided by Xorg. Or it might be a historical config that has disabled the display for some reason.
Can you provide a current copy of ~/.config/monitors.xml ?
All of the files provided so far suggest that HDMI *is* detected by the kernel and by Xorg. It's just labelled as a DisplayPort "DP-1" internally. That is normal... But having no image on screen might be mutter failing to interpret the Xrandr information provided by Xorg. Or it might be a historical config that has disabled the display for some reason.
Can you provide a current copy of ~/.config/ monitors. xml ?