Pretty sure everyone uses a VIPT L1, what evidence is there that it's PIPT?

(also what do you believe happens with 4k pages on M1, since it does support those, or why did the A7 have larger caches than Zen4 a decade ago, which was well before 16k pages)