>(or that a lesser amount was withdrawn)

As I understand it, this is not correct, the new tx must be functionally identical to the old one (same inputs and outputs), just with a different txid.

Someone correct me if I'm wrong