The invoice dispute example is where this stopped being abstract for me — especially the deliberate decision to not auto-send to the customer on the first build. Treating "claimed" and "succeeded" as genuinely different states is a small design choice that prevents the most embarrassing kind of automation failure.