ata-validator 1.32.2 → 1.32.3

package/README.md

@@ -7,6 +7,24 @@ JSON Schema validation that compiles for speed and still runs where code generat
 
 1.0 is a stability commitment: see [docs/STABILITY.md](docs/STABILITY.md) for the semver, deprecation, and error-code guarantees.
 
+## Who uses ata
+
+Projects whose code depends on ata, from GitHub's dependency graph, and the framework that lists
+its plugin, with what each does with it:
+
+- [Socket](https://github.com/SocketDev) uses ata, compiled ahead of time, in the shared build
+  tooling of its repositories.
+- [Fastify](https://fastify.dev/ecosystem/) lists the
+  [`fastify-ata`](https://github.com/ata-core/fastify-ata) plugin in its ecosystem.
+- [react-jsonschema-form](https://github.com/rjsf-team/react-jsonschema-form) ships an ata
+  validator in its main repository, in a runtime and a precompiled form.
+- [JollyPixel](https://github.com/JollyPixel/editor) parses and validates JSON on its back end
+  with ata, compiled ahead of time.
+- [better-drizzle](https://github.com/almeidazs/better-drizzle) ships an ata plugin for queries
+  and rows.
+- [svelte-jsonschema-form](https://github.com/x0k/svelte-jsonschema-form) publishes an ata
+  validator package, runtime and precompiled.
+
 ## Quick start
 
 ```bash

package/lib/clone-emit.js

@@ -272,6 +272,17 @@ function emitValueExpr(prop, read, depth) {
   if (prop.$ref) return null;
   const types = Array.isArray(prop.type) ? prop.type : [prop.type];
   if (types.every((t) => _CLONE_PRIMITIVE.has(t))) return read;
+  // No type, but an enum or const whose values are all primitives: whatever
+  // passes can only be one of those values, so there is nothing inside it to
+  // strip and the value is copied as it is. `{ enum: ['USD', 'EUR'] }` is how
+  // such a field is usually written, and it declined parse() for the whole
+  // schema.
+  if (prop.type === undefined) {
+    const isPrim = (v) => v === null || (typeof v !== 'object' && typeof v !== 'function');
+    if (Array.isArray(prop.enum) && prop.enum.length > 0 && prop.enum.every(isPrim) &&
+        prop.const === undefined) return read;
+    if (prop.const !== undefined && isPrim(prop.const) && prop.enum === undefined) return read;
+  }
   const isRecordable = (s) => s.properties ||
     (s.additionalProperties && typeof s.additionalProperties === 'object');
   if (prop.type === 'object' && isRecordable(prop)) {

package/lib/js-compiler.js

@@ -3509,7 +3509,75 @@ function compilePatternInline(pattern, varName) {
     const min = parseInt(m[2]), max = parseInt(m[3])
     return `${varName}.length>=${min}&&${varName}.length<=${max}&&(()=>{for(let _pi=0;_pi<${varName}.length;_pi++){if(!(${rangeCheck}))return false}return true})()`
   }
-  return null
+  return fixedSequenceInline(pattern, varName)
+}
+
+// A pattern that matches exactly one fixed-length sequence of single
+// characters, such as `^[A-Z]{3}-\d{4}$` for a SKU or `^\d{3}-\d{4}$` for a
+// code, unrolled into one character test per position. Each piece is a class
+// of letters, digits, `_` and `-`, a `\d`, or a literal character, repeated a
+// fixed number of times; anything else, including every variable-length
+// quantifier and any negated or escaped class, returns null and keeps the
+// regular path. Each piece matches exactly one UTF-16 unit in the ASCII range,
+// so comparing the length and each code unit is the same test the regex
+// makes. Such patterns went through the safe-regex matcher, which is
+// linear but slower than both this and the native engine: a quarter of the
+// time of an order body with one SKU per line item.
+const FIXED_LITERAL = /[A-Za-z0-9 _\-:@#%&=,;'"<>!~`\/]/
+function fixedSequenceInline(pattern, varName) {
+  if (pattern.length < 3 || pattern[0] !== '^' || pattern[pattern.length - 1] !== '$' || pattern[pattern.length - 2] === '\\') return null
+  const end = pattern.length - 1
+  const pieces = []
+  let i = 1
+  while (i < end) {
+    let piece
+    const c = pattern[i]
+    if (c === '[') {
+      const j = pattern.indexOf(']', i)
+      if (j < 0 || j >= end) return null
+      const cls = pattern.slice(i, j + 1)
+      if (!/^\[[\w-]+\]$/.test(cls)) return null
+      piece = { cls }
+      i = j + 1
+    } else if (c === '\\') {
+      const e = pattern[i + 1]
+      if (e === 'd') piece = { cls: '[0-9]' }
+      // Only the escapes that stay valid under the u flag: an escaped `-`
+      // outside a class is a syntax error there, and the regex path is the
+      // one that decides what to do about it.
+      else if (e !== undefined && './()[]{}+*?^$|\\'.includes(e)) piece = { lit: e }
+      else return null
+      i += 2
+    } else if (FIXED_LITERAL.test(c)) {
+      piece = { lit: c }
+      i += 1
+    } else {
+      return null
+    }
+    let count = 1
+    if (pattern[i] === '{') {
+      const q = /^\{(\d+)\}/.exec(pattern.slice(i))
+      if (!q) return null
+      count = Number(q[1])
+      i += q[0].length
+    } else if (i < end && '*+?'.includes(pattern[i])) {
+      return null
+    }
+    for (let k = 0; k < count; k++) pieces.push(piece)
+    if (pieces.length > 32) return null
+  }
+  if (pieces.length === 0) return null
+  const checks = []
+  for (let k = 0; k < pieces.length; k++) {
+    const at = `${varName}.charCodeAt(${k})`
+    if (pieces[k].lit !== undefined) checks.push(`${at}===${pieces[k].lit.charCodeAt(0)}`)
+    else {
+      const ck = charClassToCheck(pieces[k].cls, at)
+      if (!ck) return null
+      checks.push(`(${ck})`)
+    }
+  }
+  return `${varName}.length===${pieces.length}&&${checks.join('&&')}`
 }
 
 // Convert [charclass] to charCode range check expression.
@@ -3534,7 +3602,10 @@ function charClassToCheck(charClass, codeExpr) {
   const checks = ranges.map(([lo, hi]) =>
     lo === hi ? `${codeExpr}===${lo}` : `(${codeExpr}>=${lo}&&${codeExpr}<=${hi})`
   )
-  return checks.join('||')
+  // Parenthesised as a whole: the unrolled form joins one of these per
+  // position with &&, and a bare a||b there bound as (len&&a)||(b&&...), so
+  // ^[A-Za-z]{2}$ accepted "xyz" and "1a" from 0.12.1 on.
+  return `(${checks.join('||')})`
 }
 
 // Same but for dynamic segments (array indices)

package/lib/version.js

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

package/package.json

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