Well there are only 2 cables coming into the box from the junction box and the 2 reds are connected up. Therefore, I am assuming that as the switch actually works, then both must be carrying live charge to complete the circuit.
Sadly the tone on this forum seems to be to look to closely at...