I just started encountering this bug where the chords I lay down in Hookpad are not the ones that get exported to MIDI. If I choose a 7th chord it turns into just triads in the MIDI.
7ths in Hooktheory frequently have one of the important notes in the bass instead of in the harmony in for some auto-voice leading thing. The missing note should be in the bass, typically.