typesea 0.1.0 → 0.3.0

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

@@ -1,6 +1,8 @@
 /**
  * @file check-composite.ts
  * @brief Composite diagnostic schema interpreters.
+ * @details Interpreter helpers keep safe descriptor-based reads and diagnostic collection
+ * aligned with compiled behavior.
  */
 import { SchemaTag } from "../kind/index.js";
 import type { Issue, PathSegment } from "../issue/index.js";
@@ -8,32 +10,139 @@ import type { DiscriminatedUnionCase, Schema } from "../schema/index.js";
 import type { ValidationState } from "./state.js";
 /**
  * @brief issue collector.
+ * @details Interpreter helpers keep safe descriptor-based reads and diagnostic collection
+ * aligned with compiled behavior.
  */
 export type IssueCollector = (schema: Schema, value: unknown, path: PathSegment[], issues: Issue[], state: ValidationState) => void;
 /**
  * @brief collect array issues.
+ * @details Interpreter helpers keep safe descriptor-based reads and diagnostic collection
+ * aligned with compiled behavior.
+ * @param item Schema applied to each logical array slot.
+ * @param value Candidate value supplied by the caller.
+ * @param path Mutable path stack reused by the diagnostic walker.
+ * @param issues Output issue buffer.
+ * @param state Shared recursion and cycle state.
+ * @param collectChild Dispatcher for nested schema diagnostics.
+ * @post Every pushed path segment is popped before return.
  */
-export declare function collectArrayIssues(item: Schema, value: unknown, path: PathSegment[], issues: Issue[], state: ValidationState, collectChild: IssueCollector): void;
+export declare function collectArrayIssues(schema: Extract<Schema, {
+    readonly tag: typeof SchemaTag.Array;
+}>, value: unknown, path: PathSegment[], issues: Issue[], state: ValidationState, collectChild: IssueCollector): void;
 /**
  * @brief collect tuple issues.
+ * @details Interpreter helpers keep safe descriptor-based reads and diagnostic collection
+ * aligned with compiled behavior.
+ * @param items Tuple item schemas.
+ * @param value Candidate runtime value.
+ * @param path Mutable path stack reused by the diagnostic walker.
+ * @param issues Output issue buffer.
+ * @param state Shared recursion and cycle state.
+ * @param collectChild Dispatcher for nested schema diagnostics.
+ * @post Every pushed tuple index is popped before return.
  */
-export declare function collectTupleIssues(items: readonly Schema[], value: unknown, path: PathSegment[], issues: Issue[], state: ValidationState, collectChild: IssueCollector): void;
+export declare function collectTupleIssues(schema: Extract<Schema, {
+    readonly tag: typeof SchemaTag.Tuple;
+}>, value: unknown, path: PathSegment[], issues: Issue[], state: ValidationState, collectChild: IssueCollector): void;
 /**
  * @brief collect record issues.
+ * @details Interpreter helpers keep safe descriptor-based reads and diagnostic collection
+ * aligned with compiled behavior.
+ * @param item Schema applied to each own enumerable record value.
+ * @param value Candidate runtime value.
+ * @param path Mutable path stack reused by the diagnostic walker.
+ * @param issues Output issue buffer.
+ * @param state Shared recursion and cycle state.
+ * @param collectChild Dispatcher for nested schema diagnostics.
+ * @post Every pushed record key is popped before return.
  */
 export declare function collectRecordIssues(item: Schema, value: unknown, path: PathSegment[], issues: Issue[], state: ValidationState, collectChild: IssueCollector): void;
+/**
+ * @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 declare function collectMapIssues(schema: Extract<Schema, {
+    readonly tag: typeof SchemaTag.Map;
+}>, value: unknown, path: PathSegment[], issues: Issue[], state: ValidationState, collectChild: IssueCollector): void;
+/**
+ * @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 declare function collectSetIssues(schema: Extract<Schema, {
+    readonly tag: typeof SchemaTag.Set;
+}>, value: unknown, path: PathSegment[], issues: Issue[], state: ValidationState, collectChild: IssueCollector): void;
+/**
+ * @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 declare function collectInstanceOfIssues(schema: Extract<Schema, {
+    readonly tag: typeof SchemaTag.InstanceOf;
+}>, value: unknown, path: PathSegment[], issues: Issue[]): void;
+/**
+ * @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 declare function collectPropertyIssues(schema: Extract<Schema, {
+    readonly tag: typeof SchemaTag.Property;
+}>, value: unknown, path: PathSegment[], issues: Issue[], state: ValidationState, collectChild: IssueCollector): void;
 /**
  * @brief collect object issues.
+ * @details Interpreter helpers keep safe descriptor-based reads and diagnostic collection
+ * aligned with compiled behavior.
+ * @param schema Object schema with entries and object mode.
+ * @param value Candidate runtime value.
+ * @param path Mutable path stack reused by the diagnostic walker.
+ * @param issues Output issue buffer.
+ * @param state Shared recursion and cycle state.
+ * @param collectChild Dispatcher for nested schema diagnostics.
+ * @post Every pushed object key is popped before return.
  */
 export declare function collectObjectIssues(schema: Extract<Schema, {
     readonly tag: typeof SchemaTag.Object;
 }>, value: unknown, path: PathSegment[], issues: Issue[], state: ValidationState, collectChild: IssueCollector): void;
 /**
  * @brief collect discriminated union issues.
+ * @details Interpreter helpers keep safe descriptor-based reads and diagnostic collection
+ * aligned with compiled behavior.
+ * @param key Discriminant property key.
+ * @param cases Closed discriminated union cases.
+ * @param value Candidate runtime value.
+ * @param path Mutable path stack reused by the diagnostic walker.
+ * @param issues Output issue buffer.
+ * @param state Shared recursion and cycle state.
+ * @param collectChild Dispatcher for nested schema diagnostics.
  */
 export declare function collectDiscriminatedUnionIssues(key: string, cases: readonly DiscriminatedUnionCase[], value: unknown, path: PathSegment[], issues: Issue[], state: ValidationState, collectChild: IssueCollector): void;
 /**
  * @brief collect refine issues.
+ * @details Interpreter helpers keep safe descriptor-based reads and diagnostic collection
+ * aligned with compiled behavior.
+ * @param inner Schema validated before the predicate runs.
+ * @param predicate User predicate that must return true.
+ * @param name Refinement name used in diagnostics.
+ * @param value Candidate runtime value.
+ * @param path Mutable path stack reused by the diagnostic walker.
+ * @param issues Output issue buffer.
+ * @param state Shared recursion and cycle state.
+ * @param collectChild Dispatcher for nested schema diagnostics.
  */
 export declare function collectRefineIssues(inner: Schema, predicate: (value: unknown) => boolean, name: string, value: unknown, path: PathSegment[], issues: Issue[], state: ValidationState, collectChild: IssueCollector): void;
 //# sourceMappingURL=check-composite.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"check-composite.d.ts","sourceRoot":"","sources":["../../src/evaluate/check-composite.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAGL,SAAS,EACV,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,KAAK,EACV,sBAAsB,EACtB,MAAM,EACP,MAAM,oBAAoB,CAAC;AAa5B,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAElD;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG,CAC3B,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,WAAW,EAAE,EACnB,MAAM,EAAE,KAAK,EAAE,EACf,KAAK,EAAE,eAAe,KACnB,IAAI,CAAC;AAEV;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,WAAW,EAAE,EACnB,MAAM,EAAE,KAAK,EAAE,EACf,KAAK,EAAE,eAAe,EACtB,YAAY,EAAE,cAAc,GAC3B,IAAI,CAqBN;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,WAAW,EAAE,EACnB,MAAM,EAAE,KAAK,EAAE,EACf,KAAK,EAAE,eAAe,EACtB,YAAY,EAAE,cAAc,GAC3B,IAAI,CAmCN;AAwBD;;GAEG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,WAAW,EAAE,EACnB,MAAM,EAAE,KAAK,EAAE,EACf,KAAK,EAAE,eAAe,EACtB,YAAY,EAAE,cAAc,GAC3B,IAAI,CAoBN;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CACjC,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,EACf,KAAK,EAAE,eAAe,EACtB,YAAY,EAAE,cAAc,GAC3B,IAAI,CA6CN;AAED;;GAEG;AACH,wBAAgB,+BAA+B,CAC7C,GAAG,EAAE,MAAM,EACX,KAAK,EAAE,SAAS,sBAAsB,EAAE,EACxC,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,WAAW,EAAE,EACnB,MAAM,EAAE,KAAK,EAAE,EACf,KAAK,EAAE,eAAe,EACtB,YAAY,EAAE,cAAc,GAC3B,IAAI,CAuCN;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,MAAM,EACb,SAAS,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,OAAO,EACtC,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,WAAW,EAAE,EACnB,MAAM,EAAE,KAAK,EAAE,EACf,KAAK,EAAE,eAAe,EACtB,YAAY,EAAE,cAAc,GAC3B,IAAI,CAMN"}
+{"version":3,"file":"check-composite.d.ts","sourceRoot":"","sources":["../../src/evaluate/check-composite.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAIH,SAAS,EACZ,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,KAAK,EACR,sBAAsB,EACtB,MAAM,EACT,MAAM,oBAAoB,CAAC;AAgB5B,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAElD;;;;GAIG;AACH,MAAM,MAAM,cAAc,GAAG,CACzB,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,WAAW,EAAE,EACnB,MAAM,EAAE,KAAK,EAAE,EACf,KAAK,EAAE,eAAe,KACrB,IAAI,CAAC;AAEV;;;;;;;;;;;GAWG;AACH,wBAAgB,kBAAkB,CAC9B,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE;IAAE,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,KAAK,CAAA;CAAE,CAAC,EACjE,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,WAAW,EAAE,EACnB,MAAM,EAAE,KAAK,EAAE,EACf,KAAK,EAAE,eAAe,EACtB,YAAY,EAAE,cAAc,GAC7B,IAAI,CAoCN;AA+FD;;;;;;;;;;;GAWG;AACH,wBAAgB,kBAAkB,CAC9B,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE;IAAE,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,KAAK,CAAA;CAAE,CAAC,EACjE,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,WAAW,EAAE,EACnB,MAAM,EAAE,KAAK,EAAE,EACf,KAAK,EAAE,eAAe,EACtB,YAAY,EAAE,cAAc,GAC7B,IAAI,CAmEN;AAyCD;;;;;;;;;;;GAWG;AACH,wBAAgB,mBAAmB,CAC/B,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,WAAW,EAAE,EACnB,MAAM,EAAE,KAAK,EAAE,EACf,KAAK,EAAE,eAAe,EACtB,YAAY,EAAE,cAAc,GAC7B,IAAI,CAwBN;AAED;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAC5B,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE;IAAE,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,GAAG,CAAA;CAAE,CAAC,EAC/D,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,WAAW,EAAE,EACnB,MAAM,EAAE,KAAK,EAAE,EACf,KAAK,EAAE,eAAe,EACtB,YAAY,EAAE,cAAc,GAC7B,IAAI,CAwBN;AAED;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAC5B,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE;IAAE,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,GAAG,CAAA;CAAE,CAAC,EAC/D,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,WAAW,EAAE,EACnB,MAAM,EAAE,KAAK,EAAE,EACf,KAAK,EAAE,eAAe,EACtB,YAAY,EAAE,cAAc,GAC7B,IAAI,CAiBN;AAED;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CACnC,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE;IAAE,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,UAAU,CAAA;CAAE,CAAC,EACtE,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,WAAW,EAAE,EACnB,MAAM,EAAE,KAAK,EAAE,GAChB,IAAI,CAIN;AAED;;;;;;;;GAQG;AACH,wBAAgB,qBAAqB,CACjC,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE;IAAE,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,QAAQ,CAAA;CAAE,CAAC,EACpE,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,WAAW,EAAE,EACnB,MAAM,EAAE,KAAK,EAAE,EACf,KAAK,EAAE,eAAe,EACtB,YAAY,EAAE,cAAc,GAC7B,IAAI,CAkBN;AAED;;;;;;;;;;;GAWG;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,EACf,KAAK,EAAE,eAAe,EACtB,YAAY,EAAE,cAAc,GAC7B,IAAI,CAwDN;AA0CD;;;;;;;;;;;GAWG;AACH,wBAAgB,+BAA+B,CAC3C,GAAG,EAAE,MAAM,EACX,KAAK,EAAE,SAAS,sBAAsB,EAAE,EACxC,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,WAAW,EAAE,EACnB,MAAM,EAAE,KAAK,EAAE,EACf,KAAK,EAAE,eAAe,EACtB,YAAY,EAAE,cAAc,GAC7B,IAAI,CA2CN;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,mBAAmB,CAC/B,KAAK,EAAE,MAAM,EACb,SAAS,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,OAAO,EACtC,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,WAAW,EAAE,EACnB,MAAM,EAAE,KAAK,EAAE,EACf,KAAK,EAAE,eAAe,EACtB,YAAY,EAAE,cAAc,GAC7B,IAAI,CAWN"}

package/dist/evaluate/check-composite.js

@@ -1,18 +1,45 @@
 /**
  * @file check-composite.ts
  * @brief Composite diagnostic schema interpreters.
+ * @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, 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
+ * aligned with compiled behavior.
+ * @param item Schema applied to each logical array slot.
+ * @param value Candidate value supplied by the caller.
+ * @param path Mutable path stack reused by the diagnostic walker.
+ * @param issues Output issue buffer.
+ * @param state Shared recursion and cycle state.
+ * @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
+         * present descriptors keeps huge sparse inputs proportional to stored
+         * slots while preserving accessor rejection.
+         */
+        collectPresentArrayIssues(item, value, path, issues, state, collectChild);
+        return;
+    }
+    /*
+     * When undefined is not valid, each missing descriptor is a real validation
+     * failure. The length loop keeps diagnostics tied to the failing index.
+     */
     for (let index = 0; index < value.length; index += 1) {
         const itemProperty = readArrayIndexDataProperty(value, index);
         path.push(index);
@@ -25,18 +52,104 @@ 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,
+ * so only actual own index slots need descriptor checks and child validation.
+ * @param item Schema applied to each present own index.
+ * @param value Array already proven by the caller.
+ * @param path Mutable path stack reused by the diagnostic walker.
+ * @param issues Output issue buffer.
+ * @param state Shared recursion and cycle state.
+ * @param collectChild Dispatcher for nested schema diagnostics.
+ * @post Non-index own properties are ignored to match normal array iteration.
+ */
+function collectPresentArrayIssues(item, value, path, issues, state, collectChild) {
+    const keys = Object.getOwnPropertyNames(value);
+    for (let keyIndex = 0; keyIndex < keys.length; keyIndex += 1) {
+        const key = keys[keyIndex];
+        if (key === undefined || !isArrayIndexKey(key, value.length)) {
+            continue;
+        }
+        /*
+         * Descriptor lookup is still mandatory on present indexes. It blocks
+         * getter-backed slots without invoking user code during validation.
+         */
+        const itemProperty = readArrayKeyDataProperty(value, key);
+        if (itemProperty === undefined) {
+            continue;
+        }
+        const index = Number(key);
+        path.push(index);
+        if (itemProperty === null) {
+            pushIssue(path, issues, "expected_array", "data property", "accessor");
+        }
+        else {
+            collectChild(item, itemProperty.value, path, issues, state);
+        }
+        path.pop();
+    }
+}
 /**
  * @brief collect tuple issues.
+ * @details Interpreter helpers keep safe descriptor-based reads and diagnostic collection
+ * aligned with compiled behavior.
+ * @param items Tuple item schemas.
+ * @param value Candidate runtime value.
+ * @param path Mutable path stack reused by the diagnostic walker.
+ * @param issues Output issue buffer.
+ * @param state Shared recursion and cycle state.
+ * @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
+     * diagnosed so callers get useful nested errors for present slots.
+     */
     for (let index = 0; index < count; index += 1) {
         const item = items[index];
         if (item === undefined) {
@@ -52,14 +165,40 @@ 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 array index data property.
+ * @brief Read one array index for diagnostic collection.
  * @details Reads an array element through its descriptor so validation does not execute getters.
+ * @param value Array being inspected.
+ * @param index Numeric array index.
  * @returns Data descriptor for elements, undefined for holes, and null for accessors.
  */
 function readArrayIndexDataProperty(value, index) {
-    const descriptor = Object.getOwnPropertyDescriptor(value, String(index));
+    return readArrayKeyDataProperty(value, String(index));
+}
+/**
+ * @brief Read one canonical array index key for diagnostic collection.
+ * @details Interpreter helpers keep safe descriptor-based reads and diagnostic collection
+ * aligned with compiled behavior.
+ * @param value Array being inspected.
+ * @param key Canonical array index key.
+ * @returns Data descriptor for elements, undefined for holes, and null for accessors.
+ */
+function readArrayKeyDataProperty(value, key) {
+    const descriptor = Object.getOwnPropertyDescriptor(value, key);
     if (descriptor === undefined) {
         return undefined;
     }
@@ -70,6 +209,15 @@ function readArrayIndexDataProperty(value, index) {
 }
 /**
  * @brief collect record issues.
+ * @details Interpreter helpers keep safe descriptor-based reads and diagnostic collection
+ * aligned with compiled behavior.
+ * @param item Schema applied to each own enumerable record value.
+ * @param value Candidate runtime value.
+ * @param path Mutable path stack reused by the diagnostic walker.
+ * @param issues Output issue buffer.
+ * @param state Shared recursion and cycle state.
+ * @param collectChild Dispatcher for nested schema diagnostics.
+ * @post Every pushed record key is popped before return.
  */
 export function collectRecordIssues(item, value, path, issues, state, collectChild) {
     if (!isPlainRecord(value)) {
@@ -77,6 +225,10 @@ export function collectRecordIssues(item, value, path, issues, state, collectChi
         return;
     }
     const keys = Object.keys(value);
+    /*
+     * Records intentionally validate enumerable own string keys. Symbols and
+     * non-enumerable slots are outside record value semantics.
+     */
     for (let index = 0; index < keys.length; index += 1) {
         const key = keys[index];
         if (key === undefined) {
@@ -93,8 +245,118 @@ 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
+ * aligned with compiled behavior.
+ * @param schema Object schema with entries and object mode.
+ * @param value Candidate runtime value.
+ * @param path Mutable path stack reused by the diagnostic walker.
+ * @param issues Output issue buffer.
+ * @param state Shared recursion and cycle state.
+ * @param collectChild Dispatcher for nested schema diagnostics.
+ * @post Every pushed object key is popped before return.
  */
 export function collectObjectIssues(schema, value, path, issues, state, collectChild) {
     if (!isPlainRecord(value)) {
@@ -113,6 +375,11 @@ export function collectObjectIssues(schema, value, path, issues, state, collectC
         if (property === undefined) {
             if (entry.presence === PresenceTag.Optional &&
                 !Object.prototype.hasOwnProperty.call(record, entry.key)) {
+                /*
+                 * Missing optional key is valid. An own accessor at the same key
+                 * is not valid because readOwnDataProperty would have returned
+                 * undefined while hasOwnProperty remains true.
+                 */
                 path.pop();
                 continue;
             }
@@ -128,7 +395,14 @@ 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.
+         */
         const keys = Reflect.ownKeys(record);
         for (let index = 0; index < keys.length; index += 1) {
             const key = keys[index];
@@ -141,8 +415,50 @@ 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
+ * aligned with compiled behavior.
+ * @param key Discriminant property key.
+ * @param cases Closed discriminated union cases.
+ * @param value Candidate runtime value.
+ * @param path Mutable path stack reused by the diagnostic walker.
+ * @param issues Output issue buffer.
+ * @param state Shared recursion and cycle state.
+ * @param collectChild Dispatcher for nested schema diagnostics.
  */
 export function collectDiscriminatedUnionIssues(key, cases, value, path, issues, state, collectChild) {
     if (!isPlainRecord(value)) {
@@ -151,6 +467,10 @@ export function collectDiscriminatedUnionIssues(key, cases, value, path, issues,
     }
     const discriminantProperty = readOwnDataProperty(value, key);
     if (discriminantProperty === undefined) {
+        /*
+         * The discriminant must be an own data property. Prototype values and
+         * accessors are rejected before branch selection.
+         */
         path.push(key);
         pushIssue(path, issues, "expected_discriminant", "data property", "missing or accessor");
         path.pop();
@@ -174,11 +494,26 @@ export function collectDiscriminatedUnionIssues(key, cases, value, path, issues,
 }
 /**
  * @brief collect refine issues.
+ * @details Interpreter helpers keep safe descriptor-based reads and diagnostic collection
+ * aligned with compiled behavior.
+ * @param inner Schema validated before the predicate runs.
+ * @param predicate User predicate that must return true.
+ * @param name Refinement name used in diagnostics.
+ * @param value Candidate runtime value.
+ * @param path Mutable path stack reused by the diagnostic walker.
+ * @param issues Output issue buffer.
+ * @param state Shared recursion and cycle state.
+ * @param collectChild Dispatcher for nested schema diagnostics.
  */
 export function collectRefineIssues(inner, predicate, name, value, path, issues, state, collectChild) {
     const before = issues.length;
     collectChild(inner, value, path, issues, state);
     if (issues.length === before && !isStrictTrue(predicate(value))) {
+        /*
+         * Refinement predicates run only after the inner schema produced no new
+         * issues. That keeps structural failures more specific than predicate
+         * failures.
+         */
         pushIssue(path, issues, "expected_refinement", name, actualType(value));
     }
 }

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

@@ -1,18 +1,43 @@
 /**
  * @file check-scalar.ts
  * @brief Scalar diagnostic schema interpreters.
+ * @details Interpreter helpers keep safe descriptor-based reads and diagnostic collection
+ * aligned with compiled behavior.
  */
 import { SchemaTag } from "../kind/index.js";
 import type { Issue, PathSegment } from "../issue/index.js";
 import { type Schema } from "../schema/index.js";
 /**
  * @brief collect string issues.
+ * @details Interpreter helpers keep safe descriptor-based reads and diagnostic collection
+ * aligned with compiled behavior.
+ * @param schema String schema with scalar checks.
+ * @param value Candidate runtime value.
+ * @param path Current diagnostic path.
+ * @param issues Output issue buffer.
+ * @post Pattern checks reset lastIndex before testing.
  */
 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
+ * aligned with compiled behavior.
+ * @param schema Number schema with scalar checks.
+ * @param value Candidate runtime value.
+ * @param path Current diagnostic path.
+ * @param issues Output issue buffer.
+ * @post Bound checks run only after the finite-number guard succeeds.
  */
 export declare function collectNumberIssues(schema: Extract<Schema, {
     readonly tag: typeof SchemaTag.Number;

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;;;GAGG;AAEH,OAAO,EAEL,SAAS,EAEV,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EAEL,KAAK,MAAM,EACZ,MAAM,oBAAoB,CAAC;AAI5B;;GAEG;AACH,wBAAgB,mBAAmB,CACjC,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,GACd,IAAI,CAgDN;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CACjC,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,GACd,IAAI,CAyCN"}
+{"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"}