Your point earlier about the HDMI out having frame line menu options is bang on. This is exactly what the camera needs to be similar to the genisis and d20.
This idea will work and I had thought the exact same things if there is no frame lines option. Unfortunately compared to simply having it in the camera menu like other cameras makes this kind of set up system a little "bush league".
If the architecture of the RedOne makes adding framlines to the HDMI outs incredibly difficult than perhaps we need an off camera solution. I still think that a video playback operator can take either the HDMI or HD-SDI tap and run it through a computer (or an HD switcher with a DDR) to add the framelines and record a proxy it can handle for immediate replay.
During the morning set up the camera can shoot a test chart so that the video guy can check frame marker alignment, it would only have to be done once.
An AJA card or something similar could be used both for input and to drive a video DA for distrib all over a big set.
Yes this will likely require a desktop style computer on wheels/cart or a laptop with an expansion chassis for PCIe.
This idea will work and I had thought the exact same things if there is no frame lines option. Unfortunately compared to simply having it in the camera menu like other cameras makes this kind of set up system a little "bush league".