As a measurement mic, I guess the MM1 is probably OK, at least assuming it is calibrated and it comes with a calibration file for that specific microphone and not with a generic one. But as I said, the devil is in the details: max 122 dBSPL (could be OK for your purposes) and self-noise level of 26 dB(A). This is OK for measurement mics, but is 6-10 dB(A) worse compared to many SDCs. This may become audible in the more silent passages. I don't want to pretend to be a measurement mic Guru, but I do know the Earthworks are generally considered the best, combining high max SPL with relatively low self noise. E.g the "low-end" M23 is specced at max 140 dBSPL and 20 dB(A) self noise. But you guess it: expensive.
My son has the ISEMcon EMX7150, which he bought when we did the SMAART training last year. Can handle up to 140 dBSPL, but self noise is quite high: 30 dB(A). Not very good for recording purposes, I would say.
I don't have any experience with the AT4022, nor does my son, who is a live sound engineer, have it. I bought quite some budget SDC and LDC mics (< €100/pc) for modification, which I hope I can one day proudly offer to my son to use for his work. I don't have any hands-on experience in live or studio recording/mixing and rely on my son's professional knowledge and his ears when judging the audio qualities of microphones. And he relies on my knowledge of electronics.
Jan