Problem gelöst, es lag tatsächlich am Codec bzw. den Einstellungen des Exports. Auf .wav-Dateien im 32-Bit-Format versteht sich der Roborock einfach nicht, egal ob Mi oder S5. Ich lade heute Abend ein angepasstes Alexa-Paket hoch, das funktioniert dann auch wie gewünscht.