ata-validator 1.18.0 → 1.19.0

package/index.js

@@ -10,7 +10,7 @@ const {
   compileToJSCodegenWithErrors,
   compileToJSCombined,
 } = require("./lib/js-compiler");
-const { normalizeDraft7, normalizeNullable, stripFormatAssertions } = require("./lib/draft7");
+const { normalizeDraft7, normalizeNullable, normalizeExclusiveBounds, stripFormatAssertions } = require("./lib/draft7");
 const { enabledKeywords, stripDisabledKeywords } = require("./lib/vocabularies");
 const { needsNormalization } = require("./lib/schema-scan");
 const { isV1Dialect } = require("./lib/dialect");
@@ -618,6 +618,7 @@ function _normalizeCallerSchema(s, inheritDraft7) {
   const copy = _deepCloneWithSymbols(s)
   if (needsDraft7) normalizeDraft7(copy, true)
   normalizeNullable(copy)
+  normalizeExclusiveBounds(copy)
   // Return original when normalization produced no change, copy otherwise.
   // Kept even though the walk has already said there is work, so that a walk
   // which over-reports still returns exactly what it returned before.

package/lib/draft7.js

@@ -105,6 +105,50 @@ function _normalize(schema) {
 // 'null' (`{ type: 'X', nullable: true }` -> `{ type: ['X', 'null'] }`), the
 // same shape AJV produces under its `nullable` option. Recurses only through
 // schema-bearing keywords so it never touches data values (default, const, etc.).
+
+// draft-04 spelled the exclusive bounds as booleans modifying `minimum` and
+// `maximum`; every dialect since spells them as the bound itself. The engines
+// read the numeric form, and the codegen path compared the value against the
+// boolean directly, so `true` became 1: a schema saying "below 5, exclusive"
+// rejected 1 and a schema saying "above 3, exclusive" accepted 3. Rewriting
+// the pair here gives every engine the same numeric keyword, which is also
+// what makes the two agree.
+function normalizeExclusiveBounds(schema) {
+  _walkExclusive(schema, new Set())
+  return schema
+}
+
+function _walkExclusive(node, seen) {
+  if (typeof node !== 'object' || node === null) return
+  if (Array.isArray(node)) {
+    for (const item of node) _walkExclusive(item, seen)
+    return
+  }
+  if (seen.has(node)) return
+  seen.add(node)
+
+  if (typeof node.exclusiveMinimum === 'boolean') {
+    if (node.exclusiveMinimum === true && typeof node.minimum === 'number') {
+      node.exclusiveMinimum = node.minimum
+      delete node.minimum
+    } else {
+      // `false` restates the inclusive bound, and a boolean with no bound
+      // beside it says nothing at all.
+      delete node.exclusiveMinimum
+    }
+  }
+  if (typeof node.exclusiveMaximum === 'boolean') {
+    if (node.exclusiveMaximum === true && typeof node.maximum === 'number') {
+      node.exclusiveMaximum = node.maximum
+      delete node.maximum
+    } else {
+      delete node.exclusiveMaximum
+    }
+  }
+
+  for (const key of Object.keys(node)) _walkExclusive(node[key], seen)
+}
+
 function normalizeNullable(schema) {
   if (typeof schema !== 'object' || schema === null) return schema
   _normalizeNullable(schema)
@@ -190,4 +234,4 @@ function _stripFormat(schema, seen) {
   }
 }
 
-module.exports = { isDraft7, normalizeDraft7, normalizeNullable, stripFormatAssertions }
+module.exports = { isDraft7, normalizeDraft7, normalizeNullable, normalizeExclusiveBounds, stripFormatAssertions }

package/lib/interpreter.js

@@ -523,7 +523,7 @@ function evalLeafV(P, data) {
     if (!found) return false;
   }
   if (P.hasConst && !deepEqual(P.const, data)) return false;
-  if (P.hasNumber && typeof data === 'number') {
+  if (P.hasNumber && typeof data === 'number' && isFinite(data)) {
     if (P.minimum !== undefined && !(data >= P.minimum)) return false;
     if (P.maximum !== undefined && !(data <= P.maximum)) return false;
     if (P.exclusiveMinimum !== undefined && !(data > P.exclusiveMinimum)) return false;
@@ -640,7 +640,7 @@ function evalLeaf(P, data, errors, instancePath, schemaPath) {
     if (errors !== NOERRORS) errors.push(err('const', 'const', instancePath, schemaPath + '/const', { allowedValue: P.const }, 'must be equal to constant'));
     valid = false;
   }
-  if (P.hasNumber && typeof data === 'number') {
+  if (P.hasNumber && typeof data === 'number' && isFinite(data)) {
     if (P.minimum !== undefined && !(data >= P.minimum)) { errors === NOERRORS || errors.push(err('minimum', 'minimum', instancePath, schemaPath + '/minimum', { comparison: '>=', limit: P.minimum }, `must be >= ${P.minimum}`)); valid = false; }
     if (P.maximum !== undefined && !(data <= P.maximum)) { errors === NOERRORS || errors.push(err('maximum', 'maximum', instancePath, schemaPath + '/maximum', { comparison: '<=', limit: P.maximum }, `must be <= ${P.maximum}`)); valid = false; }
     if (P.exclusiveMinimum !== undefined && !(data > P.exclusiveMinimum)) { errors === NOERRORS || errors.push(err('exclusiveMinimum', 'exclusiveMinimum', instancePath, schemaPath + '/exclusiveMinimum', { comparison: '>', limit: P.exclusiveMinimum }, `must be > ${P.exclusiveMinimum}`)); valid = false; }
@@ -931,7 +931,7 @@ class Interpreter {
     }
 
     // numbers
-    if (P.hasNumber && typeof data === 'number') {
+    if (P.hasNumber && typeof data === 'number' && isFinite(data)) {
       if (P.minimum !== undefined && !(data >= P.minimum)) { errors === NOERRORS || errors.push(err('minimum', 'minimum', instancePath, schemaPath + '/minimum', { comparison: '>=', limit: P.minimum }, `must be >= ${P.minimum}`)); valid = false; }
       if (P.maximum !== undefined && !(data <= P.maximum)) { errors === NOERRORS || errors.push(err('maximum', 'maximum', instancePath, schemaPath + '/maximum', { comparison: '<=', limit: P.maximum }, `must be <= ${P.maximum}`)); valid = false; }
       if (P.exclusiveMinimum !== undefined && !(data > P.exclusiveMinimum)) { errors === NOERRORS || errors.push(err('exclusiveMinimum', 'exclusiveMinimum', instancePath, schemaPath + '/exclusiveMinimum', { comparison: '>', limit: P.exclusiveMinimum }, `must be > ${P.exclusiveMinimum}`)); valid = false; }

package/lib/js-compiler.js

@@ -404,29 +404,33 @@ function compileToJS(schema, defs, schemaMap) {
     })
   }
 
-  // numeric
+  // numeric. A non-finite number carries no type here, so an empty schema
+  // accepts it and these must let it through for the same reason: otherwise
+  // `{ minimum: 3 }` turns away a value `{}` admits, and the two engines
+  // answer differently for it.
   if (schema.minimum !== undefined) {
     const min = schema.minimum
-    checks.push((d) => typeof d !== 'number' || d >= min)
+    checks.push((d) => typeof d !== 'number' || !isFinite(d) || d >= min)
   }
   if (schema.maximum !== undefined) {
     const max = schema.maximum
-    checks.push((d) => typeof d !== 'number' || d <= max)
+    checks.push((d) => typeof d !== 'number' || !isFinite(d) || d <= max)
   }
   if (schema.exclusiveMinimum !== undefined) {
     const min = schema.exclusiveMinimum
-    checks.push((d) => typeof d !== 'number' || d > min)
+    checks.push((d) => typeof d !== 'number' || !isFinite(d) || d > min)
   }
   if (schema.exclusiveMaximum !== undefined) {
     const max = schema.exclusiveMaximum
-    checks.push((d) => typeof d !== 'number' || d < max)
+    checks.push((d) => typeof d !== 'number' || !isFinite(d) || d < max)
   }
   if (schema.multipleOf !== undefined) {
     const div = schema.multipleOf
     checks.push((d) => {
-      if (typeof d !== 'number') return true
-      const r = d % div
-      return Math.abs(r) <= 1e-8 || Math.abs(r - div) <= 1e-8
+      if (typeof d !== 'number' || !isFinite(d)) return true
+      if (div === 0) return false
+      const q = d / div
+      return Number.isInteger(q) || Math.abs(q - Math.round(q)) < 1e-9
     })
   }
 
@@ -750,6 +754,21 @@ function buildTypeCheck(types) {
   }
 }
 
+// `multipleOf` as the interpreter reads it: divide and ask whether the
+// quotient is a whole number. The remainder form this replaces answered -1 %
+// 0.1 with -0.09999999999999995, which is neither near zero nor near the
+// divisor, so it called -1 not a multiple of 0.1 when -1 / 0.1 is exactly -10.
+// Emitted from one place because the expression stood in six.
+function multipleOfBad(v, m) {
+  if (m === 0) return 'true'
+  // Negated rather than written as "the distance is too large": a quotient
+  // that overflows to Infinity makes the distance NaN, and every comparison
+  // with NaN is false, so the direct form called 1e308 a multiple of
+  // 0.123456789. Asking whether it is good and negating keeps that case a
+  // rejection, which is what the suite wants and what the closure form does.
+  return `!(Number.isInteger(${v}/${m})||Math.abs(${v}/${m}-Math.round(${v}/${m}))<1e-9)`
+}
+
 const TYPE_CHECKS = {
   string: (d) => typeof d === 'string',
   number: (d) => typeof d === 'number' && isFinite(d),
@@ -768,12 +787,30 @@ function _canonical(x) {
 }
 
 const _formats = require('./formats')
+// The closure path's formats. It carried its own idea of an email and knew
+// five formats in all, so a schema that reached it was told "valid" for
+// anything the other engines turned away; the first call on a fresh validator
+// is the one that lands here. Every entry now names the same function the
+// other two paths use, and the list is the list they implement.
 const FORMAT_CHECKS = {
-  email: (s) => { const at = s.indexOf('@'); return at > 0 && at < s.length - 1 && s.indexOf('.', at) > at + 1 },
+  email: _formats.email,
+  'idn-email': _formats.idnEmail,
   date: _formats.date,
+  'date-time': _formats.dateTime,
+  time: _formats.time,
+  duration: _formats.duration,
   uuid: _formats.uuid,
+  uri: _formats.uri,
+  'uri-reference': _formats.uriReference,
+  'uri-template': _formats.uriTemplate,
+  iri: _formats.iri,
+  'iri-reference': _formats.iriReference,
   ipv4: _formats.ipv4,
+  ipv6: _formats.ipv6,
   hostname: _formats.hostname,
+  'json-pointer': _formats.jsonPointer,
+  'relative-json-pointer': _formats.relativeJsonPointer,
+  regex: (s) => { try { new RegExp(s, 'u'); return true } catch { return false } },
 }
 
 // Dangerous JS property names that exist on Object.prototype
@@ -1685,7 +1722,7 @@ function tryGenCombined(schema, access, ctx) {
     if (schema.maximum !== undefined) conds.push(`_v>${schema.maximum}`)
     if (schema.exclusiveMinimum !== undefined) conds.push(`_v<=${schema.exclusiveMinimum}`)
     if (schema.exclusiveMaximum !== undefined) conds.push(`_v>=${schema.exclusiveMaximum}`)
-    if (schema.multipleOf !== undefined) conds.push(`(Math.abs(_v%${schema.multipleOf})>1e-8&&Math.abs(_v%${schema.multipleOf}-${schema.multipleOf})>1e-8)`)
+    if (schema.multipleOf !== undefined) conds.push(`(${multipleOfBad('_v', schema.multipleOf)})`)
     if (conds.length < 2) return null
     return bind(conds)
   }
@@ -1696,7 +1733,7 @@ function tryGenCombined(schema, access, ctx) {
     if (schema.maximum !== undefined) conds.push(`_v>${schema.maximum}`)
     if (schema.exclusiveMinimum !== undefined) conds.push(`_v<=${schema.exclusiveMinimum}`)
     if (schema.exclusiveMaximum !== undefined) conds.push(`_v>=${schema.exclusiveMaximum}`)
-    if (schema.multipleOf !== undefined) conds.push(`(Math.abs(_v%${schema.multipleOf})>1e-8&&Math.abs(_v%${schema.multipleOf}-${schema.multipleOf})>1e-8)`)
+    if (schema.multipleOf !== undefined) conds.push(`(${multipleOfBad('_v', schema.multipleOf)})`)
     if (conds.length < 2) return null
     return bind(conds)
   }
@@ -1956,14 +1993,19 @@ function genCode(schema, v, lines, ctx, knownType) {
   }
 
   // numeric — skip type guard if known numeric
-  if (schema.minimum !== undefined) lines.push(isNum ? `if(${v}<${schema.minimum})return false` : `if(typeof ${v}==='number'&&${v}<${schema.minimum})return false`)
-  if (schema.maximum !== undefined) lines.push(isNum ? `if(${v}>${schema.maximum})return false` : `if(typeof ${v}==='number'&&${v}>${schema.maximum})return false`)
-  if (schema.exclusiveMinimum !== undefined) lines.push(isNum ? `if(${v}<=${schema.exclusiveMinimum})return false` : `if(typeof ${v}==='number'&&${v}<=${schema.exclusiveMinimum})return false`)
-  if (schema.exclusiveMaximum !== undefined) lines.push(isNum ? `if(${v}>=${schema.exclusiveMaximum})return false` : `if(typeof ${v}==='number'&&${v}>=${schema.exclusiveMaximum})return false`)
+  // Without `type: number` beside it, a numeric keyword has to let a
+  // non-finite value through: it carries no type, an empty schema accepts it,
+  // and the interpreted engine reads it the same way. With `type: number` the
+  // type check has already turned it away, so the guard is only needed here.
+  const numGuard = isNum ? '' : `typeof ${v}==='number'&&isFinite(${v})&&`
+  if (schema.minimum !== undefined) lines.push(`if(${numGuard}${v}<${schema.minimum})return false`)
+  if (schema.maximum !== undefined) lines.push(`if(${numGuard}${v}>${schema.maximum})return false`)
+  if (schema.exclusiveMinimum !== undefined) lines.push(`if(${numGuard}${v}<=${schema.exclusiveMinimum})return false`)
+  if (schema.exclusiveMaximum !== undefined) lines.push(`if(${numGuard}${v}>=${schema.exclusiveMaximum})return false`)
   if (schema.multipleOf !== undefined) {
     const m = schema.multipleOf
-    const bad = `(Math.abs(${v}%${m})>1e-8&&Math.abs(${v}%${m}-${m})>1e-8)`
-    lines.push(isNum ? `if${bad}return false` : `if(typeof ${v}==='number'&&${bad})return false`)
+    const bad = `(${multipleOfBad(v, m)})`
+    lines.push(`if(${numGuard}${bad})return false`)
   }
 
   // string length — skip type guard if known string.
@@ -3514,7 +3556,7 @@ function genCodeE(schema, v, pathExpr, lines, ctx, schemaPrefix) {
     const m = schema.multipleOf
     const ci = ctx.varCounter++
     // Use tolerance-based check for floating point (matches C++ behavior)
-    lines.push(`{const _r${ci}=typeof ${v}==='number'?${v}%${m}:NaN;if(typeof ${v}==='number'&&Math.abs(_r${ci})>1e-8&&Math.abs(_r${ci}-${m})>1e-8){${fail('multipleOf', 'multipleOf', `{multipleOf:${m}}`, `'must be multiple of ${m}'`)}}}`)
+    lines.push(`{if(typeof ${v}==='number'&&${multipleOfBad(v, m)}){${fail('multipleOf', 'multipleOf', `{multipleOf:${m}}`, `'must be multiple of ${m}'`)}}}`)
   }
 
   // string length — same s.length fast paths as the boolean codegen above.
@@ -4174,7 +4216,7 @@ function genCodeC(schema, v, pathExpr, lines, ctx, schemaPrefix) {
   if (schema.multipleOf !== undefined) {
     const m = schema.multipleOf
     const ci = ctx.varCounter++
-    lines.push(`{const _r${ci}=typeof ${v}==='number'?${v}%${m}:NaN;if(typeof ${v}==='number'&&Math.abs(_r${ci})>1e-8&&Math.abs(_r${ci}-${m})>1e-8){${fail('multipleOf', 'multipleOf', `{multipleOf:${m}}`, `'must be multiple of ${m}'`)}}}`)
+    lines.push(`{if(typeof ${v}==='number'&&${multipleOfBad(v, m)}){${fail('multipleOf', 'multipleOf', `{multipleOf:${m}}`, `'must be multiple of ${m}'`)}}}`)
   }
 
   // string length — s.length fast paths, _cpLen only in the uncertain band.

package/lib/plan-compiler.js

@@ -173,7 +173,11 @@ function install(deps) {
       if (P.exclusiveMaximum !== undefined) { const m = P.exclusiveMaximum; nums.push((d) => d < m); }
       if (P.multipleOf !== undefined) { const m = P.multipleOf; nums.push((d) => multipleOfOk(d, m)); }
       const run = combineValue(nums);
-      if (run !== null) checks.push((data) => typeof data !== 'number' || run(data));
+      // A non-finite number is not of type `number` here: dataBits() gives it
+      // no type bit, and an empty schema accepts it. So the numeric keywords
+      // must not apply to it either, or `{ minimum: 3 }` rejects a value that
+      // `{}` accepts and the compiled engine admits.
+      if (run !== null) checks.push((data) => typeof data !== 'number' || !isFinite(data) || run(data));
     }
     if (P.hasString) {
       const strs = [];

package/lib/schema-scan.js

@@ -27,6 +27,7 @@ const ANCHOR_ID = 1 << 2;        // a fragment-only `$id`, which is an anchor in
 const DEFINITIONS = 1 << 3;      // `definitions`, renamed to `$defs`
 const DEPENDENCIES = 1 << 4;     // `dependencies`, split into two keywords
 const TUPLE_ITEMS = 1 << 5;      // array-valued `items`, split into `prefixItems`
+const EXCLUSIVE_BOOL = 1 << 6;   // draft-04's boolean `exclusiveMinimum`/`exclusiveMaximum`
 
 // Everything only draft-07 normalization acts on. A schema of another dialect
 // can carry these without them meaning anything, so they are read together
@@ -74,6 +75,9 @@ function scan(schema) {
     if (node.definitions !== undefined && node.$defs === undefined) bits |= DEFINITIONS;
     if (node.dependencies !== undefined) bits |= DEPENDENCIES;
     if (Array.isArray(node.items)) bits |= TUPLE_ITEMS;
+    if (typeof node.exclusiveMinimum === 'boolean' || typeof node.exclusiveMaximum === 'boolean') {
+      bits |= EXCLUSIVE_BOOL;
+    }
     if (typeof node.$id === 'string' && ANCHOR_ID_RE.test(node.$id)) bits |= ANCHOR_ID;
 
     // `Object.keys` rather than `for...in`: the prototype chain has nothing
@@ -99,6 +103,10 @@ function scan(schema) {
 function needsNormalization(schema, isDraft7) {
   const bits = scan(schema);
   if (bits & NULLABLE) return true;
+  // The boolean form of the exclusive bounds is draft-04's, and it is
+  // unambiguous wherever it appears: no later dialect gives a boolean any
+  // meaning there. Normalizing it is not gated on the declared dialect.
+  if (bits & EXCLUSIVE_BOOL) return true;
   return isDraft7 ? (bits & DRAFT7_WORK) !== 0 : false;
 }
 
@@ -111,5 +119,6 @@ module.exports = {
   DEFINITIONS,
   DEPENDENCIES,
   TUPLE_ITEMS,
+  EXCLUSIVE_BOOL,
   DRAFT7_WORK,
 };

package/lib/tier0.js

@@ -100,6 +100,16 @@ function buildTier0Plan(schema) {
   };
 }
 
+// The same reading of `multipleOf` the other two engines use: divide and ask
+// whether the quotient is whole. An exact remainder test called 1 not a
+// multiple of 0.1, because 1 % 0.1 is 0.09999999999999995, and this file
+// answers a fresh validator's first calls, so that was the answer users saw.
+function _multipleOk(v, m) {
+  if (m === 0) return false;
+  const q = v / m;
+  return Number.isInteger(q) || Math.abs(q - Math.round(q)) < 1e-9;
+}
+
 // checkPrimitive stays exported for Tier 1 reuse.
 function checkPrimitive(c, v) {
   const m = c.typeMask;
@@ -117,7 +127,7 @@ function checkPrimitive(c, v) {
       if ((f & F_MAX) && v > c.max) return false;
       if ((f & F_EXCL_MIN) && v <= c.exclMin) return false;
       if ((f & F_EXCL_MAX) && v >= c.exclMax) return false;
-      if ((f & F_MULT) && v % c.multipleOf !== 0) return false;
+      if ((f & F_MULT) && !_multipleOk(v, c.multipleOf)) return false;
     }
   } else if (m === T_NUMBER) {
     if (typeof v !== 'number' || !isFinite(v)) return false;
@@ -127,7 +137,7 @@ function checkPrimitive(c, v) {
       if ((f & F_MAX) && v > c.max) return false;
       if ((f & F_EXCL_MIN) && v <= c.exclMin) return false;
       if ((f & F_EXCL_MAX) && v >= c.exclMax) return false;
-      if ((f & F_MULT) && v % c.multipleOf !== 0) return false;
+      if ((f & F_MULT) && !_multipleOk(v, c.multipleOf)) return false;
     }
   } else if (m === T_BOOLEAN) {
     if (typeof v !== 'boolean') return false;
@@ -171,7 +181,7 @@ function tier0ValidateObject(plan, data) {
         if ((f & F_MAX) && v > c.max) return false;
         if ((f & F_EXCL_MIN) && v <= c.exclMin) return false;
         if ((f & F_EXCL_MAX) && v >= c.exclMax) return false;
-        if ((f & F_MULT) && v % c.multipleOf !== 0) return false;
+        if ((f & F_MULT) && !_multipleOk(v, c.multipleOf)) return false;
       }
     } else if (m === T_NUMBER) {
       if (typeof v !== 'number' || !isFinite(v)) return false;
@@ -181,7 +191,7 @@ function tier0ValidateObject(plan, data) {
         if ((f & F_MAX) && v > c.max) return false;
         if ((f & F_EXCL_MIN) && v <= c.exclMin) return false;
         if ((f & F_EXCL_MAX) && v >= c.exclMax) return false;
-        if ((f & F_MULT) && v % c.multipleOf !== 0) return false;
+        if ((f & F_MULT) && !_multipleOk(v, c.multipleOf)) return false;
       }
     } else if (m === T_BOOLEAN) {
       if (typeof v !== 'boolean') return false;

package/lib/version.js

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

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "ata-validator",
-  "version": "1.18.0",
+  "version": "1.19.0",
   "description": "JSON Schema validation with first-class TypeScript and zero runtime cost. AOT compile to per-schema ESM modules with zero validator dependency. Generic Validator<T> for TypeBox/Zod/Valibot composition. Optional runtime API. Standard Schema V1 compatible.",
   "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_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_engine_diagnostic.js && node tests/test_format_engine_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_ajv_parity.js && node tests/test_user_format_error_path.js && node tests/test_unevaluated_error_path.js && node tests/test_pattern_properties_errors.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_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_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_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_engine_diagnostic.js && node tests/test_format_engine_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_ajv_parity.js && node tests/test_user_format_error_path.js && node tests/test_unevaluated_error_path.js && node tests/test_pattern_properties_errors.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_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.18.0",
-    "@ata-validator/native-darwin-x64": "1.18.0",
-    "@ata-validator/native-linux-arm64-gnu": "1.18.0",
-    "@ata-validator/native-linux-arm64-musl": "1.18.0",
-    "@ata-validator/native-linux-x64-gnu": "1.18.0",
-    "@ata-validator/native-linux-x64-musl": "1.18.0",
-    "@ata-validator/native-win32-x64": "1.18.0"
+    "@ata-validator/native-darwin-arm64": "1.19.0",
+    "@ata-validator/native-darwin-x64": "1.19.0",
+    "@ata-validator/native-linux-arm64-gnu": "1.19.0",
+    "@ata-validator/native-linux-arm64-musl": "1.19.0",
+    "@ata-validator/native-linux-x64-gnu": "1.19.0",
+    "@ata-validator/native-linux-x64-musl": "1.19.0",
+    "@ata-validator/native-win32-x64": "1.19.0"
   },
   "peerDependencies": {
     "yaml": "^2.0.0"