json schema compatibility derived

{
  "input": {
    "body": {
      "role": "consumers",
      "after": {
        "type": "object",
        "required": [
          "id"
        ],
        "properties": {
          "id": {
            "type": "string"
          },
          "total": {
            "type": "number",
            "maximum": 100000
          },
          "status": {
            "enum": [
              "open",
              "closed",
              "disputed"
            ],
            "type": "string"
          }
        }
      },
      "before": {
        "type": "object",
        "required": [
          "id"
        ],
        "properties": {
          "id": {
            "type": "string"
          },
          "note": {
            "type": "string"
          },
          "total": {
            "type": "number",
            "maximum": 1000
          },
          "status": {
            "enum": [
              "open",
              "closed"
            ],
            "type": "string"
          }
        }
      }
    },
    "type": "http",
    "method": "POST",
    "bodyType": "json"
  },
  "output": {
    "type": "json",
    "example": {
      "role": "consumers",
      "limits": {
        "maxLines": 2000,
        "maxHeaders": 100,
        "maxFindings": 500,
        "maxPointers": 2000,
        "maxTextBytes": 262144,
        "maxBatchItems": 500,
        "maxDocumentBytes": 262144
      },
      "complete": true,
      "findings": [
        {
          "code": "ENUM_WIDENED",
          "added": [
            "disputed"
          ],
          "breaks": [
            "consumers"
          ],
          "detail": "1 value(s) were added, so a reader with an exhaustive switch may not handle them.",
          "pointer": "/status",
          "severity": "breaking"
        },
        {
          "to": 100000,
          "code": "BOUND_LOOSENED",
          "from": 1000,
          "breaks": [
            "consumers"
          ],
          "detail": "maximum moved from 1000 to 100000, so a reader may receive a value outside the old range.",
          "keyword": "maximum",
          "pointer": "/total/maximum",
          "severity": "risky"
        },
        {
          "code": "PROPERTY_REMOVED",
          "breaks": [
            "consumers"
          ],
          "detail": "note was declared and is now gone, so a reader expecting it will not find it.",
          "pointer": "/note",
          "property": "note",
          "severity": "breaking"
        }
      ],
      "compatible": false,
      "request_id": "example-request",
      "service_id": "json_schema_compatibility",
      "assumptions": [
        "producers are the clients that construct the payload and consumers are the clients that read it. A request body makes your clients producers; a response body makes them consumers.",
        "Whether one pattern accepts a subset of another is regex subsumption and is not decided here; such a change is reported unclassified.",
        "nullable true and a union with null are treated as the same constraint, so migrating between the two spellings is not a change."
      ],
      "by_audience": {
        "consumers": 3,
        "producers": 0
      },
      "by_severity": {
        "risky": 1,
        "breaking": 2,
        "compatible": 0,
        "unclassified": 0
      },
      "limitations": [
        "Schema-level reasoning only. Whether any real client actually relies on a field is not knowable from the schemas.",
        "A property removal is reported as breaking for readers because that is the conservative reading; the schemas cannot say whether anything still sent it."
      ],
      "observed_at": "2026-10-02T00:00:00.000Z",
      "risky_count": 1,
      "not_examined": [],
      "finding_count": 3,
      "breaking_count": 2,
      "service_version": "1.0.0",
      "unclassified_count": 0
    }
  }
}