(pmp) Protect against empty timestamp; don't memoize root document