No HDMI out

TL;DR: I shorted a hot wire from an adjacent circuit to the ground on the circuit that feeds my TiVos and associated equipment, but not the TVs. No it's not giving anything on the HDMI, though it is running and recording. I've swapped HDMI cables. Any other troubleshooting possible?

I was trying to figure out the wiring for a couple of 3-way switches yesterday and wound up touching the ground for the switch I was testing to the hot screw of a switch on an adjacent circuit. I thought I had...

No HDMI out

No HDMI out