I’m not very experienced with PAC55XX controllers, but it’s interesting to follow the replies here. The explanation given above seems really helpful for understanding how the PWM output works. I’m mainly reading along to learn something new, so thanks to everyone who shared details.