Provably Safe Model Updates. - Leo Elmecker-Plakolm; Pierre Fasterling; Philip Sosnin; Calvin Tsay; Matthew Wicker (CoRR, 2025)