How Sonic Pi upload Midi Files From My Computer?

@robin.newman @chris.krakou: After I copy and paste your code as described above in one Buffer, now I can see all Midi cues are synchronized and connected with Sonic Pi, and now the issue is it doesn’t sound. I tried another Buffer in which I use internal synths/codes, and it sounds perfectly. Don’t know why.
Another paralleled question is regarding how to import external audio file(wave format)? I read your 3.6 section in Tutorial titled “External Samples” , still there are more details needed to import appropriately. For instance, I want to export tons of my Logic Musical files(Audio Wave format)into Sonic Pi, and improvise with some live coding possibilities. A detailed described procedure perhaps is needed here in order to appropriately import those audio files from my laptop. Many thanks!