This is also very uncool, since powering it through the GPIO header with a capable PSU won't trigger the PD signal and makes it impossible to draw any meaningful current through USB? I hope this blockade can be worked around in the boot config.
In practice I doubt it would be a real problem since you'd need to max out both the USB draw and CPU load at the exact same time to get the full draw.
On page 805 you find Table 10-2 SPR Normative Voltages and Minimum Currents, which specifies that a USB PD source with a rating of 15 < x ≤ 27 watts *shall* support 3A at 5V, however it *May* advertise up to RoundUp (PDP/Voltage) to the nearest 10mA. Requires a 5A cable if over 3A is advertised. 27W/5 rounded to the nearest 10mA comes to 5.4A
[1]: https://www.usb.org/document-library/usb-power-delivery
If a device needs 25W it is required to accept 9V 2.8A, if it wants to be PD compliant. This is precisely because 5V 5A is optional for a 25W source, so a device cannot rely on it being present.
I wish they had an auxilary DC power connector of some sort though that could just power the Pi on straight up + and - from a DC power supply. Ideally anywhere from 5-12V.
None of your 100W Anker or Apple power bricks will supply this. They'll do 12V3A, 12V5A, 20V5A, but not 5V5A.
Yet another piece of nonstandard USB-C equipment.