ata-validator 1.39.2 → 1.40.0

package/README.md

@@ -70,6 +70,8 @@ if (isValid(req.body)) {
 
 The `.compiled.mjs` modules are self-contained: zero runtime dependency on ata-validator, fully tree-shakeable, with TypeScript types emitted alongside.
 
+Code already written with `new Validator(schema)` gets the same result from the bundler plugin, without changes: [`@ata-project/unplugin`](https://github.com/ata-core/unplugin-ata) replaces each call whose schema is known at build time with a compiled validator that answers the same, and the runtime leaves the bundle. For the plugin's three-schema test entry a minified Vite build goes from 122.5 KB to 16.7 KB gzipped on ata 1.39.2. Schemas that arrive at runtime keep the runtime, which is the right tool for them.
+
 ## Measured by others
 
 Public harnesses run ata without ata's involvement. Quote these before anything in this
@@ -260,7 +262,8 @@ for. Speed is the same either way once warm.
 
 **In a browser, on an edge runtime, or anywhere cold starts are charged, compile.** This
 is where the difference is the whole story, and it is also where `new Function` is often
-blocked outright, which the compiled module does not need.
+blocked outright, which the compiled module does not need. With a bundler, adding `@ata-project/unplugin`
+is enough: it compiles `new Validator(schema)` calls at build time, and leaves the rest alone.
 
 ## When to use the runtime API instead
 
@@ -546,10 +549,12 @@ To get the compiled module without changing code written against the runtime API
 `new Validator(schema)` whose schema is known at build time is replaced with the compiled
 module wrapped by `fromCompiled()` from `ata-validator/compiled`, which answers `validate()`,
 `isValidObject()`, `validateJSON()` and `isValidJSON()` as the runtime does, defaults and errors
-included. For the plugin's three-schema test entry a minified Vite build goes from 115.7 KB to
-15.5 KB gzipped. In Node, loading the wrapper and a compiled module and answering the first two
+included. For the plugin's three-schema test entry a minified Vite build goes from 122.5 KB to
+16.7 KB gzipped on ata 1.39.2. In Node, loading the wrapper and a compiled module and answering the first two
 checks takes 1.12 ms where the runtime takes 6.63 ms (median of 15 fresh processes). Across
-SchemaStore's 977 schemas, 725 can be compiled away; the rest stay on the runtime.
+SchemaStore's 977 schemas, 725 can be compiled away; the rest stay on the runtime. Where the code only calls `isValidObject()` or `isValidJSON()`, the plugin uses
+`fromCompiledVerdict()` from `ata-validator/compiled-verdict` instead, which carries no error pipeline: a
+small app that only asks for a boolean bundles to 2.1 KB gzipped, against 11.5 KB with the full wrapper.
 
 Programmatic API if you prefer to script it:
 

package/compiled-verdict.d.ts

@@ -0,0 +1,11 @@
+// ata-validator/compiled-verdict: the wrapper a bundler plugin puts in place of
+// `new Validator(schema)` for a schema known at build time, when the code only
+// asks for a boolean. No error pipeline is included.
+import type { CompiledModule, CompiledOptions } from './compiled.js';
+
+export interface CompiledVerdictValidator<T = unknown> {
+  isValidObject(data: unknown): data is T;
+  isValidJSON(json: string): boolean;
+}
+
+export function fromCompiledVerdict<T = unknown>(mod: Pick<CompiledModule, 'isValid'>, schema: object, options?: CompiledOptions): CompiledVerdictValidator<T>;

package/compiled-verdict.js

@@ -0,0 +1,7 @@
+'use strict';
+
+// ata-validator/compiled-verdict: the wrapper a bundler plugin puts in place of
+// `new Validator(schema)` when the schema is known at build time and the code
+// only calls isValidObject() or isValidJSON(). It carries no error pipeline;
+// code that reads errors gets ata-validator/compiled instead.
+module.exports = require('./lib/compiled-verdict.js');

package/compiled-verdict.mjs

@@ -0,0 +1,3 @@
+import mod from './compiled-verdict.js';
+export const { fromCompiledVerdict } = mod;
+export default mod;

package/lib/compiled-common.js

@@ -0,0 +1,117 @@
+'use strict';
+
+// What the two compiled wrappers share: which Validator options they accept,
+// the defaults pass, and JSON parsing. lib/compiled.js answers all four entry
+// points; lib/compiled-verdict.js answers only the two that return a boolean,
+// so a bundle that never reads errors does not carry the error pipeline.
+
+const { buildDefaultsApplier } = require('./defaults');
+
+// The Validator options the wrapper answers the same way as the runtime.
+// Anything else changes what the runtime does in a way the wrapper does not
+// reproduce, so it is refused rather than ignored.
+const COMPILED_OPTIONS = Object.freeze(['useDefaults']);
+
+// With defaults, the document is filled in before it is checked, on every
+// entry point, as the runtime does.
+function prepare(mod, schema, options, name) {
+  if (options !== undefined && (options === null || typeof options !== 'object')) {
+    throw new TypeError(`${name} options must be an object`);
+  }
+  for (const key of Object.keys(options || {})) {
+    if (!COMPILED_OPTIONS.includes(key)) {
+      throw new TypeError(`${name} does not support the ${key} option; a Validator with it has to stay on the runtime`);
+    }
+  }
+  const fill = options && options.useDefaults === false ? null : buildDefaultsApplier(schema);
+  const isValid = fill ? (d) => { fill(d); return mod.isValid(d); } : mod.isValid;
+  return { fill, isValid };
+}
+
+function parse(text) {
+  try { return { value: JSON.parse(text) }; } catch (e) {
+    if (!(e instanceof SyntaxError)) throw e;
+    return { error: e };
+  }
+}
+
+// A frozen stand-in, as the runtime reports, when a document fails and neither
+// the schema nor the extension says why (the data changed in between).
+const EXT_FALLBACK = Object.freeze({ keyword: 'validation', instancePath: '', schemaPath: '#', params: {}, message: 'schema validation failed' });
+
+// A check the schema does not carry, registered the way @ata-project/keywords
+// registers `instanceof` and `typeof` on a Validator: `_extendChecks(resolve)`
+// before the first call, where resolve() returns { check, errors } or null.
+// The wrapper answers as the runtime does under such a check
+// (validator-core.js, _extendValidate and _jsonEntryWrappers): the verdict is
+// the schema's and the check's; validate() lists the schema's errors, then
+// the check's; the JSON entry points run the check only on text the schema
+// accepts. `extend(ext)` returns the wrapper's methods under the check, and is
+// called once, on the first call after registering, with the resolved check.
+function installExtension(api, schema, extend) {
+  let resolvers = null;
+  const define = (name, value) => Object.defineProperty(api, name, { value, configurable: true, writable: true, enumerable: false });
+  define('_schemaObj', schema);
+  define('_initialized', false);
+  define('_extendChecks', function (resolve) {
+    if (typeof resolve !== 'function') throw new TypeError('_extendChecks expects a function');
+    if (resolvers === null) {
+      resolvers = [];
+      const base = {};
+      for (const name of Object.keys(api)) base[name] = api[name];
+      // Resolved on the first call to any method, as the runtime resolves at
+      // its first compile, and the methods are bound once from then on.
+      let bound = null;
+      const bind = () => {
+        if (bound === null) {
+          let ext = null;
+          for (const r of resolvers) {
+            const x = r();
+            if (!x) continue;
+            ext = ext === null ? x : combine(ext, x);
+          }
+          bound = ext === null ? base : extend(base, ext);
+          for (const name of Object.keys(base)) api[name] = bound[name];
+        }
+        return bound;
+      };
+      for (const name of Object.keys(base)) api[name] = function (arg) { return bind()[name](arg); };
+    }
+    resolvers.push(resolve);
+    return api;
+  });
+}
+
+function combine(a, b) {
+  return {
+    check: (d) => a.check(d) && b.check(d),
+    errors: (d) => {
+      const x = a.errors(d), y = b.errors(d);
+      if (!x) return y;
+      if (!y) return x;
+      return x.concat(y);
+    },
+  };
+}
+
+// The JSON entry points under a check, as the runtime has them.
+function extendJSON(base, { check, errors }) {
+  return {
+    validateJSON: base.validateJSON && ((text) => {
+      const res = base.validateJSON(text);
+      if (!res.valid) return res;
+      const p = parse(text);
+      if (p.error) return res;
+      if (check(p.value)) return res;
+      const e = errors(p.value);
+      return e && e.length ? { valid: false, errors: e } : { valid: false, errors: [EXT_FALLBACK] };
+    }),
+    isValidJSON: (text) => {
+      if (!base.isValidJSON(text)) return false;
+      const p = parse(text);
+      return p.error ? true : check(p.value);
+    },
+  };
+}
+
+module.exports = { COMPILED_OPTIONS, prepare, parse, installExtension, extendJSON, EXT_FALLBACK };

package/lib/compiled-verdict.js

@@ -0,0 +1,30 @@
+'use strict';
+
+// The verdict half of lib/compiled.js: isValidObject() and isValidJSON(),
+// answered as a Validator with default options answers them, defaults filled
+// in first. A bundler plugin puts this in place of `new Validator(schema)`
+// when the code only ever asks for a boolean, so the error pipeline (the
+// rejection classes, enrichment, suggestions, JSON positions) stays out of the
+// bundle. Anything that reads errors needs ata-validator/compiled.
+
+const { prepare, parse, installExtension, extendJSON } = require('./compiled-common');
+
+function fromCompiledVerdict(mod, schema, options) {
+  const { isValid } = prepare(mod, schema, options, 'fromCompiledVerdict');
+  const api = {
+    isValidObject(data) {
+      return isValid(data);
+    },
+    isValidJSON(text) {
+      const p = parse(text);
+      return p.error ? false : isValid(p.value);
+    },
+  };
+  installExtension(api, schema, (base, ext) => ({
+    isValidObject: (d) => base.isValidObject(d) && ext.check(d),
+    isValidJSON: extendJSON(base, ext).isValidJSON,
+  }));
+  return api;
+}
+
+module.exports = { fromCompiledVerdict };

package/lib/compiled.js

@@ -16,14 +16,10 @@
 // leaves the input as it is, as the runtime then does.
 
 const { LazyRejection, RichRejection, LazyJsonRejection, _enrichLazy } = require('./rejections');
-const { buildDefaultsApplier } = require('./defaults');
+const { COMPILED_OPTIONS, prepare, parse, installExtension, extendJSON, EXT_FALLBACK } = require('./compiled-common');
 
 const VALID_RESULT = Object.freeze({ valid: true, errors: Object.freeze([]) });
 
-// The Validator options the wrapper answers the same way as the runtime.
-// Anything else changes what the runtime does in a way the wrapper does not
-// reproduce, so it is refused rather than ignored.
-const COMPILED_OPTIONS = Object.freeze(['useDefaults']);
 const EMPTY_ERRORS = Object.freeze([]);
 const VERDICT_DISAGREES = Object.freeze({
   valid: false,
@@ -50,23 +46,12 @@ class CompiledState {
 }
 
 function fromCompiled(mod, schema, options) {
-  if (options !== undefined && (options === null || typeof options !== 'object')) {
-    throw new TypeError('fromCompiled options must be an object');
-  }
-  for (const key of Object.keys(options || {})) {
-    if (!COMPILED_OPTIONS.includes(key)) {
-      throw new TypeError(`fromCompiled does not support the ${key} option; a Validator with it has to stay on the runtime`);
-    }
-  }
+  const { fill, isValid } = prepare(mod, schema, options, 'fromCompiled');
   const self = new CompiledState(schema);
-  const fill = options && options.useDefaults === false ? null : buildDefaultsApplier(schema);
   if (fill) {
     self._mutatesInput = true;
     self._preprocess = fill;
   }
-  // With defaults, the document is filled in before it is checked, on every
-  // entry point, as the runtime does.
-  const isValid = fill ? (d) => { fill(d); return mod.isValid(d); } : mod.isValid;
   const errFn = mod.validate;
   // The generated function's own result, rejected: if it says valid where the
   // verdict said no, the disagreement is reported rather than turned into an
@@ -78,13 +63,7 @@ function fromCompiled(mod, schema, options) {
   const rich = (data) => new RichRejection(raw(data), data, null, self, schema, _enrichLazy);
   const buildErrors = (data) => rich(data).errors;
   const buildRawErrors = (data) => rich(data)._ataRaw();
-  const parse = (text) => {
-    try { return { value: JSON.parse(text) }; } catch (e) {
-      if (!(e instanceof SyntaxError)) throw e;
-      return { error: e };
-    }
-  };
-  return {
+  const api = {
     validate(data) {
       if (isValid(data)) return { valid: true, data, errors: EMPTY_ERRORS };
       // The runtime returns the rich rejection directly when it rewrites input.
@@ -105,6 +84,56 @@ function fromCompiled(mod, schema, options) {
       return p.error ? false : isValid(p.value);
     },
   };
+  installExtension(api, schema, (base, ext) => {
+    const json = extendJSON(base, ext);
+    return {
+      // The verdict is the schema's and the check's. A failure lists the
+      // schema's errors, then the check's, read when somebody asks.
+      validate(data) {
+        const r = base.validate(data);
+        if (r.valid && ext.check(data)) return r;
+        return new ExtendedRejection(r, data, ext.errors);
+      },
+      isValidObject: (d) => base.isValidObject(d) && ext.check(d),
+      validateJSON: json.validateJSON,
+      isValidJSON: json.isValidJSON,
+    };
+  });
+  return api;
+}
+
+// validate() under a check, as the runtime reports it (ExtendedRejection in
+// validator-core.js): the inner result's errors, then the check's.
+class ExtendedRejection {
+  constructor(inner, data, collect) {
+    this.valid = false;
+    this._inner = inner;
+    this._data = data;
+    this._collect = collect;
+    this._errors = null;
+  }
+  toJSON() {
+    return { valid: false, errors: this.errors };
+  }
+  _ataRaw() {
+    const inner = this._inner;
+    const more = this._collect(this._data) || [];
+    const raw = inner.valid ? more : (typeof inner._ataRaw === 'function' ? inner._ataRaw() : inner.errors).concat(more);
+    return raw.length ? raw : [EXT_FALLBACK];
+  }
 }
+Object.defineProperty(ExtendedRejection.prototype, 'errors', {
+  enumerable: true,
+  configurable: true,
+  get() {
+    if (this._errors === null) {
+      const inner = this._inner;
+      const more = this._collect(this._data) || [];
+      const all = inner.valid ? more : inner.errors.concat(more);
+      this._errors = all.length ? all : [EXT_FALLBACK];
+    }
+    return this._errors;
+  },
+});
 
 module.exports = { fromCompiled, COMPILED_OPTIONS };

package/lib/version.js

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

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "ata-validator",
-  "version": "1.39.2",
+  "version": "1.40.0",
   "description": "JSON Schema validator that compiles to plain JavaScript, still runs where code generation is blocked, and can be compiled away at build time. Passes the full official test suite.",
   "main": "index.js",
   "module": "index.mjs",
@@ -43,6 +43,11 @@
       "import": "./compiled.mjs",
       "require": "./compiled.js"
     },
+    "./compiled-verdict": {
+      "types": "./compiled-verdict.d.ts",
+      "import": "./compiled-verdict.mjs",
+      "require": "./compiled-verdict.js"
+    },
     "./package.json": "./package.json"
   },
   "sideEffects": false,
@@ -59,7 +64,7 @@
     "release:check": "node tests/test_pack_purity.js && node scripts/check-doc-coverage.js && node tests/test_error_codes_lock.js && node tests/test_safe_regex_embed.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_text_path_errors.js && node tests/test_compiled_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_error_list_differential.js && node tests/test_output_format.js && node tests/test_standard_json_schema.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.js && node tests/test_browser_nofs.js && node tests/test_browser_imports_guard.js && node tests/test_esm_exports.js && node tests/test_version_sync.js && node tests/test_native_loaded.js && node tests/test_native_lazy.js && node tests/test_buffer_apis_without_native.js && node tests/test_cold_start_modules.js && node tests/test_safe_regex_embed.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_regex_ecma_whitespace.js && node tests/test_regex_native_linear.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_generator_error_content.js && node tests/test_inherited_key_presence.js && node tests/test_proto_accessor.js && node tests/test_hybrid_tier.js && node tests/test_first_rejection_builds_one.js && node tests/test_container_local.js && node tests/test_one_shot_validate.js && node tests/test_fixed_pattern_inline.js && node tests/test_plan_source.js && node tests/test_fused_remove_additional.js && node tests/test_runtime_parse.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_ref_annotation_siblings.js && node tests/test_gate_wrapped_schemas.js && node tests/test_pattern_message_escape.js && node tests/test_nested_defaults_engines.js && node tests/test_nested_coercion_parity.js && node tests/test_preprocess_cache.js && node tests/test_large_schema_codegen.js && node tests/test_base_uri.js && node tests/test_hoisted_def_recursion.js && node tests/test_alias_definitions.js && node tests/test_property_names_ref.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_unevaluated_differential.js && node tests/fuzz_differential.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_ref_error_order.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_lite_parity.js && node tests/test_lite_bundle_size.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_aot_source_frames.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 tests/test_collect_evaluated.js && node tests/test_differential_tiers.js && node tests/test_draft7.js && node tests/test_dual_path.js && node tests/test_keywords_codegen.js && node tests/test_ref_cross.js && node tests/test_shape_classifier.js && node tests/test_tier0.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_text_path_errors.js && node tests/test_compiled_parity.js && node tests/test_compiled_extension_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_error_list_differential.js && node tests/test_output_format.js && node tests/test_standard_json_schema.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.js && node tests/test_browser_nofs.js && node tests/test_browser_imports_guard.js && node tests/test_esm_exports.js && node tests/test_version_sync.js && node tests/test_native_loaded.js && node tests/test_native_lazy.js && node tests/test_buffer_apis_without_native.js && node tests/test_cold_start_modules.js && node tests/test_safe_regex_embed.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_regex_ecma_whitespace.js && node tests/test_regex_native_linear.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_generator_error_content.js && node tests/test_inherited_key_presence.js && node tests/test_proto_accessor.js && node tests/test_hybrid_tier.js && node tests/test_first_rejection_builds_one.js && node tests/test_container_local.js && node tests/test_one_shot_validate.js && node tests/test_fixed_pattern_inline.js && node tests/test_plan_source.js && node tests/test_fused_remove_additional.js && node tests/test_runtime_parse.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_ref_annotation_siblings.js && node tests/test_gate_wrapped_schemas.js && node tests/test_pattern_message_escape.js && node tests/test_nested_defaults_engines.js && node tests/test_nested_coercion_parity.js && node tests/test_preprocess_cache.js && node tests/test_large_schema_codegen.js && node tests/test_base_uri.js && node tests/test_hoisted_def_recursion.js && node tests/test_alias_definitions.js && node tests/test_property_names_ref.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_unevaluated_differential.js && node tests/fuzz_differential.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_ref_error_order.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_lite_parity.js && node tests/test_lite_bundle_size.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_aot_source_frames.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 tests/test_collect_evaluated.js && node tests/test_differential_tiers.js && node tests/test_draft7.js && node tests/test_dual_path.js && node tests/test_keywords_codegen.js && node tests/test_ref_cross.js && node tests/test_shape_classifier.js && node tests/test_tier0.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",
@@ -130,18 +135,21 @@
     "compiled.js",
     "compiled.mjs",
     "compiled.d.ts",
+    "compiled-verdict.js",
+    "compiled-verdict.mjs",
+    "compiled-verdict.d.ts",
     "bin/",
     "README.md",
     "LICENSE"
   ],
   "optionalDependencies": {
-    "@ata-validator/native-darwin-arm64": "1.39.2",
-    "@ata-validator/native-darwin-x64": "1.39.2",
-    "@ata-validator/native-linux-arm64-gnu": "1.39.2",
-    "@ata-validator/native-linux-arm64-musl": "1.39.2",
-    "@ata-validator/native-linux-x64-gnu": "1.39.2",
-    "@ata-validator/native-linux-x64-musl": "1.39.2",
-    "@ata-validator/native-win32-x64": "1.39.2"
+    "@ata-validator/native-darwin-arm64": "1.40.0",
+    "@ata-validator/native-darwin-x64": "1.40.0",
+    "@ata-validator/native-linux-arm64-gnu": "1.40.0",
+    "@ata-validator/native-linux-arm64-musl": "1.40.0",
+    "@ata-validator/native-linux-x64-gnu": "1.40.0",
+    "@ata-validator/native-linux-x64-musl": "1.40.0",
+    "@ata-validator/native-win32-x64": "1.40.0"
   },
   "peerDependencies": {
     "yaml": "^2.0.0"