typesea 0.1.0 → 0.3.0

package/dist/guard/string.js

@@ -1,28 +1,37 @@
 /**
  * @file string.ts
  * @brief String guard implementation.
+ * @details Guard helpers build new immutable schema wrappers so fluent APIs never mutate an
+ * 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";
 /**
- * @brief string guard.
- * @details Owns its state directly; methods expose receiver checks and explicit result flow.
- * @invariant Construction leaves the instance in a fully usable state before it escapes.
+ * @brief Persistent builder for string predicates.
+ * @details Refinement methods append schema checks and return fresh frozen
+ * guards, so shared guard values cannot be mutated by later chains.
  */
 export class StringGuard extends BaseGuard {
     /**
-     * @brief constructor.
-         * @post The receiver is initialized according to the class invariant before it can be observed.
+     * @brief Construct a frozen string guard.
+ * @details Guard helpers build new immutable schema wrappers so fluent APIs never mutate an
+ * existing guard instance.
+     * @param schema String schema backing this guard.
      */
     constructor(schema) {
         super(readStringConstructorSchema(schema));
         Object.freeze(this);
     }
     /**
-     * @brief min.
-           */
+     * @brief Add a minimum string length.
+ * @details Guard helpers build new immutable schema wrappers so fluent APIs never mutate an
+ * existing guard instance.
+     * @param value Non-negative integer lower length bound.
+     * @returns Fresh StringGuard with an appended min check.
+     */
     min(value) {
         const schema = readStringMethodSchema(this, "string min receiver");
         const bound = checkStringLengthBound(value, "min");
@@ -38,8 +47,12 @@ export class StringGuard extends BaseGuard {
         });
     }
     /**
-     * @brief max.
-           */
+     * @brief Add a maximum string length.
+ * @details Guard helpers build new immutable schema wrappers so fluent APIs never mutate an
+ * existing guard instance.
+     * @param value Non-negative integer upper length bound.
+     * @returns Fresh StringGuard with an appended max check.
+     */
     max(value) {
         const schema = readStringMethodSchema(this, "string max receiver");
         const bound = checkStringLengthBound(value, "max");
@@ -55,8 +68,29 @@ export class StringGuard extends BaseGuard {
         });
     }
     /**
-     * @brief regex.
-             */
+     * @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
+ * existing guard instance.
+     * @param pattern Plain RegExp instance to clone into the schema.
+     * @param name Diagnostic name for pattern failures.
+     * @returns Fresh StringGuard with an appended regex check.
+     */
     regex(pattern, name) {
         if (!isPlainRegExp(pattern)) {
             throw new TypeError("regex pattern must be a plain RegExp");
@@ -65,6 +99,10 @@ export class StringGuard extends BaseGuard {
             throw new TypeError("regex name must be a string");
         }
         const schema = readStringMethodSchema(this, "string regex receiver");
+        /*
+         * Clone the pattern so later mutation of lastIndex or subclass state on
+         * the caller-owned RegExp cannot affect validation.
+         */
         return new StringGuard({
             tag: SchemaTag.String,
             checks: [
@@ -78,8 +116,35 @@ export class StringGuard extends BaseGuard {
         });
     }
     /**
-     * @brief uuid.
-         */
+     * @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
+ * existing guard instance.
+     * @returns Fresh StringGuard with an appended uuid check.
+     */
     uuid() {
         const schema = readStringMethodSchema(this, "string uuid receiver");
         return new StringGuard({
@@ -92,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

@@ -1,103 +1,173 @@
 /**
  * @file types.ts
  * @brief Public guard type contracts.
+ * @details Guard helpers build new immutable schema wrappers so fluent APIs never mutate an
+ * existing guard instance.
  */
 import type { CheckResult } from "../issue/index.js";
 import type { Graph } from "../ir/index.js";
 import type { Schema } from "../schema/index.js";
 import type { BaseGuard } from "./base.js";
-/**
- * @brief type symbol.
- */
 export declare const TypeSymbol: unique symbol;
-/**
- * @brief presence symbol.
- */
 export declare const PresenceSymbol: unique symbol;
-/**
- * @brief brand symbol.
- */
 export declare const BrandSymbol: unique symbol;
 /**
- * @brief presence.
+ * @brief Object-property presence mode carried by a guard.
+ * @details Presence is a type-level property of guards, not a runtime schema
+ * wrapper by itself. Object builders use it to decide required versus optional
+ * field semantics during shape construction.
  */
 export type Presence = "required" | "optional";
 /**
- * @brief runtime value.
+ * @brief Runtime value accepted by a guard after presence is applied.
+ * @details Guard helpers build new immutable schema wrappers so fluent APIs never mutate an
+ * existing guard instance.
  */
 export type RuntimeValue<TValue, TPresence extends Presence> = TPresence extends "optional" ? TValue | undefined : TValue;
 /**
- * @brief infer.
+ * @brief Infer the runtime value type accepted by a guard.
+ * @details Optional guards add undefined at the type level so object shape
+ * inference and standalone guard usage agree on accepted values.
  */
 export type Infer<TGuard> = TGuard extends Guard<infer TValue, infer TPresence> ? RuntimeValue<TValue, TPresence> : never;
 /**
- * @brief guard value.
+ * @brief Extract the raw value type carried by a guard.
+ * @details Guard helpers build new immutable schema wrappers so fluent APIs never mutate an
+ * existing guard instance.
  */
 export type GuardValue<TGuard> = TGuard extends Guard<infer TValue, Presence> ? TValue : never;
 /**
- * @brief guard presence.
+ * @brief Extract the presence mode carried by a guard.
+ * @details Guard helpers build new immutable schema wrappers so fluent APIs never mutate an
+ * existing guard instance.
  */
 export type GuardPresence<TGuard> = TGuard extends Guard<unknown, infer TPresence> ? TPresence : never;
 /**
- * @brief brand.
+ * @brief Phantom intersection used for compile-time nominal brands.
+ * @details No runtime field is materialized; validators keep the same data
+ * representation as the unbranded value.
  */
 export type Brand<TValue, TBrand extends string> = TValue & {
     readonly [BrandSymbol]: TBrand;
 };
 /**
- * @brief guard.
+ * @brief Public structural guard contract.
+ * @details The symbols carry inference-only type state. The schema property is
+ * the runtime handle used by interpreters, compilers, and graph introspection.
  */
 export interface Guard<TValue, TPresence extends Presence = "required"> {
     readonly [TypeSymbol]: TValue;
     readonly [PresenceSymbol]: TPresence;
     readonly schema: Schema;
     /**
-     * @brief is.
-           */
+     * @brief Test whether a runtime value is accepted.
+     * @details This is the boolean hot path. It avoids diagnostic allocation and
+     * is the method used by compiled predicates for tight validation loops.
+     * @param value Candidate runtime value.
+     * @returns True when the guard accepts the value.
+     */
     is(value: unknown): value is RuntimeValue<TValue, TPresence>;
     /**
-     * @brief check.
-           */
+     * @brief Validate a runtime value and return explicit issues on failure.
+     * @details Use this path when callers need structured diagnostics. Success
+     * returns the original value with the guard's inferred runtime type.
+     * @param value Candidate runtime value.
+     * @returns Check result with either the accepted value or frozen issues.
+     */
     check(value: unknown): CheckResult<RuntimeValue<TValue, TPresence>>;
     /**
-     * @brief assert.
-           */
+     * @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
+     * name because most TypeSea APIs prefer Result-based control flow.
+     * @param value Candidate runtime value.
+     */
     assert(value: unknown): asserts value is RuntimeValue<TValue, TPresence>;
     /**
-     * @brief graph.
-         */
+     * @brief Return the optimized validation graph for introspection.
+     * @details The graph is immutable and may be reused by tooling, debugging,
+     * or code generation without exposing schema internals directly.
+     * @returns Optimized Sea-of-Nodes validation graph.
+     */
     graph(): Graph;
     /**
-     * @brief optional.
-         */
+     * @brief Mark this guard optional for object shape usage.
+     * @details Optionality changes object field presence and standalone
+     * inference by adding undefined; it does not mutate the source guard.
+     * @returns New guard carrying optional presence.
+     */
     optional(): BaseGuard<TValue, "optional">;
     /**
-     * @brief undefinedable.
-         */
+     * @brief Allow the explicit undefined value.
+     * @details This widens the value domain while preserving the field presence
+     * mode. In object shapes, an undefinedable required field still has to be
+     * present.
+     * @returns New guard whose value type includes undefined.
+     */
     undefinedable(): BaseGuard<TValue | undefined, TPresence>;
     /**
-     * @brief nullable.
-         */
+     * @brief Allow the explicit null value.
+     * @details Nullability is modeled as a value-domain wrapper rather than an
+     * object-presence change, so it composes predictably with optional fields.
+     * @returns New guard whose value type includes null.
+     */
     nullable(): BaseGuard<TValue | null, TPresence>;
     /**
-     * @brief array.
-         */
+     * @brief Build an array guard from this guard.
+     * @details The item schema is the current guard's runtime value domain after
+     * presence has been applied, matching direct `is` semantics.
+     * @returns Guard that accepts arrays of values accepted by this guard.
+     */
     array(): BaseGuard<RuntimeValue<TValue, TPresence>[]>;
     /**
-     * @brief brand.
-         */
+     * @brief Apply a compile-time brand without changing runtime data.
+     * @details Brands are phantom types. Validation behavior and emitted IR stay
+     * identical to the unbranded guard.
+     * @returns New guard carrying the requested nominal brand.
+     */
     brand<TBrand extends string>(): BaseGuard<Brand<TValue, TBrand>, TPresence>;
     /**
-     * @brief refine.
-             */
+     * @brief Append a user refinement predicate.
+     * @details Refinements run after the base schema accepts the value. They are
+     * intentionally opaque to JSON Schema and AOT export because the predicate is
+     * arbitrary user code.
+     * @param predicate Function that returns literal true for success.
+     * @param name Diagnostic name for failed refinements.
+     * @returns New guard with the refinement appended.
+     */
     refine(predicate: (value: RuntimeValue<TValue, TPresence>) => boolean, name: string): BaseGuard<TValue, TPresence>;
     /**
-     * @brief or.
-           */
+     * @brief Build a union with another guard.
+     * @details Union order is preserved so diagnostics and generated code follow
+     * the same branch precedence as the fluent call chain.
+     * @param other Guard accepted as the second union arm.
+     * @returns Guard accepting values accepted by either guard.
+     */
     or<TOther extends Guard<unknown, Presence>>(other: TOther): BaseGuard<RuntimeValue<TValue, TPresence> | Infer<TOther>>;
     /**
-     * @brief intersect.
-           */
+     * @brief Build an intersection with another guard.
+     * @details Both guards must accept the same value. The resulting type is the
+     * TypeScript intersection of their inferred runtime domains.
+     * @param other Guard accepted as the second intersection arm.
+     * @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;;;GAGG;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;;GAEG;AACH,MAAM,CAAC,OAAO,CAAC,MAAM,UAAU,EAAE,OAAO,MAAM,CAAC;AAE/C;;GAEG;AACH,MAAM,CAAC,OAAO,CAAC,MAAM,cAAc,EAAE,OAAO,MAAM,CAAC;AAEnD;;GAEG;AACH,MAAM,CAAC,OAAO,CAAC,MAAM,WAAW,EAAE,OAAO,MAAM,CAAC;AAEhD;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG,UAAU,GAAG,UAAU,CAAC;AAE/C;;GAEG;AACH,MAAM,MAAM,YAAY,CAAC,MAAM,EAAE,SAAS,SAAS,QAAQ,IACzD,SAAS,SAAS,UAAU,GAAG,MAAM,GAAG,SAAS,GAAG,MAAM,CAAC;AAE7D;;GAEG;AACH,MAAM,MAAM,KAAK,CAAC,MAAM,IACtB,MAAM,SAAS,KAAK,CAAC,MAAM,MAAM,EAAE,MAAM,SAAS,CAAC,GAC/C,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,GAC/B,KAAK,CAAC;AAEZ;;GAEG;AACH,MAAM,MAAM,UAAU,CAAC,MAAM,IAC3B,MAAM,SAAS,KAAK,CAAC,MAAM,MAAM,EAAE,QAAQ,CAAC,GAAG,MAAM,GAAG,KAAK,CAAC;AAEhE;;GAEG;AACH,MAAM,MAAM,aAAa,CAAC,MAAM,IAC9B,MAAM,SAAS,KAAK,CAAC,OAAO,EAAE,MAAM,SAAS,CAAC,GAAG,SAAS,GAAG,KAAK,CAAC;AAErE;;GAEG;AACH,MAAM,MAAM,KAAK,CAAC,MAAM,EAAE,MAAM,SAAS,MAAM,IAAI,MAAM,GAAG;IAC1D,QAAQ,CAAC,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAChC,CAAC;AAEF;;GAEG;AACH,MAAM,WAAW,KAAK,CAAC,MAAM,EAAE,SAAS,SAAS,QAAQ,GAAG,UAAU;IACpE,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;;aAES;IACT,EAAE,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAE7D;;aAES;IACT,KAAK,CAAC,KAAK,EAAE,OAAO,GAAG,WAAW,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;IAEpE;;aAES;IACT,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,KAAK,IAAI,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAEzE;;WAEO;IACP,KAAK,IAAI,KAAK,CAAC;IAEf;;WAEO;IACP,QAAQ,IAAI,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAE1C;;WAEO;IACP,aAAa,IAAI,SAAS,CAAC,MAAM,GAAG,SAAS,EAAE,SAAS,CAAC,CAAC;IAE1D;;WAEO;IACP,QAAQ,IAAI,SAAS,CAAC,MAAM,GAAG,IAAI,EAAE,SAAS,CAAC,CAAC;IAEhD;;WAEO;IACP,KAAK,IAAI,SAAS,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC;IAEtD;;WAEO;IACP,KAAK,CAAC,MAAM,SAAS,MAAM,KAAK,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,SAAS,CAAC,CAAC;IAE5E;;eAEW;IACX,MAAM,CACJ,SAAS,EAAE,CAAC,KAAK,EAAE,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,KAAK,OAAO,EAC9D,IAAI,EAAE,MAAM,GACX,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAEhC;;aAES;IACT,EAAE,CAAC,MAAM,SAAS,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,EACxC,KAAK,EAAE,MAAM,GACZ,SAAS,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAE9D;;aAES;IACT,SAAS,CAAC,MAAM,SAAS,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,EAC/C,KAAK,EAAE,MAAM,GACZ,SAAS,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;CAC/D"}
+{"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/guard/types.js

@@ -1,5 +1,7 @@
 /**
  * @file types.ts
  * @brief Public guard type contracts.
+ * @details Guard helpers build new immutable schema wrappers so fluent APIs never mutate an
+ * existing guard instance.
  */
 export {};

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 { CompiledBaseGuard, compile, type CompileOptions, type CompiledGuard } from "./compile/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,EACL,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,EAChB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACL,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,EAClB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACL,iBAAiB,EACjB,OAAO,EACP,KAAK,cAAc,EACnB,KAAK,aAAa,EACnB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EACL,aAAa,EACb,KAAK,iBAAiB,EACtB,KAAK,QAAQ,EACb,KAAK,YAAY,EACjB,KAAK,SAAS,EACf,MAAM,gBAAgB,CAAC;AAExB,OAAO,EACL,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,EAChB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACL,gBAAgB,EAChB,YAAY,EACZ,SAAS,EACT,WAAW,EACX,cAAc,EACd,mBAAmB,EACnB,KAAK,iBAAiB,EACtB,KAAK,YAAY,EACjB,KAAK,iBAAiB,EACvB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACL,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,EAClB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EACL,kBAAkB,EAClB,YAAY,EACZ,KAAK,UAAU,EACf,KAAK,oBAAoB,EACzB,KAAK,qBAAqB,EAC1B,KAAK,gBAAgB,EACrB,KAAK,iBAAiB,EACtB,KAAK,mBAAmB,EACxB,KAAK,kBAAkB,EACxB,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EACL,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,EACnB,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"}

package/dist/index.js

@@ -1,10 +1,10 @@
-export { t, array, bigintGuard, discriminatedUnion, extend, intersect, lazy, literal, nullable, neverGuard, object, omit, optional, partial, pick, record, refine, strictObject, symbolGuard, tuple, union, unknownGuard, undefinedable, ObjectGuard } from "./builders/index.js";
-export { BaseGuard, NumberGuard, StringGuard, TypeSeaAssertionError } 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, ObjectGuard } from "./builders/index.js";
+export { BaseGuard, ArrayGuard, DateGuard, NumberGuard, StringGuard, TypeSeaAssertionError } from "./guard/index.js";
 export { CompiledBaseGuard, compile } from "./compile/index.js";
 export { emitAotModule } from "./aot/index.js";
 export { toAsyncTrpcParser, toFastifyRouteSchema, toFastifyValidatorCompiler, toReactHookFormResolver, toTrpcParser } from "./adapters/index.js";
 export { BaseAsyncDecoder, asyncDecoder, asyncPipe, asyncRefine, asyncTransform, isAsyncDecoderValue } from "./async/index.js";
-export { BaseDecoder, coerce, coerceBoolean, coerceNumber, coerceString, decoder, isDecoderValue, pipe, transform } from "./decoder/index.js";
+export { BaseCodec, BaseDecoder, catchValue, codec, coerce, coerceBoolean, coerceNumber, coerceString, defaultValue, decoder, isCodecValue, isDecoderValue, pipe, prefault, transform } from "./decoder/index.js";
 export { schemaToJsonSchema, toJsonSchema } from "./json-schema/index.js";
-export { defineMessages, formatIssue, formatIssues, withMessages } from "./message/index.js";
+export { defineMessages, flattenIssues, formatIssue, formatIssues, withMessages } from "./message/index.js";
 export { optimizeGraph } from "./optimize/index.js";