Settlement operation

The Lifecycle

Settlement coordinates independent credit and receipt documents. Captured excess produces an exception only for refusal treatment; normal leave-unapplied treatment can finish without an exception. Failure does not undo prior pro forma conversion.

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

Target resolution locks invoices in identity order and pending applications reserve credit. Completion caps applications and allocations at the balances then remaining. A pending settlement without an intent is eligible for failure after a day.