@lunora/values 1.0.0-alpha.5 → 1.0.0-alpha.7

package/dist/index.d.mts

@@ -27,8 +27,16 @@ declare class ValidationError extends LunoraError {
 * capped) literal so messages distinguish `string "7"` from `number 7`;
 * non-plain objects carry their constructor name (e.g. `Date`) so a class
 * instance is not flattened to a bare `"object"`.
+*
+* Pass `{ literal: false }` to suppress the concrete primitive literal and
+* return only the type tag (`"string"`, `"number"`, `"bigint"`, …). This is used
+* on `.check()` refinement failures — where the value already passed its type
+* check — so a secret-bearing field (password, token) never surfaces its value
+* in the `ValidationError.message`/`received` that goes to the wire and logs.
 */
-declare const describeValue: (value: unknown) => string;
+declare const describeValue: (value: unknown, options?: {
+  literal?: boolean;
+}) => string;
 declare const formatPath: (path: ValidationPath) => string;
 /** Branded id type, e.g. `Id<"users">`. */
 type Id<TableName extends string> = string & {
@@ -238,8 +246,17 @@ declare const id: <TableName extends string>(tableName: TableName) => ColumnVali
 declare const storage: (bucket?: string) => ColumnValidator<string, string>;
 declare const literal: <T extends bigint | boolean | number | string | null>(literalValue: T) => ColumnValidator<T, T>;
 declare const array: <V extends Validator>(inner: V) => ColumnValidator<Infer<V>[], Infer<V>[]>;
+/**
+* Split a value-type map into optional + required keys: any member whose value
+* type includes `undefined` becomes an optional key. The single optionality rule
+* shared by object-shape inference ({@link ObjectShapeType}) and args-map
+* inference (`InferValidatorMap` in `./validator-map`), so the two can never
+* drift. (`InsertShape` stays separate — it additionally `Exclude`s `undefined`
+* from the optional value, a deliberate insert-type difference.)
+*/
+type OptionalizeShape<M> = { [K in keyof M as undefined extends M[K] ? K : never]?: M[K] } & { [K in keyof M as undefined extends M[K] ? never : K]: M[K] };
 type ObjectShape = Record<string, Validator>;
-type ObjectShapeType<S extends ObjectShape> = { [K in keyof S as undefined extends Infer<S[K]> ? K : never]?: Infer<S[K]> } & { [K in keyof S as undefined extends Infer<S[K]> ? never : K]: Infer<S[K]> };
+type ObjectShapeType<S extends ObjectShape> = OptionalizeShape<{ [K in keyof S]: Infer<S[K]> }>;
 declare const objectValidator: <S extends ObjectShape>(shape: S) => ColumnValidator<ObjectShapeType<S>, ObjectShapeType<S>>;
 declare const record: <K extends Validator<string>, V extends Validator>(keyValidator: K, valueValidator: V) => ColumnValidator<Record<Infer<K>, Infer<V>>, Record<Infer<K>, Infer<V>>>;
 declare const union: <Vs extends ReadonlyArray<Validator>>(...members: Vs) => ColumnValidator<Infer<Vs[number]>, Infer<Vs[number]>>;
@@ -403,8 +420,13 @@ declare const toJsonSchema: (validator: Validator) => JsonSchema;
 declare const argsToJsonSchema: (args: Record<string, Validator>) => JsonSchema;
 /** Map of validators describing a record of named fields (a function's args, a step's args, an HTTP query/body/params). */
 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]> };
+/**
+* Infer the object type from a {@link ValidatorMap} — optional validators
+* (`v.optional`) become optional keys. Shares the single optionality rule with
+* `ObjectShapeType` via {@link OptionalizeShape}, so args-map and object-shape
+* inference can never drift.
+*/
+type InferValidatorMap<A extends ValidatorMap> = OptionalizeShape<{ [K in keyof A]: 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}
@@ -462,5 +484,4 @@ declare const installCompiledValidatorMap: (validators: object, compiled: Compil
 * 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 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 };
+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, 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

@@ -27,8 +27,16 @@ declare class ValidationError extends LunoraError {
 * capped) literal so messages distinguish `string "7"` from `number 7`;
 * non-plain objects carry their constructor name (e.g. `Date`) so a class
 * instance is not flattened to a bare `"object"`.
+*
+* Pass `{ literal: false }` to suppress the concrete primitive literal and
+* return only the type tag (`"string"`, `"number"`, `"bigint"`, …). This is used
+* on `.check()` refinement failures — where the value already passed its type
+* check — so a secret-bearing field (password, token) never surfaces its value
+* in the `ValidationError.message`/`received` that goes to the wire and logs.
 */
-declare const describeValue: (value: unknown) => string;
+declare const describeValue: (value: unknown, options?: {
+  literal?: boolean;
+}) => string;
 declare const formatPath: (path: ValidationPath) => string;
 /** Branded id type, e.g. `Id<"users">`. */
 type Id<TableName extends string> = string & {
@@ -238,8 +246,17 @@ declare const id: <TableName extends string>(tableName: TableName) => ColumnVali
 declare const storage: (bucket?: string) => ColumnValidator<string, string>;
 declare const literal: <T extends bigint | boolean | number | string | null>(literalValue: T) => ColumnValidator<T, T>;
 declare const array: <V extends Validator>(inner: V) => ColumnValidator<Infer<V>[], Infer<V>[]>;
+/**
+* Split a value-type map into optional + required keys: any member whose value
+* type includes `undefined` becomes an optional key. The single optionality rule
+* shared by object-shape inference ({@link ObjectShapeType}) and args-map
+* inference (`InferValidatorMap` in `./validator-map`), so the two can never
+* drift. (`InsertShape` stays separate — it additionally `Exclude`s `undefined`
+* from the optional value, a deliberate insert-type difference.)
+*/
+type OptionalizeShape<M> = { [K in keyof M as undefined extends M[K] ? K : never]?: M[K] } & { [K in keyof M as undefined extends M[K] ? never : K]: M[K] };
 type ObjectShape = Record<string, Validator>;
-type ObjectShapeType<S extends ObjectShape> = { [K in keyof S as undefined extends Infer<S[K]> ? K : never]?: Infer<S[K]> } & { [K in keyof S as undefined extends Infer<S[K]> ? never : K]: Infer<S[K]> };
+type ObjectShapeType<S extends ObjectShape> = OptionalizeShape<{ [K in keyof S]: Infer<S[K]> }>;
 declare const objectValidator: <S extends ObjectShape>(shape: S) => ColumnValidator<ObjectShapeType<S>, ObjectShapeType<S>>;
 declare const record: <K extends Validator<string>, V extends Validator>(keyValidator: K, valueValidator: V) => ColumnValidator<Record<Infer<K>, Infer<V>>, Record<Infer<K>, Infer<V>>>;
 declare const union: <Vs extends ReadonlyArray<Validator>>(...members: Vs) => ColumnValidator<Infer<Vs[number]>, Infer<Vs[number]>>;
@@ -403,8 +420,13 @@ declare const toJsonSchema: (validator: Validator) => JsonSchema;
 declare const argsToJsonSchema: (args: Record<string, Validator>) => JsonSchema;
 /** Map of validators describing a record of named fields (a function's args, a step's args, an HTTP query/body/params). */
 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]> };
+/**
+* Infer the object type from a {@link ValidatorMap} — optional validators
+* (`v.optional`) become optional keys. Shares the single optionality rule with
+* `ObjectShapeType` via {@link OptionalizeShape}, so args-map and object-shape
+* inference can never drift.
+*/
+type InferValidatorMap<A extends ValidatorMap> = OptionalizeShape<{ [K in keyof A]: 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}
@@ -462,5 +484,4 @@ declare const installCompiledValidatorMap: (validators: object, compiled: Compil
 * 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 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 };
+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, ValidationError, type ValidationPath, type Validator, type ValidatorKind, type ValidatorMap, argsToJsonSchema, describeValue, formatPath, installCompiledValidatorMap, isOrWrapsFromValidator, jsonSchemaFromNode, objectSchemaFromNodes, optionalInner, parseValidatorMap, toJsonSchema, v };

package/dist/index.mjs

@@ -1,9 +1,5 @@
-export { ValidationError, describeValue, formatPath } from './packem_shared/ValidationError-CdSwhYHu.mjs';
+export { ValidationError, describeValue, formatPath } from './packem_shared/ValidationError-CoyFtkxj.mjs';
 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-Bg1o5VFG.mjs';
-export { DEFER_VALIDATION, installCompiledValidatorMap, parseValidatorMap } from './packem_shared/DEFER_VALIDATION-Cpy5SwBo.mjs';
-
-const VERSION = "0.0.0";
-
-export { VERSION };
+export { isOrWrapsFromValidator, optionalInner, v } from './packem_shared/isOrWrapsFromValidator-UlWeMhFL.mjs';
+export { DEFER_VALIDATION, installCompiledValidatorMap, parseValidatorMap } from './packem_shared/DEFER_VALIDATION-CIKr17sW.mjs';

package/dist/packem_shared/{DEFER_VALIDATION-Cpy5SwBo.mjs → DEFER_VALIDATION-CIKr17sW.mjs}

@@ -1,4 +1,4 @@
-import { ValidationError } from './ValidationError-CdSwhYHu.mjs';
+import { ValidationError } from './ValidationError-CoyFtkxj.mjs';
 
 const DEFER_VALIDATION = /* @__PURE__ */ Symbol("lunora.deferValidation");
 const COMPILED_PARSERS = /* @__PURE__ */ new WeakMap();
@@ -19,7 +19,7 @@ const parseValidatorMap = (validators, source, label) => {
     if (!validator) {
       continue;
     }
-    const candidate = source[key];
+    const candidate = Object.hasOwn(source, key) ? source[key] : void 0;
     if (candidate === void 0 && validator.kind === "optional") {
       continue;
     }

package/dist/packem_shared/{ValidationError-CdSwhYHu.mjs → ValidationError-CoyFtkxj.mjs}

@@ -2,6 +2,18 @@ import { LunoraError } from '@lunora/errors';
 
 const MAX_DESCRIBED_LENGTH = 80;
 const truncate = (text) => text.length > MAX_DESCRIBED_LENGTH ? `${text.slice(0, MAX_DESCRIBED_LENGTH)}…` : text;
+const describeObject = (value) => {
+  try {
+    const { constructor } = value;
+    const constructorName = constructor?.name;
+    if (constructorName !== void 0 && constructorName !== "Object") {
+      return `object ${constructorName}`;
+    }
+  } catch {
+    return "object";
+  }
+  return "object";
+};
 class ValidationError extends LunoraError {
   path;
   expected;
@@ -13,7 +25,8 @@ class ValidationError extends LunoraError {
     this.received = options.received;
   }
 }
-const describeValue = (value) => {
+const describeValue = (value, options) => {
+  const literal = options?.literal ?? true;
   if (value === null) {
     return "null";
   }
@@ -24,25 +37,16 @@ const describeValue = (value) => {
     return "ArrayBuffer";
   }
   if (typeof value === "string") {
-    return `string ${truncate(JSON.stringify(value))}`;
+    return literal ? `string ${truncate(JSON.stringify(value))}` : "string";
   }
   if (typeof value === "number" || typeof value === "boolean") {
-    return `${typeof value} ${String(value)}`;
+    return literal ? `${typeof value} ${String(value)}` : typeof value;
   }
   if (typeof value === "bigint") {
-    return `bigint ${value.toString()}n`;
+    return literal ? `bigint ${value.toString()}n` : "bigint";
   }
   if (typeof value === "object") {
-    try {
-      const { constructor } = value;
-      const constructorName = constructor?.name;
-      if (constructorName !== void 0 && constructorName !== "Object") {
-        return `object ${constructorName}`;
-      }
-    } catch {
-      return "object";
-    }
-    return "object";
+    return describeObject(value);
   }
   return typeof value;
 };

package/dist/packem_shared/{isOrWrapsFromValidator-Bg1o5VFG.mjs → isOrWrapsFromValidator-UlWeMhFL.mjs}

@@ -1,9 +1,9 @@
 import { LunoraError } from '@lunora/errors';
-import { ValidationError, formatPath, describeValue } from './ValidationError-CdSwhYHu.mjs';
+import { ValidationError, formatPath, describeValue } from './ValidationError-CoyFtkxj.mjs';
 
-function fail(context, expected, received) {
+function fail(context, expected, received, options) {
   const path = [...context.path];
-  const receivedDescription = describeValue(received);
+  const receivedDescription = describeValue(received, { literal: !options?.redactValue });
   throw new ValidationError(`Expected ${expected} at ${formatPath(path)}, received ${receivedDescription}`, {
     expected,
     path,
@@ -78,7 +78,7 @@ const createValidator = (kind, parser, meta) => {
     const refinedParser = (value, context) => {
       const parsed = parser(value, context);
       if (!predicate(parsed)) {
-        fail(context, message ?? "value matching refinement", parsed);
+        fail(context, message ?? "value matching refinement", parsed, { redactValue: true });
       }
       return parsed;
     };
@@ -223,7 +223,7 @@ const objectValidator = (shape) => {
         const out = {};
         const { path } = context;
         for (const { child, isOptional, key } of entries) {
-          const fieldValue = input[key];
+          const fieldValue = Object.hasOwn(input, key) ? input[key] : void 0;
           if (fieldValue === void 0 && isOptional) {
             continue;
           }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@lunora/values",
-  "version": "1.0.0-alpha.5",
+  "version": "1.0.0-alpha.7",
   "description": "Validators for Lunora: the v.* validator suite with end-to-end return-type inference",
   "keywords": [
     "cloudflare",
@@ -46,7 +46,7 @@
     "access": "public"
   },
   "dependencies": {
-    "@lunora/errors": "1.0.0-alpha.2"
+    "@lunora/errors": "1.0.0-alpha.4"
   },
   "engines": {
     "node": "^22.15.0 || >=24.11.0"