ata-validator 1.33.1 → 1.33.3

package/README.md

@@ -98,20 +98,21 @@ file.
 
 | Dimension | Schema | ata-AOT | runtime validator | Difference |
 |---|---|---|---|---|
-| Bundle (gzipped) | simple | 1.3 KB | 52.7 KB | 39.8x smaller |
-| Bundle (gzipped) | complex | 7.8 KB | 52.7 KB | 6.7x smaller |
-| Bundle (gzipped) | nested | 4.5 KB | 52.7 KB | 11.8x smaller |
-| Cold start | simple | 22 ms | 48 ms | 2.2x faster |
-| Throughput (1M ops) | simple | 307 Mops/s | 100 Mops/s | 3.1x faster |
-| Compile time | simple | 17 µs | 1.62 ms | 93x faster |
+| Bundle (gzipped) | simple | 1.3 KB | 58.1 KB | 43.9x smaller |
+| Bundle (gzipped) | complex | 7.8 KB | 58.1 KB | 7.4x smaller |
+| Bundle (gzipped) | nested | 4.5 KB | 58.1 KB | 12.9x smaller |
+| Cold start | simple | 22 ms | 44 ms | 2.0x faster |
+| Throughput (1M ops) | simple | 266 Mops/s | 109 Mops/s | 2.4x faster |
+| Compile time | simple | 19 µs | 1.67 ms | 87x faster |
 
 The runtime column is the default validator most frameworks ship. Reproduce on your machine
-with `npm run bench:aot-vs-ajv`. Numbers from one run on Apple M4 Pro, Node 25.2.1, 2026-09-27,
-on ata-validator 1.32.1. Emitted modules are about 0.2 to 0.4 KB larger gzipped than on 1.25.0,
-which is what the exact own-property checks added in 1.31.2 cost. Across three runs throughput
-moved between 296 and 307 Mops/s against 99 to 107, cold start between 21 and 22 ms against 41
-to 48, and the compile ratio between 87x and 95x, so treat the last three rows as an order of
-magnitude rather than a constant.
+with `npm run bench:aot-vs-ajv`. Numbers from one run on Apple M4 Pro, Node 25.2.1, 2026-09-28,
+on ata-validator 1.33.1. The runtime column's bundle measured 52.7 KB on the previous run and
+58.1 KB now, with ata's modules unchanged in size. Across three runs throughput moved
+between 231 and 280 Mops/s against 97 to 109, cold start between 21 and 22 ms against 40 to 44,
+and the compile ratio between 80x and 87x. The throughput row times a single one-million-call
+loop of a few milliseconds, so it moves the most from run to run; treat the last three rows as
+an order of magnitude rather than a constant.
 
 The wins are largest on bundle size and compile time because AOT moves work from runtime to
 build time. Throughput and cold start are also faster because the compiled validator is a
@@ -239,20 +240,20 @@ is the most common way to get a misleading number out of this library.
 
 | | compiled with `ata build` | runtime `new Validator(schema)` |
 |---|---|---|
-| In a bundle, gzipped | **2.3 KB** | 91.4 KB |
-| Time to a served request | **3.4 ms** | 11.2 ms |
+| In a bundle, gzipped | **2.2 KB** | 92.3 KB |
+| Time to a served request | **3.5 ms** | 11.2 ms |
 | Schema known when | build time | any time |
 
 The bundle row is the ten-field user schema in `tests/fixtures/error-dx/user.schema.json`,
 every export of the compiled module against `new Validator(schema)`, built with
-`bun build --minify --target=browser` on ata 1.32.1. The startup row is a Hono route on
+`bun build --minify --target=browser` on ata 1.33.1. The startup row is a Hono route on
 Bun 1.4, best of seven, from `benchmark/bundle`, against 3.5 ms for the same app doing no
 validation at all, so the compiled path costs nothing measurable to start. The runtime
 figure is what it is because a schema that arrives at run time can use any keyword, so
 the whole engine has to be there. The compiled module imports nothing and contains only
 the checks your schema asks for.
 
-**On a server, use whichever fits your schemas.** 91 KB of JavaScript on a Node or Bun
+**On a server, use whichever fits your schemas.** 92 KB of JavaScript on a Node or Bun
 process is not a cost anyone notices, and the runtime API is the simpler thing to reach
 for. Speed is the same either way once warm.
 
@@ -526,13 +527,13 @@ npx ata build 'schemas/*.json' --out-dir build/validators --check
 Run with `--watch` during development for incremental rebuilds.
 
 Bundle sizes for the 10-field user schema in `tests/fixtures/error-dx/user.schema.json`,
-minified and gzipped, measured with `bun build --minify --target=browser` on ata 1.32.1:
+minified and gzipped, measured with `bun build --minify --target=browser` on ata 1.33.1:
 
 | What the app imports | Size | Notes |
 |---|---|---|
-| `Validator` from `ata-validator` | 91.3 KB | The compiler ships with it, because a runtime schema can use any keyword |
-| `isValid` from the compiled module | **1.2 KB** | Nothing else is reachable, so the error collector is dropped |
-| `validate` from the compiled module | **2.1 KB** | Adds the detailed error collector |
+| `Validator` from `ata-validator` | 92.3 KB | The compiler ships with it, because a runtime schema can use any keyword |
+| `isValid` from the compiled module | **1.3 KB** | Nothing else is reachable, so the error collector is dropped |
+| `validate` from the compiled module | **2.0 KB** | Adds the detailed error collector |
 
 `--abort-early` makes the generated source about three times smaller, and after
 bundling it makes no difference: importing only `isValid` already leaves the error
@@ -555,7 +556,7 @@ through a `setFormats()` export the module carries. `docs/API.md` has the
 details.
 
 **Fastify startup, 10 route schemas, from a cold process to the first validated request:
-ajv 20.2 ms, ata 3.9 ms, no build step required.** ata registers in 0.2 ms of that and
+ajv 20.2 ms, ata 2.7 ms, no build step required.** ata registers in 0.2 ms of that and
 compiles on the first request, so counting only registration would overstate the gap.
 Reproduce with `node benchmark/bench_fastify_boot.mjs`.
 

package/index.d.ts

@@ -564,7 +564,22 @@ export interface ValidatorConstructor {
 /** Compile a schema into a reusable validator. */
 export const Validator: ValidatorConstructor;
 
-/** One-shot validate: creates a Validator, validates data, returns result. */
+/**
+ * One-shot validate: validates data against a schema or an existing
+ * {@link Validator} and returns the result. A schema written with
+ * {@link defineSchema} (or as a `const` literal) types `data` from the schema
+ * itself. The last form takes the type as an argument for a schema TypeScript
+ * cannot see into, such as one read from a file; that type is an assertion,
+ * not something the schema is checked against.
+ */
+export function validate<T>(
+  validator: Validator<T>,
+  data: unknown
+): ValidationResult<T>;
+export function validate<const S extends JSONSchema>(
+  schema: S,
+  data: unknown
+): ValidationResult<Infer<S>>;
 export function validate<T = unknown>(
   schema: object | string,
   data: unknown

package/index.js

@@ -2523,13 +2523,16 @@ class Validator {
   }
 }
 
+// One-shot validate. It goes through a Validator like every other entry
+// point, so the result has one shape everywhere: `data` on success, errors
+// with a code, a keyword and an instancePath. From the first native binding
+// until 1.33.3 it handed the schema straight to the native engine whenever
+// the addon was loaded, which is every default install on a supported
+// platform, and returned that engine's raw result: numeric codes, `path`
+// instead of `instancePath`, no keyword, and no `data`. The compile cache keeps
+// a schema passed again from compiling again.
 function validate(schema, data) {
-  if (native) {
-    const schemaStr =
-      typeof schema === "string" ? schema : JSON.stringify(schema);
-    return native.validate(schemaStr, data);
-  }
-  // JS fallback: compile and validate
+  if (schema instanceof Validator) return schema.validate(data);
   const v = new Validator(typeof schema === "string" ? JSON.parse(schema) : schema);
   return v.validate(data);
 }
@@ -2953,9 +2956,12 @@ function _buildParse(self) {
   if (o.coerceTypes) return decline('coerceTypes rewrites the input before it is checked');
   if (o.removeAdditional === 'all') return decline("removeAdditional: 'all' decides the kept keys at check time");
   if (self._usesKeywords) return decline('custom keywords are in use, and what they accept is not known to the copy');
-  if (self._verdictTail !== null || self._validateTail !== null) {
-    return decline('checks were added to this validator (for example by withKeywords from @ata-project/keywords), and a value they accept, such as a Date, has no copy the schema can describe', 'Use validate(); a valid result carries the input as it is.');
-  }
+  // Checks added to the validator (withKeywords from @ata-project/keywords
+  // adds instanceof and typeof) only narrow what passes; they do not change
+  // which keys the schema declares. The verdict then goes through
+  // isValidObject, which runs them, and a property they check with instanceof
+  // is carried over as it is (see clone-emit).
+  const extended = self._verdictTail !== null || self._validateTail !== null;
   const { cloneExprFor } = require('./lib/clone-emit');
   const expr = cloneExprFor(self._schemaObj);
   if (!expr) return decline('the set of keys to keep cannot be proven from the schema');
@@ -2967,8 +2973,8 @@ function _buildParse(self) {
     return decline('code generation is not allowed here');
   }
   self._ensureCompiled();
-  const verdict = self._jsFn;
-  if (typeof verdict !== 'function') return decline('the schema has no generated verdict function');
+  const verdict = extended ? (d) => self.isValidObject(d) : self._jsFn;
+  if (typeof self._jsFn !== 'function') return decline('the schema has no generated verdict function');
   return (data) => {
     if (!verdict(data)) {
       const e = new Error('validation failed');

package/lib/clone-emit.js

@@ -293,6 +293,11 @@ function emitValueExpr(prop, read, depth) {
   if (!prop || typeof prop !== 'object') return null;
   if (prop.$ref) return null;
   if (isPrimitiveOnly(prop)) return read;
+  // A value checked with `instanceof` (the keyword @ata-project/keywords adds)
+  // is an instance of a class, such as a Date, not a JSON object whose keys
+  // the schema declares. It is carried over as it is, the way zod hands back
+  // a Date; copying its declared keys would turn a Date into {}.
+  if (prop.instanceof !== undefined) return read;
   const isRecordable = (s) => s.properties ||
     (s.additionalProperties && typeof s.additionalProperties === 'object');
   if (prop.type === 'object' && isRecordable(prop)) {

package/lib/version.js

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

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "ata-validator",
-  "version": "1.33.1",
+  "version": "1.33.3",
   "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_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_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_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_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_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.33.1",
-    "@ata-validator/native-darwin-x64": "1.33.1",
-    "@ata-validator/native-linux-arm64-gnu": "1.33.1",
-    "@ata-validator/native-linux-arm64-musl": "1.33.1",
-    "@ata-validator/native-linux-x64-gnu": "1.33.1",
-    "@ata-validator/native-linux-x64-musl": "1.33.1",
-    "@ata-validator/native-win32-x64": "1.33.1"
+    "@ata-validator/native-darwin-arm64": "1.33.3",
+    "@ata-validator/native-darwin-x64": "1.33.3",
+    "@ata-validator/native-linux-arm64-gnu": "1.33.3",
+    "@ata-validator/native-linux-arm64-musl": "1.33.3",
+    "@ata-validator/native-linux-x64-gnu": "1.33.3",
+    "@ata-validator/native-linux-x64-musl": "1.33.3",
+    "@ata-validator/native-win32-x64": "1.33.3"
   },
   "peerDependencies": {
     "yaml": "^2.0.0"