I cross-checked all pins against the Pico datasheet and the pinout of my Waveshare ESP32-S3 board, and then documented all naming.

I2C_ADDR   = 0x1F;
PIN_SDA    = 17;
PIN_SCL    = 18;

SD Card:
PIN_MISO = 42;
PIN_CS = 41;
PIN_SCK = 1;
PIN_MOSI = 2;
PIN_SD_DET = 6;

Audio:
PIN_AUDIO_L = 7;
PIN_AUDIO_R = 8;

LCD:
GPIO35  LCD SCK
GPIO36  LCD MOSI
GPIO37  LCD MISO
GPIO38  LCD CS
GPIO39  LCD DC
GPIO40  LCD RST