{
  "issuer": "Astera Technology",
  "resource": "ops-product-invalid-field-review",
  "locale": "zh-HK",
  "contract": "本例商品欄位必填 1 至 12 整數，兩端包括。P1 是 6，P2 是 0，P3 是文字 six，P4 是 null。這只是本地必填約定，不模擬供應商移轉，也不把文字自動變數字。",
  "input": {
    "minimum": 1,
    "maximum": 12,
    "records": [
      {
        "id": "P1",
        "value": 6
      },
      {
        "id": "P2",
        "value": 0
      },
      {
        "id": "P3",
        "value": "six"
      },
      {
        "id": "P4",
        "value": null
      }
    ]
  },
  "output": {
    "ok": true,
    "state": "unknown",
    "result": {
      "valid": [
        "P1"
      ],
      "invalid": [
        "P2",
        "P3"
      ],
      "missing": [
        "P4"
      ]
    },
    "trace": [
      {
        "id": "P1",
        "value": 6,
        "decision": "valid"
      },
      {
        "id": "P2",
        "value": 0,
        "decision": "out-of-range"
      },
      {
        "id": "P3",
        "value": "six",
        "decision": "wrong-type"
      },
      {
        "id": "P4",
        "value": null,
        "decision": "missing"
      }
    ]
  },
  "verificationCases": [
    {
      "name": "baseline",
      "input": {
        "minimum": 1,
        "maximum": 12,
        "records": [
          {
            "id": "P1",
            "value": 6
          },
          {
            "id": "P2",
            "value": 0
          },
          {
            "id": "P3",
            "value": "six"
          },
          {
            "id": "P4",
            "value": null
          }
        ]
      },
      "expected": {
        "ok": true,
        "state": "unknown",
        "result": {
          "valid": [
            "P1"
          ],
          "invalid": [
            "P2",
            "P3"
          ],
          "missing": [
            "P4"
          ]
        }
      }
    },
    {
      "name": "material-edit",
      "input": {
        "minimum": 1,
        "maximum": 12,
        "records": [
          {
            "id": "P1",
            "value": 6
          },
          {
            "id": "P2",
            "value": 1
          },
          {
            "id": "P3",
            "value": 6
          },
          {
            "id": "P4",
            "value": 12
          }
        ]
      },
      "expected": {
        "ok": true,
        "state": "complete",
        "result": {
          "valid": [
            "P1",
            "P2",
            "P3",
            "P4"
          ],
          "invalid": [],
          "missing": []
        }
      }
    },
    {
      "name": "fresh-boundary",
      "input": {
        "minimum": 13,
        "maximum": 12,
        "records": [
          {
            "id": "P1",
            "value": 6
          },
          {
            "id": "P2",
            "value": 0
          },
          {
            "id": "P3",
            "value": "six"
          },
          {
            "id": "P4",
            "value": null
          }
        ]
      },
      "expected": {
        "ok": false,
        "error": "DEFINITION_INPUT"
      }
    }
  ],
  "meaningOfNull": "該欄位未知或沒有已建立的值；請按逐項結果判斷。",
  "businessSideEffects": false
}