Arduino SAMD21 Wav audio recorder SD card

Good morning ,
I am developing a project for a high quality audio recorder audio capture from both analog oversampling ADC and I2S stereo digital microphone model: ICS43432 I2S microphone.
The rich cpu is ATSAMD21G18, 32-Bit ARM® Cortex® M0 + used on the Arduino Zero or Arduino MKR zero board.
The development environment is Arduino IDE.
The SD card is up to 32GB and includes the library #include <SD.h>
Fat32
Audio input can be selected from depending on the setting of a GPIO pin (A3):
LOW = A0 analog input, 12Bit sampling
HIGH = stereo or mono I2S input from digital microphone
sampling up to 44Mhz 16 bit
Start audio recording from Gpio (4) Pull up low and stop from Gpo (4) High.
Audio file format: .wav
Incremental filename RTC timestamp date: 12112022_115100.wav
the time is acquired from the RTC timestamp and the file takes the mone from the actual recording time.
Required: release of .ino source code for Arduino ide development environment and related libraries.

I await your proposals with competitive price
maximum 1 week of work is required