Reading the logs, it looks like Sonic Pi attaches itself to the first device it sees, which in my case is MME. MME is an absolutely terrible protocol for a wide variety of reasons, the primary (π-mary?) in my case being that on my computer it just doesn’t work for any program, Sonic Pi or otherwise.
I would like Sonic Pi to select a Directsound or WASAPI or WDM-KS protocol for my device, but I don’t see any option in the configuration files to declare a default audio device (the protocol being part of the overall device), and because Sonic Pi won’t actually load (SC_PortAudioDriver: PortAudio failed at Pa_OpenStream with error: ‘Unanticipated host error’ could not initialize audio.) I can’t do anything within the program itself to rectify this situation.