STOP/PROVE — an agent that commissions PLC logic and proves it's safe