JSON Schema 検証

このツールについて

本ツールは選択した JSON Schema 仕様の制限付きサブセットに対応し、非対応機能は明示的に拒否します。Draft 7、2019-09、2020-12 を明示的に選び、対応する仕様で JSON 文書を検証します。使い捨てのブラウザーワーカーが解析、コンパイル、検証をローカルで行い、起動を含めて 2 秒で停止します。文書の不適合、使用できないスキーマ、未対応の機能、未完了の処理は区別されます。診断には文書のパス、スキーマのパス、キーワードが含まれ、元の値や例外本文は含まれません。ただし、プロパティ名が機密情報を明かすことがあります。

実行できるスキーマと文書の例

{
  "draft": "draft7",
  "schema": {
    "type": "object",
    "properties": {
      "name": {
        "type": "string"
      },
      "age": {
        "type": "integer",
        "minimum": 0
      }
    },
    "required": [
      "name"
    ],
    "additionalProperties": false
  },
  "instance": {
    "name": "Avery",
    "age": 28
  }
}

{
  "status": "valid",
  "keywords": []
}

{
  "draft": "draft7",
  "schema": {
    "type": "object",
    "properties": {
      "name": {
        "type": "string"
      },
      "age": {
        "type": "integer",
        "minimum": 0
      }
    },
    "required": [
      "name"
    ],
    "additionalProperties": false
  },
  "instance": {
    "age": 28
  }
}

{
  "status": "invalid",
  "keywords": [
    "required"
  ]
}

{
  "draft": "draft7",
  "schema": {
    "type": "object",
    "properties": {
      "name": {
        "type": "string"
      },
      "age": {
        "type": "integer",
        "minimum": 0
      }
    },
    "required": [
      "name"
    ],
    "additionalProperties": false
  },
  "instance": {
    "name": "Avery",
    "age": "28"
  }
}

{
  "status": "invalid",
  "keywords": [
    "type"
  ]
}

{
  "draft": "2019-09",
  "schema": {
    "type": "array",
    "items": {
      "type": "integer"
    },
    "minItems": 2,
    "uniqueItems": true
  },
  "instance": [
    1,
    1
  ]
}

{
  "status": "invalid",
  "keywords": [
    "uniqueItems"
  ]
}

{
  "draft": "2020-12",
  "schema": {
    "$defs": {
      "positive": {
        "type": "integer",
        "minimum": 1
      }
    },
    "type": "object",
    "properties": {
      "count": {
        "$ref": "#/$defs/positive"
      }
    },
    "required": [
      "count"
    ]
  },
  "instance": {
    "count": 3
  }
}

{
  "status": "valid",
  "keywords": []
}

{
  "draft": "draft7",
  "schema": {
    "$ref": "#/definitions/value",
    "definitions": {
      "value": {
        "type": "string"
      }
    },
    "minLength": 3
  },
  "instance": "ok"
}

{
  "status": "valid",
  "keywords": []
}

{
  "draft": "2020-12",
  "schema": {
    "$ref": "#/definitions/value",
    "definitions": {
      "value": {
        "type": "string"
      }
    },
    "minLength": 3
  },
  "instance": "ok"
}

{
  "status": "invalid",
  "keywords": [
    "minLength"
  ]
}

よくある検証の間違い

• Draft 7 を宣言するスキーマに 2020-12 を選ぶ、または仕様が自動判定されると思い込む。
• properties だけでプロパティが必須になると思う。存在を必須にするには required を使います。
• 文字列 "28" が type: integer を満たすと思う。本ツールは型変換しません。
• 外部 $ref URL や未知の拡張キーワードが検証されたと思い込む。
• format の注釈を形式検証とみなす、またはタイムアウトを有効とみなす。
• 公開されるプロパティ名を確認せず、パスのみのレポートを共有する。

制限と注意事項

• —対応仕様は Draft 7、2019-09、2020-12 で、$schema 宣言は選択した仕様と一致する必要があります。# で始まり、入力したスキーマ内で解決できるフラグメント参照のみ許可します。外部スキーマは取得しません。未知・独自のキーワード、独自仕様、$vocabulary、$async、OpenAPI の nullable は非対応です。エンジンの制限により、スキーマのマップ内の __proto__ エントリーも拒否します。文書のキーは通常の入力データとして扱います。 入れ子の $id リソースは非対応ですが、ルートの $id は使用できます。 ローカルエンジンがすべての組み合わせを正確に扱えないため、unevaluatedItems と unevaluatedProperties は明示的に非対応です。 $dynamicRef、$dynamicAnchor、$recursiveRef、$recursiveAnchor も非対応です。通常のローカル $ref による再帰は使用できます。 エンジンの解釈が曖昧になるため、参照フラグメント内のパーセント符号化されたスラッシュ（%2F）は非対応です。プロパティ名に含まれるスラッシュには JSON Pointer の ~1 を使ってください。 dependencies と dependentRequired の配列は空文字列のプロパティ名を含められません。required 配列では使用できます。
• —format は注釈のみとして扱います。format: "email" は不正なメールアドレス文字列を拒否しません。型変換、既定値の補完、追加プロパティの削除は行いません。有効という結果は選択した仕様と本ツールの範囲に限られ、業務規則や別の検証器の設定まで保証しません。
• —各入力は UTF-8 で 200,000 バイト、深さ 64、JSON 値 20,000 個までです。正規表現は 512 文字まで。コンパイルと検証は使い捨てワーカーで行い、起動を含めて 2,000 ミリ秒までです。複雑なスキーマ、再帰参照、重い正規表現は制限やタイムアウトに達する場合があり、有効と推定してはいけません。 2 秒の期限はブラウザーのタイマーであり、バックグラウンドタブでは終了が遅れる場合があります。ワーカーは UI の実行を分離しますが、メモリーのサンドボックスではありません。 追加の複雑さの制限として、スキーマのオブジェクトは 512 個、直接の子スキーマ一覧は各 512 要素までです。文書の JSON 値数とスキーマのオブジェクト数の積を保守的な推定処理量とし、200,000 までに制限します。エラーは網羅的ではなく、評価した分岐ごとの最初の失敗を返すため、修正後に別のエラーが見つかる場合があります。 1 回の実行は重み付き検証処理 50,000 単位までに制限します。直接の子スキーマ数と現在の文書コレクションの要素数を考慮し、参照による反復的・指数的な処理を抑えます。
• —復号後の重複オブジェクトキー、安全でない整数、非有限数へのオーバーフロー、非ゼロ値がゼロになるアンダーフローは検証前に拒否します。他の小数は JavaScript の IEEE-754 数値となり、丸められる場合があります。任意精度の JSON 演算は行いません。正確さが必要な大きな識別子は文字列と対応するスキーマで表してください。
• —診断は 100 件まで、各パスは 2,048 文字までです。省略の通知がある場合、詳細は完全ではありません。レポートはパスとキーワードを含み、元の値、検証器のパラメーター、生の解析エラーを含みません。パスに個人を識別できるプロパティ名がある場合があり、匿名化は保証されません。 入力は読み込み済みのページで処理され、アップロードや永続保存は行いません。キャンセル、再実行、入力変更、ツールからの移動時にワーカーを終了します。クリップボードのコピーや保存ファイルはページの管理外です。本ツールは制限付きのローカル実装であり、無制限の JSON Schema 準拠を主張するものではありません。

よくある質問

関連ツール