Dispute Lifecycle
Disputes are part of settlement finality, not an afterthought.
Lifecycle
Receipt created with holdback terms.
Counterparty opens dispute (non-admin opens require signed envelope).
Arbitration case is created and marked open.
Holdback auto-release is blocked while case is open.
Arbiter issues verdict.
Deterministic settlement adjustment routes held funds.
Invariant behavior
open case must block auto-release tick for referenced holdback
one deterministic adjustment effect per dispute resolution path
no extra clawbacks beyond held escrow in dispute adjustment path
idempotent retries must return existing deterministic outcomes
Error conditions
Typical stable codes include:
DISPUTE_WINDOW_EXPIREDDISPUTE_ALREADY_OPENDISPUTE_INVALID_SIGNER
Operational checks
monitor open-case age and stuck cases
alert on replay mismatches involving dispute artifacts
track adjustment conflicts as potential idempotency regressions
Last updated

