El código abierto no garantiza un despliegue correcto. No existen políticas de aplicación que verifiquen que el binario desplegado coincida con el código fuente. La Prueba de Construcción de Automata amplía la verificabilidad de la procedencia del software en la cadena de producción. Di no a los intermediarios 'de confianza'.