C, pico, thanks for the responses.
The Audio library does use free:
void AudioClass::end() {
dac->end();
free( buffer);
}
although it is not clear to me if that destructor is ever called, due to the setup+infinite-loop Arduino program structure.