01must proveProposed | Refund requests identify positive refundable value and cannot exceed available unapplied money, remaining application value or credit balance. | validation | service, database | test |
02must proveProposed | A request reserves its unapplied source money until success, cancellation or failure, preventing concurrent application, credit creation or another refund from using it. | invariant | service, database | test |
03must proveProposed | Processor money returns through its original merchant account unless the source lacks a processor reference or a processor refund has already been declined. | policy | service | test |
04must proveProposed | Refunding an application removes its paid value; a default credit memo preserves settlement, while an explicit reopen choice restores the debt. | calculation | service | test |
05must proveProposed | Where workspace approval is enabled, requests wait and only a different person can approve them. | permission | service | test |
06must proveProposed | Execution requires requested status, cancellation requires an unpaid refund and a reason, and paid or cancelled refunds are final. | lifecycle | service, database | test |
07must proveProposed | Offline execution moves money immediately and derives partially refunded or refunded payment status from the accumulated amount. | calculation | service, database | test |
08must proveProposed | Processor refunds are recorded before the external call; definite rejection or nonreceipt fails the refund and restores applications and reservations. | lifecycle | service | test |
09must proveProposed | Unknown or pending processor outcomes keep the refund processing with money held until confirmed by lookup, event or human resolution, without abandonment. proved by ATS-ACC-TRX-007-12, ATS-ACC-TRX-009-12, ATS-ACC-TRX-012-09, ATS-ACC-TRX-012-12, ATS-ACC-TRX-013-10, ATS-ACC-TRX-014-09, ATS-ACC-TRX-020-09, TST-ACC-TRX-042, TST-ACC-TRX-108, TST-ACC-TRX-109, TST-ACC-TRX-264 | lifecycle | service | test |
10Proposed | Only check refunds can carry a check number. | validation | service, database | test |
11must proveProposed | Refunding card-paid value also returns its proportional processing fee rounded downward and credits the fee invoice. | calculation | service | test |
12must proveProposed | Request and cancellation require create authority, approval and execution require their distinct sensitive authorities, and immediate execution requires both create and execute. | permission | api | test |
13Proposed | The product should expose the workspace’s refund-approval setting in the console; only the service currently provides it. | policy | console | unknown |