openapi lint derived

{
  "input": {
    "body": {
      "spec": {
        "info": {
          "title": "Demo",
          "version": "1.0.0",
          "description": "An example API"
        },
        "paths": {
          "/users": {
            "get": {
              "tags": [
                "users"
              ],
              "summary": "List users",
              "responses": {
                "200": {
                  "content": {
                    "application/json": {
                      "schema": {
                        "type": "array"
                      }
                    }
                  },
                  "description": "ok"
                },
                "400": {
                  "description": "bad input"
                }
              },
              "parameters": [
                {
                  "in": "query",
                  "name": "limit",
                  "schema": {
                    "type": "integer",
                    "example": 10
                  },
                  "description": "Max results"
                }
              ]
            }
          }
        },
        "openapi": "3.0.0",
        "servers": [
          {
            "url": "https://api.example.com"
          }
        ]
      }
    },
    "type": "http",
    "method": "POST",
    "bodyType": "json"
  },
  "output": {
    "type": "json",
    "example": {
      "ok": true,
      "score": 97,
      "counts": {
        "info": 0,
        "error": 0,
        "warning": 1
      },
      "violations": [
        {
          "rule": "operation-missing-operationid",
          "message": "Operation has no operationId - agents can't refer to this call by a stable name.",
          "location": "GET /users",
          "severity": "warning"
        }
      ]
    }
  }
}