The .mid file format is also part of the official MIDI standard. Since that's the format that's ultimately being generated, I don't see what's incorrect or misleading about describing it as "MIDI music".

https://en.wikipedia.org/wiki/MIDI#Standard_files