Three local transactions run forward; the third fails and the walk comes back along the chain through compensations — refund the card, cancel the order — until every committed effect is undone. The compensation edges are drawn as corrections and their nodes are reached only on the way back; the meter counts two committed, two undone, net effects zero.