Försvarssystem kan inte bara följa order. De måste kunna bevisa att de följer reglerna. I högrisk-autonoma situationer räcker inte instruktion. Verifiering är det.