On a COMPLETELY unrelated subject, I have no idea if the A3SA approved competing products that deliver ATSC 3.0 via HDMI have their HDMI cables hardwired in or not, but...
If they are hardwired into the tuner box and someone were to plug both a female to female HDMI adapter, and a 4K HDMI EDID dummy ...

The only thing I can add to this is that if Nick, Jason and Ned cannot find the time or energy in their day between them to organize and decide what is for lunch, I'll buy. Whaddaya say guys pizza? Sub sandwiches?
Keep your chins up, we are all curious, but not all of us are impatient.