{
  "issuer": "Astera Technology",
  "resource": "ops-fulfillment-cancellation-request-state",
  "locale": "zh-HK",
  "contract": "本例 F1 工作已由外部服務接納，C1 要求對方取消。本地約定下，取消獲接納才記工作 cancelled，拒絕則 active，未回覆便未知。此處假設已對準回覆屬 C1；事件驗證、先後及重送另有教材。",
  "input": {
    "fulfillment": "F1",
    "request": "C1",
    "answer": null
  },
  "output": {
    "ok": true,
    "state": "unknown",
    "result": {
      "fulfillment": "F1",
      "request": "C1",
      "requestState": "pending",
      "workState": "unknown"
    },
    "trace": [
      {
        "id": "C1",
        "decision": "await-answer"
      }
    ]
  },
  "verificationCases": [
    {
      "name": "baseline",
      "input": {
        "fulfillment": "F1",
        "request": "C1",
        "answer": null
      },
      "expected": {
        "ok": true,
        "state": "unknown",
        "result": {
          "fulfillment": "F1",
          "request": "C1",
          "requestState": "pending",
          "workState": "unknown"
        }
      }
    },
    {
      "name": "material-edit",
      "input": {
        "fulfillment": "F1",
        "request": "C1",
        "answer": "accepted"
      },
      "expected": {
        "ok": true,
        "state": "complete",
        "result": {
          "fulfillment": "F1",
          "request": "C1",
          "requestState": "accepted",
          "workState": "cancelled"
        }
      }
    },
    {
      "name": "fresh-boundary",
      "input": {
        "fulfillment": "F1",
        "request": "C1",
        "answer": "rejected"
      },
      "expected": {
        "ok": true,
        "state": "complete",
        "result": {
          "fulfillment": "F1",
          "request": "C1",
          "requestState": "rejected",
          "workState": "active"
        }
      }
    }
  ],
  "meaningOfNull": "該欄位未知或沒有已建立的值；請按逐項結果判斷。",
  "businessSideEffects": false
}