Provide and spend customer credit: Capability Test Specification
Coverage
The structured coverage map distinguishes specified examples from missing category coverage. Every required rule names its proving scenarios in the structured rule coverage register. A scenario’s executable binding applies only to the cited assertions; the transition and permission registers retain the combinations that still need explicit proof.
Interactions With Related Capabilities
Receive excess money, convert 20.00 into credit and attempt to void its source receipt. Spend part through settlement, refund another eligible part and cancel an unused grant in a separate branch. Reverse paid billing with credit remainder treatment. Use a lost-answer card settlement for one credit branch and issue a reduction memo releasing paid money in another.
The live grant blocks source reversal; settlement and refund cannot consume the same available credit; cancelling unused receipt-derived credit restores its money; cancellation retains the separate remainder grant. The complete chain remains proposed until one executable run proves its combined outcomes.