Well, actually, David's adpcm_put does that. It accepts any wave, whatever the sample rate, and allows you to specify the final ADPCM sample rate.
David's source does a simple LERP for sample rate conversion ... which is nice, but I would expect SOX or Audacity to do something a bit more sophisticated, and that's still ignoring the fact that you absolutely
need to run a low-pass filter on the audio before downsampling.
You would preferably
only run that filter when you're about to do the downsampling, and only do it on a "temporary" export-copy of the audio so that you keep the max quality of your 44.1/48.0KHz "master" track.
I'll leave that part of the process to SOX or Audacity!
For most Windows PCs, the default recording setting in your Audio Devices is 44100Hz, and you might have to go back 10 or 20 years to get any lower than that.
Hmm, you could be right, yeah.
Yep, I think that SamIAm is correct on this.
Here's some reading matter on the subject ...
An audiophile’s look at the audio stack in Windows Vista and 7
https://blog.szynalski.com/2009/11/17/an-audiophiles-look-at-the-audio-stack-in-windows-vista-and-7/I can't remember manually changing the playback settings on my PCs, and here's what Windows has set them to ...
2008 Dell : 16-bit 48.0KHz (supports up to 24-bit 48KHz ... very old ADI SoundMax chipset)
2008 HP : 16-bit 44.1KHz (supports up to 24-bit 192KHz)
2008 MacPro : 24-bit 48.0KHz (supports up to 24-bit 192KHz)
2012 Laptop : 16-bit 44.1KHz (supports up to 24-bit 192KHz)
You can check your own settings with the Speaker Tray Icon, it's in Playback Devices->Speakers->Properties->Advanced.
As for recording, here's what a few generations of the popular RealTek HD audio chips that are intergrated on the motherboard of most cheap PCs support ...
RealTek ALC260 HD Audio Codec (released approx 2004)
2 stereo ADCs support 16/20-bit PCM format with 44.1K/48K/96kHz sample rate
RealTek ALC272 4-Channel High Definition Audio Codec (released approx 2008)
2 stereo ADCs support 16/20/24-bit PCM format with 44.1k/48k/96k/192kHz sample rate
RealTek ALC883 Value 7.1+2 HD Audio Codec
2 stereo ADCs support 16/20/24-bit PCM format with 44.1k/48k/96kHz sample rate
Looking at that lot, we're totally safe in asking people to record at 16-bit, 44.1KHz or 48.0KHz.
Note that the chips do
not support recording at lower sample rates, so if you ask for 16KHz, then you have no idea where in the software-chain the actual downsampling is occurring, and how good the quality is (it could be great).