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