| Starting state | One eligible payment, zero refunds. |
| Injected condition | Commit refund; discard response; allow retry. |
| Expected outcome | Exactly one refund record, one customer notification, a recoverable trace. |
| Regression artifact | Versioned starting state, fault point, input, and assertions. |