Editing contributions in closed batches
From a clarity/clean audit trail perspective, I think I would go with adding a negative contribution to reverse/adjust the previously batched contribution, including a note in the adjustment contribution record.  Some of our clients create batches just for adjustments to track them separately.  Especially if it's been exported to another system, I would think changing that exported record might introduce errors or at least confusion into the situation.