Mais de 800 residentes de Chicago estão a pedir dados de segurança e ADA antes de permitir robôs de passeio. A confiança pública na autonomia é frágil. Sem pipelines de decisão verificáveis, cada robô torna-se uma caixa-preta sobre rodas. A prova resolve isso.