ata-validator 0.18.0 → 0.18.2

package/CHANGELOG.md

@@ -2,6 +2,18 @@
 
 All notable changes to ata-validator are documented here. The format follows [Keep a Changelog](https://keepachangelog.com/), and this project adheres to semantic versioning.
 
+## 0.18.2 - 2026-05-26
+
+### Fixed
+
+- The browser and edge build no longer touches the filesystem at import. The safe-regex engine source was embedded into standalone output through a `fs.readFileSync` that ran at module load, which crashed bundlers that stub `fs`/`path` for the browser (a regression from 0.17.3). The read is deferred to the first standalone compile that actually embeds the engine, so importing ata, validating, generating types, and compiling pattern-free schemas now run with no filesystem access in browsers and Cloudflare Workers. Added a regression test that bundles the browser entry and runs it with `fs`/`path` stubbed.
+
+## 0.18.1 - 2026-05-26
+
+### Added
+
+- The browser entry (`index.browser.mjs`) re-exports `toTypeScript`, so the inferred TypeScript type for a schema can be generated client-side (for example in a web playground) alongside `Validator.toStandaloneModule()`. Pure re-export, no runtime change.
+
 ## 0.18.0 - 2026-05-25
 
 ### Added

package/README.md

@@ -127,40 +127,7 @@ v.countValid(ndjson);        // number
 
 ### Type-safe schemas
 
-`Validator` is generic. Pair it with any schema authoring tool, or a hand-written type, to get TypeScript narrowing in your handler code.
-
-```ts
-import { Type, type Static } from '@sinclair/typebox'
-import { Validator } from 'ata-validator'
-
-const UserSchema = Type.Object({
-  id: Type.Integer({ minimum: 1 }),
-  name: Type.String({ minLength: 1 }),
-  email: Type.String({ format: 'email' }),
-})
-
-type User = Static<typeof UserSchema>
-
-const v = new Validator<User>(UserSchema)
-
-if (v.isValidObject(data)) {
-  // data is narrowed to User, no cast needed
-  console.log(data.name)
-}
-
-const result = v.validate(data)
-if (result.valid) {
-  // result.data is User
-} else {
-  // result.errors: ValidationError[]
-}
-```
-
-The same pattern works with Zod-from-JSON-Schema, Valibot, or a hand-written `type User = {...}` alongside a JSON Schema literal. `Validator<T>` makes no library-specific assumption.
-
-#### Authoring a schema inline: `defineSchema`
-
-If you would rather write a plain JSON Schema object than reach for a schema library, wrap it in `defineSchema`. It returns the schema untouched at runtime, but in TypeScript it gives you keyword autocomplete and an error when a value has the wrong shape, with no `as const` needed.
+ata infers TypeScript types straight from plain JSON Schema. Write the schema once with `defineSchema`, and both runtime validation and the static type come from it, with no builder DSL and no second type declaration to keep in sync.
 
 ```ts
 import { defineSchema, Validator } from 'ata-validator'
@@ -174,15 +141,21 @@ const userSchema = defineSchema({
   required: ['id'],
 })
 
-// type: 123 or required: 'id' would be a compile error here.
 const v = new Validator(userSchema)
+const result = v.validate(data)
+if (result.valid) {
+  result.data.id   // number
+  result.data.role // 'admin' | 'user' | undefined
+} else {
+  // result.errors: ValidationError[]
+}
 ```
 
-The exported `JSONSchema` type is also available directly if you want to annotate a schema yourself. Custom and vendor keywords are allowed, so exotic schemas still type-check. Requires TypeScript >= 5.0.
+`defineSchema` returns the schema untouched at runtime; in TypeScript it gives keyword autocomplete and an error when a value has the wrong shape, with no `as const` needed. `new Validator(schema)` carries the inferred type, so a successful `validate` narrows `result.data` with no manual annotation.
 
 #### Extracting the type: `Infer`
 
-Because `defineSchema` leaves the schema as a plain object, you can pull a TypeScript type straight out of it with `Infer`, with no second type declaration to keep in sync.
+You can also pull the type out directly with `Infer`, with no second declaration to keep in sync.
 
 ```ts
 import { defineSchema, type Infer } from 'ata-validator'
@@ -208,7 +181,25 @@ type Event = Infer<typeof event>
 // }
 ```
 
-`Infer` resolves `const`/`enum` to literals, `anyOf`/`oneOf` to unions, `allOf` to intersections, `prefixItems` to tuples, and local `$ref` into `#/$defs` or `#/definitions`, including recursive references. `new Validator(schema)` carries the same type, so a successful `validate` narrows `result.data` without a manual annotation. An external or unresolvable `$ref` resolves to `unknown` rather than erroring.
+`Infer` resolves `const`/`enum` to literals, `anyOf`/`oneOf` to unions, `allOf` to intersections, `prefixItems` to tuples, and local `$ref` into `#/$defs` or `#/definitions`, including recursive references. An external or unresolvable `$ref` resolves to `unknown` rather than erroring. The exported `JSONSchema` type is available if you want to annotate a schema by hand; custom and vendor keywords are allowed. Requires TypeScript >= 5.0.
+
+#### Composes with TypeBox, Zod, or your own types
+
+`Validator<T>` is generic, so if you already author schemas with a library, pass the type and ata narrows to it. No library-specific assumption.
+
+```ts
+import { Type, type Static } from '@sinclair/typebox'
+import { Validator } from 'ata-validator'
+
+const UserSchema = Type.Object({
+  id: Type.Integer({ minimum: 1 }),
+  name: Type.String({ minLength: 1 }),
+})
+
+const v = new Validator<Static<typeof UserSchema>>(UserSchema)
+```
+
+The same works with Zod-from-JSON-Schema, Valibot, or a hand-written `type User = {...}` alongside a JSON Schema literal.
 
 ### Cross-Schema `$ref`
 

package/index.browser.mjs

@@ -1,4 +1,4 @@
 // Browser ESM entry — same code, native addon stubbed out by bundler via "browser" field.
 import mod from './index.js';
-export const { Validator, validate, version, createPaddedBuffer, SIMDJSON_PADDING, renderPretty, renderCompact, renderJSON } = mod;
+export const { Validator, validate, version, createPaddedBuffer, SIMDJSON_PADDING, renderPretty, renderCompact, renderJSON, toTypeScript } = mod;
 export default mod;

package/index.js

@@ -305,19 +305,26 @@ const _CP_LEN_SOURCE = `function _cpLen(s) {
 // directive and CommonJS exports stripped, plus the `__ataSafeRe` alias the
 // emitted code calls. The engine has no eval/new Function, so the embed is
 // CSP-safe.
-const SAFE_REGEX_EMBED = (() => {
-  const raw = require("fs").readFileSync(require("path").join(__dirname, "lib", "safe-regex.js"), "utf8");
-  const body = raw
-    .replace(/^'use strict'\s*\n/, "")
-    .replace(/\nmodule\.exports[^\n]*\n?/, "\n");
-  return body.trimEnd() + "\nconst __ataSafeRe = compileSafe;";
-})();
+// Lazy so merely importing ata never touches the filesystem. Bundlers that stub
+// `fs`/`path` for the browser would otherwise crash at module load; the read is
+// deferred to the first standalone compile that actually embeds the engine.
+let _safeRegexEmbed = null;
+function getSafeRegexEmbed() {
+  if (_safeRegexEmbed === null) {
+    const raw = require("fs").readFileSync(require("path").join(__dirname, "lib", "safe-regex.js"), "utf8");
+    const body = raw
+      .replace(/^'use strict'\s*\n/, "")
+      .replace(/\nmodule\.exports[^\n]*\n?/, "\n");
+    _safeRegexEmbed = body.trimEnd() + "\nconst __ataSafeRe = compileSafe;";
+  }
+  return _safeRegexEmbed;
+}
 
 // Returns the engine embed when any supplied compiled function references the
 // safe matcher (jsFn._usesSafeRe), else an empty string so non-pattern modules
 // pay zero bytes.
 function safeRePrelude(...fns) {
-  return fns.some((f) => f && f._usesSafeRe) ? SAFE_REGEX_EMBED + "\n" : "";
+  return fns.some((f) => f && f._usesSafeRe) ? getSafeRegexEmbed() + "\n" : "";
 }
 
 // Above this size, simdjson On Demand (selective field access) beats JSON.parse
@@ -1561,7 +1568,7 @@ Validator.bundleStandalone = function (schemas, opts) {
     return `(function(R){${preamble}var E=function(d){var _all=true;${errBody}};return function(d){${jsFn._hybridSource}}})(R)`;
   });
   const arr = `[${fns.join(",")}]`;
-  const safeEmbed = bundleUsesSafeRe ? SAFE_REGEX_EMBED + "\n" : "";
+  const safeEmbed = bundleUsesSafeRe ? getSafeRegexEmbed() + "\n" : "";
   if (format === 'esm') {
     return `// Auto-generated by ata-validator — do not edit\n${safeEmbed}const R=${R};\nconst validators=${arr};\nexport default validators;\nexport { validators };\n`;
   }
@@ -1632,7 +1639,7 @@ Validator.bundleCompact = function (schemas, opts) {
   let out = isEsm
     ? "// Auto-generated by ata-validator — do not edit\n"
     : "'use strict';\n";
-  if (bundleUsesSafeRe) out += SAFE_REGEX_EMBED + "\n";
+  if (bundleUsesSafeRe) out += getSafeRegexEmbed() + "\n";
   const declKW = isEsm ? "const" : "var";
   out += `${declKW} R=Object.freeze({valid:true,errors:Object.freeze([])});\n`;
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "ata-validator",
-  "version": "0.18.0",
+  "version": "0.18.2",
   "description": "JSON Schema validation with first-class TypeScript and zero runtime cost. AOT compile to per-schema ESM modules with zero validator dependency. Generic Validator<T> for TypeBox/Zod/Valibot composition. Optional runtime API. Standard Schema V1 compatible.",
   "main": "index.js",
   "module": "index.mjs",
@@ -42,7 +42,7 @@
     "rebuild": "cmake-js rebuild --target ata",
     "prebuild": "pkg-prebuilds-copy --baseDir build/Release --source ata.node --name=ata --strip --napi_version=10",
     "prebuild-all": "npm run prebuild -- --arch x64 && npm run prebuild -- --arch arm64",
-    "test": "node test.js && node tests/test_no_native.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_additional_props_errors.js && node tests/test_id_anchor_refs.js && node tests/test_typed_validator_runner.js && node tests/test_define_schema.js && node tests/test_error_codes_lock.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_rich_errors_optout.js && node tests/test_source_positions.js && node tests/fuzz_positions.js && node tests/test_data_positions.js && node tests/test_render_shared.js && node tests/test_renderers.js && node tests/test_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_no_native.js && node tests/test_browser_nofs.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_additional_props_errors.js && node tests/test_id_anchor_refs.js && node tests/test_typed_validator_runner.js && node tests/test_define_schema.js && node tests/test_error_codes_lock.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_rich_errors_optout.js && node tests/test_source_positions.js && node tests/fuzz_positions.js && node tests/test_data_positions.js && node tests/test_render_shared.js && node tests/test_renderers.js && node tests/test_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",
     "test:compat": "node tests/test_compat.js",
@@ -130,6 +130,7 @@
     "@sinclair/typebox": "^0.34.49",
     "@types/node": "^25.8.0",
     "cmake-js": "^8.0.0",
+    "esbuild": "^0.28.0",
     "jsonc-parser": "^3.3.1",
     "mitata": "^1.0.34",
     "typebox": "^1.1.7",