typesea 0.2.0 → 0.3.1

package/dist/plan/schema-predicate.js

@@ -4,9 +4,9 @@
  * @details Plan helpers keep schema-specialized execution aligned with optimized IR while
  * preserving interpreter parity.
  */
-import { NumberCheckTag, ObjectModeTag, PresenceTag, SchemaTag, StringCheckTag } from "../kind/index.js";
-import { UUID_PATTERN, resolveLazySchema, schemaCanAcceptUndefined } from "../schema/index.js";
-import { findDiscriminatedUnionCase, hasObjectKey, isArrayIndexKey, isDataPropertyDescriptor, isPlainRecord, readOwnDataProperty } from "../evaluate/shared.js";
+import { ArrayCheckTag, DateCheckTag, NumberCheckTag, ObjectModeTag, PresenceTag, 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, resolveLazySchema, schemaCanAcceptUndefined } from "../schema/index.js";
+import { findDiscriminatedUnionCase, hasObjectKey, isArrayIndexKey, isDataPropertyDescriptor, isValidDateObject, isPlainRecord, ordinaryHasInstance, readDateTime, readOwnDataProperty } from "../evaluate/shared.js";
 /**
  * @brief execute schema kernel.
  * @details Plan helpers keep schema-specialized execution aligned with optimized IR while
@@ -22,6 +22,8 @@ export function executeSchemaKernel(schema, value, state, runChild) {
             return isStringSchema(schema, value);
         case SchemaTag.Number:
             return isNumberSchema(schema, value);
+        case SchemaTag.Date:
+            return isDateSchema(schema, value);
         case SchemaTag.BigInt:
             return typeof value === "bigint";
         case SchemaTag.Symbol:
@@ -31,11 +33,19 @@ export function executeSchemaKernel(schema, value, state, runChild) {
         case SchemaTag.Literal:
             return Object.is(value, schema.value);
         case SchemaTag.Array:
-            return isArraySchema(schema.item, value, state, runChild);
+            return isArraySchema(schema, value, state, runChild);
         case SchemaTag.Tuple:
-            return isTupleSchema(schema.items, value, state, runChild);
+            return isTupleSchema(schema, value, state, runChild);
         case SchemaTag.Record:
             return isRecordSchema(schema.value, value, state, runChild);
+        case SchemaTag.Map:
+            return isMapSchema(schema, value, state, runChild);
+        case SchemaTag.Set:
+            return isSetSchema(schema, value, state, runChild);
+        case SchemaTag.InstanceOf:
+            return ordinaryHasInstance(value, schema.constructor);
+        case SchemaTag.Property:
+            return isPropertySchema(schema, value, state, runChild);
         case SchemaTag.Object:
             return isObjectSchema(schema, value, state, runChild);
         case SchemaTag.Union:
@@ -102,6 +112,55 @@ function isStringSchema(schema, value) {
                 }
                 UUID_PATTERN.lastIndex = 0;
                 break;
+            case StringCheckTag.Email:
+                EMAIL_PATTERN.lastIndex = 0;
+                if (!EMAIL_PATTERN.test(value)) {
+                    return false;
+                }
+                EMAIL_PATTERN.lastIndex = 0;
+                break;
+            case StringCheckTag.Url:
+                URL_PATTERN.lastIndex = 0;
+                if (!URL_PATTERN.test(value)) {
+                    return false;
+                }
+                URL_PATTERN.lastIndex = 0;
+                break;
+            case StringCheckTag.IsoDate:
+                ISO_DATE_PATTERN.lastIndex = 0;
+                if (!ISO_DATE_PATTERN.test(value)) {
+                    return false;
+                }
+                ISO_DATE_PATTERN.lastIndex = 0;
+                break;
+            case StringCheckTag.IsoDateTime:
+                ISO_DATETIME_PATTERN.lastIndex = 0;
+                if (!ISO_DATETIME_PATTERN.test(value)) {
+                    return false;
+                }
+                ISO_DATETIME_PATTERN.lastIndex = 0;
+                break;
+            case StringCheckTag.Ulid:
+                ULID_PATTERN.lastIndex = 0;
+                if (!ULID_PATTERN.test(value)) {
+                    return false;
+                }
+                ULID_PATTERN.lastIndex = 0;
+                break;
+            case StringCheckTag.Ipv4:
+                IPV4_PATTERN.lastIndex = 0;
+                if (!IPV4_PATTERN.test(value)) {
+                    return false;
+                }
+                IPV4_PATTERN.lastIndex = 0;
+                break;
+            case StringCheckTag.Ipv6:
+                IPV6_PATTERN.lastIndex = 0;
+                if (!IPV6_PATTERN.test(value)) {
+                    return false;
+                }
+                IPV6_PATTERN.lastIndex = 0;
+                break;
         }
     }
     return true;
@@ -140,6 +199,53 @@ function isNumberSchema(schema, value) {
                     return false;
                 }
                 break;
+            case NumberCheckTag.Gt:
+                if (value <= check.value) {
+                    return false;
+                }
+                break;
+            case NumberCheckTag.Lt:
+                if (value >= check.value) {
+                    return false;
+                }
+                break;
+            case NumberCheckTag.MultipleOf:
+                if (value % check.value !== 0) {
+                    return false;
+                }
+                break;
+        }
+    }
+    return true;
+}
+/**
+ * @brief Execute a Date schema against one runtime value.
+ * @param schema Date schema with normalized epoch-millisecond checks.
+ * @param value Candidate runtime value.
+ * @returns True when the value is a valid Date satisfying every bound.
+ */
+function isDateSchema(schema, value) {
+    if (!isValidDateObject(value)) {
+        return false;
+    }
+    const time = readDateTime(value);
+    const checks = schema.checks;
+    for (let index = 0; index < checks.length; index += 1) {
+        const check = checks[index];
+        if (check === undefined) {
+            return false;
+        }
+        switch (check.tag) {
+            case DateCheckTag.Min:
+                if (time < check.value) {
+                    return false;
+                }
+                break;
+            case DateCheckTag.Max:
+                if (time > check.value) {
+                    return false;
+                }
+                break;
         }
     }
     return true;
@@ -154,10 +260,14 @@ function isNumberSchema(schema, value) {
  * @param runChild Dispatcher for nested schema predicates.
  * @returns True when the value satisfies the array schema.
  */
-function isArraySchema(item, value, state, runChild) {
+function isArraySchema(schema, value, state, runChild) {
     if (!Array.isArray(value)) {
         return false;
     }
+    if (!arrayLengthChecksPass(schema, value.length)) {
+        return false;
+    }
+    const item = schema.item;
     if (schemaCanAcceptUndefined(item)) {
         /*
          * Undefined-valid item schemas make holes valid. Use the present-index
@@ -174,6 +284,34 @@ function isArraySchema(item, value, state, runChild) {
     }
     return true;
 }
+/**
+ * @brief Test array length checks after Array.isArray succeeds.
+ * @param schema Array schema with normalized checks.
+ * @param length Candidate array length.
+ * @returns True when every configured length bound accepts the length.
+ */
+function arrayLengthChecksPass(schema, length) {
+    const checks = schema.checks;
+    for (let index = 0; index < checks.length; index += 1) {
+        const check = checks[index];
+        if (check === undefined) {
+            return false;
+        }
+        switch (check.tag) {
+            case ArrayCheckTag.Min:
+                if (length < check.value) {
+                    return false;
+                }
+                break;
+            case ArrayCheckTag.Max:
+                if (length > check.value) {
+                    return false;
+                }
+                break;
+        }
+    }
+    return true;
+}
 /**
  * @brief Validate only present indexes for undefined-accepting item schemas.
  * @details Skips holes only when `undefined` is already accepted by the item schema.
@@ -212,8 +350,16 @@ function isPresentArraySchema(item, value, state, runChild) {
  * @param runChild Dispatcher for nested schema predicates.
  * @returns True when length and every indexed item match exactly.
  */
-function isTupleSchema(items, value, state, runChild) {
-    if (!Array.isArray(value) || value.length !== items.length) {
+function isTupleSchema(schema, value, state, runChild) {
+    if (!Array.isArray(value)) {
+        return false;
+    }
+    const items = schema.items;
+    const rest = schema.rest;
+    if (rest === undefined && value.length !== items.length) {
+        return false;
+    }
+    if (rest !== undefined && value.length < items.length) {
         return false;
     }
     for (let index = 0; index < items.length; index += 1) {
@@ -225,6 +371,15 @@ function isTupleSchema(items, value, state, runChild) {
             return false;
         }
     }
+    if (rest !== undefined) {
+        for (let index = items.length; index < value.length; index += 1) {
+            const property = readArrayIndexDataProperty(value, index);
+            if (property === null ||
+                !runChild(rest, property === undefined ? undefined : property.value, state)) {
+                return false;
+            }
+        }
+    }
     return true;
 }
 /**
@@ -277,6 +432,74 @@ function isRecordSchema(item, value, state, runChild) {
     }
     return true;
 }
+/**
+ * @brief Check Map schema.
+ * @param schema Map schema with key and value validators.
+ * @param value Candidate runtime value.
+ * @param state Shared recursion and cycle state.
+ * @param runChild Dispatcher for nested predicates.
+ * @returns True when every entry key and value satisfies its schema.
+ */
+function isMapSchema(schema, value, state, runChild) {
+    if (!(value instanceof Map)) {
+        return false;
+    }
+    const iterator = Map.prototype.entries.call(value);
+    for (;;) {
+        const step = iterator.next();
+        if (step.done === true) {
+            return true;
+        }
+        const pair = step.value;
+        if (!runChild(schema.key, pair[0], state) ||
+            !runChild(schema.value, pair[1], state)) {
+            return false;
+        }
+    }
+}
+/**
+ * @brief Check Set schema.
+ * @param schema Set schema with item validator.
+ * @param value Candidate runtime value.
+ * @param state Shared recursion and cycle state.
+ * @param runChild Dispatcher for nested predicates.
+ * @returns True when every Set item satisfies its schema.
+ */
+function isSetSchema(schema, value, state, runChild) {
+    if (!(value instanceof Set)) {
+        return false;
+    }
+    const iterator = Set.prototype.values.call(value);
+    for (;;) {
+        const step = iterator.next();
+        if (step.done === true) {
+            return true;
+        }
+        if (!runChild(schema.item, step.value, state)) {
+            return false;
+        }
+    }
+}
+/**
+ * @brief Check property schema.
+ * @param schema Property schema with base and own data property validators.
+ * @param value Candidate runtime value.
+ * @param state Shared recursion and cycle state.
+ * @param runChild Dispatcher for nested predicates.
+ * @returns True when base and property value both pass.
+ */
+function isPropertySchema(schema, value, state, runChild) {
+    if (!runChild(schema.base, value, state)) {
+        return false;
+    }
+    if (((typeof value !== "object" && typeof value !== "function") || value === null)) {
+        return false;
+    }
+    const descriptor = Object.getOwnPropertyDescriptor(value, schema.key);
+    return descriptor !== undefined &&
+        isDataPropertyDescriptor(descriptor) &&
+        runChild(schema.value, descriptor.value, state);
+}
 /**
  * @brief Execute object schema validation.
  * @param schema Object schema with ordered entries and strict-mode lookup.
@@ -316,6 +539,9 @@ function isObjectSchema(schema, value, state, runChild) {
         }
     }
     if (schema.mode === ObjectModeTag.Strict) {
+        if (schema.catchall !== undefined) {
+            return validateObjectCatchall(schema, record, state, runChild);
+        }
         if (allRequired) {
             return Object.getOwnPropertyNames(record).length === entries.length &&
                 Object.getOwnPropertySymbols(record).length === 0;
@@ -328,6 +554,39 @@ function isObjectSchema(schema, value, state, runChild) {
             }
         }
     }
+    if (schema.catchall !== undefined) {
+        return validateObjectCatchall(schema, record, state, runChild);
+    }
+    return true;
+}
+/**
+ * @brief Validate undeclared own object keys through a catchall schema.
+ * @param schema Object schema carrying known-key metadata and catchall schema.
+ * @param record Runtime object already proven to be a plain record.
+ * @param state Shared recursion and cycle state.
+ * @param runChild Dispatcher for the catchall schema.
+ * @returns True when every extra own data property satisfies the catchall.
+ */
+function validateObjectCatchall(schema, record, state, runChild) {
+    const catchall = schema.catchall;
+    if (catchall === undefined) {
+        return true;
+    }
+    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 descriptor = Object.getOwnPropertyDescriptor(record, key);
+        if (descriptor === undefined || !isDataPropertyDescriptor(descriptor)) {
+            return false;
+        }
+        if (!runChild(catchall, descriptor.value, state)) {
+            return false;
+        }
+    }
     return true;
 }
 /**

package/dist/schema/freeze.js

@@ -31,17 +31,38 @@ function freezeSchemaInner(schema, frozen) {
         case SchemaTag.Number:
             freezeArray(schema.checks, frozen);
             return Object.freeze(schema);
+        case SchemaTag.Date:
+            freezeArray(schema.checks, frozen);
+            return Object.freeze(schema);
         case SchemaTag.Array:
             freezeSchemaInner(schema.item, frozen);
+            freezeArray(schema.checks, frozen);
             return Object.freeze(schema);
         case SchemaTag.Tuple:
             freezeSchemaArray(schema.items, frozen);
+            if (schema.rest !== undefined) {
+                freezeSchemaInner(schema.rest, frozen);
+            }
             return Object.freeze(schema);
         case SchemaTag.Record:
             freezeSchemaInner(schema.value, frozen);
             return Object.freeze(schema);
+        case SchemaTag.Map:
+            freezeSchemaInner(schema.key, frozen);
+            freezeSchemaInner(schema.value, frozen);
+            return Object.freeze(schema);
+        case SchemaTag.Set:
+            freezeSchemaInner(schema.item, frozen);
+            return Object.freeze(schema);
+        case SchemaTag.Property:
+            freezeSchemaInner(schema.base, frozen);
+            freezeSchemaInner(schema.value, frozen);
+            return Object.freeze(schema);
         case SchemaTag.Object:
             freezeObjectEntries(schema.entries, frozen);
+            if (schema.catchall !== undefined) {
+                freezeSchemaInner(schema.catchall, frozen);
+            }
             Object.freeze(schema.keys);
             Object.freeze(schema.keyLookup);
             return Object.freeze(schema);
@@ -71,6 +92,7 @@ function freezeSchemaInner(schema, frozen) {
         case SchemaTag.BigInt:
         case SchemaTag.Symbol:
         case SchemaTag.Boolean:
+        case SchemaTag.InstanceOf:
         case SchemaTag.Literal:
         case SchemaTag.Lazy:
             return Object.freeze(schema);

package/dist/schema/index.d.ts

@@ -4,8 +4,8 @@
  * @details Schema helpers enforce construction-time invariants before values reach
  * validation, compilation, or export.
  */
-export type { ArraySchema, BigIntSchema, BooleanSchema, BrandSchema, DiscriminatedUnionCase, DiscriminatedUnionSchema, IntersectionSchema, LazySchema, LiteralSchema, LiteralValue, NeverSchema, NullableSchema, NumberCheck, NumberGteCheck, NumberIntegerCheck, NumberLteCheck, NumberSchema, ObjectEntry, ObjectKeyLookup, ObjectSchema, OptionalSchema, RecordSchema, RefineSchema, Schema, StringCheck, StringMaxCheck, StringMinCheck, StringRegexCheck, StringSchema, StringUuidCheck, SymbolSchema, TupleSchema, UndefinedableSchema, UnionSchema, UnknownSchema } from "./types.js";
-export { UUID_PATTERN } from "./types.js";
+export type { ArrayCheck, ArrayMaxCheck, ArrayMinCheck, ArraySchema, BigIntSchema, BooleanSchema, BrandSchema, DateCheck, DateMaxCheck, DateMinCheck, DateSchema, DiscriminatedUnionCase, DiscriminatedUnionSchema, IntersectionSchema, LazySchema, LiteralSchema, LiteralValue, NeverSchema, NullableSchema, NumberCheck, NumberGtCheck, NumberGteCheck, NumberIntegerCheck, NumberLtCheck, NumberLteCheck, NumberMultipleOfCheck, NumberSchema, ObjectEntry, ObjectKeyLookup, ObjectSchema, OptionalSchema, InstanceOfSchema, MapSchema, PropertySchema, RecordSchema, RefineSchema, Schema, SetSchema, StringCheck, StringEmailCheck, StringIsoDateCheck, StringIsoDateTimeCheck, StringIpv4Check, StringIpv6Check, StringMaxCheck, StringMinCheck, StringRegexCheck, StringSchema, StringUlidCheck, StringUrlCheck, StringUuidCheck, SymbolSchema, TupleSchema, UndefinedableSchema, UnionSchema, UnknownSchema } from "./types.js";
+export { EMAIL_PATTERN, IPV4_PATTERN, IPV6_PATTERN, ISO_DATETIME_PATTERN, ISO_DATE_PATTERN, ULID_PATTERN, URL_PATTERN, UUID_PATTERN } from "./types.js";
 export { isLiteralValue } from "./literal.js";
 export { isSchemaValue } from "./validate.js";
 export { freezeSchema } from "./freeze.js";

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/schema/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,YAAY,EACR,WAAW,EACX,YAAY,EACZ,aAAa,EACb,WAAW,EACX,sBAAsB,EACtB,wBAAwB,EACxB,kBAAkB,EAClB,UAAU,EACV,aAAa,EACb,YAAY,EACZ,WAAW,EACX,cAAc,EACd,WAAW,EACX,cAAc,EACd,kBAAkB,EAClB,cAAc,EACd,YAAY,EACZ,WAAW,EACX,eAAe,EACf,YAAY,EACZ,cAAc,EACd,YAAY,EACZ,YAAY,EACZ,MAAM,EACN,WAAW,EACX,cAAc,EACd,cAAc,EACd,gBAAgB,EAChB,YAAY,EACZ,eAAe,EACf,YAAY,EACZ,WAAW,EACX,mBAAmB,EACnB,WAAW,EACX,aAAa,EAChB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAC9C,OAAO,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/schema/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,YAAY,EACR,UAAU,EACV,aAAa,EACb,aAAa,EACb,WAAW,EACX,YAAY,EACZ,aAAa,EACb,WAAW,EACX,SAAS,EACT,YAAY,EACZ,YAAY,EACZ,UAAU,EACV,sBAAsB,EACtB,wBAAwB,EACxB,kBAAkB,EAClB,UAAU,EACV,aAAa,EACb,YAAY,EACZ,WAAW,EACX,cAAc,EACd,WAAW,EACX,aAAa,EACb,cAAc,EACd,kBAAkB,EAClB,aAAa,EACb,cAAc,EACd,qBAAqB,EACrB,YAAY,EACZ,WAAW,EACX,eAAe,EACf,YAAY,EACZ,cAAc,EACd,gBAAgB,EAChB,SAAS,EACT,cAAc,EACd,YAAY,EACZ,YAAY,EACZ,MAAM,EACN,SAAS,EACT,WAAW,EACX,gBAAgB,EAChB,kBAAkB,EAClB,sBAAsB,EACtB,eAAe,EACf,eAAe,EACf,cAAc,EACd,cAAc,EACd,gBAAgB,EAChB,YAAY,EACZ,eAAe,EACf,cAAc,EACd,eAAe,EACf,YAAY,EACZ,WAAW,EACX,mBAAmB,EACnB,WAAW,EACX,aAAa,EAChB,MAAM,YAAY,CAAC;AACpB,OAAO,EACH,aAAa,EACb,YAAY,EACZ,YAAY,EACZ,oBAAoB,EACpB,gBAAgB,EAChB,YAAY,EACZ,WAAW,EACX,YAAY,EACf,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAC9C,OAAO,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAC"}

package/dist/schema/index.js

@@ -4,7 +4,7 @@
  * @details Schema helpers enforce construction-time invariants before values reach
  * validation, compilation, or export.
  */
-export { UUID_PATTERN } from "./types.js";
+export { EMAIL_PATTERN, IPV4_PATTERN, IPV6_PATTERN, ISO_DATETIME_PATTERN, ISO_DATE_PATTERN, ULID_PATTERN, URL_PATTERN, UUID_PATTERN } from "./types.js";
 export { isLiteralValue } from "./literal.js";
 export { isSchemaValue } from "./validate.js";
 export { freezeSchema } from "./freeze.js";

package/dist/schema/types.d.ts

@@ -4,14 +4,14 @@
  * @details Schema helpers enforce construction-time invariants before values reach
  * validation, compilation, or export.
  */
-import { NumberCheckTag, ObjectModeTag, PresenceTag, SchemaTag, StringCheckTag } from "../kind/index.js";
+import { ArrayCheckTag, DateCheckTag, NumberCheckTag, ObjectModeTag, PresenceTag, SchemaTag, StringCheckTag } from "../kind/index.js";
 export type LiteralValue = string | number | bigint | boolean | symbol | null | undefined;
 /**
  * @brief Frozen schema tree consumed by interpreters, IR lowering, and codegen.
  * @details These records are deliberately data-only. Builder methods normalize
  * unsafe inputs before they enter this representation.
  */
-export type Schema = UnknownSchema | NeverSchema | StringSchema | NumberSchema | BigIntSchema | SymbolSchema | BooleanSchema | LiteralSchema | ArraySchema | ObjectSchema | UnionSchema | IntersectionSchema | OptionalSchema | UndefinedableSchema | NullableSchema | DiscriminatedUnionSchema | BrandSchema | TupleSchema | RecordSchema | LazySchema | RefineSchema;
+export type Schema = UnknownSchema | NeverSchema | StringSchema | NumberSchema | DateSchema | BigIntSchema | SymbolSchema | BooleanSchema | LiteralSchema | ArraySchema | ObjectSchema | UnionSchema | IntersectionSchema | OptionalSchema | UndefinedableSchema | NullableSchema | DiscriminatedUnionSchema | BrandSchema | TupleSchema | RecordSchema | MapSchema | SetSchema | InstanceOfSchema | PropertySchema | LazySchema | RefineSchema;
 export interface UnknownSchema {
     readonly tag: typeof SchemaTag.Unknown;
 }
@@ -22,7 +22,7 @@ export interface StringSchema {
     readonly tag: typeof SchemaTag.String;
     readonly checks: readonly StringCheck[];
 }
-export type StringCheck = StringMinCheck | StringMaxCheck | StringRegexCheck | StringUuidCheck;
+export type StringCheck = StringMinCheck | StringMaxCheck | StringRegexCheck | StringUuidCheck | StringEmailCheck | StringUrlCheck | StringIsoDateCheck | StringIsoDateTimeCheck | StringUlidCheck | StringIpv4Check | StringIpv6Check;
 export interface StringMinCheck {
     readonly tag: typeof StringCheckTag.Min;
     readonly value: number;
@@ -39,17 +39,51 @@ export interface StringRegexCheck {
 export interface StringUuidCheck {
     readonly tag: typeof StringCheckTag.Uuid;
 }
+export interface StringEmailCheck {
+    readonly tag: typeof StringCheckTag.Email;
+}
+export interface StringUrlCheck {
+    readonly tag: typeof StringCheckTag.Url;
+}
+export interface StringIsoDateCheck {
+    readonly tag: typeof StringCheckTag.IsoDate;
+}
+export interface StringIsoDateTimeCheck {
+    readonly tag: typeof StringCheckTag.IsoDateTime;
+}
+export interface StringUlidCheck {
+    readonly tag: typeof StringCheckTag.Ulid;
+}
+export interface StringIpv4Check {
+    readonly tag: typeof StringCheckTag.Ipv4;
+}
+export interface StringIpv6Check {
+    readonly tag: typeof StringCheckTag.Ipv6;
+}
 export interface NumberSchema {
     readonly tag: typeof SchemaTag.Number;
     readonly checks: readonly NumberCheck[];
 }
+export interface DateSchema {
+    readonly tag: typeof SchemaTag.Date;
+    readonly checks: readonly DateCheck[];
+}
+export type DateCheck = DateMinCheck | DateMaxCheck;
+export interface DateMinCheck {
+    readonly tag: typeof DateCheckTag.Min;
+    readonly value: number;
+}
+export interface DateMaxCheck {
+    readonly tag: typeof DateCheckTag.Max;
+    readonly value: number;
+}
 export interface BigIntSchema {
     readonly tag: typeof SchemaTag.BigInt;
 }
 export interface SymbolSchema {
     readonly tag: typeof SchemaTag.Symbol;
 }
-export type NumberCheck = NumberIntegerCheck | NumberGteCheck | NumberLteCheck;
+export type NumberCheck = NumberIntegerCheck | NumberGteCheck | NumberLteCheck | NumberGtCheck | NumberLtCheck | NumberMultipleOfCheck;
 export interface NumberIntegerCheck {
     readonly tag: typeof NumberCheckTag.Integer;
 }
@@ -61,6 +95,18 @@ export interface NumberLteCheck {
     readonly tag: typeof NumberCheckTag.Lte;
     readonly value: number;
 }
+export interface NumberGtCheck {
+    readonly tag: typeof NumberCheckTag.Gt;
+    readonly value: number;
+}
+export interface NumberLtCheck {
+    readonly tag: typeof NumberCheckTag.Lt;
+    readonly value: number;
+}
+export interface NumberMultipleOfCheck {
+    readonly tag: typeof NumberCheckTag.MultipleOf;
+    readonly value: number;
+}
 export interface BooleanSchema {
     readonly tag: typeof SchemaTag.Boolean;
 }
@@ -71,15 +117,46 @@ export interface LiteralSchema {
 export interface ArraySchema {
     readonly tag: typeof SchemaTag.Array;
     readonly item: Schema;
+    readonly checks: readonly ArrayCheck[];
+}
+export type ArrayCheck = ArrayMinCheck | ArrayMaxCheck;
+export interface ArrayMinCheck {
+    readonly tag: typeof ArrayCheckTag.Min;
+    readonly value: number;
+}
+export interface ArrayMaxCheck {
+    readonly tag: typeof ArrayCheckTag.Max;
+    readonly value: number;
 }
 export interface TupleSchema {
     readonly tag: typeof SchemaTag.Tuple;
     readonly items: readonly Schema[];
+    readonly rest: Schema | undefined;
 }
 export interface RecordSchema {
     readonly tag: typeof SchemaTag.Record;
     readonly value: Schema;
 }
+export interface MapSchema {
+    readonly tag: typeof SchemaTag.Map;
+    readonly key: Schema;
+    readonly value: Schema;
+}
+export interface SetSchema {
+    readonly tag: typeof SchemaTag.Set;
+    readonly item: Schema;
+}
+export interface InstanceOfSchema {
+    readonly tag: typeof SchemaTag.InstanceOf;
+    readonly constructor: abstract new (...args: never[]) => unknown;
+    readonly name: string;
+}
+export interface PropertySchema {
+    readonly tag: typeof SchemaTag.Property;
+    readonly base: Schema;
+    readonly key: string;
+    readonly value: Schema;
+}
 /**
  * @brief Object schema with both ordered entries and an O(1) key lookup.
  * @details Codegen uses entries for stable field order and keyLookup for strict
@@ -91,6 +168,7 @@ export interface ObjectSchema {
     readonly keys: readonly string[];
     readonly keyLookup: ObjectKeyLookup;
     readonly mode: ObjectModeTag;
+    readonly catchall: Schema | undefined;
 }
 export type ObjectKeyLookup = Readonly<Record<string, true>>;
 export interface ObjectEntry {
@@ -164,4 +242,11 @@ export interface RefineSchema {
  * validation, compilation, or export.
  */
 export declare const UUID_PATTERN: RegExp;
+export declare const EMAIL_PATTERN: RegExp;
+export declare const URL_PATTERN: RegExp;
+export declare const ISO_DATE_PATTERN: RegExp;
+export declare const ISO_DATETIME_PATTERN: RegExp;
+export declare const ULID_PATTERN: RegExp;
+export declare const IPV4_PATTERN: RegExp;
+export declare const IPV6_PATTERN: RegExp;
 //# sourceMappingURL=types.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/schema/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACH,cAAc,EACd,aAAa,EACb,WAAW,EACX,SAAS,EACT,cAAc,EACjB,MAAM,kBAAkB,CAAC;AAE1B,MAAM,MAAM,YAAY,GAClB,MAAM,GACN,MAAM,GACN,MAAM,GACN,OAAO,GACP,MAAM,GACN,IAAI,GACJ,SAAS,CAAC;AAEhB;;;;GAIG;AACH,MAAM,MAAM,MAAM,GACZ,aAAa,GACb,WAAW,GACX,YAAY,GACZ,YAAY,GACZ,YAAY,GACZ,YAAY,GACZ,aAAa,GACb,aAAa,GACb,WAAW,GACX,YAAY,GACZ,WAAW,GACX,kBAAkB,GAClB,cAAc,GACd,mBAAmB,GACnB,cAAc,GACd,wBAAwB,GACxB,WAAW,GACX,WAAW,GACX,YAAY,GACZ,UAAU,GACV,YAAY,CAAC;AAEnB,MAAM,WAAW,aAAa;IAC1B,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,OAAO,CAAC;CAC1C;AAED,MAAM,WAAW,WAAW;IACxB,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,KAAK,CAAC;CACxC;AAED,MAAM,WAAW,YAAY;IACzB,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,MAAM,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,CAAC;CAC3C;AAED,MAAM,MAAM,WAAW,GACjB,cAAc,GACd,cAAc,GACd,gBAAgB,GAChB,eAAe,CAAC;AAEtB,MAAM,WAAW,cAAc;IAC3B,QAAQ,CAAC,GAAG,EAAE,OAAO,cAAc,CAAC,GAAG,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,cAAc;IAC3B,QAAQ,CAAC,GAAG,EAAE,OAAO,cAAc,CAAC,GAAG,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,gBAAgB;IAC7B,QAAQ,CAAC,GAAG,EAAE,OAAO,cAAc,CAAC,KAAK,CAAC;IAC1C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,eAAe;IAC5B,QAAQ,CAAC,GAAG,EAAE,OAAO,cAAc,CAAC,IAAI,CAAC;CAC5C;AAED,MAAM,WAAW,YAAY;IACzB,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,MAAM,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,CAAC;CAC3C;AAED,MAAM,WAAW,YAAY;IACzB,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,MAAM,CAAC;CACzC;AAED,MAAM,WAAW,YAAY;IACzB,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,MAAM,CAAC;CACzC;AAED,MAAM,MAAM,WAAW,GACjB,kBAAkB,GAClB,cAAc,GACd,cAAc,CAAC;AAErB,MAAM,WAAW,kBAAkB;IAC/B,QAAQ,CAAC,GAAG,EAAE,OAAO,cAAc,CAAC,OAAO,CAAC;CAC/C;AAED,MAAM,WAAW,cAAc;IAC3B,QAAQ,CAAC,GAAG,EAAE,OAAO,cAAc,CAAC,GAAG,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,cAAc;IAC3B,QAAQ,CAAC,GAAG,EAAE,OAAO,cAAc,CAAC,GAAG,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,aAAa;IAC1B,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,OAAO,CAAC;CAC1C;AAED,MAAM,WAAW,aAAa;IAC1B,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,OAAO,CAAC;IACvC,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC;CAChC;AAED,MAAM,WAAW,WAAW;IACxB,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,KAAK,CAAC;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,WAAW;IACxB,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,KAAK,CAAC;IACrC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED,MAAM,WAAW,YAAY;IACzB,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,MAAM,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B;AAED;;;;GAIG;AACH,MAAM,WAAW,YAAY;IACzB,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,MAAM,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,CAAC;IACzC,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,QAAQ,CAAC,SAAS,EAAE,eAAe,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;CAChC;AAED,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;AAE7D,MAAM,WAAW,WAAW;IACxB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC;CAClC;AAED,MAAM,WAAW,WAAW;IACxB,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,KAAK,CAAC;IACrC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACvC;AAED,MAAM,WAAW,kBAAkB;IAC/B,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,YAAY,CAAC;IAC5C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,cAAc;IAC3B,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,QAAQ,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,mBAAmB;IAChC,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,aAAa,CAAC;IAC7C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,cAAc;IAC3B,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,QAAQ,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B;AAED;;;;GAIG;AACH,MAAM,WAAW,wBAAwB;IACrC,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,kBAAkB,CAAC;IAClD,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,SAAS,sBAAsB,EAAE,CAAC;CACrD;AAED,MAAM,WAAW,sBAAsB;IACnC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,WAAW;IACxB,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,KAAK,CAAC;IACrC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B;AAED;;;;GAIG;AACH,MAAM,WAAW,UAAU;IACvB,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,IAAI,CAAC;IACpC,QAAQ,CAAC,GAAG,EAAE,MAAM,MAAM,CAAC;CAC9B;AAED;;;;GAIG;AACH,MAAM,WAAW,YAAY;IACzB,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,MAAM,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,OAAO,CAAC;IAChD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACzB;AAED;;;;GAIG;AACH,eAAO,MAAM,YAAY,QACiG,CAAC"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/schema/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACH,aAAa,EACb,YAAY,EACZ,cAAc,EACd,aAAa,EACb,WAAW,EACX,SAAS,EACT,cAAc,EACjB,MAAM,kBAAkB,CAAC;AAE1B,MAAM,MAAM,YAAY,GAClB,MAAM,GACN,MAAM,GACN,MAAM,GACN,OAAO,GACP,MAAM,GACN,IAAI,GACJ,SAAS,CAAC;AAEhB;;;;GAIG;AACH,MAAM,MAAM,MAAM,GACZ,aAAa,GACb,WAAW,GACX,YAAY,GACZ,YAAY,GACZ,UAAU,GACV,YAAY,GACZ,YAAY,GACZ,aAAa,GACb,aAAa,GACb,WAAW,GACX,YAAY,GACZ,WAAW,GACX,kBAAkB,GAClB,cAAc,GACd,mBAAmB,GACnB,cAAc,GACd,wBAAwB,GACxB,WAAW,GACX,WAAW,GACX,YAAY,GACZ,SAAS,GACT,SAAS,GACT,gBAAgB,GAChB,cAAc,GACd,UAAU,GACV,YAAY,CAAC;AAEnB,MAAM,WAAW,aAAa;IAC1B,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,OAAO,CAAC;CAC1C;AAED,MAAM,WAAW,WAAW;IACxB,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,KAAK,CAAC;CACxC;AAED,MAAM,WAAW,YAAY;IACzB,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,MAAM,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,CAAC;CAC3C;AAED,MAAM,MAAM,WAAW,GACjB,cAAc,GACd,cAAc,GACd,gBAAgB,GAChB,eAAe,GACf,gBAAgB,GAChB,cAAc,GACd,kBAAkB,GAClB,sBAAsB,GACtB,eAAe,GACf,eAAe,GACf,eAAe,CAAC;AAEtB,MAAM,WAAW,cAAc;IAC3B,QAAQ,CAAC,GAAG,EAAE,OAAO,cAAc,CAAC,GAAG,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,cAAc;IAC3B,QAAQ,CAAC,GAAG,EAAE,OAAO,cAAc,CAAC,GAAG,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,gBAAgB;IAC7B,QAAQ,CAAC,GAAG,EAAE,OAAO,cAAc,CAAC,KAAK,CAAC;IAC1C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,eAAe;IAC5B,QAAQ,CAAC,GAAG,EAAE,OAAO,cAAc,CAAC,IAAI,CAAC;CAC5C;AAED,MAAM,WAAW,gBAAgB;IAC7B,QAAQ,CAAC,GAAG,EAAE,OAAO,cAAc,CAAC,KAAK,CAAC;CAC7C;AAED,MAAM,WAAW,cAAc;IAC3B,QAAQ,CAAC,GAAG,EAAE,OAAO,cAAc,CAAC,GAAG,CAAC;CAC3C;AAED,MAAM,WAAW,kBAAkB;IAC/B,QAAQ,CAAC,GAAG,EAAE,OAAO,cAAc,CAAC,OAAO,CAAC;CAC/C;AAED,MAAM,WAAW,sBAAsB;IACnC,QAAQ,CAAC,GAAG,EAAE,OAAO,cAAc,CAAC,WAAW,CAAC;CACnD;AAED,MAAM,WAAW,eAAe;IAC5B,QAAQ,CAAC,GAAG,EAAE,OAAO,cAAc,CAAC,IAAI,CAAC;CAC5C;AAED,MAAM,WAAW,eAAe;IAC5B,QAAQ,CAAC,GAAG,EAAE,OAAO,cAAc,CAAC,IAAI,CAAC;CAC5C;AAED,MAAM,WAAW,eAAe;IAC5B,QAAQ,CAAC,GAAG,EAAE,OAAO,cAAc,CAAC,IAAI,CAAC;CAC5C;AAED,MAAM,WAAW,YAAY;IACzB,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,MAAM,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,CAAC;CAC3C;AAED,MAAM,WAAW,UAAU;IACvB,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,IAAI,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,CAAC;CACzC;AAED,MAAM,MAAM,SAAS,GACf,YAAY,GACZ,YAAY,CAAC;AAEnB,MAAM,WAAW,YAAY;IACzB,QAAQ,CAAC,GAAG,EAAE,OAAO,YAAY,CAAC,GAAG,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,YAAY;IACzB,QAAQ,CAAC,GAAG,EAAE,OAAO,YAAY,CAAC,GAAG,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,YAAY;IACzB,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,MAAM,CAAC;CACzC;AAED,MAAM,WAAW,YAAY;IACzB,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,MAAM,CAAC;CACzC;AAED,MAAM,MAAM,WAAW,GACjB,kBAAkB,GAClB,cAAc,GACd,cAAc,GACd,aAAa,GACb,aAAa,GACb,qBAAqB,CAAC;AAE5B,MAAM,WAAW,kBAAkB;IAC/B,QAAQ,CAAC,GAAG,EAAE,OAAO,cAAc,CAAC,OAAO,CAAC;CAC/C;AAED,MAAM,WAAW,cAAc;IAC3B,QAAQ,CAAC,GAAG,EAAE,OAAO,cAAc,CAAC,GAAG,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,cAAc;IAC3B,QAAQ,CAAC,GAAG,EAAE,OAAO,cAAc,CAAC,GAAG,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,aAAa;IAC1B,QAAQ,CAAC,GAAG,EAAE,OAAO,cAAc,CAAC,EAAE,CAAC;IACvC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,aAAa;IAC1B,QAAQ,CAAC,GAAG,EAAE,OAAO,cAAc,CAAC,EAAE,CAAC;IACvC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,qBAAqB;IAClC,QAAQ,CAAC,GAAG,EAAE,OAAO,cAAc,CAAC,UAAU,CAAC;IAC/C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,aAAa;IAC1B,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,OAAO,CAAC;CAC1C;AAED,MAAM,WAAW,aAAa;IAC1B,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,OAAO,CAAC;IACvC,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC;CAChC;AAED,MAAM,WAAW,WAAW;IACxB,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,KAAK,CAAC;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,CAAC;CAC1C;AAED,MAAM,MAAM,UAAU,GAChB,aAAa,GACb,aAAa,CAAC;AAEpB,MAAM,WAAW,aAAa;IAC1B,QAAQ,CAAC,GAAG,EAAE,OAAO,aAAa,CAAC,GAAG,CAAC;IACvC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,aAAa;IAC1B,QAAQ,CAAC,GAAG,EAAE,OAAO,aAAa,CAAC,GAAG,CAAC;IACvC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,WAAW;IACxB,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,KAAK,CAAC;IACrC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;CACrC;AAED,MAAM,WAAW,YAAY;IACzB,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,MAAM,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,SAAS;IACtB,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,GAAG,CAAC;IACnC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,SAAS;IACtB,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,GAAG,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,gBAAgB;IAC7B,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,UAAU,CAAC;IAC1C,QAAQ,CAAC,WAAW,EAAE,QAAQ,MAAM,GAAG,IAAI,EAAE,KAAK,EAAE,KAAK,OAAO,CAAC;IACjE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,cAAc;IAC3B,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,QAAQ,CAAC;IACxC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B;AAED;;;;GAIG;AACH,MAAM,WAAW,YAAY;IACzB,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,MAAM,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,CAAC;IACzC,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,QAAQ,CAAC,SAAS,EAAE,eAAe,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAC;CACzC;AAED,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;AAE7D,MAAM,WAAW,WAAW;IACxB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC;CAClC;AAED,MAAM,WAAW,WAAW;IACxB,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,KAAK,CAAC;IACrC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACvC;AAED,MAAM,WAAW,kBAAkB;IAC/B,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,YAAY,CAAC;IAC5C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,cAAc;IAC3B,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,QAAQ,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,mBAAmB;IAChC,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,aAAa,CAAC;IAC7C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,cAAc;IAC3B,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,QAAQ,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B;AAED;;;;GAIG;AACH,MAAM,WAAW,wBAAwB;IACrC,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,kBAAkB,CAAC;IAClD,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,SAAS,sBAAsB,EAAE,CAAC;CACrD;AAED,MAAM,WAAW,sBAAsB;IACnC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,WAAW;IACxB,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,KAAK,CAAC;IACrC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B;AAED;;;;GAIG;AACH,MAAM,WAAW,UAAU;IACvB,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,IAAI,CAAC;IACpC,QAAQ,CAAC,GAAG,EAAE,MAAM,MAAM,CAAC;CAC9B;AAED;;;;GAIG;AACH,MAAM,WAAW,YAAY;IACzB,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,MAAM,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,OAAO,CAAC;IAChD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACzB;AAED;;;;GAIG;AACH,eAAO,MAAM,YAAY,QACiG,CAAC;AAE3H,eAAO,MAAM,aAAa,QAC6G,CAAC;AAExI,eAAO,MAAM,WAAW,QACU,CAAC;AAEnC,eAAO,MAAM,gBAAgB,QAC2B,CAAC;AAEzD,eAAO,MAAM,oBAAoB,QAC4G,CAAC;AAE9I,eAAO,MAAM,YAAY,QACY,CAAC;AAEtC,eAAO,MAAM,YAAY,QAC+D,CAAC;AAEzF,eAAO,MAAM,YAAY,QAC2V,CAAC"}

package/dist/schema/types.js

@@ -4,10 +4,17 @@
  * @details Schema helpers enforce construction-time invariants before values reach
  * validation, compilation, or export.
  */
-import { NumberCheckTag, ObjectModeTag, PresenceTag, SchemaTag, StringCheckTag } from "../kind/index.js";
+import { ArrayCheckTag, DateCheckTag, NumberCheckTag, ObjectModeTag, PresenceTag, SchemaTag, StringCheckTag } from "../kind/index.js";
 /**
  * @brief UUID pattern shared by interpreter and generated validators.
  * @details Schema helpers enforce construction-time invariants before values reach
  * validation, compilation, or export.
  */
 export const UUID_PATTERN = /^(?:00000000-0000-0000-0000-000000000000|[0-9a-f]{8}-[0-9a-f]{4}-[1-8][0-9a-f]{3}-[89ab][0-9a-f]{3}-[0-9a-f]{12})$/iu;
+export const EMAIL_PATTERN = /^(?!\.)(?!.*\.\.)[A-Z0-9!#$%&'*+/=?^_`{|}~.-]+@[A-Z0-9](?:[A-Z0-9-]{0,61}[A-Z0-9])?(?:\.[A-Z0-9](?:[A-Z0-9-]{0,61}[A-Z0-9])?)+$/iu;
+export const URL_PATTERN = /^[A-Z][A-Z0-9+.-]*:[^\s]+$/iu;
+export const ISO_DATE_PATTERN = /^\d{4}-(?:0[1-9]|1[0-2])-(?:0[1-9]|[12]\d|3[01])$/u;
+export const ISO_DATETIME_PATTERN = /^\d{4}-(?:0[1-9]|1[0-2])-(?:0[1-9]|[12]\d|3[01])T(?:[01]\d|2[0-3]):[0-5]\d(?::[0-5]\d(?:\.\d+)?)?(?:Z|[+-](?:[01]\d|2[0-3]):?[0-5]\d)$/u;
+export const ULID_PATTERN = /^[0-7][0-9A-HJKMNP-TV-Z]{25}$/iu;
+export const IPV4_PATTERN = /^(?:(?:25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)\.){3}(?:25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)$/u;
+export const IPV6_PATTERN = /^(?:(?:[0-9a-f]{1,4}:){7}[0-9a-f]{1,4}|(?:[0-9a-f]{1,4}:){1,7}:|(?:[0-9a-f]{1,4}:){1,6}:[0-9a-f]{1,4}|(?:[0-9a-f]{1,4}:){1,5}(?::[0-9a-f]{1,4}){1,2}|(?:[0-9a-f]{1,4}:){1,4}(?::[0-9a-f]{1,4}){1,3}|(?:[0-9a-f]{1,4}:){1,3}(?::[0-9a-f]{1,4}){1,4}|(?:[0-9a-f]{1,4}:){1,2}(?::[0-9a-f]{1,4}){1,5}|[0-9a-f]{1,4}:(?:(?::[0-9a-f]{1,4}){1,6})|:(?:(?::[0-9a-f]{1,4}){1,7}|:))$/iu;

package/dist/schema/undefined.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"undefined.d.ts","sourceRoot":"","sources":["../../src/schema/undefined.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAEzC;;;;;;;GAOG;AACH,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAwChE"}
+{"version":3,"file":"undefined.d.ts","sourceRoot":"","sources":["../../src/schema/undefined.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAEzC;;;;;;;GAOG;AACH,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CA6ChE"}

package/dist/schema/undefined.js

@@ -43,10 +43,15 @@ export function schemaCanAcceptUndefined(schema) {
         case SchemaTag.Never:
         case SchemaTag.String:
         case SchemaTag.Number:
+        case SchemaTag.Date:
         case SchemaTag.BigInt:
         case SchemaTag.Symbol:
         case SchemaTag.Boolean:
         case SchemaTag.Array:
+        case SchemaTag.Map:
+        case SchemaTag.Set:
+        case SchemaTag.InstanceOf:
+        case SchemaTag.Property:
         case SchemaTag.Object:
         case SchemaTag.DiscriminatedUnion:
         case SchemaTag.Tuple: