{
  "candidates_examined": 8,
  "limits": {
    "max_array_length": 256,
    "max_candidates": 256,
    "max_generation_steps": 16384,
    "max_input_bytes": 262144,
    "max_object_properties": 64,
    "max_string_length": 256,
    "max_value_bytes": 65536,
    "max_value_depth": 32,
    "max_value_nodes": 4096,
    "max_witnesses": 8
  },
  "scope": "Old-accepted and new-rejected INPUT values in the documented schema subset; bounded search, not a compatibility proof.",
  "search_truncated": true,
  "status": "counterexamples_found",
  "version": "1.0",
  "witnesses": [
    {
      "new_validation_errors": [
        {
          "keyword": "minimum",
          "message": "Number is below the inclusive minimum",
          "path": "/items/0/quantity"
        },
        {
          "keyword": "minLength",
          "message": "Length is below the minimum",
          "path": "/order_id"
        }
      ],
      "old_validation_errors": [],
      "value": {
        "items": [
          {
            "quantity": 1,
            "sku": "a"
          }
        ],
        "order_id": "a"
      },
      "value_json": "{\"items\":[{\"quantity\":1,\"sku\":\"a\"}],\"order_id\":\"a\"}"
    },
    {
      "new_validation_errors": [
        {
          "keyword": "minimum",
          "message": "Number is below the inclusive minimum",
          "path": "/items/0/quantity"
        },
        {
          "keyword": "minimum",
          "message": "Number is below the inclusive minimum",
          "path": "/items/1/quantity"
        },
        {
          "keyword": "minLength",
          "message": "Length is below the minimum",
          "path": "/order_id"
        }
      ],
      "old_validation_errors": [],
      "value": {
        "items": [
          {
            "quantity": 1,
            "sku": "a"
          },
          {
            "quantity": 1,
            "sku": "a"
          }
        ],
        "order_id": "a"
      },
      "value_json": "{\"items\":[{\"quantity\":1,\"sku\":\"a\"},{\"quantity\":1,\"sku\":\"a\"}],\"order_id\":\"a\"}"
    },
    {
      "new_validation_errors": [
        {
          "keyword": "minLength",
          "message": "Length is below the minimum",
          "path": "/order_id"
        }
      ],
      "old_validation_errors": [],
      "value": {
        "items": [
          {
            "quantity": 2,
            "sku": "a"
          }
        ],
        "order_id": "a"
      },
      "value_json": "{\"items\":[{\"quantity\":2,\"sku\":\"a\"}],\"order_id\":\"a\"}"
    },
    {
      "new_validation_errors": [
        {
          "keyword": "minLength",
          "message": "Length is below the minimum",
          "path": "/order_id"
        }
      ],
      "old_validation_errors": [],
      "value": {
        "items": [
          {
            "quantity": 3,
            "sku": "a"
          }
        ],
        "order_id": "a"
      },
      "value_json": "{\"items\":[{\"quantity\":3,\"sku\":\"a\"}],\"order_id\":\"a\"}"
    },
    {
      "new_validation_errors": [
        {
          "keyword": "minimum",
          "message": "Number is below the inclusive minimum",
          "path": "/items/0/quantity"
        },
        {
          "keyword": "minLength",
          "message": "Length is below the minimum",
          "path": "/order_id"
        }
      ],
      "old_validation_errors": [],
      "value": {
        "items": [
          {
            "quantity": 1,
            "sku": "b"
          }
        ],
        "order_id": "a"
      },
      "value_json": "{\"items\":[{\"quantity\":1,\"sku\":\"b\"}],\"order_id\":\"a\"}"
    },
    {
      "new_validation_errors": [
        {
          "keyword": "minimum",
          "message": "Number is below the inclusive minimum",
          "path": "/items/0/quantity"
        },
        {
          "keyword": "minLength",
          "message": "Length is below the minimum",
          "path": "/order_id"
        }
      ],
      "old_validation_errors": [],
      "value": {
        "items": [
          {
            "quantity": 1,
            "sku": "x"
          }
        ],
        "order_id": "a"
      },
      "value_json": "{\"items\":[{\"quantity\":1,\"sku\":\"x\"}],\"order_id\":\"a\"}"
    },
    {
      "new_validation_errors": [
        {
          "keyword": "minimum",
          "message": "Number is below the inclusive minimum",
          "path": "/items/0/quantity"
        },
        {
          "keyword": "minLength",
          "message": "Length is below the minimum",
          "path": "/order_id"
        }
      ],
      "old_validation_errors": [],
      "value": {
        "items": [
          {
            "quantity": 1,
            "sku": "aa"
          }
        ],
        "order_id": "a"
      },
      "value_json": "{\"items\":[{\"quantity\":1,\"sku\":\"aa\"}],\"order_id\":\"a\"}"
    },
    {
      "new_validation_errors": [
        {
          "keyword": "minimum",
          "message": "Number is below the inclusive minimum",
          "path": "/items/0/quantity"
        },
        {
          "keyword": "minLength",
          "message": "Length is below the minimum",
          "path": "/order_id"
        }
      ],
      "old_validation_errors": [],
      "value": {
        "items": [
          {
            "quantity": 1,
            "sku": "bb"
          }
        ],
        "order_id": "a"
      },
      "value_json": "{\"items\":[{\"quantity\":1,\"sku\":\"bb\"}],\"order_id\":\"a\"}"
    }
  ]
}