{
  "id": "transfer-receipt-state-contract",
  "synthetic": true,
  "function": "receipt",
  "scope": [
    "Owned-location example; supplier-origin cancellation differs. Acceptance may not make a SKU sellable until stocked at destination. No live stock mutations or logistics service claims.",
    "例子为自有地点，供应商来源取消规则不同。SKU在目的地点未启用时，接收未必立即可售。不改真实库存，也不冒充物流服务商。"
  ],
  "cases": [
    {
      "args": [
        8,
        5,
        1,
        0
      ],
      "expected": {
        "available": 5,
        "outstanding": 2
      }
    },
    {
      "args": [
        8,
        5,
        1,
        2
      ],
      "expected": {
        "available": 5,
        "outstanding": 0
      }
    },
    {
      "args": [
        8,
        8,
        0,
        0
      ],
      "expected": {
        "available": 8,
        "outstanding": 0
      }
    }
  ]
}