{
  "id": "store-credit-expiry-permission-record",
  "synthetic": true,
  "function": "consume",
  "scope": [
    "No advice on lawful expiry, timezone conversion engine or live credit mutation. The fixture assumes both lots are unexpired and already approved.",
    "不判断到期条款是否合法，不实现时区引擎，不改真实余额。教学假定两笔均未到期且政策已获批准。"
  ],
  "cases": [
    {
      "args": [
        [
          20,
          30
        ],
        15
      ],
      "expected": [
        5,
        30
      ]
    },
    {
      "args": [
        [
          20,
          30
        ],
        25
      ],
      "expected": [
        0,
        25
      ]
    },
    {
      "args": [
        [
          20,
          30
        ],
        0
      ],
      "expected": [
        20,
        30
      ]
    }
  ]
}