typesea 0.2.0 → 0.3.1

package/dist/evaluate/check-composite.js

@@ -4,10 +4,10 @@
  * @details Interpreter helpers keep safe descriptor-based reads and diagnostic collection
  * aligned with compiled behavior.
  */
-import { ObjectModeTag, PresenceTag, SchemaTag } from "../kind/index.js";
+import { ArrayCheckTag, ObjectModeTag, PresenceTag, SchemaTag } from "../kind/index.js";
 import { schemaCanAcceptUndefined } from "../schema/index.js";
 import { pushIssue } from "./issue.js";
-import { actualType, findDiscriminatedUnionCase, hasObjectKey, isArrayIndexKey, isDataPropertyDescriptor, isPlainRecord, isStrictTrue, literalToExpected, readOwnDataProperty } from "./shared.js";
+import { actualType, findDiscriminatedUnionCase, hasObjectKey, isArrayIndexKey, isDataPropertyDescriptor, isPlainRecord, isStrictTrue, literalToExpected, ordinaryHasInstance, readOwnDataProperty } from "./shared.js";
 /**
  * @brief collect array issues.
  * @details Interpreter helpers keep safe descriptor-based reads and diagnostic collection
@@ -20,11 +20,13 @@ import { actualType, findDiscriminatedUnionCase, hasObjectKey, isArrayIndexKey,
  * @param collectChild Dispatcher for nested schema diagnostics.
  * @post Every pushed path segment is popped before return.
  */
-export function collectArrayIssues(item, value, path, issues, state, collectChild) {
+export function collectArrayIssues(schema, value, path, issues, state, collectChild) {
     if (!Array.isArray(value)) {
         pushIssue(path, issues, "expected_array", "array", actualType(value));
         return;
     }
+    collectArrayLengthIssues(schema, value, path, issues);
+    const item = schema.item;
     if (schemaCanAcceptUndefined(item)) {
         /*
          * A sparse hole is observationally undefined for this item schema. Walking
@@ -50,6 +52,36 @@ export function collectArrayIssues(item, value, path, issues, state, collectChil
         path.pop();
     }
 }
+/**
+ * @brief Collect array length diagnostics.
+ * @param schema Array schema with normalized checks.
+ * @param value Array already proven by the caller.
+ * @param path Current diagnostic path.
+ * @param issues Output issue buffer.
+ * @details Length checks are reported at the array path, not at an item index,
+ * because the failure describes the container domain itself.
+ */
+function collectArrayLengthIssues(schema, value, path, issues) {
+    const checks = schema.checks;
+    for (let index = 0; index < checks.length; index += 1) {
+        const check = checks[index];
+        if (check === undefined) {
+            continue;
+        }
+        switch (check.tag) {
+            case ArrayCheckTag.Min:
+                if (value.length < check.value) {
+                    pushIssue(path, issues, "expected_min_length", `length >= ${String(check.value)}`, `length ${String(value.length)}`);
+                }
+                break;
+            case ArrayCheckTag.Max:
+                if (value.length > check.value) {
+                    pushIssue(path, issues, "expected_max_length", `length <= ${String(check.value)}`, `length ${String(value.length)}`);
+                }
+                break;
+        }
+    }
+}
 /**
  * @brief collect present array issues.
  * @details Holes are equivalent to `undefined` when the item schema accepts it,
@@ -100,14 +132,19 @@ function collectPresentArrayIssues(item, value, path, issues, state, collectChil
  * @param collectChild Dispatcher for nested schema diagnostics.
  * @post Every pushed tuple index is popped before return.
  */
-export function collectTupleIssues(items, value, path, issues, state, collectChild) {
+export function collectTupleIssues(schema, value, path, issues, state, collectChild) {
     if (!Array.isArray(value)) {
         pushIssue(path, issues, "expected_tuple", "tuple", actualType(value));
         return;
     }
-    if (value.length !== items.length) {
+    const items = schema.items;
+    const rest = schema.rest;
+    if (rest === undefined && value.length !== items.length) {
         pushIssue(path, issues, "expected_tuple_length", `length ${String(items.length)}`, `length ${String(value.length)}`);
     }
+    else if (rest !== undefined && value.length < items.length) {
+        pushIssue(path, issues, "expected_tuple_length", `length >= ${String(items.length)}`, `length ${String(value.length)}`);
+    }
     const count = value.length < items.length ? value.length : items.length;
     /*
      * Length mismatch is reported once, then overlapping indexes are still
@@ -128,6 +165,19 @@ export function collectTupleIssues(items, value, path, issues, state, collectChi
         }
         path.pop();
     }
+    if (rest !== undefined && value.length > items.length) {
+        for (let index = items.length; index < value.length; index += 1) {
+            const itemValue = readArrayIndexDataProperty(value, index);
+            path.push(index);
+            if (itemValue === null) {
+                pushIssue(path, issues, "expected_tuple", "data property", "accessor");
+            }
+            else {
+                collectChild(rest, itemValue === undefined ? undefined : itemValue.value, path, issues, state);
+            }
+            path.pop();
+        }
+    }
 }
 /**
  * @brief Read one array index for diagnostic collection.
@@ -195,6 +245,107 @@ export function collectRecordIssues(item, value, path, issues, state, collectChi
         path.pop();
     }
 }
+/**
+ * @brief collect Map issues.
+ * @param schema Map schema with key and value validators.
+ * @param value Candidate runtime value.
+ * @param path Mutable diagnostic path stack.
+ * @param issues Output issue buffer.
+ * @param state Shared recursion and cycle state.
+ * @param collectChild Dispatcher for nested schema diagnostics.
+ */
+export function collectMapIssues(schema, value, path, issues, state, collectChild) {
+    if (!(value instanceof Map)) {
+        pushIssue(path, issues, "expected_map", "Map", actualType(value));
+        return;
+    }
+    const iterator = Map.prototype.entries.call(value);
+    let index = 0;
+    for (;;) {
+        const step = iterator.next();
+        if (step.done === true) {
+            return;
+        }
+        const pair = step.value;
+        path.push(index);
+        path.push("key");
+        collectChild(schema.key, pair[0], path, issues, state);
+        path.pop();
+        path.push("value");
+        collectChild(schema.value, pair[1], path, issues, state);
+        path.pop();
+        path.pop();
+        index += 1;
+    }
+}
+/**
+ * @brief collect Set issues.
+ * @param schema Set schema with item validator.
+ * @param value Candidate runtime value.
+ * @param path Mutable diagnostic path stack.
+ * @param issues Output issue buffer.
+ * @param state Shared recursion and cycle state.
+ * @param collectChild Dispatcher for nested schema diagnostics.
+ */
+export function collectSetIssues(schema, value, path, issues, state, collectChild) {
+    if (!(value instanceof Set)) {
+        pushIssue(path, issues, "expected_set", "Set", actualType(value));
+        return;
+    }
+    const iterator = Set.prototype.values.call(value);
+    let index = 0;
+    for (;;) {
+        const step = iterator.next();
+        if (step.done === true) {
+            return;
+        }
+        path.push(index);
+        collectChild(schema.item, step.value, path, issues, state);
+        path.pop();
+        index += 1;
+    }
+}
+/**
+ * @brief collect instanceOf issues.
+ * @param schema InstanceOf schema with constructor metadata.
+ * @param value Candidate runtime value.
+ * @param path Current diagnostic path.
+ * @param issues Output issue buffer.
+ */
+export function collectInstanceOfIssues(schema, value, path, issues) {
+    if (!ordinaryHasInstance(value, schema.constructor)) {
+        pushIssue(path, issues, "expected_instance", schema.name, actualType(value));
+    }
+}
+/**
+ * @brief collect property issues.
+ * @param schema Property schema with base and own data property validator.
+ * @param value Candidate runtime value.
+ * @param path Mutable diagnostic path stack.
+ * @param issues Output issue buffer.
+ * @param state Shared recursion and cycle state.
+ * @param collectChild Dispatcher for nested schema diagnostics.
+ */
+export function collectPropertyIssues(schema, value, path, issues, state, collectChild) {
+    const before = issues.length;
+    collectChild(schema.base, value, path, issues, state);
+    if (issues.length !== before) {
+        return;
+    }
+    if (((typeof value !== "object" && typeof value !== "function") || value === null)) {
+        pushIssue(path, issues, "expected_object", "object with property", actualType(value));
+        return;
+    }
+    const descriptor = Object.getOwnPropertyDescriptor(value, schema.key);
+    path.push(schema.key);
+    if (descriptor === undefined || !isDataPropertyDescriptor(descriptor)) {
+        pushIssue(path, issues, "expected_object", "data property", "missing or accessor");
+    }
+    else {
+        collectChild(schema.value, descriptor.value, path, issues, state);
+    }
+    path.pop();
+}
 /**
  * @brief collect object issues.
  * @details Interpreter helpers keep safe descriptor-based reads and diagnostic collection
@@ -244,7 +395,10 @@ export function collectObjectIssues(schema, value, path, issues, state, collectC
         collectChild(entry.schema, property.value, path, issues, state);
         path.pop();
     }
-    if (schema.mode === ObjectModeTag.Strict) {
+    if (schema.catchall !== undefined) {
+        collectObjectCatchallIssues(schema, record, path, issues, state, collectChild);
+    }
+    else if (schema.mode === ObjectModeTag.Strict) {
         /*
          * Strict objects reject symbol and non-enumerable extras as well, so
          * Reflect.ownKeys is required instead of Object.keys.
@@ -261,6 +415,39 @@ export function collectObjectIssues(schema, value, path, issues, state, collectC
         }
     }
 }
+/**
+ * @brief Collect issues for undeclared own object keys.
+ * @param schema Object schema carrying a catchall schema.
+ * @param record Runtime object already proven to be a plain record.
+ * @param path Mutable diagnostic path stack.
+ * @param issues Output issue buffer.
+ * @param state Shared recursion and cycle state.
+ * @param collectChild Dispatcher used for the catchall value schema.
+ */
+function collectObjectCatchallIssues(schema, record, path, issues, state, collectChild) {
+    const catchall = schema.catchall;
+    if (catchall === undefined) {
+        return;
+    }
+    const keys = Reflect.ownKeys(record);
+    for (let index = 0; index < keys.length; index += 1) {
+        const key = keys[index];
+        if (key === undefined ||
+            (typeof key === "string" && hasObjectKey(schema.keyLookup, key))) {
+            continue;
+        }
+        const pathKey = typeof key === "string" ? key : String(key);
+        const descriptor = Object.getOwnPropertyDescriptor(record, key);
+        path.push(pathKey);
+        if (descriptor === undefined || !isDataPropertyDescriptor(descriptor)) {
+            pushIssue(path, issues, "expected_object", "data property", "accessor");
+        }
+        else {
+            collectChild(catchall, descriptor.value, path, issues, state);
+        }
+        path.pop();
+    }
+}
 /**
  * @brief collect discriminated union issues.
  * @details Interpreter helpers keep safe descriptor-based reads and diagnostic collection

package/dist/evaluate/check-scalar.d.ts

@@ -20,6 +20,15 @@ import { type Schema } from "../schema/index.js";
 export declare function collectStringIssues(schema: Extract<Schema, {
     readonly tag: typeof SchemaTag.String;
 }>, value: unknown, path: PathSegment[], issues: Issue[]): void;
+/**
+ * @brief Collect Date issues.
+ * @param value Candidate runtime value.
+ * @param path Current diagnostic path.
+ * @param issues Output issue buffer.
+ */
+export declare function collectDateIssues(schema: Extract<Schema, {
+    readonly tag: typeof SchemaTag.Date;
+}>, value: unknown, path: PathSegment[], issues: Issue[]): void;
 /**
  * @brief collect number issues.
  * @details Interpreter helpers keep safe descriptor-based reads and diagnostic collection

package/dist/evaluate/check-scalar.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"check-scalar.d.ts","sourceRoot":"","sources":["../../src/evaluate/check-scalar.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAEH,SAAS,EAEZ,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EAEH,KAAK,MAAM,EACd,MAAM,oBAAoB,CAAC;AAI5B;;;;;;;;;GASG;AACH,wBAAgB,mBAAmB,CAC/B,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE;IAAE,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,MAAM,CAAA;CAAE,CAAC,EAClE,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,WAAW,EAAE,EACnB,MAAM,EAAE,KAAK,EAAE,GAChB,IAAI,CA4DN;AAED;;;;;;;;;GASG;AACH,wBAAgB,mBAAmB,CAC/B,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE;IAAE,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,MAAM,CAAA;CAAE,CAAC,EAClE,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,WAAW,EAAE,EACnB,MAAM,EAAE,KAAK,EAAE,GAChB,IAAI,CA6CN"}
+{"version":3,"file":"check-scalar.d.ts","sourceRoot":"","sources":["../../src/evaluate/check-scalar.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAGH,SAAS,EAEZ,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EASH,KAAK,MAAM,EACd,MAAM,oBAAoB,CAAC;AAQ5B;;;;;;;;;GASG;AACH,wBAAgB,mBAAmB,CAC/B,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE;IAAE,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,MAAM,CAAA;CAAE,CAAC,EAClE,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,WAAW,EAAE,EACnB,MAAM,EAAE,KAAK,EAAE,GAChB,IAAI,CAsGN;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAC7B,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE;IAAE,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,IAAI,CAAA;CAAE,CAAC,EAChE,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,WAAW,EAAE,EACnB,MAAM,EAAE,KAAK,EAAE,GAChB,IAAI,CAqCN;AAED;;;;;;;;;GASG;AACH,wBAAgB,mBAAmB,CAC/B,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE;IAAE,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,MAAM,CAAA;CAAE,CAAC,EAClE,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,WAAW,EAAE,EACnB,MAAM,EAAE,KAAK,EAAE,GAChB,IAAI,CA8EN"}

package/dist/evaluate/check-scalar.js

@@ -4,10 +4,10 @@
  * @details Interpreter helpers keep safe descriptor-based reads and diagnostic collection
  * aligned with compiled behavior.
  */
-import { NumberCheckTag, SchemaTag, StringCheckTag } from "../kind/index.js";
-import { UUID_PATTERN } from "../schema/index.js";
+import { DateCheckTag, NumberCheckTag, SchemaTag, StringCheckTag } from "../kind/index.js";
+import { EMAIL_PATTERN, IPV4_PATTERN, IPV6_PATTERN, ISO_DATETIME_PATTERN, ISO_DATE_PATTERN, ULID_PATTERN, URL_PATTERN, UUID_PATTERN } from "../schema/index.js";
 import { pushIssue } from "./issue.js";
-import { actualType } from "./shared.js";
+import { actualType, isValidDateObject, readDateTime } from "./shared.js";
 /**
  * @brief collect string issues.
  * @details Interpreter helpers keep safe descriptor-based reads and diagnostic collection
@@ -64,6 +64,80 @@ export function collectStringIssues(schema, value, path, issues) {
                     pushIssue(path, issues, "expected_pattern", "uuid", "string");
                 }
                 break;
+            case StringCheckTag.Email:
+                EMAIL_PATTERN.lastIndex = 0;
+                if (!EMAIL_PATTERN.test(value)) {
+                    pushIssue(path, issues, "expected_pattern", "email", "string");
+                }
+                break;
+            case StringCheckTag.Url:
+                URL_PATTERN.lastIndex = 0;
+                if (!URL_PATTERN.test(value)) {
+                    pushIssue(path, issues, "expected_pattern", "url", "string");
+                }
+                break;
+            case StringCheckTag.IsoDate:
+                ISO_DATE_PATTERN.lastIndex = 0;
+                if (!ISO_DATE_PATTERN.test(value)) {
+                    pushIssue(path, issues, "expected_pattern", "iso_date", "string");
+                }
+                break;
+            case StringCheckTag.IsoDateTime:
+                ISO_DATETIME_PATTERN.lastIndex = 0;
+                if (!ISO_DATETIME_PATTERN.test(value)) {
+                    pushIssue(path, issues, "expected_pattern", "iso_datetime", "string");
+                }
+                break;
+            case StringCheckTag.Ulid:
+                ULID_PATTERN.lastIndex = 0;
+                if (!ULID_PATTERN.test(value)) {
+                    pushIssue(path, issues, "expected_pattern", "ulid", "string");
+                }
+                break;
+            case StringCheckTag.Ipv4:
+                IPV4_PATTERN.lastIndex = 0;
+                if (!IPV4_PATTERN.test(value)) {
+                    pushIssue(path, issues, "expected_pattern", "ipv4", "string");
+                }
+                break;
+            case StringCheckTag.Ipv6:
+                IPV6_PATTERN.lastIndex = 0;
+                if (!IPV6_PATTERN.test(value)) {
+                    pushIssue(path, issues, "expected_pattern", "ipv6", "string");
+                }
+                break;
+        }
+    }
+}
+/**
+ * @brief Collect Date issues.
+ * @param value Candidate runtime value.
+ * @param path Current diagnostic path.
+ * @param issues Output issue buffer.
+ */
+export function collectDateIssues(schema, value, path, issues) {
+    if (!isValidDateObject(value)) {
+        pushIssue(path, issues, "expected_date", "valid Date", actualType(value));
+        return;
+    }
+    const time = readDateTime(value);
+    const checks = schema.checks;
+    for (let index = 0; index < checks.length; index += 1) {
+        const check = checks[index];
+        if (check === undefined) {
+            continue;
+        }
+        switch (check.tag) {
+            case DateCheckTag.Min:
+                if (time < check.value) {
+                    pushIssue(path, issues, "expected_gte", `>= ${new Date(check.value).toISOString()}`, new Date(time).toISOString());
+                }
+                break;
+            case DateCheckTag.Max:
+                if (time > check.value) {
+                    pushIssue(path, issues, "expected_lte", `<= ${new Date(check.value).toISOString()}`, new Date(time).toISOString());
+                }
+                break;
         }
     }
 }
@@ -108,6 +182,21 @@ export function collectNumberIssues(schema, value, path, issues) {
                     pushIssue(path, issues, "expected_lte", `<= ${String(check.value)}`, String(value));
                 }
                 break;
+            case NumberCheckTag.Gt:
+                if (value <= check.value) {
+                    pushIssue(path, issues, "expected_gt", `> ${String(check.value)}`, String(value));
+                }
+                break;
+            case NumberCheckTag.Lt:
+                if (value >= check.value) {
+                    pushIssue(path, issues, "expected_lt", `< ${String(check.value)}`, String(value));
+                }
+                break;
+            case NumberCheckTag.MultipleOf:
+                if (value % check.value !== 0) {
+                    pushIssue(path, issues, "expected_multiple_of", `multiple of ${String(check.value)}`, String(value));
+                }
+                break;
         }
     }
 }

package/dist/evaluate/check.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/evaluate/check.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EAAE,WAAW,EAAsB,MAAM,mBAAmB,CAAC;AAGzE,OAAO,EAEH,KAAK,MAAM,EACd,MAAM,oBAAoB,CAAC;AA0B5B;;;;;;;GAOG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAC9B,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,OAAO,GACf,WAAW,CAAC,MAAM,CAAC,CAmBrB"}
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/evaluate/check.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EAAE,WAAW,EAAsB,MAAM,mBAAmB,CAAC;AAGzE,OAAO,EAEH,KAAK,MAAM,EACd,MAAM,oBAAoB,CAAC;AA+B5B;;;;;;;GAOG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAC9B,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,OAAO,GACf,WAAW,CAAC,MAAM,CAAC,CAmBrB"}

package/dist/evaluate/check.js

@@ -8,8 +8,8 @@ import { SchemaTag } from "../kind/index.js";
 import { freezeIssueArray } from "../issue/index.js";
 import { err, ok } from "../result/index.js";
 import { resolveLazySchema } from "../schema/index.js";
-import { collectArrayIssues, collectDiscriminatedUnionIssues, collectObjectIssues, collectRecordIssues, collectRefineIssues, collectTupleIssues } from "./check-composite.js";
-import { collectNumberIssues, collectStringIssues } from "./check-scalar.js";
+import { collectArrayIssues, collectDiscriminatedUnionIssues, collectInstanceOfIssues, collectMapIssues, collectObjectIssues, collectPropertyIssues, collectRecordIssues, collectRefineIssues, collectSetIssues, collectTupleIssues } from "./check-composite.js";
+import { collectDateIssues, collectNumberIssues, collectStringIssues } from "./check-scalar.js";
 import { pushIssue } from "./issue.js";
 import { isSchemaWithState, isUnionSchema } from "./predicate.js";
 import { actualType, literalToExpected } from "./shared.js";
@@ -93,6 +93,9 @@ function collectIssuesInner(schema, value, path, issues, state) {
         case SchemaTag.Number:
             collectNumberIssues(schema, value, path, issues);
             return;
+        case SchemaTag.Date:
+            collectDateIssues(schema, value, path, issues);
+            return;
         case SchemaTag.BigInt:
             if (typeof value !== "bigint") {
                 pushIssue(path, issues, "expected_bigint", "bigint", actualType(value));
@@ -114,14 +117,26 @@ function collectIssuesInner(schema, value, path, issues, state) {
             }
             return;
         case SchemaTag.Array:
-            collectArrayIssues(schema.item, value, path, issues, state, collectIssues);
+            collectArrayIssues(schema, value, path, issues, state, collectIssues);
             return;
         case SchemaTag.Tuple:
-            collectTupleIssues(schema.items, value, path, issues, state, collectIssues);
+            collectTupleIssues(schema, value, path, issues, state, collectIssues);
             return;
         case SchemaTag.Record:
             collectRecordIssues(schema.value, value, path, issues, state, collectIssues);
             return;
+        case SchemaTag.Map:
+            collectMapIssues(schema, value, path, issues, state, collectIssues);
+            return;
+        case SchemaTag.Set:
+            collectSetIssues(schema, value, path, issues, state, collectIssues);
+            return;
+        case SchemaTag.InstanceOf:
+            collectInstanceOfIssues(schema, value, path, issues);
+            return;
+        case SchemaTag.Property:
+            collectPropertyIssues(schema, value, path, issues, state, collectIssues);
+            return;
         case SchemaTag.Object:
             collectObjectIssues(schema, value, path, issues, state, collectIssues);
             return;

package/dist/evaluate/shared.d.ts

@@ -94,6 +94,25 @@ export declare function isArrayIndexKey(key: string, length: number): boolean;
  * @returns Stable diagnostic type label.
  */
 export declare function actualType(value: unknown): string;
+/**
+ * @brief Validate a Date object without reading user-overridable methods.
+ * @param value Candidate runtime value.
+ * @returns True when value is a Date with a finite time value.
+ */
+export declare function isValidDateObject(value: unknown): value is Date;
+/**
+ * @brief Read a Date object's time value through the intrinsic method.
+ * @param value Date object already accepted by isValidDateObject.
+ * @returns Epoch millisecond value.
+ */
+export declare function readDateTime(value: Date): number;
+/**
+ * @brief Execute ordinary instanceof without invoking custom hasInstance hooks.
+ * @param value Candidate runtime value.
+ * @param constructor Constructor function stored in the schema.
+ * @returns True when the ordinary prototype-chain check accepts the value.
+ */
+export declare function ordinaryHasInstance(value: unknown, constructor: abstract new (...args: never[]) => unknown): boolean;
 /**
  * @brief Render a literal schema value for the `expected` diagnostic field.
  * @details String values are JSON-quoted and negative zero is preserved because

package/dist/evaluate/shared.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../../src/evaluate/shared.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACR,sBAAsB,EACtB,YAAY,EACZ,eAAe,EACf,MAAM,EACT,MAAM,oBAAoB,CAAC;AAI5B;;;;GAIG;AACH,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AAE9D;;;;;GAKG;AACH,MAAM,WAAW,sBAAsB;IAEnC;;;;OAIG;IACH,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CAC3B;AAED;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAAC,SAAS,EAAE,eAAe,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAE7E;AAED;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAC/B,MAAM,EAAE,aAAa,EACrB,GAAG,EAAE,MAAM,GACZ,sBAAsB,GAAG,SAAS,CAMpC;AAED;;;;;;;;GAQG;AACH,wBAAgB,0BAA0B,CACtC,KAAK,EAAE,SAAS,sBAAsB,EAAE,EACxC,KAAK,EAAE,MAAM,GACd,MAAM,GAAG,SAAS,CAQpB;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAEpD;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,aAAa,CAEpE;AAED;;;;;GAKG;AACH,wBAAgB,wBAAwB,CACpC,UAAU,EAAE,kBAAkB,GAC/B,UAAU,IAAI,sBAAsB,CAEtC;AAED;;;;;;;;GAQG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAcpE;AAED;;;;;;;GAOG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAiBjD;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,YAAY,GAAG,MAAM,CAiB7D"}
+{"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../../src/evaluate/shared.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACR,sBAAsB,EACtB,YAAY,EACZ,eAAe,EACf,MAAM,EACT,MAAM,oBAAoB,CAAC;AAI5B;;;;GAIG;AACH,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AAE9D;;;;;GAKG;AACH,MAAM,WAAW,sBAAsB;IAEnC;;;;OAIG;IACH,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CAC3B;AAED;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAAC,SAAS,EAAE,eAAe,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAE7E;AAED;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAC/B,MAAM,EAAE,aAAa,EACrB,GAAG,EAAE,MAAM,GACZ,sBAAsB,GAAG,SAAS,CAMpC;AAED;;;;;;;;GAQG;AACH,wBAAgB,0BAA0B,CACtC,KAAK,EAAE,SAAS,sBAAsB,EAAE,EACxC,KAAK,EAAE,MAAM,GACd,MAAM,GAAG,SAAS,CAQpB;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAEpD;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,aAAa,CAEpE;AAED;;;;;GAKG;AACH,wBAAgB,wBAAwB,CACpC,UAAU,EAAE,kBAAkB,GAC/B,UAAU,IAAI,sBAAsB,CAEtC;AAED;;;;;;;;GAQG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAcpE;AAED;;;;;;;GAOG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CA0BjD;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,IAAI,CAG/D;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,IAAI,GAAG,MAAM,CAEhD;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAC/B,KAAK,EAAE,OAAO,EACd,WAAW,EAAE,QAAQ,MAAM,GAAG,IAAI,EAAE,KAAK,EAAE,KAAK,OAAO,GACxD,OAAO,CAET;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,YAAY,GAAG,MAAM,CAiB7D"}

package/dist/evaluate/shared.js

@@ -116,6 +116,15 @@ export function actualType(value) {
     if (Array.isArray(value)) {
         return "array";
     }
+    if (value instanceof Date) {
+        return "date";
+    }
+    if (value instanceof Map) {
+        return "map";
+    }
+    if (value instanceof Set) {
+        return "set";
+    }
     if (typeof value === "bigint") {
         return "bigint";
     }
@@ -127,6 +136,32 @@ export function actualType(value) {
     }
     return typeof value;
 }
+/**
+ * @brief Validate a Date object without reading user-overridable methods.
+ * @param value Candidate runtime value.
+ * @returns True when value is a Date with a finite time value.
+ */
+export function isValidDateObject(value) {
+    return value instanceof Date &&
+        Number.isFinite(Date.prototype.getTime.call(value));
+}
+/**
+ * @brief Read a Date object's time value through the intrinsic method.
+ * @param value Date object already accepted by isValidDateObject.
+ * @returns Epoch millisecond value.
+ */
+export function readDateTime(value) {
+    return Date.prototype.getTime.call(value);
+}
+/**
+ * @brief Execute ordinary instanceof without invoking custom hasInstance hooks.
+ * @param value Candidate runtime value.
+ * @param constructor Constructor function stored in the schema.
+ * @returns True when the ordinary prototype-chain check accepts the value.
+ */
+export function ordinaryHasInstance(value, constructor) {
+    return Function.prototype[Symbol.hasInstance].call(constructor, value);
+}
 /**
  * @brief Render a literal schema value for the `expected` diagnostic field.
  * @details String values are JSON-quoted and negative zero is preserved because

package/dist/guard/array.d.ts

@@ -0,0 +1,48 @@
+/**
+ * @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 type { ArraySchema } from "../schema/index.js";
+import { BaseGuard } from "./base.js";
+import type { Presence } from "./types.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 declare class ArrayGuard<TItem, TPresence extends Presence = "required"> extends BaseGuard<TItem[], TPresence> {
+    /**
+     * @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: ArraySchema);
+    /**
+     * @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: number): ArrayGuard<TItem, TPresence>;
+    /**
+     * @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: number): ArrayGuard<TItem, TPresence>;
+    /**
+     * @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: number): ArrayGuard<TItem, TPresence>;
+    /**
+     * @brief Require at least one array element.
+     * @returns Fresh ArrayGuard with a minimum length of one.
+     */
+    nonempty(): ArrayGuard<TItem, TPresence>;
+}
+//# sourceMappingURL=array.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"array.d.ts","sourceRoot":"","sources":["../../src/guard/array.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EACH,SAAS,EAEZ,MAAM,WAAW,CAAC;AAMnB,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAE3C;;;;GAIG;AACH,qBAAa,UAAU,CACnB,KAAK,EACL,SAAS,SAAS,QAAQ,GAAG,UAAU,CACzC,SAAQ,SAAS,CAAC,KAAK,EAAE,EAAE,SAAS,CAAC;IAEnC;;;;OAIG;gBACgB,MAAM,EAAE,WAAW;IAKtC;;;;OAIG;IACI,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC;IAgBvD;;;;OAIG;IACI,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC;IAgBvD;;;;;;OAMG;IACI,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC;IAK1D;;;OAGG;IACI,QAAQ,IAAI,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC;CAGlD"}