I used a 10MHz xtal and HSPLL mode. That's very common and I have never seen a timing issue on the PIC output port.
Because the PIC only changes the port pins on a specific cycle out of the 4 cycles (I think it's the 3rd cycle?) that cycle always occurs at the same time period after the xtal cycle so the output port events at 10MHz are synchronous to the actual xtal at 10MHz.
Because the PIC only changes the port pins on a specific cycle out of the 4 cycles (I think it's the 3rd cycle?) that cycle always occurs at the same time period after the xtal cycle so the output port events at 10MHz are synchronous to the actual xtal at 10MHz.