typesea 0.2.0 → 0.3.0

package/dist/kind/index.d.ts

@@ -25,6 +25,11 @@ export declare const SchemaTag: {
     readonly BigInt: 19;
     readonly Symbol: 20;
     readonly Intersection: 21;
+    readonly Date: 22;
+    readonly Map: 23;
+    readonly Set: 24;
+    readonly InstanceOf: 25;
+    readonly Property: 26;
 };
 export type SchemaTag = (typeof SchemaTag)[keyof typeof SchemaTag];
 /**
@@ -52,14 +57,34 @@ export declare const StringCheckTag: {
     readonly Max: 2;
     readonly Regex: 3;
     readonly Uuid: 4;
+    readonly Email: 5;
+    readonly Url: 6;
+    readonly IsoDate: 7;
+    readonly IsoDateTime: 8;
+    readonly Ulid: 9;
+    readonly Ipv4: 10;
+    readonly Ipv6: 11;
 };
 export type StringCheckTag = (typeof StringCheckTag)[keyof typeof StringCheckTag];
 export declare const NumberCheckTag: {
     readonly Integer: 1;
     readonly Gte: 2;
     readonly Lte: 3;
+    readonly Gt: 4;
+    readonly Lt: 5;
+    readonly MultipleOf: 6;
 };
 export type NumberCheckTag = (typeof NumberCheckTag)[keyof typeof NumberCheckTag];
+export declare const DateCheckTag: {
+    readonly Min: 1;
+    readonly Max: 2;
+};
+export type DateCheckTag = (typeof DateCheckTag)[keyof typeof DateCheckTag];
+export declare const ArrayCheckTag: {
+    readonly Min: 1;
+    readonly Max: 2;
+};
+export type ArrayCheckTag = (typeof ArrayCheckTag)[keyof typeof ArrayCheckTag];
 /**
  * @brief IR node tags with reserved numeric ranges by node family.
  * @details Sparse ranges make graph dumps easier to scan and leave room for

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/kind/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;;;;;;;CAsBZ,CAAC;AAEX,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,SAAS,CAAC,CAAC,MAAM,OAAO,SAAS,CAAC,CAAC;AAEnE;;;;GAIG;AACH,eAAO,MAAM,aAAa;;;CAGhB,CAAC;AAEX,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,aAAa,CAAC,CAAC,MAAM,OAAO,aAAa,CAAC,CAAC;AAE/E;;;;GAIG;AACH,eAAO,MAAM,WAAW;;;CAGd,CAAC;AAEX,MAAM,MAAM,WAAW,GAAG,CAAC,OAAO,WAAW,CAAC,CAAC,MAAM,OAAO,WAAW,CAAC,CAAC;AAEzE,eAAO,MAAM,cAAc;;;;;CAKjB,CAAC;AAEX,MAAM,MAAM,cAAc,GACtB,CAAC,OAAO,cAAc,CAAC,CAAC,MAAM,OAAO,cAAc,CAAC,CAAC;AAEzD,eAAO,MAAM,cAAc;;;;CAIjB,CAAC;AAEX,MAAM,MAAM,cAAc,GACtB,CAAC,OAAO,cAAc,CAAC,CAAC,MAAM,OAAO,cAAc,CAAC,CAAC;AAEzD;;;;GAIG;AACH,eAAO,MAAM,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAoCV,CAAC;AAEX,MAAM,MAAM,OAAO,GAAG,CAAC,OAAO,OAAO,CAAC,CAAC,MAAM,OAAO,OAAO,CAAC,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/kind/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;CA2BZ,CAAC;AAEX,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,SAAS,CAAC,CAAC,MAAM,OAAO,SAAS,CAAC,CAAC;AAEnE;;;;GAIG;AACH,eAAO,MAAM,aAAa;;;CAGhB,CAAC;AAEX,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,aAAa,CAAC,CAAC,MAAM,OAAO,aAAa,CAAC,CAAC;AAE/E;;;;GAIG;AACH,eAAO,MAAM,WAAW;;;CAGd,CAAC;AAEX,MAAM,MAAM,WAAW,GAAG,CAAC,OAAO,WAAW,CAAC,CAAC,MAAM,OAAO,WAAW,CAAC,CAAC;AAEzE,eAAO,MAAM,cAAc;;;;;;;;;;;;CAYjB,CAAC;AAEX,MAAM,MAAM,cAAc,GACtB,CAAC,OAAO,cAAc,CAAC,CAAC,MAAM,OAAO,cAAc,CAAC,CAAC;AAEzD,eAAO,MAAM,cAAc;;;;;;;CAOjB,CAAC;AAEX,MAAM,MAAM,cAAc,GACtB,CAAC,OAAO,cAAc,CAAC,CAAC,MAAM,OAAO,cAAc,CAAC,CAAC;AAEzD,eAAO,MAAM,YAAY;;;CAGf,CAAC;AAEX,MAAM,MAAM,YAAY,GACpB,CAAC,OAAO,YAAY,CAAC,CAAC,MAAM,OAAO,YAAY,CAAC,CAAC;AAErD,eAAO,MAAM,aAAa;;;CAGhB,CAAC;AAEX,MAAM,MAAM,aAAa,GACrB,CAAC,OAAO,aAAa,CAAC,CAAC,MAAM,OAAO,aAAa,CAAC,CAAC;AAEvD;;;;GAIG;AACH,eAAO,MAAM,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAoCV,CAAC;AAEX,MAAM,MAAM,OAAO,GAAG,CAAC,OAAO,OAAO,CAAC,CAAC,MAAM,OAAO,OAAO,CAAC,CAAC"}

package/dist/kind/index.js

@@ -24,7 +24,12 @@ export const SchemaTag = {
     Never: 18,
     BigInt: 19,
     Symbol: 20,
-    Intersection: 21
+    Intersection: 21,
+    Date: 22,
+    Map: 23,
+    Set: 24,
+    InstanceOf: 25,
+    Property: 26
 };
 /**
  * @brief Object unknown-key policy tags.
@@ -48,12 +53,30 @@ export const StringCheckTag = {
     Min: 1,
     Max: 2,
     Regex: 3,
-    Uuid: 4
+    Uuid: 4,
+    Email: 5,
+    Url: 6,
+    IsoDate: 7,
+    IsoDateTime: 8,
+    Ulid: 9,
+    Ipv4: 10,
+    Ipv6: 11
 };
 export const NumberCheckTag = {
     Integer: 1,
     Gte: 2,
-    Lte: 3
+    Lte: 3,
+    Gt: 4,
+    Lt: 5,
+    MultipleOf: 6
+};
+export const DateCheckTag = {
+    Min: 1,
+    Max: 2
+};
+export const ArrayCheckTag = {
+    Min: 1,
+    Max: 2
 };
 /**
  * @brief IR node tags with reserved numeric ranges by node family.

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/lower/index.ts"],"names":[],"mappings":"AAMA,OAAO,EAEH,KAAK,KAAK,EAIb,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAgB,KAAK,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAE/D;;;;;;;GAOG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,KAAK,CAOjD"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/lower/index.ts"],"names":[],"mappings":"AAMA,OAAO,EAEH,KAAK,KAAK,EAIb,MAAM,gBAAgB,CAAC;AAExB,OAAO,EASH,KAAK,MAAM,EACd,MAAM,oBAAoB,CAAC;AAE5B;;;;;;;GAOG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,KAAK,CAOjD"}

package/dist/lower/index.js

@@ -1,7 +1,7 @@
 import { NumberCheckTag, PresenceTag, SchemaTag, StringCheckTag } from "../kind/index.js";
 import { GraphBuilder } from "../ir/index.js";
 import { optimizeGraph } from "../optimize/index.js";
-import { UUID_PATTERN } from "../schema/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";
 /**
  * @brief Convert one schema root into a Sea-of-Nodes predicate graph.
  * @details The graph always starts with a single input parameter and ends in a
@@ -38,6 +38,8 @@ function lowerPredicate(builder, schema, value) {
             return lowerString(builder, schema, value);
         case SchemaTag.Number:
             return lowerNumber(builder, schema, value);
+        case SchemaTag.Date:
+            return builder.schemaCheck(value, schema);
         case SchemaTag.BigInt:
             return builder.isBigInt(value);
         case SchemaTag.Symbol:
@@ -54,9 +56,12 @@ function lowerPredicate(builder, schema, value) {
              */
             return builder.and([
                 builder.isArray(value),
-                builder.arrayEvery(value, schema.item, lowerChildGraph(schema.item))
+                builder.arrayEvery(value, schema.item, schema.checks, lowerChildGraph(schema.item))
             ]);
         case SchemaTag.Tuple:
+            if (schema.rest !== undefined) {
+                return builder.schemaCheck(value, schema);
+            }
             return builder.and([
                 builder.isArray(value),
                 builder.tupleItems(value, schema.items, lowerChildGraphs(schema.items))
@@ -66,6 +71,11 @@ function lowerPredicate(builder, schema, value) {
                 builder.isObject(value),
                 builder.recordEvery(value, schema.value, lowerChildGraph(schema.value))
             ]);
+        case SchemaTag.Map:
+        case SchemaTag.Set:
+        case SchemaTag.InstanceOf:
+        case SchemaTag.Property:
+            return builder.schemaCheck(value, schema);
         case SchemaTag.Object:
             return lowerObject(builder, schema, value);
         case SchemaTag.Union:
@@ -135,6 +145,27 @@ function lowerString(builder, schema, value) {
             case StringCheckTag.Uuid:
                 tests.push(builder.regex(value, UUID_PATTERN, "uuid"));
                 break;
+            case StringCheckTag.Email:
+                tests.push(builder.regex(value, EMAIL_PATTERN, "email"));
+                break;
+            case StringCheckTag.Url:
+                tests.push(builder.regex(value, URL_PATTERN, "url"));
+                break;
+            case StringCheckTag.IsoDate:
+                tests.push(builder.regex(value, ISO_DATE_PATTERN, "iso_date"));
+                break;
+            case StringCheckTag.IsoDateTime:
+                tests.push(builder.regex(value, ISO_DATETIME_PATTERN, "iso_datetime"));
+                break;
+            case StringCheckTag.Ulid:
+                tests.push(builder.regex(value, ULID_PATTERN, "ulid"));
+                break;
+            case StringCheckTag.Ipv4:
+                tests.push(builder.regex(value, IPV4_PATTERN, "ipv4"));
+                break;
+            case StringCheckTag.Ipv6:
+                tests.push(builder.regex(value, IPV6_PATTERN, "ipv6"));
+                break;
         }
     }
     return builder.and(tests);
@@ -167,6 +198,18 @@ function lowerNumber(builder, schema, value) {
             case NumberCheckTag.Lte:
                 tests.push(builder.lte(value, builder.constant(check.value)));
                 break;
+            case NumberCheckTag.Gt:
+                tests.push(builder.not(builder.lte(value, builder.constant(check.value))));
+                break;
+            case NumberCheckTag.Lt:
+                tests.push(builder.not(builder.gte(value, builder.constant(check.value))));
+                break;
+            case NumberCheckTag.MultipleOf:
+                tests.push(builder.schemaCheck(value, {
+                    tag: SchemaTag.Number,
+                    checks: [check]
+                }));
+                break;
         }
     }
     return builder.and(tests);
@@ -182,7 +225,7 @@ function lowerNumber(builder, schema, value) {
  * @returns Node id for the object-shape predicate.
  */
 function lowerObject(builder, schema, value) {
-    return builder.objectShape(value, lowerObjectShapeEntries(schema.entries), schema.keys, schema.mode);
+    return builder.objectShape(value, lowerObjectShapeEntries(schema.entries), schema.keys, schema.mode, schema.catchall, schema.catchall === undefined ? undefined : lowerChildGraph(schema.catchall));
 }
 /**
  * @brief Lower and optimize a child schema before embedding it in a parent node.
@@ -355,6 +398,8 @@ function schemaUnionMask(schema) {
             return UnionMask.String;
         case SchemaTag.Number:
             return UnionMask.Number;
+        case SchemaTag.Date:
+            return UnionMask.Object;
         case SchemaTag.BigInt:
             return UnionMask.BigInt;
         case SchemaTag.Symbol:
@@ -368,6 +413,10 @@ function schemaUnionMask(schema) {
             return UnionMask.Array;
         case SchemaTag.Object:
         case SchemaTag.Record:
+        case SchemaTag.Map:
+        case SchemaTag.Set:
+        case SchemaTag.InstanceOf:
+        case SchemaTag.Property:
         case SchemaTag.DiscriminatedUnion:
             return UnionMask.Object;
         case SchemaTag.Optional:

package/dist/message/index.d.ts

@@ -48,6 +48,15 @@ export interface IssueMessageOptions {
     readonly catalog: IssueMessageCatalog | undefined;
     readonly pathFormatter: ((path: readonly PathSegment[]) => string) | undefined;
 }
+/**
+ * @brief Zod-style flattened message view.
+ * @details Root issues go into formErrors. Field issues are grouped by the
+ * first path segment so form adapters can attach messages to top-level fields.
+ */
+export interface FlattenedIssueMessages {
+    readonly formErrors: readonly string[];
+    readonly fieldErrors: Readonly<Record<string, readonly string[]>>;
+}
 /**
  * @brief Freeze a user catalog after validating its keys and templates.
  * @details Message helpers keep structured issues separate from human-readable formatting
@@ -74,6 +83,15 @@ export declare function formatIssue(issue: Issue, options?: Partial<IssueMessage
  * @returns Frozen list of rendered messages aligned with the input issue order.
  */
 export declare function formatIssues(issues: readonly Issue[], options?: Partial<IssueMessageOptions>): readonly string[];
+/**
+ * @brief Flatten issues into root and top-level field message buckets.
+ * @param issues Issue list returned by check-like APIs.
+ * @param options Optional locale, catalog, and path formatter.
+ * @returns Frozen flattened message object.
+ * @details This mirrors the practical shape of Zod's `error.flatten()` without
+ * changing TypeSea's allocation-free boolean path or array-based diagnostics.
+ */
+export declare function flattenIssues(issues: readonly Issue[], options?: Partial<IssueMessageOptions>): FlattenedIssueMessages;
 /**
  * @brief Attach rendered messages to every issue in a failed check result.
  * @details Successful results are returned unchanged. Failed results are copied

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/message/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAKH,KAAK,WAAW,EAChB,KAAK,KAAK,EACV,KAAK,SAAS,EACd,KAAK,WAAW,EACnB,MAAM,mBAAmB,CAAC;AAG3B;;;;GAIG;AACH,MAAM,MAAM,aAAa,GAAG,IAAI,GAAG,IAAI,CAAC;AAExC;;;;GAIG;AACH,MAAM,WAAW,mBAAmB;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,qBAAqB,GAAG,CAChC,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,mBAAmB,KAC3B,MAAM,CAAC;AAEZ;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,GAAG,MAAM,GAAG,qBAAqB,CAAC;AAElE;;;;GAIG;AACH,MAAM,MAAM,mBAAmB,GAAG,OAAO,CACrC,QAAQ,CAAC,MAAM,CAAC,SAAS,EAAE,oBAAoB,CAAC,CAAC,CACpD,CAAC;AAEF;;;;GAIG;AACH,MAAM,WAAW,mBAAmB;IAChC,QAAQ,CAAC,MAAM,EAAE,aAAa,GAAG,SAAS,CAAC;IAC3C,QAAQ,CAAC,OAAO,EAAE,mBAAmB,GAAG,SAAS,CAAC;IAClD,QAAQ,CAAC,aAAa,EAChB,CAAC,CAAC,IAAI,EAAE,SAAS,WAAW,EAAE,KAAK,MAAM,CAAC,GAC1C,SAAS,CAAC;CACnB;AAaD;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,mBAAmB,GAAG,mBAAmB,CAEhF;AAED;;;;;;;GAOG;AACH,wBAAgB,WAAW,CACvB,KAAK,EAAE,KAAK,EACZ,OAAO,CAAC,EAAE,OAAO,CAAC,mBAAmB,CAAC,GACvC,MAAM,CAOR;AAED;;;;;;;GAOG;AACH,wBAAgB,YAAY,CACxB,MAAM,EAAE,SAAS,KAAK,EAAE,EACxB,OAAO,CAAC,EAAE,OAAO,CAAC,mBAAmB,CAAC,GACvC,SAAS,MAAM,EAAE,CAWnB;AAED;;;;;;;;GAQG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAC/B,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,EAC3B,OAAO,CAAC,EAAE,OAAO,CAAC,mBAAmB,CAAC,GACvC,WAAW,CAAC,MAAM,CAAC,CAoBrB"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/message/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAKH,KAAK,WAAW,EAChB,KAAK,KAAK,EACV,KAAK,SAAS,EACd,KAAK,WAAW,EACnB,MAAM,mBAAmB,CAAC;AAG3B;;;;GAIG;AACH,MAAM,MAAM,aAAa,GAAG,IAAI,GAAG,IAAI,CAAC;AAExC;;;;GAIG;AACH,MAAM,WAAW,mBAAmB;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,qBAAqB,GAAG,CAChC,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,mBAAmB,KAC3B,MAAM,CAAC;AAEZ;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,GAAG,MAAM,GAAG,qBAAqB,CAAC;AAElE;;;;GAIG;AACH,MAAM,MAAM,mBAAmB,GAAG,OAAO,CACrC,QAAQ,CAAC,MAAM,CAAC,SAAS,EAAE,oBAAoB,CAAC,CAAC,CACpD,CAAC;AAEF;;;;GAIG;AACH,MAAM,WAAW,mBAAmB;IAChC,QAAQ,CAAC,MAAM,EAAE,aAAa,GAAG,SAAS,CAAC;IAC3C,QAAQ,CAAC,OAAO,EAAE,mBAAmB,GAAG,SAAS,CAAC;IAClD,QAAQ,CAAC,aAAa,EAChB,CAAC,CAAC,IAAI,EAAE,SAAS,WAAW,EAAE,KAAK,MAAM,CAAC,GAC1C,SAAS,CAAC;CACnB;AAED;;;;GAIG;AACH,MAAM,WAAW,sBAAsB;IACnC,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC;CACrE;AAaD;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,mBAAmB,GAAG,mBAAmB,CAEhF;AAED;;;;;;;GAOG;AACH,wBAAgB,WAAW,CACvB,KAAK,EAAE,KAAK,EACZ,OAAO,CAAC,EAAE,OAAO,CAAC,mBAAmB,CAAC,GACvC,MAAM,CAOR;AAED;;;;;;;GAOG;AACH,wBAAgB,YAAY,CACxB,MAAM,EAAE,SAAS,KAAK,EAAE,EACxB,OAAO,CAAC,EAAE,OAAO,CAAC,mBAAmB,CAAC,GACvC,SAAS,MAAM,EAAE,CAWnB;AAED;;;;;;;GAOG;AACH,wBAAgB,aAAa,CACzB,MAAM,EAAE,SAAS,KAAK,EAAE,EACxB,OAAO,CAAC,EAAE,OAAO,CAAC,mBAAmB,CAAC,GACvC,sBAAsB,CA4BxB;AAED;;;;;;;;GAQG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAC/B,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,EAC3B,OAAO,CAAC,EAAE,OAAO,CAAC,mBAAmB,CAAC,GACvC,WAAW,CAAC,MAAM,CAAC,CAoBrB"}

package/dist/message/index.js

@@ -46,6 +46,44 @@ export function formatIssues(issues, options) {
     }
     return Object.freeze(messages);
 }
+/**
+ * @brief Flatten issues into root and top-level field message buckets.
+ * @param issues Issue list returned by check-like APIs.
+ * @param options Optional locale, catalog, and path formatter.
+ * @returns Frozen flattened message object.
+ * @details This mirrors the practical shape of Zod's `error.flatten()` without
+ * changing TypeSea's allocation-free boolean path or array-based diagnostics.
+ */
+export function flattenIssues(issues, options) {
+    const copied = copyIssueArray(issues);
+    const config = readOptions(options);
+    const formErrors = [];
+    const fieldErrors = Object.create(null);
+    for (let index = 0; index < copied.length; index += 1) {
+        const issue = copied[index];
+        if (issue === undefined) {
+            continue;
+        }
+        const message = renderIssue(issue, config);
+        const first = issue.path[0];
+        if (first === undefined) {
+            formErrors.push(message);
+            continue;
+        }
+        const key = String(first);
+        const bucket = fieldErrors[key];
+        if (bucket === undefined) {
+            fieldErrors[key] = [message];
+        }
+        else {
+            bucket.push(message);
+        }
+    }
+    return Object.freeze({
+        formErrors: Object.freeze(formErrors),
+        fieldErrors: freezeFieldErrors(fieldErrors)
+    });
+}
 /**
  * @brief Attach rendered messages to every issue in a failed check result.
  * @details Successful results are returned unchanged. Failed results are copied
@@ -90,6 +128,21 @@ function renderIssue(issue, options) {
     }
     return renderTemplate(defaultCatalogs[options.locale][issue.code], issue, context);
 }
+/**
+ * @brief Freeze flattened field-error buckets.
+ * @param value Mutable field-error table.
+ * @returns Frozen table with frozen message arrays.
+ */
+function freezeFieldErrors(value) {
+    const keys = Object.keys(value);
+    for (let index = 0; index < keys.length; index += 1) {
+        const key = keys[index];
+        if (key !== undefined) {
+            Object.freeze(value[key]);
+        }
+    }
+    return Object.freeze(value);
+}
 /**
  * @brief Build the stable template context for one issue.
  * @details Missing expected or actual fields become `"unknown"` so templates
@@ -275,12 +328,16 @@ function isRecord(value) {
 const enCatalog = Object.freeze({
     expected_string: "Expected string at {path}; received {actual}.",
     expected_number: "Expected number at {path}; received {actual}.",
+    expected_date: "Expected valid Date at {path}; received {actual}.",
     expected_bigint: "Expected bigint at {path}; received {actual}.",
     expected_symbol: "Expected symbol at {path}; received {actual}.",
     expected_boolean: "Expected boolean at {path}; received {actual}.",
     expected_never: "Expected never at {path}; received {actual}.",
     expected_literal: "Expected literal {expected} at {path}; received {actual}.",
     expected_array: "Expected array at {path}; received {actual}.",
+    expected_map: "Expected Map at {path}; received {actual}.",
+    expected_set: "Expected Set at {path}; received {actual}.",
+    expected_instance: "Expected instance of {expected} at {path}; received {actual}.",
     expected_tuple: "Expected tuple at {path}; received {actual}.",
     expected_tuple_length: "Expected tuple {expected} at {path}; received {actual}.",
     expected_object: "Expected object at {path}; received {actual}.",
@@ -291,6 +348,9 @@ const enCatalog = Object.freeze({
     expected_pattern: "Expected pattern {expected} at {path}; received {actual}.",
     expected_gte: "Expected value {expected} at {path}; received {actual}.",
     expected_lte: "Expected value {expected} at {path}; received {actual}.",
+    expected_gt: "Expected value {expected} at {path}; received {actual}.",
+    expected_lt: "Expected value {expected} at {path}; received {actual}.",
+    expected_multiple_of: "Expected value {expected} at {path}; received {actual}.",
     expected_required_key: "Expected required key at {path}; received {actual}.",
     expected_union: "Expected union at {path}; received {actual}.",
     expected_discriminant: "Expected discriminant {expected} at {path}; received {actual}.",
@@ -306,12 +366,16 @@ const enCatalog = Object.freeze({
 const koCatalog = Object.freeze({
     expected_string: "{path}에서 문자열이 필요하지만 {actual}을 받았습니다.",
     expected_number: "{path}에서 숫자가 필요하지만 {actual}을 받았습니다.",
+    expected_date: "{path}에서 유효한 Date가 필요하지만 {actual}을 받았습니다.",
     expected_bigint: "{path}에서 bigint가 필요하지만 {actual}을 받았습니다.",
     expected_symbol: "{path}에서 symbol이 필요하지만 {actual}을 받았습니다.",
     expected_boolean: "{path}에서 boolean이 필요하지만 {actual}을 받았습니다.",
     expected_never: "{path}에서 never가 필요하지만 {actual}을 받았습니다.",
     expected_literal: "{path}에서 literal {expected}이 필요하지만 {actual}을 받았습니다.",
     expected_array: "{path}에서 배열이 필요하지만 {actual}을 받았습니다.",
+    expected_map: "{path}에서 Map이 필요하지만 {actual}을 받았습니다.",
+    expected_set: "{path}에서 Set이 필요하지만 {actual}을 받았습니다.",
+    expected_instance: "{path}에서 {expected} 인스턴스가 필요하지만 {actual}을 받았습니다.",
     expected_tuple: "{path}에서 튜플이 필요하지만 {actual}을 받았습니다.",
     expected_tuple_length: "{path}에서 튜플 {expected}이 필요하지만 {actual}을 받았습니다.",
     expected_object: "{path}에서 객체가 필요하지만 {actual}을 받았습니다.",
@@ -322,6 +386,9 @@ const koCatalog = Object.freeze({
     expected_pattern: "{path}에서 패턴 {expected}이 필요하지만 {actual}을 받았습니다.",
     expected_gte: "{path}에서 값 {expected}이 필요하지만 {actual}을 받았습니다.",
     expected_lte: "{path}에서 값 {expected}이 필요하지만 {actual}을 받았습니다.",
+    expected_gt: "{path}에서 값 {expected}이 필요하지만 {actual}을 받았습니다.",
+    expected_lt: "{path}에서 값 {expected}이 필요하지만 {actual}을 받았습니다.",
+    expected_multiple_of: "{path}에서 값 {expected}이 필요하지만 {actual}을 받았습니다.",
     expected_required_key: "{path}에 필수 키가 필요하지만 {actual}입니다.",
     expected_union: "{path}에서 유니온 값이 필요하지만 {actual}을 받았습니다.",
     expected_discriminant: "{path}에서 discriminant {expected}이 필요하지만 {actual}을 받았습니다.",

package/dist/optimize/domain.js

@@ -100,12 +100,16 @@ function specializeChildDomains(node, nodes) {
         }
         case NodeTag.ObjectShape: {
             const entries = specializeObjectShapeEntries(node.entries);
-            if (entries === node.entries) {
+            const catchallGraph = node.catchallGraph === undefined
+                ? undefined
+                : specializeDomains(node.catchallGraph);
+            if (entries === node.entries && catchallGraph === node.catchallGraph) {
                 return node;
             }
             return {
                 ...node,
-                entries
+                entries,
+                catchallGraph
             };
         }
         case NodeTag.UnionDispatch: {

package/dist/optimize/map-node.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"map-node.d.ts","sourceRoot":"","sources":["../../src/optimize/map-node.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EACR,SAAS,EACT,MAAM,EACT,MAAM,gBAAgB,CAAC;AAExB;;;;GAIG;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC;AAErD;;;;;;;GAOG;AACH,wBAAgB,UAAU,CACtB,IAAI,EAAE,SAAS,EACf,KAAK,EAAE,YAAY,EACnB,EAAE,EAAE,MAAM,GACX,SAAS,CAuOX"}
+{"version":3,"file":"map-node.d.ts","sourceRoot":"","sources":["../../src/optimize/map-node.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EACR,SAAS,EACT,MAAM,EACT,MAAM,gBAAgB,CAAC;AAExB;;;;GAIG;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC;AAErD;;;;;;;GAOG;AACH,wBAAgB,UAAU,CACtB,IAAI,EAAE,SAAS,EACf,KAAK,EAAE,YAAY,EACnB,EAAE,EAAE,MAAM,GACX,SAAS,CA0OX"}

package/dist/optimize/map-node.js

@@ -137,6 +137,7 @@ export function mapNodeIds(node, mapId, id) {
                 deps: [value],
                 value,
                 item: node.item,
+                checks: node.checks,
                 itemGraph: node.itemGraph
             };
         }
@@ -186,6 +187,8 @@ export function mapNodeIds(node, mapId, id) {
                 entries: node.entries,
                 keys: node.keys,
                 mode: node.mode,
+                catchall: node.catchall,
+                catchallGraph: node.catchallGraph,
                 allRequired: node.allRequired
             };
         }

package/dist/plan/cache.js

@@ -75,9 +75,19 @@ function schemaRequiresTrackingInner(schema, seen) {
         case SchemaTag.Array:
             return schemaRequiresTrackingInner(schema.item, seen);
         case SchemaTag.Tuple:
-            return schemaArrayRequiresTracking(schema.items, seen);
+            return schemaArrayRequiresTracking(schema.items, seen) ||
+                (schema.rest !== undefined &&
+                    schemaRequiresTrackingInner(schema.rest, seen));
         case SchemaTag.Record:
             return schemaRequiresTrackingInner(schema.value, seen);
+        case SchemaTag.Map:
+            return schemaRequiresTrackingInner(schema.key, seen) ||
+                schemaRequiresTrackingInner(schema.value, seen);
+        case SchemaTag.Set:
+            return schemaRequiresTrackingInner(schema.item, seen);
+        case SchemaTag.Property:
+            return schemaRequiresTrackingInner(schema.base, seen) ||
+                schemaRequiresTrackingInner(schema.value, seen);
         case SchemaTag.Object:
             for (let index = 0; index < schema.entries.length; index += 1) {
                 const entry = schema.entries[index];
@@ -112,6 +122,8 @@ function schemaRequiresTrackingInner(schema, seen) {
         case SchemaTag.Never:
         case SchemaTag.String:
         case SchemaTag.Number:
+        case SchemaTag.Date:
+        case SchemaTag.InstanceOf:
         case SchemaTag.BigInt:
         case SchemaTag.Symbol:
         case SchemaTag.Boolean:

package/dist/plan/predicate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"predicate.d.ts","sourceRoot":"","sources":["../../src/plan/predicate.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EACR,KAAK,EAIR,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAGH,KAAK,MAAM,EACd,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EAKH,KAAK,eAAe,EACvB,MAAM,sBAAsB,CAAC;AAI9B;;;;;GAKG;AACH,wBAAgB,sBAAsB,CAClC,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,OAAO,GACf,OAAO,CAET;AAED;;;;GAIG;AACH,wBAAgB,+BAA+B,CAC3C,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,eAAe,GACvB,OAAO,CAcT;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CACjC,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,eAAe,GACvB,OAAO,CAaT"}
+{"version":3,"file":"predicate.d.ts","sourceRoot":"","sources":["../../src/plan/predicate.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AASH,OAAO,KAAK,EACR,KAAK,EAIR,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAIH,KAAK,MAAM,EACd,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EAKH,KAAK,eAAe,EACvB,MAAM,sBAAsB,CAAC;AAI9B;;;;;GAKG;AACH,wBAAgB,sBAAsB,CAClC,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,OAAO,GACf,OAAO,CAET;AAED;;;;GAIG;AACH,wBAAgB,+BAA+B,CAC3C,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,eAAe,GACvB,OAAO,CAcT;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CACjC,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,eAAe,GACvB,OAAO,CAaT"}

package/dist/plan/predicate.js

@@ -4,7 +4,7 @@
  * @details Plan helpers keep schema-specialized execution aligned with optimized IR while
  * preserving interpreter parity.
  */
-import { NodeTag, ObjectModeTag, PresenceTag, SchemaTag } from "../kind/index.js";
+import { ArrayCheckTag, NodeTag, ObjectModeTag, PresenceTag, SchemaTag } from "../kind/index.js";
 import { resolveLazySchema, schemaCanAcceptUndefined } from "../schema/index.js";
 import { isArrayIndexKey } from "../evaluate/shared.js";
 import { enterValidation, leaveValidation, makeValidationState } from "../evaluate/state.js";
@@ -141,7 +141,7 @@ function evaluateGraphNode(graph, node, input, values, seen, epoch, state) {
         case NodeTag.StrictKeys:
             return testStrictKeys(evaluateNode(graph, node.object, input, values, seen, epoch, state), node.keys);
         case NodeTag.ArrayEvery:
-            return testArrayEvery(evaluateNode(graph, node.value, input, values, seen, epoch, state), node.item, node.itemGraph, state);
+            return testArrayEvery(evaluateNode(graph, node.value, input, values, seen, epoch, state), node.item, node.checks, node.itemGraph, state);
         case NodeTag.TupleItems:
             return testTupleItems(evaluateNode(graph, node.value, input, values, seen, epoch, state), node.itemGraphs, state);
         case NodeTag.RecordEvery:
@@ -204,10 +204,13 @@ function evaluateOr(graph, ids, input, values, seen, epoch, state) {
  * @param state Shared recursion and cycle state.
  * @returns True when every relevant slot satisfies `itemGraph`.
  */
-function testArrayEvery(value, item, itemGraph, state) {
+function testArrayEvery(value, item, checks, itemGraph, state) {
     if (!Array.isArray(value)) {
         return false;
     }
+    if (!testArrayLengthChecks(value.length, checks)) {
+        return false;
+    }
     if (schemaCanAcceptUndefined(item)) {
         /*
          * The graph alone cannot reveal whether holes are valid. The retained
@@ -225,6 +228,33 @@ function testArrayEvery(value, item, itemGraph, state) {
     }
     return true;
 }
+/**
+ * @brief Test array length checks attached to an ArrayEvery node.
+ * @param length Runtime array length.
+ * @param checks Normalized length check vector.
+ * @returns True when every bound accepts the length.
+ */
+function testArrayLengthChecks(length, 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 test present array indexes.
  * @details Holes are skipped only after the caller proved that undefined passes

package/dist/plan/schema-predicate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schema-predicate.d.ts","sourceRoot":"","sources":["../../src/plan/schema-predicate.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AASH,OAAO,EAKH,KAAK,MAAM,EACd,MAAM,oBAAoB,CAAC;AAU5B,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAE5D;;;;GAIG;AACH,MAAM,MAAM,oBAAoB,GAAG,CAC/B,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,eAAe,KACrB,OAAO,CAAC;AAEb;;;;GAIG;AACH,wBAAgB,mBAAmB,CAC/B,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,eAAe,EACtB,QAAQ,EAAE,oBAAoB,GAC/B,OAAO,CAoDT"}
+{"version":3,"file":"schema-predicate.d.ts","sourceRoot":"","sources":["../../src/plan/schema-predicate.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAWH,OAAO,EAYH,KAAK,MAAM,EACd,MAAM,oBAAoB,CAAC;AAa5B,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAE5D;;;;GAIG;AACH,MAAM,MAAM,oBAAoB,GAAG,CAC/B,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,eAAe,KACrB,OAAO,CAAC;AAEb;;;;GAIG;AACH,wBAAgB,mBAAmB,CAC/B,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,eAAe,EACtB,QAAQ,EAAE,oBAAoB,GAC/B,OAAO,CA8DT"}