{
  "issuer": "Astera Technology",
  "resource": "ops-fulfillment-cancellation-request-state",
  "locale": "en",
  "contract": "In the original F1 example, an external service already accepted fulfillment work. Request C1 asks it to cancel. This local contract treats an accepted cancellation answer as cancelled work, a rejected answer as active work and no answer as unknown work state. It presumes answer identity has already been matched to C1; event authentication/order/replay is outside the model.",
  "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": "Unknown or no established value for the field; inspect its specific trace.",
  "businessSideEffects": false
}