{
  "issuer": "Astera Technology",
  "resource": "ops-product-invalid-field-review",
  "locale": "en",
  "contract": "The supplied product field requires an integer from 1 through 12, inclusive. P1 has 6, P2 has 0, P3 has the text six and P4 has null. This is a local required-field contract. It does not infer a vendor migration or silently convert a text word into a number.",
  "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": "Unknown or no established value for the field; inspect its specific trace.",
  "businessSideEffects": false
}