Sub-ticket of MARS-723 Decide whether replay fidelity of db/migrations/applied is a stated guarantee - if yes, retrofit the 19 name-only pg_proc post-checks · mars