Billing reversal operation

The Lifecycle

Billing reversal is a coordinator over financial documents. Preparation can finish immediately, require processor recovery or leave a manual-refund exception.

Transitions Explained

The transition rows identify the initiating action, eligibility checks, resulting records and responsible caller. They retain the pinned evidence for each path.

What Cannot Happen

The invalid-transition rows describe final-state protection and unsupported paths; command eligibility remains distinct from the declared state vocabulary.

Concurrency and Timing

One keyed preparation transaction creates the component documents using derived keys. Processor work follows commit and uses the individual refund identity for deduplication. Only the return stage crosses an asynchronous boundary; preparation remains atomic.