External effect: normal path and crash boundaries

F1/F2 leave local processing | F3 leaves durable done | recovery uses the SAME operation ID

External effect: normal path and crash boundaries F1/F2 leave local processing | F3 leaves durable done | recovery uses the SAME operation ID Commit processing(K) (F1: crash before call) Execute operation K Provider commits effect; response may be lost (F2) Normal: commit done(K, result) (F3) Normal: durable result; now Delete queue message F1/F2 recovery: query or safe retry K Contract-dependent result; reconcile if uncertain Persist confirmed outcome; escalate unresolved Consumer · Sequence participant Consumer Local DB · Sequence participant Local DB Provider · Sequence participant Provider Legend return default message