O código aberto não garante uma implementação correta. Não existem políticas de fiscalização para verificar se o binário implementado corresponde ao código fonte. A Prova de Construção da Automata estende a verificabilidade da proveniência do software em cadeia. Diga não a intermediários 'confiáveis'.