> I've been able to formally verify that the Rust behavior is identical to the Postgres C behavior

I thought you wanted to get rid of the bugs!