ata-validator 1.31.0 → 1.31.1

package/index.js

@@ -1406,7 +1406,7 @@ class Validator {
                       return this._compiled.validate(x);
                     });
         }
-        return _errOnlyImpl(d);
+        return _mustReject(_errOnlyImpl(d));
       };
 
       // Best path: combined validator (single pass, validates + collects errors)
@@ -1450,7 +1450,7 @@ class Validator {
       let _errPreferredImpl = null;
       const errPreferCombined = (d) => {
         if (_errPreferredImpl === null) _errPreferredImpl = combinedIfSafe() || errOnly;
-        return _errPreferredImpl(d);
+        return _mustReject(_errPreferredImpl(d));
       };
 
       // The boolean engine is the verdict authority for these paths; the
@@ -1513,7 +1513,7 @@ class Validator {
         let impl = null;
         const onReject = (data) => {
           const combined = combinedIfSafe();
-          if (combined) { impl = combined; return combined(data); }
+          if (combined) { impl = combined; return _mustReject(combined(data)); }
           return errOnly(data);
         };
         const hybridFn = jsFn._hybridFactory(VALID_RESULT, onReject);
@@ -2666,6 +2666,19 @@ Object.defineProperty(Validator.prototype, "~standard", {
   },
 });
 
+// The error resolvers run only after a verdict function has said no. If one
+// answers valid anyway, two generators disagree, and the verdict is the one
+// to keep: returning the resolver's answer is how a vacuous combined function
+// turned a rejection into an acceptance in validateJSON. The disagreement is
+// reported as a generic failure rather than hidden.
+const _VERDICT_DISAGREES = Object.freeze({
+  valid: false,
+  errors: Object.freeze([Object.freeze({ keyword: 'validation', instancePath: '', schemaPath: '#', params: Object.freeze({}), message: 'schema validation failed' })]),
+});
+function _mustReject(r) {
+  return r && r.valid === false ? r : _VERDICT_DISAGREES;
+}
+
 // Install the verdict method. Every place that binds isValidObject comes
 // through here, so a check registered with _extendVerdict survives the method
 // being replaced as the validator compiles further, which it does more than

package/lib/js-compiler.js

@@ -968,6 +968,23 @@ function hasNestedIdScope(node, isRoot = true) {
 // only safe way out.
 const DECLINE = Symbol('ata.decline')
 
+// The error and combined generators compile the subschemas of not, if, contains
+// and their anyOf/oneOf closures with the boolean generator. That generator
+// follows a reference back to the root with `_validate` and a reference cycle
+// with a named function in its preamble, and neither exists inside the other
+// two generators' functions: the first threw a ReferenceError on the first
+// document that reached it, and the second cut the cycle, so the reference
+// checked nothing. While `nestedBoolean` is set, genCode declines at those
+// points instead, and the caller's generator declines the schema.
+function nestedGenCode(schema, v, lines, ctx) {
+  ctx.nestedBoolean = (ctx.nestedBoolean || 0) + 1
+  try {
+    genCode(schema, v, lines, ctx)
+  } finally {
+    ctx.nestedBoolean--
+  }
+}
+
 const CYCLE_DEPTH = 512
 
 // Declarations the guarded functions close over. Emitted once, ahead of them.
@@ -1878,6 +1895,7 @@ function genCode(schema, v, lines, ctx, knownType) {
   if (schema.$ref) {
     // Self-reference "#" — recursive call to root validator
     if (schema.$ref === '#') {
+      if (ctx.nestedBoolean) throw DECLINE
       ctx.usesRecursion = true
       lines.push(`if(!_validate(${v}))return false`)
       if (!hasSiblings) return
@@ -1920,7 +1938,7 @@ function genCode(schema, v, lines, ctx, knownType) {
         }
         lines.push(`if(!${fnName}(${v}))return false`)
         if (!hasSiblings) return
-      } else if (ctx.refStack.has(schema.$ref)) { if (!hasSiblings) return }
+      } else if (ctx.refStack.has(schema.$ref)) { if (ctx.nestedBoolean) throw DECLINE; if (!hasSiblings) return }
       else {
         ctx.refStack.add(schema.$ref)
         genCode(ctx.rootDefs[defName], v, lines, ctx, knownType)
@@ -1932,7 +1950,7 @@ function genCode(schema, v, lines, ctx, knownType) {
       const entry = ctx.rootDefs && ctx.rootDefs[schema.$ref]
       const anchorTarget = entry && entry.raw ? entry.raw : (ctx.anchors && ctx.anchors[schema.$ref])
       if (anchorTarget) {
-        if (ctx.refStack.has(schema.$ref)) { if (!hasSiblings) return }
+        if (ctx.refStack.has(schema.$ref)) { if (ctx.nestedBoolean) throw DECLINE; if (!hasSiblings) return }
         else {
           ctx.refStack.add(schema.$ref)
           genCode(anchorTarget, v, lines, ctx, knownType)
@@ -1975,11 +1993,13 @@ function genCode(schema, v, lines, ctx, knownType) {
       const target = ctx.anchors[anchorKey]
       if (target === ctx.rootSchema) {
         // Self-recursive: generate _validate(v) call
+        if (ctx.nestedBoolean) throw DECLINE
         ctx.usesRecursion = true
         lines.push(`if(!_validate(${v}))return false`)
       } else {
         // Different schema: inline the target validation
         const refKey = '$dynamicRef:' + anchorKey
+        if (ctx.refStack.has(refKey) && ctx.nestedBoolean) throw DECLINE
         if (!ctx.refStack.has(refKey)) {
           ctx.refStack.add(refKey)
           genCode(target, v, lines, ctx, knownType)
@@ -4178,7 +4198,7 @@ function genCodeE(schema, v, pathExpr, lines, ctx, schemaPrefix) {
   if (schema.contains !== undefined) {
     const ci = ctx.varCounter++
     const subLines = []
-    genCode(schema.contains, `_cv`, subLines, ctx)
+    nestedGenCode(schema.contains, `_cv`, subLines, ctx)
     const fnBody = subLines.length === 0 ? `return true` : `${subLines.join(';')};return true`
     const minC = schema.minContains !== undefined ? schema.minContains : 1
     const maxC = schema.maxContains
@@ -4210,7 +4230,7 @@ function genCodeE(schema, v, pathExpr, lines, ctx, schemaPrefix) {
   // not
   if (schema.not !== undefined) {
     const subLines = []
-    genCode(schema.not, '_nv', subLines, ctx)
+    nestedGenCode(schema.not, '_nv', subLines, ctx)
     const nfn = subLines.length === 0 ? `function(_nv){return true}` : `function(_nv){${subLines.join(';')};return true}`
     const fi = ctx.varCounter++
     lines.push(`{const _nf${fi}=${nfn};if(_nf${fi}(${v})){${fail('not', 'not', '{}', "'must NOT be valid'")}}}`)
@@ -4219,7 +4239,7 @@ function genCodeE(schema, v, pathExpr, lines, ctx, schemaPrefix) {
   // if/then/else
   if (schema.if !== undefined) {
     const ifLines = []
-    genCode(schema.if, '_iv', ifLines, ctx)
+    nestedGenCode(schema.if, '_iv', ifLines, ctx)
     const fi = ctx.varCounter++
     const ifFn = ifLines.length === 0
       ? `function(_iv){return true}`
@@ -4324,22 +4344,34 @@ function compileToJSCombined(schema, VALID_RESULT, schemaMap, userFormats) {
   const ctx = { varCounter: 0, helperCode: [], shared: [], closureVars: ['_cpLen'], closureVals: [_cpLen],
                 rootDefs: cRootDefs, refStack: new Set(), schemaMap: schemaMap || null, anchors: cAnchors, rootSchema: schema, userFormats: userFormats || null }
   const lines = []
-  genCodeC(schema, 'd', '', lines, ctx, '#')
+  try {
+    genCodeC(schema, 'd', '', lines, ctx, '#')
+  } catch (e) {
+    if (e === DECLINE) return null
+    throw e
+  }
   if (lines.length === 0) return () => VALID_RESULT
 
-  // Use factory pattern: closure vars (regexes, etc.) created once, not per call
-  const closureParams = ctx.closureVars.join(',')
-  // Lazy error array — no allocation for valid data (the common case)
+  // Use factory pattern: closure vars (regexes, etc.) created once, not per call.
+  // The helpers are constants too and are declared in the factory: inside the
+  // function they were rebuilt on every call. `__ataSafeRe` is bound when a
+  // helper compiles a pattern through it, which the boolean generator does for
+  // subschemas under not/if/contains; without the binding those threw a
+  // ReferenceError on the first document that reached them.
+  const closureNames = ctx.usesSafeRe ? [...ctx.closureVars, '__ataSafeRe'] : ctx.closureVars
+  const closureArgs = ctx.usesSafeRe ? [...ctx.closureVals, compileSafe] : ctx.closureVals
+  const closureParams = closureNames.join(',')
+  const helpers = ctx.helperCode.length ? ctx.helperCode.join('\n  ') + '\n  ' : ''
+  // Lazy error array: no allocation for valid data (the common case)
   const inner = `let _e;\n  ` +
-    (ctx.helperCode.length ? ctx.helperCode.join('\n  ') + '\n  ' : '') +
     lines.join('\n  ') +
     `\n  return _e?{valid:false,errors:_e}:R`
 
   try {
-    if (typeof process !== 'undefined' && process.env && process.env.ATA_DUMP_CODEGEN) console.log('=== COMBINED CODEGEN ===\n' + inner + '\n=== CLOSURE VARS: ' + ctx.closureVars.length + ' ===')
+    if (typeof process !== 'undefined' && process.env && process.env.ATA_DUMP_CODEGEN) console.log('=== COMBINED CODEGEN ===\n' + helpers + inner + '\n=== CLOSURE VARS: ' + ctx.closureVars.length + ' ===')
     const factory = new Function('R' + (closureParams ? ',' + closureParams : ''),
-      `return function(d){${inner}}`)
-    return factory(VALID_RESULT, ...ctx.closureVals)
+      `${helpers}return function(d){${inner}}`)
+    return factory(VALID_RESULT, ...closureArgs)
   } catch (e) {
     if (typeof process !== 'undefined' && process.env && process.env.ATA_DEBUG) console.error('compileToJSCombined error:', e.message, '\n', inner.slice(0, 500))
     return null
@@ -4411,17 +4443,17 @@ function genCodeC(schema, v, pathExpr, lines, ctx, schemaPrefix) {
     const anchorKey = schema.$dynamicRef.startsWith('#') ? schema.$dynamicRef : '#' + schema.$dynamicRef
     if (ctx.anchors && ctx.anchors[anchorKey]) {
       const target = ctx.anchors[anchorKey]
-      if (target === ctx.rootSchema) {
-        // Self-recursive: bail to non-combined path (combined doesn't support named recursion)
-        // Just skip — the hybrid path will handle this via jsFn + errFn
-      } else {
-        const refKey = '$dynamicRef:' + anchorKey
-        if (!ctx.refStack.has(refKey)) {
-          ctx.refStack.add(refKey)
-          genCodeC(target, v, pathExpr, lines, ctx, schemaPrefix)
-          ctx.refStack.delete(refKey)
-        }
-      }
+      // This generator has no named functions, so it cannot follow a reference
+      // back to the root or around a cycle. It used to emit nothing in both
+      // cases, which the function then answered as valid: a document the other
+      // generators reject passed through validateJSON. It declines instead,
+      // and the schema takes the error generator.
+      if (target === ctx.rootSchema) throw DECLINE
+      const refKey = '$dynamicRef:' + anchorKey
+      if (ctx.refStack.has(refKey)) throw DECLINE
+      ctx.refStack.add(refKey)
+      genCodeC(target, v, pathExpr, lines, ctx, schemaPrefix)
+      ctx.refStack.delete(refKey)
     }
   }
 
@@ -4904,7 +4936,7 @@ function genCodeC(schema, v, pathExpr, lines, ctx, schemaPrefix) {
   if (schema.contains !== undefined) {
     const ci = ctx.varCounter++
     const subLines = []
-    genCode(schema.contains, `_cv`, subLines, ctx)
+    nestedGenCode(schema.contains, `_cv`, subLines, ctx)
     const fnBody = subLines.length === 0 ? `return true` : `${subLines.join(';')};return true`
     const minC = schema.minContains !== undefined ? schema.minContains : 1
     const maxC = schema.maxContains
@@ -4920,20 +4952,20 @@ function genCodeC(schema, v, pathExpr, lines, ctx, schemaPrefix) {
   // anyOf
   if (schema.anyOf) {
     const fi = ctx.varCounter++
-    const fns = schema.anyOf.map(sub => { const sl = []; genCode(sub, '_av', sl, ctx); return sl.length === 0 ? `function(_av){return true}` : `function(_av){${sl.join(';')};return true}` })
+    const fns = schema.anyOf.map(sub => { const sl = []; nestedGenCode(sub, '_av', sl, ctx); return sl.length === 0 ? `function(_av){return true}` : `function(_av){${sl.join(';')};return true}` })
     lines.push(`{const _af${fi}=[${fns.join(',')}];let _am=false;for(let _ai=0;_ai<_af${fi}.length;_ai++){if(_af${fi}[_ai](${v})){_am=true;break}}if(!_am){${fail('anyOf', 'anyOf', '{}', "'must match a schema in anyOf'")}}}`)
   }
 
   // oneOf
   if (schema.oneOf) {
     const fi = ctx.varCounter++
-    const fns = schema.oneOf.map(sub => { const sl = []; genCode(sub, '_ov', sl, ctx); return sl.length === 0 ? `function(_ov){return true}` : `function(_ov){${sl.join(';')};return true}` })
+    const fns = schema.oneOf.map(sub => { const sl = []; nestedGenCode(sub, '_ov', sl, ctx); return sl.length === 0 ? `function(_ov){return true}` : `function(_ov){${sl.join(';')};return true}` })
     lines.push(`{const _of${fi}=[${fns.join(',')}];let _oc=0;for(let _oi=0;_oi<_of${fi}.length;_oi++){if(_of${fi}[_oi](${v}))_oc++;if(_oc>1)break}if(_oc!==1){${fail('oneOf', 'oneOf', '{}', "'must match exactly one schema in oneOf'")}}}`)
   }
 
   // not
   if (schema.not !== undefined) {
-    const sl = []; genCode(schema.not, '_nv', sl, ctx)
+    const sl = []; nestedGenCode(schema.not, '_nv', sl, ctx)
     const nfn = sl.length === 0 ? `function(_nv){return true}` : `function(_nv){${sl.join(';')};return true}`
     const fi = ctx.varCounter++
     lines.push(`{const _nf${fi}=${nfn};if(_nf${fi}(${v})){${fail('not', 'not', '{}', "'must NOT be valid'")}}}`)
@@ -4941,7 +4973,7 @@ function genCodeC(schema, v, pathExpr, lines, ctx, schemaPrefix) {
 
   // if/then/else
   if (schema.if !== undefined) {
-    const sl = []; genCode(schema.if, '_iv', sl, ctx)
+    const sl = []; nestedGenCode(schema.if, '_iv', sl, ctx)
     const fi = ctx.varCounter++
     const ifFn = sl.length === 0 ? `function(_iv){return true}` : `function(_iv){${sl.join(';')};return true}`
     lines.push(`{const _if${fi}=${ifFn}`)

package/lib/version.js

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

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "ata-validator",
-  "version": "1.31.0",
+  "version": "1.31.1",
   "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_scanner_differential.js && node tests/test_validate_json_scanner_cost.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_engine_option.js && node tests/test_compile_cache_order.js && node tests/test_engine_diagnostic.js && node tests/test_format_engine_parity.js && node tests/test_error_accumulator_collision.js && node tests/test_uri_helper_parity.js && node tests/test_uri_fast_path.js && node tests/test_extend_verdict.js && node tests/test_ipv4_regex.js && node tests/test_ipv6_fast_path.js && node tests/test_formats_single_pass.js && node tests/test_email_format_cost.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_deferred_def_scope.js && node tests/test_node_scoped_ctx_flags.js && node tests/test_fast_slot_exhaustion.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_additional_props_combined_cost.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_single_pass_errors.js && node tests/test_lazy_json_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_defaults_own_keys.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_targeted_positions.js && node tests/test_position_map_cost.js && node tests/test_targeted_positions_cost.js && node tests/test_aot_staleness.js && node tests/test_file_positions.js && node tests/test_aot_positions_cost.js && node tests/test_schema_hash.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_validate_json_scanner_cost.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_engine_option.js && node tests/test_compile_cache_order.js && node tests/test_engine_diagnostic.js && node tests/test_format_engine_parity.js && node tests/test_error_accumulator_collision.js && node tests/test_uri_helper_parity.js && node tests/test_uri_fast_path.js && node tests/test_extend_verdict.js && node tests/test_ipv4_regex.js && node tests/test_ipv6_fast_path.js && node tests/test_nested_recursion_decline.js && node tests/test_formats_single_pass.js && node tests/test_email_format_cost.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_deferred_def_scope.js && node tests/test_node_scoped_ctx_flags.js && node tests/test_fast_slot_exhaustion.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_additional_props_combined_cost.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_single_pass_errors.js && node tests/test_lazy_json_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_defaults_own_keys.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_targeted_positions.js && node tests/test_position_map_cost.js && node tests/test_targeted_positions_cost.js && node tests/test_aot_staleness.js && node tests/test_file_positions.js && node tests/test_aot_positions_cost.js && node tests/test_schema_hash.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",
@@ -121,13 +121,13 @@
     "LICENSE"
   ],
   "optionalDependencies": {
-    "@ata-validator/native-darwin-arm64": "1.31.0",
-    "@ata-validator/native-darwin-x64": "1.31.0",
-    "@ata-validator/native-linux-arm64-gnu": "1.31.0",
-    "@ata-validator/native-linux-arm64-musl": "1.31.0",
-    "@ata-validator/native-linux-x64-gnu": "1.31.0",
-    "@ata-validator/native-linux-x64-musl": "1.31.0",
-    "@ata-validator/native-win32-x64": "1.31.0"
+    "@ata-validator/native-darwin-arm64": "1.31.1",
+    "@ata-validator/native-darwin-x64": "1.31.1",
+    "@ata-validator/native-linux-arm64-gnu": "1.31.1",
+    "@ata-validator/native-linux-arm64-musl": "1.31.1",
+    "@ata-validator/native-linux-x64-gnu": "1.31.1",
+    "@ata-validator/native-linux-x64-musl": "1.31.1",
+    "@ata-validator/native-win32-x64": "1.31.1"
   },
   "peerDependencies": {
     "yaml": "^2.0.0"