Allocate and relocate received money: 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 and allocate 80.00 offline, move that application to another bill and convert its 20.00 remainder into credit. Credit a separately paid bill to release money, and compare a processor-funded application with a credit-and-money settlement. Invoke the processor-funded branch through Commerce’s tender function and repeat its command key.
Each move retains opposing entries; credit removes exactly 20.00 from available receipt money; the memo releases only unnecessary paid value; processor and settlement paths preserve source and target bounds. The complete chain remains proposed until one executable run proves its combined outcomes.