A evidência verificável de que determinado programa de auditoria existe consiste na geração e na manutenção de registros, cujas principais categorias são