@lunora/values 1.0.0-alpha.1 → 1.0.0-alpha.3

package/dist/index.d.mts

@@ -400,6 +400,44 @@ type ValidatorMap = Record<string, Validator>;
 /** Infer the object type from a {@link ValidatorMap} — optional validators (`v.optional`) become optional keys. */
 type InferValidatorMap<A extends ValidatorMap> = { [K in keyof A as undefined extends Infer<A[K]> ? K : never]?: Infer<A[K]> } & { [K in keyof A as undefined extends Infer<A[K]> ? never : K]: Infer<A[K]> };
 /**
+* A precompiled fast-path parser for one {@link ValidatorMap}. Returns the fully
+* built, validated record on a confident success, or the {@link DEFER_VALIDATION}
+* sentinel to hand the input back to the interpreted parser.
+*
+* The contract is soundness, not completeness: a compiled parser may return
+* {@link DEFER_VALIDATION} for any input it is not certain about (the interpreted
+* path then runs and either succeeds or throws the canonical error), but it must
+* NEVER return a built record for input the interpreted parser would reject, and
+* the record it returns must be byte-for-byte what the interpreted parser would
+* have produced. This lets `@lunora/codegen` emit zero-allocation structural
+* checks (the common case) while every error message and every tricky validator
+* still flows through the single interpreted implementation below — so error
+* contracts can never drift.
+*
+* The `source` parameter is intentionally `any`: the codegen-emitted body is
+* plain JavaScript (no type annotations — it must also be loadable via
+* `new Function` in the compiler's differential tests) that index-walks the input
+* to arbitrary depth, which strict TypeScript forbids on `unknown`/`object`. An
+* `any` input lets the emitted structural checks type-check cleanly while the
+* RESULT stays strongly typed; soundness is enforced by the differential test
+* harness, not the input type.
+*/
+type CompiledValidatorMap = (source: any) => Record<string, unknown> | typeof DEFER_VALIDATION;
+/**
+* Sentinel a {@link CompiledValidatorMap} returns to defer to the interpreted
+* parser. A unique symbol (never a valid parse result — {@link parseValidatorMap}
+* always yields a record) so the seam can distinguish "compiled handled it" from
+* "compiled bailed" with a single identity check and no per-call allocation.
+*/
+declare const DEFER_VALIDATION: unique symbol;
+/**
+* Install a compiled fast-path parser for `validators`. Idempotent-ish: a second
+* install overwrites the first (codegen emits each map once, so this only matters
+* if a host installs by hand). See {@link CompiledValidatorMap} for the contract
+* the parser must honour.
+*/
+declare const installCompiledValidatorMap: (validators: object, compiled: CompiledValidatorMap) => void;
+/**
 * Validate each declared field of `source` through its validator, re-wrapping
 * any {@link ValidationError} with a `label.&lt;key>:` prefix and the rebuilt path
 * `[key, ...error.path]` so the failure points at the offending field. Optional
@@ -411,7 +449,12 @@ type InferValidatorMap<A extends ValidatorMap> = { [K in keyof A as undefined ex
 * `body` / `params`), and `@lunora/workflow`'s reusable steps (`step args`) — so
 * the error-prefixing and optional-skip semantics can't drift apart. The `label`
 * is the only thing each caller varies.
+*
+* When a codegen-emitted {@link CompiledValidatorMap} is installed for this exact
+* `validators` object, the fast path runs first; it either returns the finished
+* record (a confident success — the common case) or {@link DEFER_VALIDATION}, in
+* which case the interpreted loop below runs and owns the result (and any error).
 */
 declare const parseValidatorMap: (validators: ValidatorMap, source: Record<string, unknown>, label: string) => Record<string, unknown>;
 declare const VERSION = "0.0.0";
-export { type CheckOptions, type Column, type ColumnMeta, type ColumnValidator, type Id, type Infer, type InferInsert, type InferSelect, type InferStandardOutput, type InferValidatorMap, type InsertShape, type JsonSchema, type JsonSchemaFragment, type MetaOptions, type SchemaNodeReader, type SelectShape, type ServerDefaultContext, type TimestampColumnValidator, VERSION, ValidationError, type ValidationPath, type Validator, type ValidatorKind, type ValidatorMap, argsToJsonSchema, describeValue, formatPath, isOrWrapsFromValidator, jsonSchemaFromNode, objectSchemaFromNodes, optionalInner, parseValidatorMap, toJsonSchema, v };
+export { type CheckOptions, type Column, type ColumnMeta, type ColumnValidator, type CompiledValidatorMap, DEFER_VALIDATION, type Id, type Infer, type InferInsert, type InferSelect, type InferStandardOutput, type InferValidatorMap, type InsertShape, type JsonSchema, type JsonSchemaFragment, type MetaOptions, type SchemaNodeReader, type SelectShape, type ServerDefaultContext, type TimestampColumnValidator, VERSION, ValidationError, type ValidationPath, type Validator, type ValidatorKind, type ValidatorMap, argsToJsonSchema, describeValue, formatPath, installCompiledValidatorMap, isOrWrapsFromValidator, jsonSchemaFromNode, objectSchemaFromNodes, optionalInner, parseValidatorMap, toJsonSchema, v };

package/dist/index.d.ts

@@ -400,6 +400,44 @@ type ValidatorMap = Record<string, Validator>;
 /** Infer the object type from a {@link ValidatorMap} — optional validators (`v.optional`) become optional keys. */
 type InferValidatorMap<A extends ValidatorMap> = { [K in keyof A as undefined extends Infer<A[K]> ? K : never]?: Infer<A[K]> } & { [K in keyof A as undefined extends Infer<A[K]> ? never : K]: Infer<A[K]> };
 /**
+* A precompiled fast-path parser for one {@link ValidatorMap}. Returns the fully
+* built, validated record on a confident success, or the {@link DEFER_VALIDATION}
+* sentinel to hand the input back to the interpreted parser.
+*
+* The contract is soundness, not completeness: a compiled parser may return
+* {@link DEFER_VALIDATION} for any input it is not certain about (the interpreted
+* path then runs and either succeeds or throws the canonical error), but it must
+* NEVER return a built record for input the interpreted parser would reject, and
+* the record it returns must be byte-for-byte what the interpreted parser would
+* have produced. This lets `@lunora/codegen` emit zero-allocation structural
+* checks (the common case) while every error message and every tricky validator
+* still flows through the single interpreted implementation below — so error
+* contracts can never drift.
+*
+* The `source` parameter is intentionally `any`: the codegen-emitted body is
+* plain JavaScript (no type annotations — it must also be loadable via
+* `new Function` in the compiler's differential tests) that index-walks the input
+* to arbitrary depth, which strict TypeScript forbids on `unknown`/`object`. An
+* `any` input lets the emitted structural checks type-check cleanly while the
+* RESULT stays strongly typed; soundness is enforced by the differential test
+* harness, not the input type.
+*/
+type CompiledValidatorMap = (source: any) => Record<string, unknown> | typeof DEFER_VALIDATION;
+/**
+* Sentinel a {@link CompiledValidatorMap} returns to defer to the interpreted
+* parser. A unique symbol (never a valid parse result — {@link parseValidatorMap}
+* always yields a record) so the seam can distinguish "compiled handled it" from
+* "compiled bailed" with a single identity check and no per-call allocation.
+*/
+declare const DEFER_VALIDATION: unique symbol;
+/**
+* Install a compiled fast-path parser for `validators`. Idempotent-ish: a second
+* install overwrites the first (codegen emits each map once, so this only matters
+* if a host installs by hand). See {@link CompiledValidatorMap} for the contract
+* the parser must honour.
+*/
+declare const installCompiledValidatorMap: (validators: object, compiled: CompiledValidatorMap) => void;
+/**
 * Validate each declared field of `source` through its validator, re-wrapping
 * any {@link ValidationError} with a `label.&lt;key>:` prefix and the rebuilt path
 * `[key, ...error.path]` so the failure points at the offending field. Optional
@@ -411,7 +449,12 @@ type InferValidatorMap<A extends ValidatorMap> = { [K in keyof A as undefined ex
 * `body` / `params`), and `@lunora/workflow`'s reusable steps (`step args`) — so
 * the error-prefixing and optional-skip semantics can't drift apart. The `label`
 * is the only thing each caller varies.
+*
+* When a codegen-emitted {@link CompiledValidatorMap} is installed for this exact
+* `validators` object, the fast path runs first; it either returns the finished
+* record (a confident success — the common case) or {@link DEFER_VALIDATION}, in
+* which case the interpreted loop below runs and owns the result (and any error).
 */
 declare const parseValidatorMap: (validators: ValidatorMap, source: Record<string, unknown>, label: string) => Record<string, unknown>;
 declare const VERSION = "0.0.0";
-export { type CheckOptions, type Column, type ColumnMeta, type ColumnValidator, type Id, type Infer, type InferInsert, type InferSelect, type InferStandardOutput, type InferValidatorMap, type InsertShape, type JsonSchema, type JsonSchemaFragment, type MetaOptions, type SchemaNodeReader, type SelectShape, type ServerDefaultContext, type TimestampColumnValidator, VERSION, ValidationError, type ValidationPath, type Validator, type ValidatorKind, type ValidatorMap, argsToJsonSchema, describeValue, formatPath, isOrWrapsFromValidator, jsonSchemaFromNode, objectSchemaFromNodes, optionalInner, parseValidatorMap, toJsonSchema, v };
+export { type CheckOptions, type Column, type ColumnMeta, type ColumnValidator, type CompiledValidatorMap, DEFER_VALIDATION, type Id, type Infer, type InferInsert, type InferSelect, type InferStandardOutput, type InferValidatorMap, type InsertShape, type JsonSchema, type JsonSchemaFragment, type MetaOptions, type SchemaNodeReader, type SelectShape, type ServerDefaultContext, type TimestampColumnValidator, VERSION, ValidationError, type ValidationPath, type Validator, type ValidatorKind, type ValidatorMap, argsToJsonSchema, describeValue, formatPath, installCompiledValidatorMap, isOrWrapsFromValidator, jsonSchemaFromNode, objectSchemaFromNodes, optionalInner, parseValidatorMap, toJsonSchema, v };

package/dist/index.mjs

@@ -2,7 +2,7 @@ export { ValidationError, describeValue, formatPath } from './packem_shared/Vali
 export { jsonSchemaFromNode, objectSchemaFromNodes } from './packem_shared/jsonSchemaFromNode-weszUOQG.mjs';
 export { argsToJsonSchema, toJsonSchema } from './packem_shared/argsToJsonSchema-DdHmmamC.mjs';
 export { isOrWrapsFromValidator, optionalInner, v } from './packem_shared/isOrWrapsFromValidator-DJMAE0l9.mjs';
-export { parseValidatorMap } from './packem_shared/parseValidatorMap-CCjevE5Z.mjs';
+export { DEFER_VALIDATION, installCompiledValidatorMap, parseValidatorMap } from './packem_shared/DEFER_VALIDATION-B23I3ZdL.mjs';
 
 const VERSION = "0.0.0";
 

package/dist/packem_shared/{parseValidatorMap-CCjevE5Z.mjs → DEFER_VALIDATION-B23I3ZdL.mjs}

@@ -1,6 +1,18 @@
 import { ValidationError } from './ValidationError-DWWcFe37.mjs';
 
+const DEFER_VALIDATION = /* @__PURE__ */ Symbol("lunora.deferValidation");
+const COMPILED_PARSERS = /* @__PURE__ */ new WeakMap();
+const installCompiledValidatorMap = (validators, compiled) => {
+  COMPILED_PARSERS.set(validators, compiled);
+};
 const parseValidatorMap = (validators, source, label) => {
+  const compiled = COMPILED_PARSERS.get(validators);
+  if (compiled !== void 0) {
+    const fast = compiled(source);
+    if (fast !== DEFER_VALIDATION) {
+      return fast;
+    }
+  }
   const out = {};
   for (const key of Object.keys(validators)) {
     const validator = validators[key];
@@ -27,4 +39,4 @@ const parseValidatorMap = (validators, source, label) => {
   return out;
 };
 
-export { parseValidatorMap };
+export { DEFER_VALIDATION, installCompiledValidatorMap, parseValidatorMap };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@lunora/values",
-  "version": "1.0.0-alpha.1",
+  "version": "1.0.0-alpha.3",
   "description": "Validators for Lunora: the v.* validator suite with end-to-end return-type inference",
   "keywords": [
     "cloudflare",
@@ -25,7 +25,7 @@
     "directory": "packages/values"
   },
   "files": [
-    "dist",
+    "./dist",
     "README.md",
     "LICENSE.md",
     "__assets__"