¿En qué forma el analista entregó los requisitos para la verificación difusa de las listas de sanciones: había una especificación lista, quién eligió el algoritmo y el umbral de comparación?