If this is true (and I give you the credit as it seems reasonable) then the spec sheet need to be fixed ASAP as it is quite misleading with this 80mA in the last edition. Unfortunately I cant search it to see if the 12mA still stay somewhere in the textESP_Sprite wrote:The 12mA *is* the maximum amount of current you can safely pull from the ESP32 [2]. A real chip actually can deliver much more: .....
I was prepared to ask those 80mA are they per pin or per domain, but fortunately found this posting, so it gives some light on the situation.
Anyway I'd suggest your major points from your post have to find place in the official ESP32 datasheet (or at least in the manual), and also I think have to be set there in the data sheet what is the maximum current per domain or for the all GPIO's together, and if there is difference in sink and sourcing current....Thanks