I wish I had seen this earlier. I just spent this afternoon implementing a posterior predictive checks based on Kaplan-Meier survival estimates and it looks like you’ve already done that.
Isn’t this just generating from a truncated event time distribution where the truncation takes the form of an upper bound? Is that what you mean by conditioned: you are conditioning on getting to observe the event, so you are forcing it to be less than T^*?