ata-validator 1.22.1 → 1.24.0

package/lib/scan-runtime.js

@@ -0,0 +1,158 @@
+'use strict';
+
+// Helpers shared by every generated scanner. The scanner reads a JSON document
+// straight out of the text and answers the schema from it, so anything here
+// that is laxer than JSON.parse turns into a document accepted that parsing
+// would have rejected. Each function below is written to the JSON grammar,
+// not to what looks close enough.
+
+// Four hex digits after a \u escape. JSON.parse throws without them.
+function hex4(s, i) {
+  for (let k = i; k < i + 4; k++) {
+    const c = s.charCodeAt(k);
+    if (c >= 48 && c <= 57) continue;
+    if (c >= 97 && c <= 102) continue;
+    if (c >= 65 && c <= 70) continue;
+    return false;
+  }
+  return true;
+}
+
+// The depth at which a skipped subtree stops being skipped and the caller
+// falls back to JSON.parse. V8's own parser gives up somewhere past this, and
+// the point is not to guess where: past this depth the scanner declines rather
+// than risk answering a document the parser would have refused.
+const MAX_SKIP_DEPTH = 512;
+
+const MALFORMED = -1;
+const TOO_DEEP = -2;
+
+// Validate one JSON value starting at `i` and return the index just past it,
+// MALFORMED if the text is not JSON, or TOO_DEEP. Iterative: a nesting depth
+// the schema knows nothing about must not be able to overflow the stack.
+function skipValue(s, i) {
+  const len = s.length;
+  // `stack` holds, per open container, 0 for an object and 1 for an array.
+  const stack = [];
+  let depth = 0;
+  for (;;) {
+    // --- one value
+    let c = s.charCodeAt(i);
+    while (c === 32 || c === 10 || c === 9 || c === 13) c = s.charCodeAt(++i);
+    if (c === 34) {
+      i = skipString(s, i);
+      if (i < 0) return MALFORMED;
+    } else if (c === 123 || c === 91) {
+      if (depth >= MAX_SKIP_DEPTH) return TOO_DEEP;
+      stack[depth++] = c === 123 ? 0 : 1;
+      i++;
+      c = s.charCodeAt(i);
+      while (c === 32 || c === 10 || c === 9 || c === 13) c = s.charCodeAt(++i);
+      if (c === (stack[depth - 1] === 0 ? 125 : 93)) { depth--; i++; }
+      else if (stack[depth - 1] === 0) {
+        // an object member starts with a key
+        if (c !== 34) return MALFORMED;
+        i = skipString(s, i);
+        if (i < 0) return MALFORMED;
+        c = s.charCodeAt(i);
+        while (c === 32 || c === 10 || c === 9 || c === 13) c = s.charCodeAt(++i);
+        if (c !== 58) return MALFORMED;
+        i++;
+        continue;
+      } else {
+        continue;
+      }
+    } else if (c === 116) {
+      if (s.charCodeAt(i + 1) !== 114 || s.charCodeAt(i + 2) !== 117 || s.charCodeAt(i + 3) !== 101) return MALFORMED;
+      i += 4;
+    } else if (c === 102) {
+      if (s.charCodeAt(i + 1) !== 97 || s.charCodeAt(i + 2) !== 108 || s.charCodeAt(i + 3) !== 115 || s.charCodeAt(i + 4) !== 101) return MALFORMED;
+      i += 5;
+    } else if (c === 110) {
+      if (s.charCodeAt(i + 1) !== 117 || s.charCodeAt(i + 2) !== 108 || s.charCodeAt(i + 3) !== 108) return MALFORMED;
+      i += 4;
+    } else {
+      i = skipNumber(s, i);
+      if (i < 0) return MALFORMED;
+    }
+
+    // --- close as many containers as the next punctuation closes
+    for (;;) {
+      if (depth === 0) return i;
+      let c2 = s.charCodeAt(i);
+      while (c2 === 32 || c2 === 10 || c2 === 9 || c2 === 13) c2 = s.charCodeAt(++i);
+      const inObject = stack[depth - 1] === 0;
+      if (c2 === 44) {
+        i++;
+        if (inObject) {
+          let c3 = s.charCodeAt(i);
+          while (c3 === 32 || c3 === 10 || c3 === 9 || c3 === 13) c3 = s.charCodeAt(++i);
+          if (c3 !== 34) return MALFORMED;
+          i = skipString(s, i);
+          if (i < 0) return MALFORMED;
+          c3 = s.charCodeAt(i);
+          while (c3 === 32 || c3 === 10 || c3 === 9 || c3 === 13) c3 = s.charCodeAt(++i);
+          if (c3 !== 58) return MALFORMED;
+          i++;
+        }
+        break; // read the next value
+      }
+      if (c2 === (inObject ? 125 : 93)) { depth--; i++; continue; }
+      return MALFORMED;
+    }
+    if (i > len) return MALFORMED;
+  }
+}
+
+// `i` is at the opening quote; returns the index just past the closing one.
+function skipString(s, i) {
+  i++;
+  for (;;) {
+    const c = s.charCodeAt(i);
+    if (c === 34) return i + 1;
+    if (c === 92) {
+      const e = s.charCodeAt(i + 1);
+      if (e === 117) {
+        if (!hex4(s, i + 2)) return -1;
+        i += 6;
+        continue;
+      }
+      if (e === 34 || e === 92 || e === 47 || e === 98 || e === 102 || e === 110 || e === 114 || e === 116) { i += 2; continue; }
+      return -1;
+    }
+    // NaN at end of input fails this too, which is the unterminated case.
+    if (!(c >= 32)) return -1;
+    i++;
+  }
+}
+
+function skipNumber(s, i) {
+  let c = s.charCodeAt(i);
+  if (c === 45) c = s.charCodeAt(++i);
+  if (c === 48) c = s.charCodeAt(++i);
+  else if (c >= 49 && c <= 57) { do { c = s.charCodeAt(++i); } while (c >= 48 && c <= 57); }
+  else return -1;
+  if (c === 46) {
+    c = s.charCodeAt(++i);
+    if (!(c >= 48 && c <= 57)) return -1;
+    do { c = s.charCodeAt(++i); } while (c >= 48 && c <= 57);
+  }
+  if (c === 101 || c === 69) {
+    c = s.charCodeAt(++i);
+    if (c === 43 || c === 45) c = s.charCodeAt(++i);
+    if (!(c >= 48 && c <= 57)) return -1;
+    do { c = s.charCodeAt(++i); } while (c >= 48 && c <= 57);
+  }
+  return i;
+}
+
+// The decoded value of a string span, for the checks that need the string
+// itself. `p` is just past the opening quote, `e` is at the closing one.
+// An escaped span is decoded by the parser, so the result is what JSON.parse
+// would have produced for that member and nothing subtler.
+function span(s, p, e, escaped) {
+  if (!escaped) return s.slice(p, e);
+  return JSON.parse(s.slice(p - 1, e + 1));
+}
+
+module.exports = { hex4, skipValue, skipString, skipNumber, span, MALFORMED, TOO_DEEP, MAX_SKIP_DEPTH };

package/lib/strict-check.js

@@ -0,0 +1,195 @@
+'use strict';
+
+// The authoring-time check behind `strictSchema`. A mistyped keyword is the
+// one schema mistake that fails open: `maxLenght` is not an error to any
+// JSON Schema dialect, it is an annotation, so the intended constraint is
+// simply absent and previously invalid data starts validating. A validator
+// cannot make that safe at validation time. It can be loud about it when the
+// schema is compiled, which is what this is.
+//
+// The known-keyword list is not written out here. Each vendored meta-schema's
+// `properties` are precisely its dialect's keywords, so the list comes from
+// the specification documents in `metaschemas.js` rather than from a copy
+// someone keeps in step. The union across vendored dialects is used, not the
+// schema's own dialect: a draft-07 keyword in a 2020-12 schema is a real
+// authoring question but not a fail-open one, and a union cannot produce a
+// false positive on a valid document.
+
+const { METASCHEMAS } = require('./metaschemas');
+const { levenshtein } = require('./levenshtein');
+
+// Keywords ata implements beyond the official vocabularies.
+const ATA_KEYWORDS = ['nullable', 'errorMessage', 'propertyDependencies', 'discriminator'];
+
+let SPEC_KEYWORDS = null;
+function specKeywords() {
+  if (SPEC_KEYWORDS === null) {
+    SPEC_KEYWORDS = new Set(ATA_KEYWORDS);
+    for (const doc of METASCHEMAS.values()) {
+      if (doc && doc.properties) for (const k of Object.keys(doc.properties)) SPEC_KEYWORDS.add(k);
+    }
+  }
+  return SPEC_KEYWORDS;
+}
+
+// Which instance type each constraining keyword acts on. A keyword sitting on
+// a node whose `type` excludes it is inert: `minimum` on a string can never
+// fire, so the rule the author meant is absent, which is the same fail-open
+// class as a typo. Only nodes with an explicit `type` are judged, since
+// without one the keyword legitimately waits for matching data.
+const KEYWORD_TYPES = new Map(Object.entries({
+  minLength: ['string'], maxLength: ['string'], pattern: ['string'],
+  minimum: ['number'], maximum: ['number'],
+  exclusiveMinimum: ['number'], exclusiveMaximum: ['number'], multipleOf: ['number'],
+  items: ['array'], prefixItems: ['array'], additionalItems: ['array'],
+  minItems: ['array'], maxItems: ['array'], uniqueItems: ['array'],
+  contains: ['array'], minContains: ['array'], maxContains: ['array'], unevaluatedItems: ['array'],
+  properties: ['object'], patternProperties: ['object'], additionalProperties: ['object'],
+  required: ['object'], minProperties: ['object'], maxProperties: ['object'],
+  propertyNames: ['object'], dependentRequired: ['object'], dependentSchemas: ['object'],
+  unevaluatedProperties: ['object'],
+}));
+
+function typeAllows(declared, wanted) {
+  const list = Array.isArray(declared) ? declared : [declared];
+  for (const t of list) {
+    if (t === wanted) return true;
+    if (wanted === 'number' && t === 'integer') return true;
+  }
+  return false;
+}
+
+// Where subschemas live, so the walk knows a key under `properties` is a
+// property name and a key directly on a schema object is a keyword.
+const SCHEMA_MAPS = new Set(['properties', 'patternProperties', '$defs', 'definitions', 'dependentSchemas']);
+const SCHEMA_LISTS = new Set(['allOf', 'anyOf', 'oneOf', 'prefixItems']);
+const SCHEMA_SINGLE = new Set([
+  'items', 'additionalItems', 'additionalProperties', 'unevaluatedProperties',
+  'unevaluatedItems', 'contains', 'propertyNames', 'not', 'if', 'then', 'else',
+  'contentSchema',
+]);
+// Values that are data, never schemas, however object-shaped they look.
+const DATA_VALUED = new Set(['enum', 'const', 'default', 'examples', 'required', 'type', '$vocabulary']);
+
+function nearest(word, known) {
+  let best = null;
+  let bestD = Infinity;
+  for (const k of known) {
+    // A candidate further away than half the word is noise, not a typo.
+    const d = levenshtein(word, k);
+    if (d < bestD) { bestD = d; best = k; }
+  }
+  return bestD > 0 && bestD <= 2 && best !== null ? best : null;
+}
+
+function resolveLocalPointer(root, ref) {
+  let node = root;
+  for (const raw of ref.slice(2).split('/')) {
+    const token = raw.replace(/~1/g, '/').replace(/~0/g, '~');
+    if (node === null || typeof node !== 'object') return false;
+    if (Array.isArray(node)) {
+      if (!/^\d+$/.test(token) || Number(token) >= node.length) return false;
+      node = node[Number(token)];
+    } else {
+      if (!Object.prototype.hasOwnProperty.call(node, token)) return false;
+      node = node[token];
+    }
+  }
+  return node !== undefined;
+}
+
+/**
+ * Walks a schema and reports the authoring mistakes the validator would
+ * otherwise ignore. Returns an array of { path, message }, empty when clean.
+ *
+ * `userKeywords` are names registered through the `keywords` option, and
+ * `x-` prefixed names pass without comment: they are the conventional
+ * extension namespace and rejecting them would flag real documents.
+ */
+function checkSchemaStrict(root, options) {
+  const known = specKeywords();
+  const user = options && options.userKeywords ? options.userKeywords : null;
+  const problems = [];
+  const seen = new Set();
+
+  function isKnown(key) {
+    if (known.has(key)) return true;
+    if (user && (Array.isArray(user) ? user.includes(key) : Object.prototype.hasOwnProperty.call(user, key))) return true;
+    if (key.startsWith('x-')) return true;
+    return false;
+  }
+
+  function walkSchema(node, path) {
+    if (node === null || typeof node !== 'object' || Array.isArray(node)) return;
+    if (seen.has(node)) return;
+    seen.add(node);
+    for (const key of Object.keys(node)) {
+      const value = node[key];
+      const at = path + '/' + key;
+      if (!isKnown(key)) {
+        const hint = nearest(key, known);
+        problems.push({
+          path: at,
+          message: hint
+            ? `unknown keyword "${key}" (did you mean "${hint}"?)`
+            : `unknown keyword "${key}"`,
+        });
+        continue;
+      }
+      if (key === '$ref' && typeof value === 'string' && value.startsWith('#/') && !resolveLocalPointer(root, value)) {
+        problems.push({ path: at, message: `$ref "${value}" does not resolve in this document` });
+        continue;
+      }
+      // An inert keyword: the node's own type excludes the one this keyword
+      // acts on, so it can never fire.
+      if (typeof node.type === 'string' || Array.isArray(node.type)) {
+        const acts = KEYWORD_TYPES.get(key);
+        if (acts && !acts.some((t) => typeAllows(node.type, t))) {
+          problems.push({
+            path: at,
+            message: `"${key}" has no effect here: it applies to ${acts.join('/')} and this node's type is ${JSON.stringify(node.type)}`,
+          });
+          continue;
+        }
+      }
+      // `required` naming a property that `properties` does not define, on a
+      // node that admits no other properties: no document can satisfy it, so
+      // the validator built from it rejects everything, silently.
+      if (key === 'required' && Array.isArray(value) && node.properties && typeof node.properties === 'object'
+          && node.additionalProperties === false && !node.patternProperties) {
+        for (const name of value) {
+          if (typeof name === 'string' && !Object.prototype.hasOwnProperty.call(node.properties, name)) {
+            problems.push({
+              path: at,
+              message: `required property "${name}" is not defined in properties and additionalProperties is false, so nothing can satisfy this schema`,
+            });
+          }
+        }
+      }
+      if (DATA_VALUED.has(key)) continue;
+      if (SCHEMA_MAPS.has(key)) {
+        if (value !== null && typeof value === 'object' && !Array.isArray(value)) {
+          for (const name of Object.keys(value)) walkSchema(value[name], at + '/' + name.replace(/~/g, '~0').replace(/\//g, '~1'));
+        }
+      } else if (SCHEMA_LISTS.has(key)) {
+        if (Array.isArray(value)) for (let i = 0; i < value.length; i++) walkSchema(value[i], at + '/' + i);
+      } else if (SCHEMA_SINGLE.has(key)) {
+        // draft-07 lets `items` be an array of schemas.
+        if (Array.isArray(value)) { for (let i = 0; i < value.length; i++) walkSchema(value[i], at + '/' + i); }
+        else walkSchema(value, at);
+      } else if (key === 'dependencies') {
+        // draft-07: each value is either a schema or an array of names.
+        if (value !== null && typeof value === 'object' && !Array.isArray(value)) {
+          for (const name of Object.keys(value)) {
+            if (!Array.isArray(value[name])) walkSchema(value[name], at + '/' + name);
+          }
+        }
+      }
+    }
+  }
+
+  walkSchema(root, '#');
+  return problems;
+}
+
+module.exports = { checkSchemaStrict };

package/lib/version.js

@@ -7,4 +7,4 @@
 //
 // Kept in lockstep with package.json by `tests/test_version_sync.js`.
 
-module.exports = '1.22.1';
+module.exports = '1.24.0';

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "ata-validator",
-  "version": "1.22.1",
+  "version": "1.24.0",
   "description": "JSON Schema validation that compiles for speed and still runs where code generation is blocked. Compiled and interpreted engines answer identically at 100% of the official suite. TypeScript inference, Standard Schema V1, and a build step that emits dependency-free modules.",
   "main": "index.js",
   "module": "index.mjs",
@@ -51,7 +51,7 @@
     "release:check": "node scripts/regen-safe-regex-source.js && node tests/test_pack_purity.js && node scripts/check-doc-coverage.js && node tests/test_error_codes_lock.js && node tests/test_safe_regex_source_sync.js && node tests/test_version_sync.js",
     "build": "cmake-js build --target ata",
     "rebuild": "cmake-js rebuild --target ata",
-    "test": "node test.js && node tests/test_removed_aot_methods.js && node tests/test_no_native.js && node tests/test_no_eval.js && node tests/test_property_dependencies.js && node tests/test_v1_dialect.js && node tests/test_buffer_path_parity.js && node tests/test_buffer_gate.js && node tests/test_buffer_reject_cost.js && node tests/test_nan_verdict.js && node tests/test_remove_additional_nested.js && node tests/test_exclusive_bounds.js && node tests/test_engine_differential.js && node tests/test_error_shape_differential.js && node tests/test_output_format.js && node tests/test_retry_message.js && node tests/test_describe_schema.js && node tests/test_aot_parse.js && node tests/test_draft7_semantics.js && node tests/test_metaschema_ref.js && node tests/test_pure_js_unsupported.js && node tests/test_native_load_order.js && node tests/test_pack_purity.js && node tests/test_make_native_package.js && node tests/test_browser_nofs.js && node tests/test_browser_imports_guard.js && node tests/test_version_sync.js && node tests/test_native_loaded.js && node tests/test_safe_regex_source_sync.js && node tests/test_t_builder.js && node tests/test_async_refine.js && node tests/test_safe_regex.js && node tests/test_safe_regex_integration.js && node tests/test_aot_build.js && node tests/test_aot_differential.js && node tests/test_aot_cli_build.js && node tests/test_aot_cli_smoke.js && node tests/test_bundle_standalone.js && node tests/test_standalone_anyof.js && node tests/test_standalone_formats.js && node tests/test_aot_format_mode.js && node tests/test_aot_additional_props_errors.js && node tests/test_id_anchor_refs.js && node tests/test_engine_routing.js && node tests/test_compile_cache_order.js && node tests/test_engine_diagnostic.js && node tests/test_format_engine_parity.js && node tests/test_uri_helper_parity.js && node tests/test_formats_single_pass.js && node tests/test_format_single_error.js && node tests/test_defs_pointer_alias.js && node tests/test_cross_doc_root_ref.js && node tests/test_codegen_entrypoint_agreement.js && node tests/test_hybrid_agreement.js && node tests/test_codegen_edge_shapes.js && node tests/test_ajv_errors.js && node tests/test_custom_keywords.js && node tests/test_aot_external_checks.js && node tests/test_ajv_parity.js && node tests/test_user_format_error_path.js && node tests/test_unevaluated_error_path.js && node tests/test_unevaluated_error_shape.js && node tests/test_pattern_properties_errors.js && node tests/test_additional_properties_scaling.js && node tests/test_no_input_mutation.js && node tests/test_typed_validator_runner.js && node tests/test_define_schema.js && node tests/test_error_codes_lock.js && node tests/test_error_code_lookup.js && node tests/test_error_order.js && node tests/test_error_order_ordinal.js && node tests/test_rejection_shape.js && node tests/test_lazy_normalization.js && node tests/test_value_equality.js && node tests/test_vocabulary.js && node tests/test_schema_scan.js && node tests/test_lazy_errors.js && node tests/test_lazy_instance.js && node tests/test_cyclic_input.js && node tests/test_native_error_codes.js && node tests/test_verdict_preprocess.js && node tests/test_plan_compiler.js && node tests/test_nullable.js && node tests/test_validate_and_parse.js && node tests/test_validate_data.js && node tests/test_enrich_error.js && node tests/test_enrich_received.js && node tests/test_rich_errors_optout.js && node tests/test_error_messages.js && node tests/test_source_positions.js && node tests/fuzz_positions.js && node tests/test_malformed_json_termination.js && node tests/test_data_positions.js && node tests/test_render_shared.js && node tests/test_renderers.js && node tests/test_additive_fields.js && node tests/test_diagnostic_source.js && node tests/test_diagnose.js && node tests/test_correlate.js && node tests/test_diagnostics_score.js && node tests/test_runtime_error_dx.js && node tests/test_aot_error_dx.js && node tests/test_abort_early.js && node tests/test_branch_collapse.js && node tests/test_suggestions.js && node tests/test_cli_validate.js && node tests/test_cli_version.js && node benchmark/bench_aot_size.mjs",
+    "test": "node test.js && node tests/test_removed_aot_methods.js && node tests/test_no_native.js && node tests/test_no_eval.js && node tests/test_property_dependencies.js && node tests/test_v1_dialect.js && node tests/test_buffer_path_parity.js && node tests/test_buffer_gate.js && node tests/test_scanner_differential.js && node tests/test_buffer_reject_cost.js && node tests/test_nan_verdict.js && node tests/test_remove_additional_nested.js && node tests/test_exclusive_bounds.js && node tests/test_engine_differential.js && node tests/test_error_shape_differential.js && node tests/test_output_format.js && node tests/test_retry_message.js && node tests/test_describe_schema.js && node tests/test_aot_parse.js && node tests/test_draft7_semantics.js && node tests/test_metaschema_ref.js && node tests/test_pure_js_unsupported.js && node tests/test_native_load_order.js && node tests/test_pack_purity.js && node tests/test_make_native_package.js && node tests/test_browser_nofs.js && node tests/test_browser_imports_guard.js && node tests/test_version_sync.js && node tests/test_native_loaded.js && node tests/test_safe_regex_source_sync.js && node tests/test_t_builder.js && node tests/test_async_refine.js && node tests/test_safe_regex.js && node tests/test_safe_regex_integration.js && node tests/test_aot_build.js && node tests/test_aot_differential.js && node tests/test_aot_cli_build.js && node tests/test_aot_cli_smoke.js && node tests/test_bundle_standalone.js && node tests/test_standalone_anyof.js && node tests/test_standalone_formats.js && node tests/test_aot_format_mode.js && node tests/test_aot_additional_props_errors.js && node tests/test_id_anchor_refs.js && node tests/test_engine_routing.js && node tests/test_compile_cache_order.js && node tests/test_engine_diagnostic.js && node tests/test_format_engine_parity.js && node tests/test_uri_helper_parity.js && node tests/test_formats_single_pass.js && node tests/test_format_single_error.js && node tests/test_defs_pointer_alias.js && node tests/test_cross_doc_root_ref.js && node tests/test_codegen_entrypoint_agreement.js && node tests/test_hybrid_agreement.js && node tests/test_codegen_edge_shapes.js && node tests/test_ajv_errors.js && node tests/test_custom_keywords.js && node tests/test_strict_schema.js && node tests/test_aot_external_checks.js && node tests/test_ajv_parity.js && node tests/test_user_format_error_path.js && node tests/test_unevaluated_error_path.js && node tests/test_unevaluated_error_shape.js && node tests/test_pattern_properties_errors.js && node tests/test_additional_properties_scaling.js && node tests/test_no_input_mutation.js && node tests/test_typed_validator_runner.js && node tests/test_define_schema.js && node tests/test_error_codes_lock.js && node tests/test_error_code_lookup.js && node tests/test_error_order.js && node tests/test_error_order_ordinal.js && node tests/test_rejection_shape.js && node tests/test_lazy_normalization.js && node tests/test_value_equality.js && node tests/test_vocabulary.js && node tests/test_schema_scan.js && node tests/test_lazy_errors.js && node tests/test_lazy_instance.js && node tests/test_cyclic_input.js && node tests/test_native_error_codes.js && node tests/test_verdict_preprocess.js && node tests/test_plan_compiler.js && node tests/test_nullable.js && node tests/test_validate_and_parse.js && node tests/test_validate_data.js && node tests/test_enrich_error.js && node tests/test_enrich_received.js && node tests/test_rich_errors_optout.js && node tests/test_error_messages.js && node tests/test_source_positions.js && node tests/fuzz_positions.js && node tests/test_malformed_json_termination.js && node tests/test_data_positions.js && node tests/test_render_shared.js && node tests/test_renderers.js && node tests/test_additive_fields.js && node tests/test_diagnostic_source.js && node tests/test_diagnose.js && node tests/test_correlate.js && node tests/test_diagnostics_score.js && node tests/test_runtime_error_dx.js && node tests/test_aot_error_dx.js && node tests/test_abort_early.js && node tests/test_branch_collapse.js && node tests/test_suggestions.js && node tests/test_cli_validate.js && node tests/test_cli_version.js && node benchmark/bench_aot_size.mjs",
     "bench:size": "node benchmark/bench_aot_size.mjs",
     "test:suite": "node tests/run_suite.js && node tests/run_suite.js draft7 && node tests/run_suite.js v1",
     "test:compat": "node tests/test_compat.js",
@@ -122,13 +122,13 @@
     "LICENSE"
   ],
   "optionalDependencies": {
-    "@ata-validator/native-darwin-arm64": "1.22.1",
-    "@ata-validator/native-darwin-x64": "1.22.1",
-    "@ata-validator/native-linux-arm64-gnu": "1.22.1",
-    "@ata-validator/native-linux-arm64-musl": "1.22.1",
-    "@ata-validator/native-linux-x64-gnu": "1.22.1",
-    "@ata-validator/native-linux-x64-musl": "1.22.1",
-    "@ata-validator/native-win32-x64": "1.22.1"
+    "@ata-validator/native-darwin-arm64": "1.24.0",
+    "@ata-validator/native-darwin-x64": "1.24.0",
+    "@ata-validator/native-linux-arm64-gnu": "1.24.0",
+    "@ata-validator/native-linux-arm64-musl": "1.24.0",
+    "@ata-validator/native-linux-x64-gnu": "1.24.0",
+    "@ata-validator/native-linux-x64-musl": "1.24.0",
+    "@ata-validator/native-win32-x64": "1.24.0"
   },
   "peerDependencies": {
     "yaml": "^2.0.0"