No video output after switching receiver inputs

I'm running a Raspberry Pi 5 on 11.0.4.

If I set my receiver to LibreElec's input and then turn on the Raspberry Pi I get a signal and everything works fine. If I switch my receiver to another input (for example to play a game console) and then back to the LibreElec's input I get no signal showing up on my screen, and I don't hear any UI sounds if I start pushing buttons on the remote either. If I turn the Raspberry Pi off then back on using the power button I get a signal again and all works normally. If I unplug the HDMI cable from the Raspberry Pi and plug it back in again I also get a signal and everything works normally. I also tried systemctl restarting kodi via ssh, and that did not cause it to show a signal. I have tried disabling CEC in the system menu (I don't intend on using it anyway) as well as changing a bunch of CEC options to ignore (so it doesn't try and turn anything off or go into standby).

Quote from chewitt

I'm guessing, but using a static EDID config should solve this: https://wiki.libreelec.tv/configuration/edid#raspberry-pi

Thanks for the tip. Unfortunately the behavior didn't change after creating the edid dump using `getedid create`. I've uploaded my logs to https://paste.libreelec.tv/sought-boxer.log.

I've created a partial workaround but it doesn't always work, and it's pretty janky. I'm using a harmony remote to control everything, so I mapped keyboard 'r' to reboot, and I added 'r' to the startup sequence for watching Kodi. This works when switching inputs, though it adds a lot of delay to wait for the reboot and loses position. For cold start the other devices don't turn on fast enough so they aren't "visible" to Kodi on boot and output is still blank.

Is there any way to query kodi via the web API or from ssh to see if it thinks it's connected and outputting through HDMI?

Quote from chewitt

However re-reading your description it sounds more like the receiver loses the connection to the RPi when the source changes..

I think you're on to something. The receiver has a feature I'm not terribly familiar with called "scenes" that lets you change a bunch of settings with one command. One of the settings it can change is input. So I created two scenes, one with kodi input and two with a video game console as input. If I tell the receiver to change to scene 1 instead of telling it to change to input 1, then it works. Still doesn't show up on cold start, though. Switching scenes back and forth after everything is fully up does work.