Hey Paul, Thanks for the quick response.
I tried a full uninstall of Arduino and Teensyduino and then re-installing the 1.58-beta3 and Arduino 1.8.19.
Unfortunately, the issue persists. (peak.available() never...
I set up the recommended circuit for using the ADC for sampling audio and got it working perfectly with the Teensy 3.6. The code returned the expected peak values.
Then switching over to a 4.1 (with the 10k resistor...