The distinction is certainly one worth making (reversibility within the ledger vs. "meta-reversibility" in the context of the social/legal system that ledger is embedded), and not just at an academic level as underlined by your example.
In my view, both matter when trying to understand a payment system.