Here is another industry source which has a table that also says 5V at 5A: https://www.graniteriverlabs.com/en-us/technical-blog/usb-po...
In fact, using Wikipedia’s sources, I found the actual specs and here is another piece of supporting evidence for these other articles:
> The Fixed PDOs Maximum Current field Shall advertise at least 3A, but May advertise up to RoundUp (PDP/Voltage) to the nearest 10mA. Requires a 5A cable if over 3A is advertised.[0]
This is a footnote attached to 5V3A, indicating to me that chargers are allowed to offer more than 3A at 5V.
At a minimum, the spec seems to be ambiguously written, but I’ve only spent a few minutes skimming it. Multiple industry sources (previously linked) believe that 5V@5A is within the spec, even without using PPS.
[0]: “USB_PD_R3_1 V1.8 2023-04”