I’ve opened the most recent MIDI capture file, and it does look like I recorded that measure live initially. I’m terribly sorry.
I think I just forgot about that, because I had done so much manual fiddling in that measure. I’ll be more careful of this from now on.
(and I think I ought to just disable “preserve note positions” when recording)