Note that because of MediaWiki supporting partial undeletion and history split/merge, there is no guarantee ar_page_id matches the page ID it's going to be undeleted to.
My attempt at partial undeletion (picking only some revisions) still results in the same page ID.
History split/merge sounds like something that might have other complications when it comes to deciding which persistent ID to keep. However, when merging page A revisions into Page B using Special:MergeHistory, it just adds the revisions to Page B, and Page B keeps its persistent Id.
For #10
Normal page deletions already keep their page ID, and therefore persistent ID
Screencast_20241113_215449.webm
Marked as draft because I have not figured out how to reproduce a real scenario where the original page ID is missing after deletion.
The docs mention:
My attempt at partial undeletion (picking only some revisions) still results in the same page ID.
History split/merge sounds like something that might have other complications when it comes to deciding which persistent ID to keep. However, when merging page A revisions into Page B using
Special:MergeHistory, it just adds the revisions to Page B, and Page B keeps its persistent Id.