Recordings are pure PES packet sequences of video and audio PES packets. PCR is not recorded. On playback, the PES packets are forwarded to the DVB driver without further modification. IMHO the playback sync only uses the PTS of the PES packets, however thats just guessing.
If PCR is ignored that violates spec. If frames are missing, I would consider that a pretty huge bug.
I'm not sure if the PES repacker does anything on recording or if PCR is used only on live. There are not much German channels with PCR on Astra anyway.
(look for VPID with nnn+nnn form in channels.conf)
Best Regards.