typesea 0.2.0 → 0.3.1

package/dist/guard/read.d.ts

@@ -4,7 +4,7 @@
  * @details Guard helpers build new immutable schema wrappers so fluent APIs never mutate an
  * existing guard instance.
  */
-import type { NumberSchema, Schema, StringSchema } from "../schema/index.js";
+import type { ArraySchema, DateSchema, NumberSchema, Schema, StringSchema } from "../schema/index.js";
 /**
  * @brief Read schema from a verified guard receiver.
  * @details Constructed guards take the WeakSet fast path; forged structural
@@ -36,6 +36,24 @@ export declare function readStringMethodSchema(guard: unknown, label: string): S
  * when a receiver is detached or structurally forged.
  */
 export declare function readNumberMethodSchema(guard: unknown, label: string): NumberSchema;
+/**
+ * @brief Read and require a Date schema from a method receiver.
+ * @param guard Candidate receiver.
+ * @param label Human-readable label used in TypeError messages.
+ * @returns Date schema carried by the receiver.
+ * @throws TypeError when the receiver is not a Date guard.
+ */
+export declare function readDateMethodSchema(guard: unknown, label: string): DateSchema;
+/**
+ * @brief Read and require an array schema from a method receiver.
+ * @param guard Candidate receiver.
+ * @param label Human-readable label used in TypeError messages.
+ * @returns Array schema carried by the receiver.
+ * @throws TypeError when the receiver is not an array guard.
+ * @details ArrayGuard methods share this gate so fluent length helpers cannot
+ * be detached and applied to unrelated guard instances.
+ */
+export declare function readArrayMethodSchema(guard: unknown, label: string): ArraySchema;
 /**
  * @brief Validate and freeze a generic guard constructor schema.
  * @param schema Candidate runtime schema.
@@ -63,6 +81,22 @@ export declare function readStringConstructorSchema(schema: unknown): StringSche
  * helper methods from observing incompatible check vectors.
  */
 export declare function readNumberConstructorSchema(schema: unknown): NumberSchema;
+/**
+ * @brief Validate a DateGuard constructor schema.
+ * @param schema Candidate runtime schema.
+ * @returns Date schema accepted by DateGuard.
+ * @throws TypeError when the schema is not a Date schema.
+ */
+export declare function readDateConstructorSchema(schema: unknown): DateSchema;
+/**
+ * @brief Validate an ArrayGuard constructor schema.
+ * @param schema Candidate runtime schema.
+ * @returns Array schema accepted by ArrayGuard.
+ * @throws TypeError when the schema is not an array schema.
+ * @details The schema validator already checks the item tree and length-check
+ * vector, so the specialized constructor only enforces the root tag.
+ */
+export declare function readArrayConstructorSchema(schema: unknown): ArraySchema;
 /**
  * @brief Validate refinement API inputs.
  * @param predicate Candidate refinement predicate.
@@ -82,6 +116,16 @@ export declare function checkRefinementInput(predicate: unknown, name: unknown):
  * emit straight comparisons without defensive range checks.
  */
 export declare function checkStringLengthBound(value: number, label: string): number;
+/**
+ * @brief Validate a non-negative array length bound.
+ * @param value Candidate bound.
+ * @param label Bound label used in RangeError messages.
+ * @returns The validated bound.
+ * @throws RangeError when the bound is negative or non-integer.
+ * @details Array bounds share the same integer contract as string length
+ * bounds, but the separate helper keeps public error text precise.
+ */
+export declare function checkArrayLengthBound(value: number, label: string): number;
 /**
  * @brief Validate a finite numeric bound.
  * @param value Candidate bound.
@@ -92,4 +136,12 @@ export declare function checkStringLengthBound(value: number, label: string): nu
  * aligned for comparisons such as gte and lte.
  */
 export declare function checkFiniteNumberBound(value: number, label: string): number;
+/**
+ * @brief Normalize a Date bound into a finite epoch millisecond value.
+ * @param value Candidate Date bound.
+ * @param label Bound label used in RangeError messages.
+ * @returns Finite epoch millisecond value.
+ * @throws RangeError when the bound is not a valid Date instance.
+ */
+export declare function checkDateBound(value: Date, label: string): number;
 //# sourceMappingURL=read.d.ts.map

package/dist/guard/read.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"read.d.ts","sourceRoot":"","sources":["../../src/guard/read.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAK7E;;;;;;;;;GASG;AACH,wBAAgB,eAAe,CAC3B,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,MAAM,GACd,MAAM,CAgBR;AAED;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,GAAG,YAAY,CAalF;AAED;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,GAAG,YAAY,CAalF;AAED;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,CAK7D;AAED;;;;;;;GAOG;AACH,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,OAAO,GAAG,YAAY,CAKzE;AAED;;;;;;;GAOG;AACH,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,OAAO,GAAG,YAAY,CAKzE;AAED;;;;;;;GAOG;AACH,wBAAgB,oBAAoB,CAChC,SAAS,EAAE,OAAO,EAClB,IAAI,EAAE,OAAO,GACd,OAAO,CAAC,SAAS,IAAI,CAAC,KAAK,EAAE,OAAO,KAAK,OAAO,CAOlD;AAED;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAK3E;AAED;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAK3E"}
+{"version":3,"file":"read.d.ts","sourceRoot":"","sources":["../../src/guard/read.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EACR,WAAW,EACX,UAAU,EACV,YAAY,EACZ,MAAM,EACN,YAAY,EACf,MAAM,oBAAoB,CAAC;AAK5B;;;;;;;;;GASG;AACH,wBAAgB,eAAe,CAC3B,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,MAAM,GACd,MAAM,CAgBR;AAED;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,GAAG,YAAY,CAalF;AAED;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,GAAG,YAAY,CAalF;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,GAAG,UAAU,CAa9E;AAED;;;;;;;;GAQG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,GAAG,WAAW,CAahF;AAED;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,CAK7D;AAED;;;;;;;GAOG;AACH,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,OAAO,GAAG,YAAY,CAKzE;AAED;;;;;;;GAOG;AACH,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,OAAO,GAAG,YAAY,CAKzE;AAED;;;;;GAKG;AACH,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,OAAO,GAAG,UAAU,CAKrE;AAED;;;;;;;GAOG;AACH,wBAAgB,0BAA0B,CAAC,MAAM,EAAE,OAAO,GAAG,WAAW,CAKvE;AAED;;;;;;;GAOG;AACH,wBAAgB,oBAAoB,CAChC,SAAS,EAAE,OAAO,EAClB,IAAI,EAAE,OAAO,GACd,OAAO,CAAC,SAAS,IAAI,CAAC,KAAK,EAAE,OAAO,KAAK,OAAO,CAOlD;AAED;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAK3E;AAED;;;;;;;;GAQG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAK1E;AAED;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAK3E;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CASjE"}

package/dist/guard/read.js

@@ -81,6 +81,50 @@ export function readNumberMethodSchema(guard, label) {
     }
     return schema;
 }
+/**
+ * @brief Read and require a Date schema from a method receiver.
+ * @param guard Candidate receiver.
+ * @param label Human-readable label used in TypeError messages.
+ * @returns Date schema carried by the receiver.
+ * @throws TypeError when the receiver is not a Date guard.
+ */
+export function readDateMethodSchema(guard, label) {
+    if (isConstructedGuard(guard)) {
+        const schema = guard.schema;
+        if (schema.tag !== SchemaTag.Date) {
+            throw new TypeError(`${label} must be a date TypeSea guard`);
+        }
+        return schema;
+    }
+    const schema = readGuardSchema(guard, label);
+    if (schema.tag !== SchemaTag.Date) {
+        throw new TypeError(`${label} must be a date TypeSea guard`);
+    }
+    return schema;
+}
+/**
+ * @brief Read and require an array schema from a method receiver.
+ * @param guard Candidate receiver.
+ * @param label Human-readable label used in TypeError messages.
+ * @returns Array schema carried by the receiver.
+ * @throws TypeError when the receiver is not an array guard.
+ * @details ArrayGuard methods share this gate so fluent length helpers cannot
+ * be detached and applied to unrelated guard instances.
+ */
+export function readArrayMethodSchema(guard, label) {
+    if (isConstructedGuard(guard)) {
+        const schema = guard.schema;
+        if (schema.tag !== SchemaTag.Array) {
+            throw new TypeError(`${label} must be an array TypeSea guard`);
+        }
+        return schema;
+    }
+    const schema = readGuardSchema(guard, label);
+    if (schema.tag !== SchemaTag.Array) {
+        throw new TypeError(`${label} must be an array TypeSea guard`);
+    }
+    return schema;
+}
 /**
  * @brief Validate and freeze a generic guard constructor schema.
  * @param schema Candidate runtime schema.
@@ -123,6 +167,32 @@ export function readNumberConstructorSchema(schema) {
     }
     return schema;
 }
+/**
+ * @brief Validate a DateGuard constructor schema.
+ * @param schema Candidate runtime schema.
+ * @returns Date schema accepted by DateGuard.
+ * @throws TypeError when the schema is not a Date schema.
+ */
+export function readDateConstructorSchema(schema) {
+    if (!isSchemaValue(schema) || schema.tag !== SchemaTag.Date) {
+        throw new TypeError("DateGuard constructor requires a date schema");
+    }
+    return schema;
+}
+/**
+ * @brief Validate an ArrayGuard constructor schema.
+ * @param schema Candidate runtime schema.
+ * @returns Array schema accepted by ArrayGuard.
+ * @throws TypeError when the schema is not an array schema.
+ * @details The schema validator already checks the item tree and length-check
+ * vector, so the specialized constructor only enforces the root tag.
+ */
+export function readArrayConstructorSchema(schema) {
+    if (!isSchemaValue(schema) || schema.tag !== SchemaTag.Array) {
+        throw new TypeError("ArrayGuard constructor requires an array schema");
+    }
+    return schema;
+}
 /**
  * @brief Validate refinement API inputs.
  * @param predicate Candidate refinement predicate.
@@ -154,6 +224,21 @@ export function checkStringLengthBound(value, label) {
     }
     return value;
 }
+/**
+ * @brief Validate a non-negative array length bound.
+ * @param value Candidate bound.
+ * @param label Bound label used in RangeError messages.
+ * @returns The validated bound.
+ * @throws RangeError when the bound is negative or non-integer.
+ * @details Array bounds share the same integer contract as string length
+ * bounds, but the separate helper keeps public error text precise.
+ */
+export function checkArrayLengthBound(value, label) {
+    if (!Number.isInteger(value) || value < 0) {
+        throw new RangeError(`${label} array length bound must be a non-negative integer`);
+    }
+    return value;
+}
 /**
  * @brief Validate a finite numeric bound.
  * @param value Candidate bound.
@@ -169,6 +254,23 @@ export function checkFiniteNumberBound(value, label) {
     }
     return value;
 }
+/**
+ * @brief Normalize a Date bound into a finite epoch millisecond value.
+ * @param value Candidate Date bound.
+ * @param label Bound label used in RangeError messages.
+ * @returns Finite epoch millisecond value.
+ * @throws RangeError when the bound is not a valid Date instance.
+ */
+export function checkDateBound(value, label) {
+    if (!(value instanceof Date)) {
+        throw new RangeError(`${label} date bound must be a Date`);
+    }
+    const time = Date.prototype.getTime.call(value);
+    if (!Number.isFinite(time)) {
+        throw new RangeError(`${label} date bound must be valid`);
+    }
+    return time;
+}
 /**
  * @brief Read one own data slot from a structural guard receiver.
  * @param value Candidate receiver.

package/dist/guard/string.d.ts

@@ -4,6 +4,7 @@
  * @details Guard helpers build new immutable schema wrappers so fluent APIs never mutate an
  * existing guard instance.
  */
+import { type BaseDecoder } from "../decoder/index.js";
 import type { StringSchema } from "../schema/index.js";
 import { BaseGuard } from "./base.js";
 import type { Presence } from "./types.js";
@@ -36,6 +37,17 @@ export declare class StringGuard<TPresence extends Presence = "required"> extend
      * @returns Fresh StringGuard with an appended max check.
      */
     max(value: number): StringGuard<TPresence>;
+    /**
+     * @brief Require an exact string length.
+     * @param value Non-negative integer length.
+     * @returns Fresh StringGuard with matching min and max bounds.
+     */
+    length(value: number): StringGuard<TPresence>;
+    /**
+     * @brief Require a non-empty string.
+     * @returns Fresh StringGuard with `min(1)`.
+     */
+    nonempty(): StringGuard<TPresence>;
     /**
      * @brief Add a regular expression check.
  * @details Guard helpers build new immutable schema wrappers so fluent APIs never mutate an
@@ -45,6 +57,24 @@ export declare class StringGuard<TPresence extends Presence = "required"> extend
      * @returns Fresh StringGuard with an appended regex check.
      */
     regex(pattern: RegExp, name: string): StringGuard<TPresence>;
+    /**
+     * @brief Require a fixed prefix.
+     * @param value Prefix string matched at offset zero.
+     * @returns Fresh StringGuard with an escaped prefix regex.
+     */
+    startsWith(value: string): StringGuard<TPresence>;
+    /**
+     * @brief Require a fixed suffix.
+     * @param value Suffix string matched at the end of the input.
+     * @returns Fresh StringGuard with an escaped suffix regex.
+     */
+    endsWith(value: string): StringGuard<TPresence>;
+    /**
+     * @brief Require a fixed substring.
+     * @param value Substring that must appear in the input.
+     * @returns Fresh StringGuard with an escaped substring regex.
+     */
+    includes(value: string): StringGuard<TPresence>;
     /**
      * @brief Add the built-in UUID string check.
  * @details Guard helpers build new immutable schema wrappers so fluent APIs never mutate an
@@ -52,5 +82,57 @@ export declare class StringGuard<TPresence extends Presence = "required"> extend
      * @returns Fresh StringGuard with an appended uuid check.
      */
     uuid(): StringGuard<TPresence>;
+    /**
+     * @brief Add the built-in email string check.
+     * @returns Fresh StringGuard with an appended email check.
+     */
+    email(): StringGuard<TPresence>;
+    /**
+     * @brief Add the built-in URL string check.
+     * @returns Fresh StringGuard with an appended URL check.
+     * @details The check is a deterministic grammar subset rather than a
+     * throwing URL constructor call, so AOT and runtime validators agree.
+     */
+    url(): StringGuard<TPresence>;
+    /**
+     * @brief Add the built-in ISO date check.
+     * @returns Fresh StringGuard with an appended ISO date check.
+     */
+    isoDate(): StringGuard<TPresence>;
+    /**
+     * @brief Add the built-in ISO date-time check.
+     * @returns Fresh StringGuard with an appended ISO date-time check.
+     */
+    isoDateTime(): StringGuard<TPresence>;
+    /**
+     * @brief Add the built-in ULID string check.
+     * @returns Fresh StringGuard with an appended ULID check.
+     */
+    ulid(): StringGuard<TPresence>;
+    /**
+     * @brief Add the built-in IPv4 string check.
+     * @returns Fresh StringGuard with an appended IPv4 check.
+     */
+    ipv4(): StringGuard<TPresence>;
+    /**
+     * @brief Add the built-in IPv6 string check.
+     * @returns Fresh StringGuard with an appended IPv6 check.
+     */
+    ipv6(): StringGuard<TPresence>;
+    /**
+     * @brief Decode a string and trim surrounding whitespace.
+     * @returns Decoder that validates this string guard before trimming.
+     */
+    trim(): BaseDecoder<string>;
+    /**
+     * @brief Decode a string and lowercase it.
+     * @returns Decoder that validates this string guard before lowercasing.
+     */
+    toLowerCase(): BaseDecoder<string>;
+    /**
+     * @brief Decode a string and uppercase it.
+     * @returns Decoder that validates this string guard before uppercasing.
+     */
+    toUpperCase(): BaseDecoder<string>;
 }
 //# sourceMappingURL=string.d.ts.map

package/dist/guard/string.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"string.d.ts","sourceRoot":"","sources":["../../src/guard/string.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAOtC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAE3C;;;;GAIG;AACH,qBAAa,WAAW,CACpB,SAAS,SAAS,QAAQ,GAAG,UAAU,CACzC,SAAQ,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC;IAElC;;;;;OAKG;gBACgB,MAAM,EAAE,YAAY;IAKvC;;;;;;OAMG;IACI,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC;IAejD;;;;;;OAMG;IACI,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC;IAejD;;;;;;;OAOG;IACI,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC;IAyBnE;;;;;OAKG;IACI,IAAI,IAAI,WAAW,CAAC,SAAS,CAAC;CAYxC"}
+{"version":3,"file":"string.d.ts","sourceRoot":"","sources":["../../src/guard/string.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAa,KAAK,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAClE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAOtC,OAAO,KAAK,EAAS,QAAQ,EAAE,MAAM,YAAY,CAAC;AAElD;;;;GAIG;AACH,qBAAa,WAAW,CACpB,SAAS,SAAS,QAAQ,GAAG,UAAU,CACzC,SAAQ,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC;IAElC;;;;;OAKG;gBACgB,MAAM,EAAE,YAAY;IAKvC;;;;;;OAMG;IACI,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC;IAejD;;;;;;OAMG;IACI,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC;IAejD;;;;OAIG;IACI,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC;IAKpD;;;OAGG;IACI,QAAQ,IAAI,WAAW,CAAC,SAAS,CAAC;IAIzC;;;;;;;OAOG;IACI,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC;IAyBnE;;;;OAIG;IACI,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC;IAOxD;;;;OAIG;IACI,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC;IAOtD;;;;OAIG;IACI,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC;IAOtD;;;;;OAKG;IACI,IAAI,IAAI,WAAW,CAAC,SAAS,CAAC;IAarC;;;OAGG;IACI,KAAK,IAAI,WAAW,CAAC,SAAS,CAAC;IAatC;;;;;OAKG;IACI,GAAG,IAAI,WAAW,CAAC,SAAS,CAAC;IAapC;;;OAGG;IACI,OAAO,IAAI,WAAW,CAAC,SAAS,CAAC;IAaxC;;;OAGG;IACI,WAAW,IAAI,WAAW,CAAC,SAAS,CAAC;IAa5C;;;OAGG;IACI,IAAI,IAAI,WAAW,CAAC,SAAS,CAAC;IAarC;;;OAGG;IACI,IAAI,IAAI,WAAW,CAAC,SAAS,CAAC;IAarC;;;OAGG;IACI,IAAI,IAAI,WAAW,CAAC,SAAS,CAAC;IAarC;;;OAGG;IACI,IAAI,IAAI,WAAW,CAAC,MAAM,CAAC;IAKlC;;;OAGG;IACI,WAAW,IAAI,WAAW,CAAC,MAAM,CAAC;IAKzC;;;OAGG;IACI,WAAW,IAAI,WAAW,CAAC,MAAM,CAAC;CAI5C"}

package/dist/guard/string.js

@@ -5,6 +5,7 @@
  * existing guard instance.
  */
 import { SchemaTag, StringCheckTag } from "../kind/index.js";
+import { transform } from "../decoder/index.js";
 import { BaseGuard } from "./base.js";
 import { isPlainRegExp } from "./props.js";
 import { checkStringLengthBound, readStringConstructorSchema, readStringMethodSchema } from "./read.js";
@@ -66,6 +67,22 @@ export class StringGuard extends BaseGuard {
             ]
         });
     }
+    /**
+     * @brief Require an exact string length.
+     * @param value Non-negative integer length.
+     * @returns Fresh StringGuard with matching min and max bounds.
+     */
+    length(value) {
+        const bound = checkStringLengthBound(value, "length");
+        return this.min(bound).max(bound);
+    }
+    /**
+     * @brief Require a non-empty string.
+     * @returns Fresh StringGuard with `min(1)`.
+     */
+    nonempty() {
+        return this.min(1);
+    }
     /**
      * @brief Add a regular expression check.
  * @details Guard helpers build new immutable schema wrappers so fluent APIs never mutate an
@@ -98,6 +115,30 @@ export class StringGuard extends BaseGuard {
             ]
         });
     }
+    /**
+     * @brief Require a fixed prefix.
+     * @param value Prefix string matched at offset zero.
+     * @returns Fresh StringGuard with an escaped prefix regex.
+     */
+    startsWith(value) {
+        return this.regex(new RegExp(`^${escapeRegExpString(readStringNeedle(value, "startsWith"))}`, "u"), "starts_with");
+    }
+    /**
+     * @brief Require a fixed suffix.
+     * @param value Suffix string matched at the end of the input.
+     * @returns Fresh StringGuard with an escaped suffix regex.
+     */
+    endsWith(value) {
+        return this.regex(new RegExp(`${escapeRegExpString(readStringNeedle(value, "endsWith"))}$`, "u"), "ends_with");
+    }
+    /**
+     * @brief Require a fixed substring.
+     * @param value Substring that must appear in the input.
+     * @returns Fresh StringGuard with an escaped substring regex.
+     */
+    includes(value) {
+        return this.regex(new RegExp(escapeRegExpString(readStringNeedle(value, "includes")), "u"), "includes");
+    }
     /**
      * @brief Add the built-in UUID string check.
  * @details Guard helpers build new immutable schema wrappers so fluent APIs never mutate an
@@ -116,4 +157,176 @@ export class StringGuard extends BaseGuard {
             ]
         });
     }
+    /**
+     * @brief Add the built-in email string check.
+     * @returns Fresh StringGuard with an appended email check.
+     */
+    email() {
+        const schema = readStringMethodSchema(this, "string email receiver");
+        return new StringGuard({
+            tag: SchemaTag.String,
+            checks: [
+                ...schema.checks,
+                {
+                    tag: StringCheckTag.Email
+                }
+            ]
+        });
+    }
+    /**
+     * @brief Add the built-in URL string check.
+     * @returns Fresh StringGuard with an appended URL check.
+     * @details The check is a deterministic grammar subset rather than a
+     * throwing URL constructor call, so AOT and runtime validators agree.
+     */
+    url() {
+        const schema = readStringMethodSchema(this, "string url receiver");
+        return new StringGuard({
+            tag: SchemaTag.String,
+            checks: [
+                ...schema.checks,
+                {
+                    tag: StringCheckTag.Url
+                }
+            ]
+        });
+    }
+    /**
+     * @brief Add the built-in ISO date check.
+     * @returns Fresh StringGuard with an appended ISO date check.
+     */
+    isoDate() {
+        const schema = readStringMethodSchema(this, "string isoDate receiver");
+        return new StringGuard({
+            tag: SchemaTag.String,
+            checks: [
+                ...schema.checks,
+                {
+                    tag: StringCheckTag.IsoDate
+                }
+            ]
+        });
+    }
+    /**
+     * @brief Add the built-in ISO date-time check.
+     * @returns Fresh StringGuard with an appended ISO date-time check.
+     */
+    isoDateTime() {
+        const schema = readStringMethodSchema(this, "string isoDateTime receiver");
+        return new StringGuard({
+            tag: SchemaTag.String,
+            checks: [
+                ...schema.checks,
+                {
+                    tag: StringCheckTag.IsoDateTime
+                }
+            ]
+        });
+    }
+    /**
+     * @brief Add the built-in ULID string check.
+     * @returns Fresh StringGuard with an appended ULID check.
+     */
+    ulid() {
+        const schema = readStringMethodSchema(this, "string ulid receiver");
+        return new StringGuard({
+            tag: SchemaTag.String,
+            checks: [
+                ...schema.checks,
+                {
+                    tag: StringCheckTag.Ulid
+                }
+            ]
+        });
+    }
+    /**
+     * @brief Add the built-in IPv4 string check.
+     * @returns Fresh StringGuard with an appended IPv4 check.
+     */
+    ipv4() {
+        const schema = readStringMethodSchema(this, "string ipv4 receiver");
+        return new StringGuard({
+            tag: SchemaTag.String,
+            checks: [
+                ...schema.checks,
+                {
+                    tag: StringCheckTag.Ipv4
+                }
+            ]
+        });
+    }
+    /**
+     * @brief Add the built-in IPv6 string check.
+     * @returns Fresh StringGuard with an appended IPv6 check.
+     */
+    ipv6() {
+        const schema = readStringMethodSchema(this, "string ipv6 receiver");
+        return new StringGuard({
+            tag: SchemaTag.String,
+            checks: [
+                ...schema.checks,
+                {
+                    tag: StringCheckTag.Ipv6
+                }
+            ]
+        });
+    }
+    /**
+     * @brief Decode a string and trim surrounding whitespace.
+     * @returns Decoder that validates this string guard before trimming.
+     */
+    trim() {
+        return transform(readRequiredStringGuard(this), (value) => trimString(value));
+    }
+    /**
+     * @brief Decode a string and lowercase it.
+     * @returns Decoder that validates this string guard before lowercasing.
+     */
+    toLowerCase() {
+        return transform(readRequiredStringGuard(this), (value) => lowerString(value));
+    }
+    /**
+     * @brief Decode a string and uppercase it.
+     * @returns Decoder that validates this string guard before uppercasing.
+     */
+    toUpperCase() {
+        return transform(readRequiredStringGuard(this), (value) => upperString(value));
+    }
+}
+/**
+ * @brief Narrow a StringGuard receiver to its runtime string contract.
+ * @param guard StringGuard receiver after method dispatch.
+ * @returns The same guard seen as a required string source for decoder transforms.
+ */
+function readRequiredStringGuard(guard) {
+    return guard;
+}
+function trimString(value) {
+    return String.prototype.trim.call(value);
+}
+function lowerString(value) {
+    return String.prototype.toLowerCase.call(value);
+}
+function upperString(value) {
+    return String.prototype.toUpperCase.call(value);
+}
+/**
+ * @brief Read a string argument used by fixed-string predicates.
+ * @param value Candidate substring value.
+ * @param label Method name used in thrown errors.
+ * @returns Accepted string value.
+ */
+function readStringNeedle(value, label) {
+    if (typeof value !== "string") {
+        throw new TypeError(`string ${label} value must be a string`);
+    }
+    return value;
+}
+/**
+ * @brief Escape a literal string for RegExp source text.
+ * @param value String fragment to match literally.
+ * @returns RegExp source fragment with metacharacters escaped.
+ */
+function escapeRegExpString(value) {
+    return value.replace(/[\\^$.*+?()[\]{}|]/gu, "\\$&");
 }

package/dist/guard/types.d.ts

@@ -75,6 +75,15 @@ export interface Guard<TValue, TPresence extends Presence = "required"> {
      * @returns Check result with either the accepted value or frozen issues.
      */
     check(value: unknown): CheckResult<RuntimeValue<TValue, TPresence>>;
+    /**
+     * @brief Validate a runtime value and keep only the first issue.
+     * @details This diagnostic path is intended for hot rejection checks where
+     * callers need one machine-readable failure and do not want full-tree issue
+     * collection. Success returns the original value with the guard's inferred type.
+     * @param value Candidate runtime value.
+     * @returns Check result with at most one frozen issue on failure.
+     */
+    checkFirst(value: unknown): CheckResult<RuntimeValue<TValue, TPresence>>;
     /**
      * @brief Validate a runtime value or throw TypeSeaAssertionError.
      * @details This convenience wrapper is intentionally explicit in the method
@@ -151,5 +160,14 @@ export interface Guard<TValue, TPresence extends Presence = "required"> {
      * @returns Guard accepting only values accepted by both guards.
      */
     intersect<TOther extends Guard<unknown, Presence>>(other: TOther): BaseGuard<RuntimeValue<TValue, TPresence> & Infer<TOther>>;
+    /**
+     * @brief Require one own data property after this guard succeeds.
+     * @details This is a safe property proof: only own data descriptors are
+     * accepted, so validation does not execute getters.
+     * @param key Own string property key to inspect.
+     * @param value Guard applied to the property value.
+     * @returns Guard carrying the base type plus the property proof.
+     */
+    property<const TKey extends string, TGuard extends Guard<unknown, Presence>>(key: TKey, value: TGuard): BaseGuard<RuntimeValue<TValue, TPresence> & Readonly<Record<TKey, Infer<TGuard>>>>;
 }
 //# sourceMappingURL=types.d.ts.map

package/dist/guard/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/guard/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAC5C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAE3C,MAAM,CAAC,OAAO,CAAC,MAAM,UAAU,EAAE,OAAO,MAAM,CAAC;AAE/C,MAAM,CAAC,OAAO,CAAC,MAAM,cAAc,EAAE,OAAO,MAAM,CAAC;AAEnD,MAAM,CAAC,OAAO,CAAC,MAAM,WAAW,EAAE,OAAO,MAAM,CAAC;AAEhD;;;;;GAKG;AACH,MAAM,MAAM,QAAQ,GAAG,UAAU,GAAG,UAAU,CAAC;AAE/C;;;;GAIG;AACH,MAAM,MAAM,YAAY,CAAC,MAAM,EAAE,SAAS,SAAS,QAAQ,IACvD,SAAS,SAAS,UAAU,GAAG,MAAM,GAAG,SAAS,GAAG,MAAM,CAAC;AAE/D;;;;GAIG;AACH,MAAM,MAAM,KAAK,CAAC,MAAM,IACpB,MAAM,SAAS,KAAK,CAAC,MAAM,MAAM,EAAE,MAAM,SAAS,CAAC,GAC7C,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,GAC/B,KAAK,CAAC;AAEhB;;;;GAIG;AACH,MAAM,MAAM,UAAU,CAAC,MAAM,IACzB,MAAM,SAAS,KAAK,CAAC,MAAM,MAAM,EAAE,QAAQ,CAAC,GAAG,MAAM,GAAG,KAAK,CAAC;AAElE;;;;GAIG;AACH,MAAM,MAAM,aAAa,CAAC,MAAM,IAC5B,MAAM,SAAS,KAAK,CAAC,OAAO,EAAE,MAAM,SAAS,CAAC,GAAG,SAAS,GAAG,KAAK,CAAC;AAEvE;;;;GAIG;AACH,MAAM,MAAM,KAAK,CAAC,MAAM,EAAE,MAAM,SAAS,MAAM,IAAI,MAAM,GAAG;IACxD,QAAQ,CAAC,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAClC,CAAC;AAEF;;;;GAIG;AACH,MAAM,WAAW,KAAK,CAAC,MAAM,EAAE,SAAS,SAAS,QAAQ,GAAG,UAAU;IAClE,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,CAAC,cAAc,CAAC,EAAE,SAAS,CAAC;IACrC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAExB;;;;;;OAMG;IACH,EAAE,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAE7D;;;;;;OAMG;IACH,KAAK,CAAC,KAAK,EAAE,OAAO,GAAG,WAAW,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;IAEpE;;;;;OAKG;IACH,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,KAAK,IAAI,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAEzE;;;;;OAKG;IACH,KAAK,IAAI,KAAK,CAAC;IAEf;;;;;OAKG;IACH,QAAQ,IAAI,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAE1C;;;;;;OAMG;IACH,aAAa,IAAI,SAAS,CAAC,MAAM,GAAG,SAAS,EAAE,SAAS,CAAC,CAAC;IAE1D;;;;;OAKG;IACH,QAAQ,IAAI,SAAS,CAAC,MAAM,GAAG,IAAI,EAAE,SAAS,CAAC,CAAC;IAEhD;;;;;OAKG;IACH,KAAK,IAAI,SAAS,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC;IAEtD;;;;;OAKG;IACH,KAAK,CAAC,MAAM,SAAS,MAAM,KAAK,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,SAAS,CAAC,CAAC;IAE5E;;;;;;;;OAQG;IACH,MAAM,CACF,SAAS,EAAE,CAAC,KAAK,EAAE,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,KAAK,OAAO,EAC9D,IAAI,EAAE,MAAM,GACb,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAEhC;;;;;;OAMG;IACH,EAAE,CAAC,MAAM,SAAS,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,EACtC,KAAK,EAAE,MAAM,GACd,SAAS,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAE9D;;;;;;OAMG;IACH,SAAS,CAAC,MAAM,SAAS,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,EAC7C,KAAK,EAAE,MAAM,GACd,SAAS,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;CACjE"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/guard/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAC5C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAE3C,MAAM,CAAC,OAAO,CAAC,MAAM,UAAU,EAAE,OAAO,MAAM,CAAC;AAE/C,MAAM,CAAC,OAAO,CAAC,MAAM,cAAc,EAAE,OAAO,MAAM,CAAC;AAEnD,MAAM,CAAC,OAAO,CAAC,MAAM,WAAW,EAAE,OAAO,MAAM,CAAC;AAEhD;;;;;GAKG;AACH,MAAM,MAAM,QAAQ,GAAG,UAAU,GAAG,UAAU,CAAC;AAE/C;;;;GAIG;AACH,MAAM,MAAM,YAAY,CAAC,MAAM,EAAE,SAAS,SAAS,QAAQ,IACvD,SAAS,SAAS,UAAU,GAAG,MAAM,GAAG,SAAS,GAAG,MAAM,CAAC;AAE/D;;;;GAIG;AACH,MAAM,MAAM,KAAK,CAAC,MAAM,IACpB,MAAM,SAAS,KAAK,CAAC,MAAM,MAAM,EAAE,MAAM,SAAS,CAAC,GAC7C,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,GAC/B,KAAK,CAAC;AAEhB;;;;GAIG;AACH,MAAM,MAAM,UAAU,CAAC,MAAM,IACzB,MAAM,SAAS,KAAK,CAAC,MAAM,MAAM,EAAE,QAAQ,CAAC,GAAG,MAAM,GAAG,KAAK,CAAC;AAElE;;;;GAIG;AACH,MAAM,MAAM,aAAa,CAAC,MAAM,IAC5B,MAAM,SAAS,KAAK,CAAC,OAAO,EAAE,MAAM,SAAS,CAAC,GAAG,SAAS,GAAG,KAAK,CAAC;AAEvE;;;;GAIG;AACH,MAAM,MAAM,KAAK,CAAC,MAAM,EAAE,MAAM,SAAS,MAAM,IAAI,MAAM,GAAG;IACxD,QAAQ,CAAC,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAClC,CAAC;AAEF;;;;GAIG;AACH,MAAM,WAAW,KAAK,CAAC,MAAM,EAAE,SAAS,SAAS,QAAQ,GAAG,UAAU;IAClE,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,CAAC,cAAc,CAAC,EAAE,SAAS,CAAC;IACrC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAExB;;;;;;OAMG;IACH,EAAE,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAE7D;;;;;;OAMG;IACH,KAAK,CAAC,KAAK,EAAE,OAAO,GAAG,WAAW,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;IAEpE;;;;;;;OAOG;IACH,UAAU,CAAC,KAAK,EAAE,OAAO,GAAG,WAAW,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;IAEzE;;;;;OAKG;IACH,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,KAAK,IAAI,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAEzE;;;;;OAKG;IACH,KAAK,IAAI,KAAK,CAAC;IAEf;;;;;OAKG;IACH,QAAQ,IAAI,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAE1C;;;;;;OAMG;IACH,aAAa,IAAI,SAAS,CAAC,MAAM,GAAG,SAAS,EAAE,SAAS,CAAC,CAAC;IAE1D;;;;;OAKG;IACH,QAAQ,IAAI,SAAS,CAAC,MAAM,GAAG,IAAI,EAAE,SAAS,CAAC,CAAC;IAEhD;;;;;OAKG;IACH,KAAK,IAAI,SAAS,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC;IAEtD;;;;;OAKG;IACH,KAAK,CAAC,MAAM,SAAS,MAAM,KAAK,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,SAAS,CAAC,CAAC;IAE5E;;;;;;;;OAQG;IACH,MAAM,CACF,SAAS,EAAE,CAAC,KAAK,EAAE,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,KAAK,OAAO,EAC9D,IAAI,EAAE,MAAM,GACb,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAEhC;;;;;;OAMG;IACH,EAAE,CAAC,MAAM,SAAS,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,EACtC,KAAK,EAAE,MAAM,GACd,SAAS,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAE9D;;;;;;OAMG;IACH,SAAS,CAAC,MAAM,SAAS,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,EAC7C,KAAK,EAAE,MAAM,GACd,SAAS,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAE9D;;;;;;;OAOG;IACH,QAAQ,CACJ,KAAK,CAAC,IAAI,SAAS,MAAM,EACzB,MAAM,SAAS,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,EAEvC,GAAG,EAAE,IAAI,EACT,KAAK,EAAE,MAAM,GACd,SAAS,CACR,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAC1E,CAAC;CACL"}

package/dist/index.d.ts

@@ -1,12 +1,12 @@
-export { t, array, bigintGuard, discriminatedUnion, extend, intersect, lazy, literal, nullable, neverGuard, object, omit, optional, partial, pick, record, refine, strictObject, symbolGuard, tuple, union, unknownGuard, undefinedable, type InferObject, type InferTuple, type MergeObjectShapes, type ObjectGuardMode, type ObjectShape, type OmitObjectShape, ObjectGuard, type PartialObjectShape, type PickObjectShape, type TupleShape } from "./builders/index.js";
-export { BaseGuard, NumberGuard, StringGuard, TypeSeaAssertionError, type Brand, type Guard, type GuardPresence, type GuardValue, type Infer, type Presence, type RuntimeValue } from "./guard/index.js";
+export { t, array, bigintGuard, catchall, dateGuard, deepPartial, discriminatedUnion, enum, enumValues, extend, instanceOf, intersect, json, lazy, literal, map, merge, nullable, neverGuard, nullGuard, nullish, object, omit, optional, partial, passthrough, pick, property, record, refine, required, safeExtend, set, strict, strictObject, strip, symbolGuard, tuple, union, unknownGuard, undefinedGuard, undefinedable, voidGuard, type DeepPartialObjectShape, type DeepPartialValue, type InferObject, type InferTuple, type InferTupleWithRest, type EnumValues, type InstanceConstructor, type JsonValue, type MaskSelectedKeys, type MergeObjectShapes, type ObjectKeyMask, type ObjectGuardMode, type ObjectShape, type OmitObjectShape, type OmitObjectShapeByMask, ObjectGuard, type PartialObjectShape, type PickObjectShape, type PickObjectShapeByMask, type RequiredObjectShape, type TupleShape } from "./builders/index.js";
+export { BaseGuard, ArrayGuard, DateGuard, NumberGuard, StringGuard, TypeSeaAssertionError, type Brand, type Guard, type GuardPresence, type GuardValue, type Infer, type Presence, type RuntimeValue } from "./guard/index.js";
 export { CompiledBaseGuard, compile, type CompileMode, type CompileOptions, type CompiledGuard } from "./compile/index.js";
 export { emitAotModule, type AotCompileOptions, type AotIssue, type AotIssueCode, type AotModule } from "./aot/index.js";
 export { toAsyncTrpcParser, toFastifyRouteSchema, toFastifyValidatorCompiler, toReactHookFormResolver, toTrpcParser, type AsyncTrpcParser, type FastifyHttpPart, type FastifyRouteSchema, type FastifyRouteSchemaOptions, type FastifyValidationResult, type FastifyValidator, type FastifyValidatorCompiler, type FastifyValidatorCompilerSource, type FastifyValidatorCompilerSourceMap, type FastifyValidatorRoute, type InferAdapter, type InferSyncAdapter, type ReactHookFormErrors, type ReactHookFormFieldError, type ReactHookFormResolver, type ReactHookFormResolverOptions, type ReactHookFormResolverResult, type SyncAdapterSource, type TrpcParser } from "./adapters/index.js";
 export { BaseAsyncDecoder, asyncDecoder, asyncPipe, asyncRefine, asyncTransform, isAsyncDecoderValue, type AsyncDecodeSource, type AsyncDecoder, type InferAsyncDecoder } from "./async/index.js";
-export { BaseDecoder, coerce, coerceBoolean, coerceNumber, coerceString, decoder, isDecoderValue, pipe, transform, type DecodeSource, type Decoder, type InferDecoder } from "./decoder/index.js";
+export { BaseCodec, BaseDecoder, catchValue, codec, coerce, coerceBoolean, coerceNumber, coerceString, defaultValue, decoder, isCodecValue, isDecoderValue, pipe, prefault, transform, type Codec, type DecodeSource, type Decoder, type InferDecoder } from "./decoder/index.js";
 export { schemaToJsonSchema, toJsonSchema, type JsonSchema, type JsonSchemaExportCode, type JsonSchemaExportIssue, type JsonSchemaObject, type JsonSchemaOptions, type JsonSchemaPrimitive, type JsonSchemaTypeName } from "./json-schema/index.js";
-export { defineMessages, formatIssue, formatIssues, withMessages, type IssueMessageCatalog, type IssueMessageContext, type IssueMessageFormatter, type IssueMessageOptions, type IssueMessageTemplate, type MessageLocale } from "./message/index.js";
+export { defineMessages, flattenIssues, formatIssue, formatIssues, withMessages, type FlattenedIssueMessages, type IssueMessageCatalog, type IssueMessageContext, type IssueMessageFormatter, type IssueMessageOptions, type IssueMessageTemplate, type MessageLocale } from "./message/index.js";
 export type { CheckResult, Issue, IssueCode, PathSegment } from "./issue/index.js";
 export type { Graph, GraphNode, NodeId } from "./ir/index.js";
 export { optimizeGraph } from "./optimize/index.js";

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,CAAC,EACD,KAAK,EACL,WAAW,EACX,kBAAkB,EAClB,MAAM,EACN,SAAS,EACT,IAAI,EACJ,OAAO,EACP,QAAQ,EACR,UAAU,EACV,MAAM,EACN,IAAI,EACJ,QAAQ,EACR,OAAO,EACP,IAAI,EACJ,MAAM,EACN,MAAM,EACN,YAAY,EACZ,WAAW,EACX,KAAK,EACL,KAAK,EACL,YAAY,EACZ,aAAa,EACb,KAAK,WAAW,EAChB,KAAK,UAAU,EACf,KAAK,iBAAiB,EACtB,KAAK,eAAe,EACpB,KAAK,WAAW,EAChB,KAAK,eAAe,EACpB,WAAW,EACX,KAAK,kBAAkB,EACvB,KAAK,eAAe,EACpB,KAAK,UAAU,EAClB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACH,SAAS,EACT,WAAW,EACX,WAAW,EACX,qBAAqB,EACrB,KAAK,KAAK,EACV,KAAK,KAAK,EACV,KAAK,aAAa,EAClB,KAAK,UAAU,EACf,KAAK,KAAK,EACV,KAAK,QAAQ,EACb,KAAK,YAAY,EACpB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACH,iBAAiB,EACjB,OAAO,EACP,KAAK,WAAW,EAChB,KAAK,cAAc,EACnB,KAAK,aAAa,EACrB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EACH,aAAa,EACb,KAAK,iBAAiB,EACtB,KAAK,QAAQ,EACb,KAAK,YAAY,EACjB,KAAK,SAAS,EACjB,MAAM,gBAAgB,CAAC;AAExB,OAAO,EACH,iBAAiB,EACjB,oBAAoB,EACpB,0BAA0B,EAC1B,uBAAuB,EACvB,YAAY,EACZ,KAAK,eAAe,EACpB,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACvB,KAAK,yBAAyB,EAC9B,KAAK,uBAAuB,EAC5B,KAAK,gBAAgB,EACrB,KAAK,wBAAwB,EAC7B,KAAK,8BAA8B,EACnC,KAAK,iCAAiC,EACtC,KAAK,qBAAqB,EAC1B,KAAK,YAAY,EACjB,KAAK,gBAAgB,EACrB,KAAK,mBAAmB,EACxB,KAAK,uBAAuB,EAC5B,KAAK,qBAAqB,EAC1B,KAAK,4BAA4B,EACjC,KAAK,2BAA2B,EAChC,KAAK,iBAAiB,EACtB,KAAK,UAAU,EAClB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACH,gBAAgB,EAChB,YAAY,EACZ,SAAS,EACT,WAAW,EACX,cAAc,EACd,mBAAmB,EACnB,KAAK,iBAAiB,EACtB,KAAK,YAAY,EACjB,KAAK,iBAAiB,EACzB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACH,WAAW,EACX,MAAM,EACN,aAAa,EACb,YAAY,EACZ,YAAY,EACZ,OAAO,EACP,cAAc,EACd,IAAI,EACJ,SAAS,EACT,KAAK,YAAY,EACjB,KAAK,OAAO,EACZ,KAAK,YAAY,EACpB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EACH,kBAAkB,EAClB,YAAY,EACZ,KAAK,UAAU,EACf,KAAK,oBAAoB,EACzB,KAAK,qBAAqB,EAC1B,KAAK,gBAAgB,EACrB,KAAK,iBAAiB,EACtB,KAAK,mBAAmB,EACxB,KAAK,kBAAkB,EAC1B,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EACH,cAAc,EACd,WAAW,EACX,YAAY,EACZ,YAAY,EACZ,KAAK,mBAAmB,EACxB,KAAK,mBAAmB,EACxB,KAAK,qBAAqB,EAC1B,KAAK,mBAAmB,EACxB,KAAK,oBAAoB,EACzB,KAAK,aAAa,EACrB,MAAM,oBAAoB,CAAC;AAE5B,YAAY,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AACnF,YAAY,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAC9D,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,YAAY,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,CAAC,EACD,KAAK,EACL,WAAW,EACX,QAAQ,EACR,SAAS,EACT,WAAW,EACX,kBAAkB,EAClB,IAAI,EACJ,UAAU,EACV,MAAM,EACN,UAAU,EACV,SAAS,EACT,IAAI,EACJ,IAAI,EACJ,OAAO,EACP,GAAG,EACH,KAAK,EACL,QAAQ,EACR,UAAU,EACV,SAAS,EACT,OAAO,EACP,MAAM,EACN,IAAI,EACJ,QAAQ,EACR,OAAO,EACP,WAAW,EACX,IAAI,EACJ,QAAQ,EACR,MAAM,EACN,MAAM,EACN,QAAQ,EACR,UAAU,EACV,GAAG,EACH,MAAM,EACN,YAAY,EACZ,KAAK,EACL,WAAW,EACX,KAAK,EACL,KAAK,EACL,YAAY,EACZ,cAAc,EACd,aAAa,EACb,SAAS,EACT,KAAK,sBAAsB,EAC3B,KAAK,gBAAgB,EACrB,KAAK,WAAW,EAChB,KAAK,UAAU,EACf,KAAK,kBAAkB,EACvB,KAAK,UAAU,EACf,KAAK,mBAAmB,EACxB,KAAK,SAAS,EACd,KAAK,gBAAgB,EACrB,KAAK,iBAAiB,EACtB,KAAK,aAAa,EAClB,KAAK,eAAe,EACpB,KAAK,WAAW,EAChB,KAAK,eAAe,EACpB,KAAK,qBAAqB,EAC1B,WAAW,EACX,KAAK,kBAAkB,EACvB,KAAK,eAAe,EACpB,KAAK,qBAAqB,EAC1B,KAAK,mBAAmB,EACxB,KAAK,UAAU,EAClB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACH,SAAS,EACT,UAAU,EACV,SAAS,EACT,WAAW,EACX,WAAW,EACX,qBAAqB,EACrB,KAAK,KAAK,EACV,KAAK,KAAK,EACV,KAAK,aAAa,EAClB,KAAK,UAAU,EACf,KAAK,KAAK,EACV,KAAK,QAAQ,EACb,KAAK,YAAY,EACpB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACH,iBAAiB,EACjB,OAAO,EACP,KAAK,WAAW,EAChB,KAAK,cAAc,EACnB,KAAK,aAAa,EACrB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EACH,aAAa,EACb,KAAK,iBAAiB,EACtB,KAAK,QAAQ,EACb,KAAK,YAAY,EACjB,KAAK,SAAS,EACjB,MAAM,gBAAgB,CAAC;AAExB,OAAO,EACH,iBAAiB,EACjB,oBAAoB,EACpB,0BAA0B,EAC1B,uBAAuB,EACvB,YAAY,EACZ,KAAK,eAAe,EACpB,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACvB,KAAK,yBAAyB,EAC9B,KAAK,uBAAuB,EAC5B,KAAK,gBAAgB,EACrB,KAAK,wBAAwB,EAC7B,KAAK,8BAA8B,EACnC,KAAK,iCAAiC,EACtC,KAAK,qBAAqB,EAC1B,KAAK,YAAY,EACjB,KAAK,gBAAgB,EACrB,KAAK,mBAAmB,EACxB,KAAK,uBAAuB,EAC5B,KAAK,qBAAqB,EAC1B,KAAK,4BAA4B,EACjC,KAAK,2BAA2B,EAChC,KAAK,iBAAiB,EACtB,KAAK,UAAU,EAClB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACH,gBAAgB,EAChB,YAAY,EACZ,SAAS,EACT,WAAW,EACX,cAAc,EACd,mBAAmB,EACnB,KAAK,iBAAiB,EACtB,KAAK,YAAY,EACjB,KAAK,iBAAiB,EACzB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACH,SAAS,EACT,WAAW,EACX,UAAU,EACV,KAAK,EACL,MAAM,EACN,aAAa,EACb,YAAY,EACZ,YAAY,EACZ,YAAY,EACZ,OAAO,EACP,YAAY,EACZ,cAAc,EACd,IAAI,EACJ,QAAQ,EACR,SAAS,EACT,KAAK,KAAK,EACV,KAAK,YAAY,EACjB,KAAK,OAAO,EACZ,KAAK,YAAY,EACpB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EACH,kBAAkB,EAClB,YAAY,EACZ,KAAK,UAAU,EACf,KAAK,oBAAoB,EACzB,KAAK,qBAAqB,EAC1B,KAAK,gBAAgB,EACrB,KAAK,iBAAiB,EACtB,KAAK,mBAAmB,EACxB,KAAK,kBAAkB,EAC1B,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EACH,cAAc,EACd,aAAa,EACb,WAAW,EACX,YAAY,EACZ,YAAY,EACZ,KAAK,sBAAsB,EAC3B,KAAK,mBAAmB,EACxB,KAAK,mBAAmB,EACxB,KAAK,qBAAqB,EAC1B,KAAK,mBAAmB,EACxB,KAAK,oBAAoB,EACzB,KAAK,aAAa,EACrB,MAAM,oBAAoB,CAAC;AAE5B,YAAY,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AACnF,YAAY,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAC9D,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,YAAY,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC"}