typesea 0.2.0 → 0.3.0

package/dist/guard/array.js

@@ -0,0 +1,84 @@
+/**
+ * @file array.ts
+ * @brief Array guard implementation.
+ * @details Array helpers append immutable length constraints while preserving
+ * the item schema owned by the original guard.
+ */
+import { ArrayCheckTag, SchemaTag } from "../kind/index.js";
+import { BaseGuard, setArrayGuardFactory } from "./base.js";
+import { checkArrayLengthBound, readArrayConstructorSchema, readArrayMethodSchema } from "./read.js";
+/**
+ * @brief Persistent builder for homogeneous array predicates.
+ * @details Length methods allocate a fresh schema record. The item schema is
+ * reused by identity because guard construction has already frozen it.
+ */
+export class ArrayGuard extends BaseGuard {
+    /**
+     * @brief Construct a frozen array guard.
+     * @param schema Array schema backing this guard.
+     * @post The receiver has no mutable instance state after construction.
+     */
+    constructor(schema) {
+        super(readArrayConstructorSchema(schema));
+        Object.freeze(this);
+    }
+    /**
+     * @brief Require an inclusive minimum array length.
+     * @param value Non-negative integer lower bound.
+     * @returns Fresh ArrayGuard with an appended minimum length check.
+     */
+    min(value) {
+        const schema = readArrayMethodSchema(this, "array min receiver");
+        const bound = checkArrayLengthBound(value, "min");
+        return new ArrayGuard({
+            tag: SchemaTag.Array,
+            item: schema.item,
+            checks: [
+                ...schema.checks,
+                {
+                    tag: ArrayCheckTag.Min,
+                    value: bound
+                }
+            ]
+        });
+    }
+    /**
+     * @brief Require an inclusive maximum array length.
+     * @param value Non-negative integer upper bound.
+     * @returns Fresh ArrayGuard with an appended maximum length check.
+     */
+    max(value) {
+        const schema = readArrayMethodSchema(this, "array max receiver");
+        const bound = checkArrayLengthBound(value, "max");
+        return new ArrayGuard({
+            tag: SchemaTag.Array,
+            item: schema.item,
+            checks: [
+                ...schema.checks,
+                {
+                    tag: ArrayCheckTag.Max,
+                    value: bound
+                }
+            ]
+        });
+    }
+    /**
+     * @brief Require one exact array length.
+     * @param value Non-negative integer exact length.
+     * @returns Fresh ArrayGuard with matching minimum and maximum length checks.
+     * @details Exact length is represented as two ordinary bounds so every
+     * backend can reuse the same comparison and diagnostic paths.
+     */
+    length(value) {
+        const bound = checkArrayLengthBound(value, "exact");
+        return this.min(bound).max(bound);
+    }
+    /**
+     * @brief Require at least one array element.
+     * @returns Fresh ArrayGuard with a minimum length of one.
+     */
+    nonempty() {
+        return this.min(1);
+    }
+}
+setArrayGuardFactory((schema) => new ArrayGuard(schema));

package/dist/guard/base.d.ts

@@ -4,10 +4,24 @@
  * @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 { SchemaTag } from "../kind/index.js";
+import { type CheckResult } from "../issue/index.js";
 import type { Graph } from "../ir/index.js";
 import type { Schema } from "../schema/index.js";
+import type { ArrayGuard } from "./array.js";
 import type { Brand, Guard, Infer, Presence, PresenceSymbol, RuntimeValue, TypeSymbol } from "./types.js";
+type ArraySchemaRecord = Extract<Schema, {
+    readonly tag: typeof SchemaTag.Array;
+}>;
+type ArrayGuardFactory = <TItem>(schema: ArraySchemaRecord) => ArrayGuard<TItem>;
+/**
+ * @brief Register the concrete array guard factory.
+ * @param factory Constructor wrapper supplied by the array guard module.
+ * @details BaseGuard cannot import ArrayGuard directly without creating an
+ * initialization cycle. The guard barrel loads ArrayGuard, which installs this
+ * factory before public code can call fluent `array()`.
+ */
+export declare function setArrayGuardFactory(factory: ArrayGuardFactory): void;
 /**
  * @brief Schema-backed guard base.
  * @details Methods accept an unknown receiver on purpose. Public JavaScript can
@@ -43,6 +57,14 @@ export declare class BaseGuard<TValue, TPresence extends Presence = "required">
      * @returns Result carrying the value on success or frozen issues on failure.
      */
     check(this: unknown, value: unknown): CheckResult<RuntimeValue<TValue, TPresence>>;
+    /**
+     * @brief Validate a value and keep only the first diagnostic.
+ * @details Guard helpers build new immutable schema wrappers so fluent APIs never mutate an
+ * existing guard instance.
+     * @param value Candidate runtime value.
+     * @returns Result carrying the value on success or one frozen issue on failure.
+     */
+    checkFirst(this: unknown, value: unknown): CheckResult<RuntimeValue<TValue, TPresence>>;
     /**
      * @brief Validate a value and throw TypeSeaAssertionError on failure.
  * @details Guard helpers build new immutable schema wrappers so fluent APIs never mutate an
@@ -85,7 +107,7 @@ export declare class BaseGuard<TValue, TPresence extends Presence = "required">
  * existing guard instance.
      * @returns Fresh array guard.
      */
-    array(): BaseGuard<RuntimeValue<TValue, TPresence>[]>;
+    array(): ArrayGuard<RuntimeValue<TValue, TPresence>>;
     /**
      * @brief Attach a compile-time brand without changing runtime validation.
  * @details Guard helpers build new immutable schema wrappers so fluent APIs never mutate an
@@ -118,5 +140,13 @@ export declare class BaseGuard<TValue, TPresence extends Presence = "required">
      * @returns Fresh intersection guard requiring both schemas to pass.
      */
     intersect<TOther extends Guard<unknown, Presence>>(other: TOther): BaseGuard<RuntimeValue<TValue, TPresence> & Infer<TOther>>;
+    /**
+     * @brief Require one own data property after this guard succeeds.
+     * @param key Own string property key to inspect.
+     * @param value Guard applied to the property value.
+     * @returns Fresh guard that preserves the base domain and 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>>>>;
 }
+export {};
 //# sourceMappingURL=base.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"base.d.ts","sourceRoot":"","sources":["../../src/guard/base.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAKH,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;AASjD,OAAO,KAAK,EACR,KAAK,EACL,KAAK,EACL,KAAK,EACL,QAAQ,EACR,cAAc,EACd,YAAY,EACZ,UAAU,EACb,MAAM,YAAY,CAAC;AAEpB;;;;;;GAMG;AACH,qBAAa,SAAS,CAClB,MAAM,EACN,SAAS,SAAS,QAAQ,GAAG,UAAU,CACzC,YAAW,KAAK,CAAC,MAAM,EAAE,SAAS,CAAC;IACjC,SAAwB,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7C,SAAwB,CAAC,cAAc,CAAC,EAAE,SAAS,CAAC;IACpD,SAAwB,MAAM,EAAE,MAAM,CAAC;IAEvC;;;;;;OAMG;gBACgB,MAAM,EAAE,MAAM;IAYjC;;;;;;OAMG;IACI,EAAE,CACL,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,OAAO,GACf,KAAK,IAAI,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC;IAQ3C;;;;;;OAMG;IACI,KAAK,CACR,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,OAAO,GACf,WAAW,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAO/C;;;;;;OAMG;IACI,MAAM,CACT,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,OAAO,GACf,OAAO,CAAC,KAAK,IAAI,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC;IAUnD;;;;;OAKG;IACI,KAAK,CAAC,IAAI,EAAE,OAAO,GAAG,KAAK;IAIlC;;;;;OAKG;IACI,QAAQ,IAAI,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC;IAOhD;;;;;OAKG;IACI,aAAa,IAAI,SAAS,CAAC,MAAM,GAAG,SAAS,EAAE,SAAS,CAAC;IAOhE;;;;;OAKG;IACI,QAAQ,IAAI,SAAS,CAAC,MAAM,GAAG,IAAI,EAAE,SAAS,CAAC;IAOtD;;;;;OAKG;IACI,KAAK,IAAI,SAAS,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,CAAC;IAO5D;;;;;OAKG;IACI,KAAK,CAAC,MAAM,SAAS,MAAM,KAAK,SAAS,CAC5C,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,EACrB,SAAS,CACZ;IAQD;;;;;;;OAOG;IACI,MAAM,CACT,SAAS,EAAE,CAAC,KAAK,EAAE,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,KAAK,OAAO,EAC9D,IAAI,EAAE,MAAM,GACb,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC;IAe/B;;;;;;OAMG;IACI,EAAE,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;IAY7D;;;;;;OAMG;IACI,SAAS,CAAC,MAAM,SAAS,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,EACpD,KAAK,EAAE,MAAM,GACd,SAAS,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;CAOhE"}
+{"version":3,"file":"base.d.ts","sourceRoot":"","sources":["../../src/guard/base.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAG7C,OAAO,EAAoB,KAAK,WAAW,EAAc,MAAM,mBAAmB,CAAC;AACnF,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAE5C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AASjD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,KAAK,EACR,KAAK,EACL,KAAK,EACL,KAAK,EACL,QAAQ,EACR,cAAc,EACd,YAAY,EACZ,UAAU,EACb,MAAM,YAAY,CAAC;AAEpB,KAAK,iBAAiB,GAAG,OAAO,CAAC,MAAM,EAAE;IAAE,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,KAAK,CAAA;CAAE,CAAC,CAAC;AACnF,KAAK,iBAAiB,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,iBAAiB,KAAK,UAAU,CAAC,KAAK,CAAC,CAAC;AAIjF;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,iBAAiB,GAAG,IAAI,CAErE;AAED;;;;;;GAMG;AACH,qBAAa,SAAS,CAClB,MAAM,EACN,SAAS,SAAS,QAAQ,GAAG,UAAU,CACzC,YAAW,KAAK,CAAC,MAAM,EAAE,SAAS,CAAC;IACjC,SAAwB,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7C,SAAwB,CAAC,cAAc,CAAC,EAAE,SAAS,CAAC;IACpD,SAAwB,MAAM,EAAE,MAAM,CAAC;IAEvC;;;;;;OAMG;gBACgB,MAAM,EAAE,MAAM;IAYjC;;;;;;OAMG;IACI,EAAE,CACL,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,OAAO,GACf,KAAK,IAAI,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC;IAQ3C;;;;;;OAMG;IACI,KAAK,CACR,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,OAAO,GACf,WAAW,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAO/C;;;;;;OAMG;IACI,UAAU,CACb,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,OAAO,GACf,WAAW,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAW/C;;;;;;OAMG;IACI,MAAM,CACT,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,OAAO,GACf,OAAO,CAAC,KAAK,IAAI,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC;IAUnD;;;;;OAKG;IACI,KAAK,CAAC,IAAI,EAAE,OAAO,GAAG,KAAK;IAIlC;;;;;OAKG;IACI,QAAQ,IAAI,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC;IAOhD;;;;;OAKG;IACI,aAAa,IAAI,SAAS,CAAC,MAAM,GAAG,SAAS,EAAE,SAAS,CAAC;IAOhE;;;;;OAKG;IACI,QAAQ,IAAI,SAAS,CAAC,MAAM,GAAG,IAAI,EAAE,SAAS,CAAC;IAOtD;;;;;OAKG;IACI,KAAK,IAAI,UAAU,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAY3D;;;;;OAKG;IACI,KAAK,CAAC,MAAM,SAAS,MAAM,KAAK,SAAS,CAC5C,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,EACrB,SAAS,CACZ;IAQD;;;;;;;OAOG;IACI,MAAM,CACT,SAAS,EAAE,CAAC,KAAK,EAAE,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,KAAK,OAAO,EAC9D,IAAI,EAAE,MAAM,GACb,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC;IAe/B;;;;;;OAMG;IACI,EAAE,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;IAY7D;;;;;;OAMG;IACI,SAAS,CAAC,MAAM,SAAS,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,EACpD,KAAK,EAAE,MAAM,GACd,SAAS,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAQ7D;;;;;OAKG;IACI,QAAQ,CACX,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;CAaJ"}

package/dist/guard/base.js

@@ -7,10 +7,23 @@
 import { SchemaTag } from "../kind/index.js";
 import { checkSchema, isSchema } from "../evaluate/index.js";
 import { makeValidationPlan } from "../plan/index.js";
+import { freezeIssueArray } from "../issue/index.js";
+import { err } from "../result/index.js";
 import { TypeSeaAssertionError } from "./error.js";
 import { checkRefinementInput, readConstructorSchema, readGuardSchema } from "./read.js";
 import { defineReadonlyProperty, isStrictTrue } from "./props.js";
 import { registerConstructedGuard } from "./registry.js";
+let arrayGuardFactory;
+/**
+ * @brief Register the concrete array guard factory.
+ * @param factory Constructor wrapper supplied by the array guard module.
+ * @details BaseGuard cannot import ArrayGuard directly without creating an
+ * initialization cycle. The guard barrel loads ArrayGuard, which installs this
+ * factory before public code can call fluent `array()`.
+ */
+export function setArrayGuardFactory(factory) {
+    arrayGuardFactory = factory;
+}
 /**
  * @brief Schema-backed guard base.
  * @details Methods accept an unknown receiver on purpose. Public JavaScript can
@@ -61,6 +74,20 @@ export class BaseGuard {
     check(value) {
         return checkSchema(readGuardSchema(this, "guard receiver"), value);
     }
+    /**
+     * @brief Validate a value and keep only the first diagnostic.
+ * @details Guard helpers build new immutable schema wrappers so fluent APIs never mutate an
+ * existing guard instance.
+     * @param value Candidate runtime value.
+     * @returns Result carrying the value on success or one frozen issue on failure.
+     */
+    checkFirst(value) {
+        const result = checkSchema(readGuardSchema(this, "guard receiver"), value);
+        if (result.ok) {
+            return result;
+        }
+        return err(freezeIssueArray(readFirstIssue(result.error)));
+    }
     /**
      * @brief Validate a value and throw TypeSeaAssertionError on failure.
  * @details Guard helpers build new immutable schema wrappers so fluent APIs never mutate an
@@ -126,10 +153,15 @@ export class BaseGuard {
      * @returns Fresh array guard.
      */
     array() {
-        return new BaseGuard({
+        const schema = {
             tag: SchemaTag.Array,
-            item: readGuardSchema(this, "array item")
-        });
+            item: readGuardSchema(this, "array item"),
+            checks: []
+        };
+        if (arrayGuardFactory === undefined) {
+            throw new TypeError("ArrayGuard factory is not initialized");
+        }
+        return arrayGuardFactory(schema);
     }
     /**
      * @brief Attach a compile-time brand without changing runtime validation.
@@ -195,4 +227,43 @@ export class BaseGuard {
             right: readGuardSchema(other, "intersection right")
         });
     }
+    /**
+     * @brief Require one own data property after this guard succeeds.
+     * @param key Own string property key to inspect.
+     * @param value Guard applied to the property value.
+     * @returns Fresh guard that preserves the base domain and property proof.
+     */
+    property(key, value) {
+        if (typeof key !== "string") {
+            throw new TypeError("property key must be a string");
+        }
+        return new BaseGuard({
+            tag: SchemaTag.Property,
+            base: readGuardSchema(this, "property base"),
+            key,
+            value: readGuardSchema(value, "property value")
+        });
+    }
+}
+/**
+ * @brief Copy the first issue into a single-slot diagnostic vector.
+ * @details The full checker owns the original frozen issue vector. checkFirst
+ * publishes a narrower vector so callers cannot observe or retain extra issues.
+ * @param issues Issue vector returned by the full checker.
+ * @returns Mutable vector containing zero or one copied issue.
+ */
+function readFirstIssue(issues) {
+    const first = issues[0];
+    if (first === undefined) {
+        return [];
+    }
+    return [
+        {
+            path: first.path.slice(),
+            code: first.code,
+            expected: first.expected,
+            actual: first.actual,
+            message: first.message
+        }
+    ];
 }

package/dist/guard/date.d.ts

@@ -0,0 +1,34 @@
+/**
+ * @file date.ts
+ * @brief Date guard implementation.
+ * @details Date helpers store normalized epoch-millisecond bounds so runtime
+ * validation never has to read caller-owned Date objects again.
+ */
+import type { DateSchema } from "../schema/index.js";
+import { BaseGuard } from "./base.js";
+import type { Presence } from "./types.js";
+/**
+ * @brief Persistent builder for valid Date predicates.
+ * @details Bound methods allocate fresh schema records and keep the source guard
+ * immutable, matching the scalar guard discipline used by number and string.
+ */
+export declare class DateGuard<TPresence extends Presence = "required"> extends BaseGuard<Date, TPresence> {
+    /**
+     * @brief Construct a frozen Date guard.
+     * @param schema Date schema backing this guard.
+     */
+    constructor(schema: DateSchema);
+    /**
+     * @brief Add an inclusive lower Date bound.
+     * @param value Valid Date object used as the lower bound.
+     * @returns Fresh DateGuard with an appended min check.
+     */
+    min(value: Date): DateGuard<TPresence>;
+    /**
+     * @brief Add an inclusive upper Date bound.
+     * @param value Valid Date object used as the upper bound.
+     * @returns Fresh DateGuard with an appended max check.
+     */
+    max(value: Date): DateGuard<TPresence>;
+}
+//# sourceMappingURL=date.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"date.d.ts","sourceRoot":"","sources":["../../src/guard/date.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAMtC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAE3C;;;;GAIG;AACH,qBAAa,SAAS,CAClB,SAAS,SAAS,QAAQ,GAAG,UAAU,CACzC,SAAQ,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC;IAEhC;;;OAGG;gBACgB,MAAM,EAAE,UAAU;IAKrC;;;;OAIG;IACI,GAAG,CAAC,KAAK,EAAE,IAAI,GAAG,SAAS,CAAC,SAAS,CAAC;IAc7C;;;;OAIG;IACI,GAAG,CAAC,KAAK,EAAE,IAAI,GAAG,SAAS,CAAC,SAAS,CAAC;CAahD"}

package/dist/guard/date.js

@@ -0,0 +1,60 @@
+/**
+ * @file date.ts
+ * @brief Date guard implementation.
+ * @details Date helpers store normalized epoch-millisecond bounds so runtime
+ * validation never has to read caller-owned Date objects again.
+ */
+import { DateCheckTag, SchemaTag } from "../kind/index.js";
+import { BaseGuard } from "./base.js";
+import { checkDateBound, readDateConstructorSchema, readDateMethodSchema } from "./read.js";
+/**
+ * @brief Persistent builder for valid Date predicates.
+ * @details Bound methods allocate fresh schema records and keep the source guard
+ * immutable, matching the scalar guard discipline used by number and string.
+ */
+export class DateGuard extends BaseGuard {
+    /**
+     * @brief Construct a frozen Date guard.
+     * @param schema Date schema backing this guard.
+     */
+    constructor(schema) {
+        super(readDateConstructorSchema(schema));
+        Object.freeze(this);
+    }
+    /**
+     * @brief Add an inclusive lower Date bound.
+     * @param value Valid Date object used as the lower bound.
+     * @returns Fresh DateGuard with an appended min check.
+     */
+    min(value) {
+        const schema = readDateMethodSchema(this, "date min receiver");
+        return new DateGuard({
+            tag: SchemaTag.Date,
+            checks: [
+                ...schema.checks,
+                {
+                    tag: DateCheckTag.Min,
+                    value: checkDateBound(value, "min")
+                }
+            ]
+        });
+    }
+    /**
+     * @brief Add an inclusive upper Date bound.
+     * @param value Valid Date object used as the upper bound.
+     * @returns Fresh DateGuard with an appended max check.
+     */
+    max(value) {
+        const schema = readDateMethodSchema(this, "date max receiver");
+        return new DateGuard({
+            tag: SchemaTag.Date,
+            checks: [
+                ...schema.checks,
+                {
+                    tag: DateCheckTag.Max,
+                    value: checkDateBound(value, "max")
+                }
+            ]
+        });
+    }
+}

package/dist/guard/index.d.ts

@@ -5,6 +5,8 @@
  * split by responsibility.
  */
 export { BaseGuard } from "./base.js";
+export { ArrayGuard } from "./array.js";
+export { DateGuard } from "./date.js";
 export { TypeSeaAssertionError } from "./error.js";
 export { NumberGuard } from "./number.js";
 export { StringGuard } from "./string.js";

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/guard/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AACnD,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,YAAY,EACR,KAAK,EACL,KAAK,EACL,aAAa,EACb,UAAU,EACV,KAAK,EACL,QAAQ,EACR,YAAY,EACf,MAAM,YAAY,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/guard/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AACxC,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AACnD,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,YAAY,EACR,KAAK,EACL,KAAK,EACL,aAAa,EACb,UAAU,EACV,KAAK,EACL,QAAQ,EACR,YAAY,EACf,MAAM,YAAY,CAAC"}

package/dist/guard/index.js

@@ -5,6 +5,8 @@
  * split by responsibility.
  */
 export { BaseGuard } from "./base.js";
+export { ArrayGuard } from "./array.js";
+export { DateGuard } from "./date.js";
 export { TypeSeaAssertionError } from "./error.js";
 export { NumberGuard } from "./number.js";
 export { StringGuard } from "./string.js";

package/dist/guard/number.d.ts

@@ -35,6 +35,12 @@ export declare class NumberGuard<TPresence extends Presence = "required"> extend
      * @returns Fresh NumberGuard with an appended gte check.
      */
     gte(value: number): NumberGuard<TPresence>;
+    /**
+     * @brief Alias for an inclusive lower bound.
+     * @param value Finite lower bound.
+     * @returns Fresh NumberGuard with an appended gte check.
+     */
+    min(value: number): NumberGuard<TPresence>;
     /**
      * @brief Add an inclusive upper bound.
  * @details Guard helpers build new immutable schema wrappers so fluent APIs never mutate an
@@ -43,5 +49,59 @@ export declare class NumberGuard<TPresence extends Presence = "required"> extend
      * @returns Fresh NumberGuard with an appended lte check.
      */
     lte(value: number): NumberGuard<TPresence>;
+    /**
+     * @brief Alias for an inclusive upper bound.
+     * @param value Finite upper bound.
+     * @returns Fresh NumberGuard with an appended lte check.
+     */
+    max(value: number): NumberGuard<TPresence>;
+    /**
+     * @brief Add an exclusive lower bound.
+     * @param value Finite lower bound.
+     * @returns Fresh NumberGuard with an appended gt check.
+     */
+    gt(value: number): NumberGuard<TPresence>;
+    /**
+     * @brief Add an exclusive upper bound.
+     * @param value Finite upper bound.
+     * @returns Fresh NumberGuard with an appended lt check.
+     */
+    lt(value: number): NumberGuard<TPresence>;
+    /**
+     * @brief Require a number to be divisible by a positive finite divisor.
+     * @param value Positive finite divisor.
+     * @returns Fresh NumberGuard with an appended multipleOf check.
+     */
+    multipleOf(value: number): NumberGuard<TPresence>;
+    /**
+     * @brief Require a number greater than zero.
+     * @returns Fresh NumberGuard with `gt(0)`.
+     */
+    positive(): NumberGuard<TPresence>;
+    /**
+     * @brief Require a number greater than or equal to zero.
+     * @returns Fresh NumberGuard with `gte(0)`.
+     */
+    nonnegative(): NumberGuard<TPresence>;
+    /**
+     * @brief Require a number less than zero.
+     * @returns Fresh NumberGuard with `lt(0)`.
+     */
+    negative(): NumberGuard<TPresence>;
+    /**
+     * @brief Require a number less than or equal to zero.
+     * @returns Fresh NumberGuard with `lte(0)`.
+     */
+    nonpositive(): NumberGuard<TPresence>;
+    /**
+     * @brief Keep the explicit Zod-compatible finite marker.
+     * @returns This guard because TypeSea numbers are finite by construction.
+     */
+    finite(): this;
+    /**
+     * @brief Require a safe JavaScript integer.
+     * @returns Fresh NumberGuard constrained to Number.isSafeInteger domain.
+     */
+    safe(): NumberGuard<TPresence>;
 }
 //# sourceMappingURL=number.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"number.d.ts","sourceRoot":"","sources":["../../src/guard/number.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAMtC,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;;;;;OAKG;IACI,GAAG,IAAI,WAAW,CAAC,SAAS,CAAC;IAapC;;;;;;OAMG;IACI,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC;IAmBjD;;;;;;OAMG;IACI,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC;CAcpD"}
+{"version":3,"file":"number.d.ts","sourceRoot":"","sources":["../../src/guard/number.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAMtC,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;;;;;OAKG;IACI,GAAG,IAAI,WAAW,CAAC,SAAS,CAAC;IAapC;;;;;;OAMG;IACI,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC;IAmBjD;;;;OAIG;IACI,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC;IAIjD;;;;;;OAMG;IACI,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC;IAejD;;;;OAIG;IACI,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC;IAIjD;;;;OAIG;IACI,EAAE,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC;IAehD;;;;OAIG;IACI,EAAE,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC;IAehD;;;;OAIG;IACI,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC;IAexD;;;OAGG;IACI,QAAQ,IAAI,WAAW,CAAC,SAAS,CAAC;IAIzC;;;OAGG;IACI,WAAW,IAAI,WAAW,CAAC,SAAS,CAAC;IAI5C;;;OAGG;IACI,QAAQ,IAAI,WAAW,CAAC,SAAS,CAAC;IAIzC;;;OAGG;IACI,WAAW,IAAI,WAAW,CAAC,SAAS,CAAC;IAI5C;;;OAGG;IACI,MAAM,IAAI,IAAI;IAIrB;;;OAGG;IACI,IAAI,IAAI,WAAW,CAAC,SAAS,CAAC;CAKxC"}

package/dist/guard/number.js

@@ -66,6 +66,14 @@ export class NumberGuard extends BaseGuard {
             ]
         });
     }
+    /**
+     * @brief Alias for an inclusive lower bound.
+     * @param value Finite lower bound.
+     * @returns Fresh NumberGuard with an appended gte check.
+     */
+    min(value) {
+        return this.gte(value);
+    }
     /**
      * @brief Add an inclusive upper bound.
  * @details Guard helpers build new immutable schema wrappers so fluent APIs never mutate an
@@ -87,4 +95,125 @@ export class NumberGuard extends BaseGuard {
             ]
         });
     }
+    /**
+     * @brief Alias for an inclusive upper bound.
+     * @param value Finite upper bound.
+     * @returns Fresh NumberGuard with an appended lte check.
+     */
+    max(value) {
+        return this.lte(value);
+    }
+    /**
+     * @brief Add an exclusive lower bound.
+     * @param value Finite lower bound.
+     * @returns Fresh NumberGuard with an appended gt check.
+     */
+    gt(value) {
+        const schema = readNumberMethodSchema(this, "number gt receiver");
+        const bound = checkFiniteNumberBound(value, "gt");
+        return new NumberGuard({
+            tag: SchemaTag.Number,
+            checks: [
+                ...schema.checks,
+                {
+                    tag: NumberCheckTag.Gt,
+                    value: bound
+                }
+            ]
+        });
+    }
+    /**
+     * @brief Add an exclusive upper bound.
+     * @param value Finite upper bound.
+     * @returns Fresh NumberGuard with an appended lt check.
+     */
+    lt(value) {
+        const schema = readNumberMethodSchema(this, "number lt receiver");
+        const bound = checkFiniteNumberBound(value, "lt");
+        return new NumberGuard({
+            tag: SchemaTag.Number,
+            checks: [
+                ...schema.checks,
+                {
+                    tag: NumberCheckTag.Lt,
+                    value: bound
+                }
+            ]
+        });
+    }
+    /**
+     * @brief Require a number to be divisible by a positive finite divisor.
+     * @param value Positive finite divisor.
+     * @returns Fresh NumberGuard with an appended multipleOf check.
+     */
+    multipleOf(value) {
+        const schema = readNumberMethodSchema(this, "number multipleOf receiver");
+        const divisor = checkPositiveFiniteNumber(value, "multipleOf");
+        return new NumberGuard({
+            tag: SchemaTag.Number,
+            checks: [
+                ...schema.checks,
+                {
+                    tag: NumberCheckTag.MultipleOf,
+                    value: divisor
+                }
+            ]
+        });
+    }
+    /**
+     * @brief Require a number greater than zero.
+     * @returns Fresh NumberGuard with `gt(0)`.
+     */
+    positive() {
+        return this.gt(0);
+    }
+    /**
+     * @brief Require a number greater than or equal to zero.
+     * @returns Fresh NumberGuard with `gte(0)`.
+     */
+    nonnegative() {
+        return this.gte(0);
+    }
+    /**
+     * @brief Require a number less than zero.
+     * @returns Fresh NumberGuard with `lt(0)`.
+     */
+    negative() {
+        return this.lt(0);
+    }
+    /**
+     * @brief Require a number less than or equal to zero.
+     * @returns Fresh NumberGuard with `lte(0)`.
+     */
+    nonpositive() {
+        return this.lte(0);
+    }
+    /**
+     * @brief Keep the explicit Zod-compatible finite marker.
+     * @returns This guard because TypeSea numbers are finite by construction.
+     */
+    finite() {
+        return this;
+    }
+    /**
+     * @brief Require a safe JavaScript integer.
+     * @returns Fresh NumberGuard constrained to Number.isSafeInteger domain.
+     */
+    safe() {
+        return this.int()
+            .gte(Number.MIN_SAFE_INTEGER)
+            .lte(Number.MAX_SAFE_INTEGER);
+    }
+}
+/**
+ * @brief Validate a positive finite numeric divisor.
+ * @param value Candidate divisor.
+ * @param label Bound label used in RangeError messages.
+ * @returns Accepted divisor.
+ */
+function checkPositiveFiniteNumber(value, label) {
+    if (typeof value !== "number" || !Number.isFinite(value) || value <= 0) {
+        throw new RangeError(`${label} numeric divisor must be positive and finite`);
+    }
+    return value;
 }