On Sunday, November 21, 2021, Andy Fan <zhihui(dot)fan1213(at)gmail(dot)com> wrote:
>
> Should we guarantee the sequence's nextval should never be rolled back
> even in a crashed recovery case?
> I can produce the rollback in the following case:
>
This seems to be the same observation that was made a little over a year
ago.
https://www.postgresql.org/message-id/flat/ea6485e3-98d0-24a7-094c-87f9d5f9b18f%40amazon.com#4cfe7217c829419b769339465e8c2915
I don’t think the suggested documentation ever got written but haven’t
looked for it either.
David J.