> Okay, so theoretically it should work ... I'm trying it now to see
> if I can reproduce the problem locally.
It took several tries, but eventually I did reproduce it. It seems
the triggering condition is for the REDO pointer to be before the
checkpoint record itself. Not sure why, yet, but it looks like the
record(s) in between are not restored for some reason...
regards, tom lane