#ejecución verificable