My intentionally off-hand use of "correctly" was meant to indicate a belief that killing one innocent is strictly better than killing five and so if a machine is faced with choosing exactly one of those, the problem boils down to a comparison and a conditional jump, IMO.

Humans are constrained by the knowledge that they would dread for the rest of their life the knowledge that they optionally and intentionally took an overt action which resulted in the death of an innocent person (to save five, but they would know they killed one when they could have done nothing and had "clean hands"). Machines don't need to suffer from this.

I would hope that if we program safety-controlling systems that we wouldn't replace the compare and conditional-jump with "halt and catch fire".