typesea 0.2.0 → 0.3.0

package/dist/builders/object/guard.js

@@ -6,7 +6,8 @@
  */
 import { ObjectModeTag } from "../../kind/index.js";
 import { BaseGuard } from "../../guard/index.js";
-import { mergeObjectSchemas, objectSchema, omitObjectSchema, partialObjectSchema, pickObjectSchema, readObjectConstructorSchema, readObjectKeySelection, readObjectMethodSchema } from "./schema.js";
+import { readGuardSchema } from "../../internal/index.js";
+import { deepPartialObjectSchema, mergeObjectSchemas, objectSchema, objectSchemaWithCatchall, objectSchemaWithMode, omitObjectSchema, partialObjectSchema, pickObjectSchema, readObjectConstructorSchema, readObjectKeySelection, readObjectMethodSchema, requiredObjectSchema } from "./schema.js";
 /**
  * @brief Guard subclass with object-specific shape operations.
  * @details Builder helpers normalize user-facing fluent calls into immutable schema nodes
@@ -23,6 +24,12 @@ export class ObjectGuard extends BaseGuard {
     extend(extension) {
         return extendObjectGuard(this, extension);
     }
+    safeExtend(extension) {
+        return extendObjectGuard(this, extension);
+    }
+    merge(other) {
+        return mergeObjectGuard(this, other);
+    }
     pick(keys) {
         return pickObjectGuard(this, keys);
     }
@@ -32,6 +39,24 @@ export class ObjectGuard extends BaseGuard {
     partial() {
         return partialObjectGuard(this);
     }
+    deepPartial() {
+        return deepPartialObjectGuard(this);
+    }
+    required() {
+        return requiredObjectGuard(this);
+    }
+    strict() {
+        return objectModeGuard(this, ObjectModeTag.Strict);
+    }
+    passthrough() {
+        return objectModeGuard(this, ObjectModeTag.Passthrough);
+    }
+    strip() {
+        return objectModeGuard(this, ObjectModeTag.Passthrough);
+    }
+    catchall(guard) {
+        return catchallObjectGuard(this, guard);
+    }
 }
 /**
  * @brief Build an object guard that accepts unspecified enumerable keys.
@@ -57,16 +82,25 @@ export function extend(guard, extension) {
     return extendObjectGuard(guard, extension);
 }
 /**
- * @brief Execute pick.
- * @details This helper keeps a local invariant explicit at the module boundary.
+ * @brief Execute safe extend.
+ * @details Runtime construction follows the same hardened schema merge as
+ * extend. The method name gives callers a Zod-compatible, intention-revealing
+ * API for shape extension.
  */
-export function pick(guard, keys) {
-    return pickObjectGuard(guard, keys);
+export function safeExtend(guard, extension) {
+    return extendObjectGuard(guard, extension);
 }
 /**
- * @brief Execute omit.
- * @details This helper keeps a local invariant explicit at the module boundary.
+ * @brief Execute object merge.
+ * @details The left object keeps its unknown-key mode. The right object supplies
+ * overriding fields and, when present, a catchall schema.
  */
+export function merge(guard, other) {
+    return mergeObjectGuard(guard, other);
+}
+export function pick(guard, keys) {
+    return pickObjectGuard(guard, keys);
+}
 export function omit(guard, keys) {
     return omitObjectGuard(guard, keys);
 }
@@ -77,6 +111,45 @@ export function omit(guard, keys) {
 export function partial(guard) {
     return partialObjectGuard(guard);
 }
+/**
+ * @brief Execute deep partial.
+ */
+export function deepPartial(guard) {
+    return deepPartialObjectGuard(guard);
+}
+/**
+ * @brief Execute required.
+ * @details This helper keeps a local invariant explicit at the module boundary.
+ */
+export function required(guard) {
+    return requiredObjectGuard(guard);
+}
+/**
+ * @brief Convert an object guard to strict unknown-key policy.
+ */
+export function strict(guard) {
+    return objectModeGuard(guard, ObjectModeTag.Strict);
+}
+/**
+ * @brief Convert an object guard to passthrough unknown-key policy.
+ */
+export function passthrough(guard) {
+    return objectModeGuard(guard, ObjectModeTag.Passthrough);
+}
+/**
+ * @brief Accept unknown keys without producing a stripped output copy.
+ * @details TypeSea guard validation returns the original value, so Zod-style
+ * strip has validation semantics equivalent to passthrough.
+ */
+export function strip(guard) {
+    return objectModeGuard(guard, ObjectModeTag.Passthrough);
+}
+/**
+ * @brief Validate every undeclared own key with a catchall schema.
+ */
+export function catchall(guard, value) {
+    return catchallObjectGuard(guard, value);
+}
 /**
  * @brief Execute extend object guard.
  * @details This helper keeps a local invariant explicit at the module boundary.
@@ -85,6 +158,14 @@ function extendObjectGuard(guard, extension) {
     const schema = readObjectMethodSchema(guard, "object extend receiver");
     return new ObjectGuard(mergeObjectSchemas(schema, objectSchema(extension, schema.mode)));
 }
+/**
+ * @brief Execute merge object guard.
+ */
+function mergeObjectGuard(guard, other) {
+    const base = readObjectMethodSchema(guard, "object merge receiver");
+    const extension = readObjectMethodSchema(other, "object merge argument");
+    return new ObjectGuard(mergeObjectSchemas(base, extension));
+}
 /**
  * @brief Execute pick object guard.
  * @details This helper keeps a local invariant explicit at the module boundary.
@@ -111,3 +192,32 @@ function partialObjectGuard(guard) {
     const schema = readObjectMethodSchema(guard, "object partial receiver");
     return new ObjectGuard(partialObjectSchema(schema));
 }
+/**
+ * @brief Execute deep partial object guard.
+ */
+function deepPartialObjectGuard(guard) {
+    const schema = readObjectMethodSchema(guard, "object deepPartial receiver");
+    return new ObjectGuard(deepPartialObjectSchema(schema));
+}
+/**
+ * @brief Execute required object guard.
+ * @details This helper keeps a local invariant explicit at the module boundary.
+ */
+function requiredObjectGuard(guard) {
+    const schema = readObjectMethodSchema(guard, "object required receiver");
+    return new ObjectGuard(requiredObjectSchema(schema));
+}
+/**
+ * @brief Execute object mode rewrite.
+ */
+function objectModeGuard(guard, mode) {
+    const schema = readObjectMethodSchema(guard, "object mode receiver");
+    return new ObjectGuard(objectSchemaWithMode(schema, mode));
+}
+/**
+ * @brief Execute object catchall rewrite.
+ */
+function catchallObjectGuard(guard, value) {
+    const schema = readObjectMethodSchema(guard, "object catchall receiver");
+    return new ObjectGuard(objectSchemaWithCatchall(schema, readGuardSchema(value, "object catchall schema")));
+}

package/dist/builders/object/index.d.ts

@@ -4,6 +4,6 @@
  * @details Builder helpers normalize user-facing fluent calls into immutable schema nodes
  * with stable metadata.
  */
-export { ObjectGuard, extend, object, omit, partial, pick, strictObject } from "./guard.js";
-export type { InferObject, MergeObjectShapes, ObjectGuardMode, ObjectShape, OmitObjectShape, PartialObjectShape, PickObjectShape } from "./types.js";
+export { ObjectGuard, catchall, deepPartial, extend, merge, object, omit, partial, passthrough, pick, required, safeExtend, strict, strictObject, strip } from "./guard.js";
+export type { DeepPartialObjectShape, DeepPartialValue, InferObject, MaskSelectedKeys, MergeObjectShapes, ObjectKeyMask, ObjectGuardMode, ObjectShape, OmitObjectShape, OmitObjectShapeByMask, PartialObjectShape, PickObjectShape, PickObjectShapeByMask, RequiredObjectShape } from "./types.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/builders/object/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/builders/object/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACH,WAAW,EACX,MAAM,EACN,MAAM,EACN,IAAI,EACJ,OAAO,EACP,IAAI,EACJ,YAAY,EACf,MAAM,YAAY,CAAC;AACpB,YAAY,EACR,WAAW,EACX,iBAAiB,EACjB,eAAe,EACf,WAAW,EACX,eAAe,EACf,kBAAkB,EAClB,eAAe,EAClB,MAAM,YAAY,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/builders/object/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACH,WAAW,EACX,QAAQ,EACR,WAAW,EACX,MAAM,EACN,KAAK,EACL,MAAM,EACN,IAAI,EACJ,OAAO,EACP,WAAW,EACX,IAAI,EACJ,QAAQ,EACR,UAAU,EACV,MAAM,EACN,YAAY,EACZ,KAAK,EACR,MAAM,YAAY,CAAC;AACpB,YAAY,EACR,sBAAsB,EACtB,gBAAgB,EAChB,WAAW,EACX,gBAAgB,EAChB,iBAAiB,EACjB,aAAa,EACb,eAAe,EACf,WAAW,EACX,eAAe,EACf,qBAAqB,EACrB,kBAAkB,EAClB,eAAe,EACf,qBAAqB,EACrB,mBAAmB,EACtB,MAAM,YAAY,CAAC"}

package/dist/builders/object/index.js

@@ -4,4 +4,4 @@
  * @details Builder helpers normalize user-facing fluent calls into immutable schema nodes
  * with stable metadata.
  */
-export { ObjectGuard, extend, object, omit, partial, pick, strictObject } from "./guard.js";
+export { ObjectGuard, catchall, deepPartial, extend, merge, object, omit, partial, passthrough, pick, required, safeExtend, strict, strictObject, strip } from "./guard.js";

package/dist/builders/object/schema.d.ts

@@ -5,7 +5,7 @@
  * with stable metadata.
  */
 import { ObjectModeTag } from "../../kind/index.js";
-import type { ObjectEntry, ObjectSchema } from "../../schema/index.js";
+import type { ObjectEntry, ObjectSchema, Schema } from "../../schema/index.js";
 import type { ObjectShape } from "./types.js";
 /**
  * @brief Normalize an object shape into ordered entries and lookup metadata.
@@ -18,7 +18,21 @@ export declare function objectSchema(shape: ObjectShape, mode: ObjectModeTag): O
  * @details Duplicate keys are rejected here so pick/omit/extend cannot create
  * a schema that disagrees with its strict-key lookup table.
  */
-export declare function objectSchemaFromEntries(sourceEntries: readonly ObjectEntry[], mode: ObjectModeTag): ObjectSchema;
+export declare function objectSchemaFromEntries(sourceEntries: readonly ObjectEntry[], mode: ObjectModeTag, catchall: Schema | undefined): ObjectSchema;
+/**
+ * @brief Rebuild an object schema with a different unknown-key mode.
+ * @param schema Source object schema.
+ * @param mode Unknown-key policy for the rebuilt schema.
+ * @returns Object schema with identical entries and catchall policy.
+ */
+export declare function objectSchemaWithMode(schema: ObjectSchema, mode: ObjectModeTag): ObjectSchema;
+/**
+ * @brief Rebuild an object schema with an unknown-key validator.
+ * @param schema Source object schema.
+ * @param catchall Schema applied to every undeclared own key.
+ * @returns Object schema that validates extra keys with the supplied schema.
+ */
+export declare function objectSchemaWithCatchall(schema: ObjectSchema, catchall: Schema): ObjectSchema;
 /**
  * @brief Validate the schema value handed to an ObjectGuard constructor.
  * @details Constructors are public JavaScript entry points, so the guard checks
@@ -76,6 +90,23 @@ export declare function omitObjectSchema(schema: ObjectSchema, keys: readonly st
  * @returns Rebuilt object schema with optional entries.
  */
 export declare function partialObjectSchema(schema: ObjectSchema): ObjectSchema;
+/**
+ * @brief Recursively convert object entries to optional presence.
+ * @param schema Source object schema.
+ * @returns Rebuilt object schema with nested object/container children partialized.
+ * @details Lazy and refinement schemas are treated as semantic barriers because
+ * their runtime callbacks may depend on the original exact value domain.
+ */
+export declare function deepPartialObjectSchema(schema: ObjectSchema): ObjectSchema;
+/**
+ * @brief Convert every object entry to required presence.
+ * @param schema Source object schema.
+ * @returns Rebuilt object schema with required entries.
+ * @details Object construction already stripped Optional wrappers into entry
+ * presence metadata. Requiring a field therefore only needs to flip that
+ * metadata back to Required while preserving each value-domain schema.
+ */
+export declare function requiredObjectSchema(schema: ObjectSchema): ObjectSchema;
 /**
  * @brief Validate the key list supplied to object pick and omit operations.
  * @details The returned array contains only known, unique string keys. This

package/dist/builders/object/schema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../../src/builders/object/schema.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACH,aAAa,EAGhB,MAAM,qBAAqB,CAAC;AAO7B,OAAO,KAAK,EACR,WAAW,EAEX,YAAY,EAEf,MAAM,uBAAuB,CAAC;AAE/B,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAY9C;;;;GAIG;AACH,wBAAgB,YAAY,CACxB,KAAK,EAAE,WAAW,EAClB,IAAI,EAAE,aAAa,GACpB,YAAY,CAsBd;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CACnC,aAAa,EAAE,SAAS,WAAW,EAAE,EACrC,IAAI,EAAE,aAAa,GACpB,YAAY,CAuBd;AAED;;;;;;;GAOG;AACH,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,OAAO,GAAG,YAAY,CAKzE;AAED;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,GAAG,YAAY,CAMlF;AAED;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAC9B,IAAI,EAAE,YAAY,EAClB,SAAS,EAAE,YAAY,GACxB,YAAY,CAed;AAED;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAC5B,MAAM,EAAE,YAAY,EACpB,IAAI,EAAE,SAAS,MAAM,EAAE,GACxB,YAAY,CAad;AAED;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAC5B,MAAM,EAAE,YAAY,EACpB,IAAI,EAAE,SAAS,MAAM,EAAE,GACxB,YAAY,CASd;AAED;;;;;;;GAOG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,YAAY,GAAG,YAAY,CAatE;AAED;;;;;;;;;GASG;AACH,wBAAgB,sBAAsB,CAClC,IAAI,EAAE,OAAO,EACb,MAAM,EAAE,YAAY,EACpB,KAAK,EAAE,MAAM,GACd,SAAS,MAAM,EAAE,CAmBnB"}
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../../src/builders/object/schema.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACH,aAAa,EAGhB,MAAM,qBAAqB,CAAC;AAO7B,OAAO,KAAK,EACR,WAAW,EAEX,YAAY,EACZ,MAAM,EACT,MAAM,uBAAuB,CAAC;AAE/B,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAY9C;;;;GAIG;AACH,wBAAgB,YAAY,CACxB,KAAK,EAAE,WAAW,EAClB,IAAI,EAAE,aAAa,GACpB,YAAY,CAsBd;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CACnC,aAAa,EAAE,SAAS,WAAW,EAAE,EACrC,IAAI,EAAE,aAAa,EACnB,QAAQ,EAAE,MAAM,GAAG,SAAS,GAC7B,YAAY,CAwBd;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAChC,MAAM,EAAE,YAAY,EACpB,IAAI,EAAE,aAAa,GACpB,YAAY,CAEd;AAED;;;;;GAKG;AACH,wBAAgB,wBAAwB,CACpC,MAAM,EAAE,YAAY,EACpB,QAAQ,EAAE,MAAM,GACjB,YAAY,CAEd;AAED;;;;;;;GAOG;AACH,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,OAAO,GAAG,YAAY,CAKzE;AAED;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,GAAG,YAAY,CAMlF;AAED;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAC9B,IAAI,EAAE,YAAY,EAClB,SAAS,EAAE,YAAY,GACxB,YAAY,CAmBd;AAED;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAC5B,MAAM,EAAE,YAAY,EACpB,IAAI,EAAE,SAAS,MAAM,EAAE,GACxB,YAAY,CAad;AAED;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAC5B,MAAM,EAAE,YAAY,EACpB,IAAI,EAAE,SAAS,MAAM,EAAE,GACxB,YAAY,CASd;AAED;;;;;;;GAOG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,YAAY,GAAG,YAAY,CAatE;AAED;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,YAAY,GAAG,YAAY,CAgB1E;AAED;;;;;;;GAOG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,YAAY,GAAG,YAAY,CAavE;AAED;;;;;;;;;GASG;AACH,wBAAgB,sBAAsB,CAClC,IAAI,EAAE,OAAO,EACb,MAAM,EAAE,YAAY,EACpB,KAAK,EAAE,MAAM,GACd,SAAS,MAAM,EAAE,CAsBnB"}

package/dist/builders/object/schema.js

@@ -31,14 +31,14 @@ export function objectSchema(shape, mode) {
             presence: entrySchema.presence
         };
     }
-    return objectSchemaFromEntries(entries, mode);
+    return objectSchemaFromEntries(entries, mode, undefined);
 }
 /**
  * @brief Rebuild object metadata after shape transformations.
  * @details Duplicate keys are rejected here so pick/omit/extend cannot create
  * a schema that disagrees with its strict-key lookup table.
  */
-export function objectSchemaFromEntries(sourceEntries, mode) {
+export function objectSchemaFromEntries(sourceEntries, mode, catchall) {
     const entries = new Array(sourceEntries.length);
     const keys = new Array(sourceEntries.length);
     const keyLookup = makeObjectKeyLookup();
@@ -59,9 +59,28 @@ export function objectSchemaFromEntries(sourceEntries, mode) {
         entries,
         keys,
         keyLookup,
-        mode
+        mode,
+        catchall
     };
 }
+/**
+ * @brief Rebuild an object schema with a different unknown-key mode.
+ * @param schema Source object schema.
+ * @param mode Unknown-key policy for the rebuilt schema.
+ * @returns Object schema with identical entries and catchall policy.
+ */
+export function objectSchemaWithMode(schema, mode) {
+    return objectSchemaFromEntries(schema.entries, mode, schema.catchall);
+}
+/**
+ * @brief Rebuild an object schema with an unknown-key validator.
+ * @param schema Source object schema.
+ * @param catchall Schema applied to every undeclared own key.
+ * @returns Object schema that validates extra keys with the supplied schema.
+ */
+export function objectSchemaWithCatchall(schema, catchall) {
+    return objectSchemaFromEntries(schema.entries, schema.mode, catchall);
+}
 /**
  * @brief Validate the schema value handed to an ObjectGuard constructor.
  * @details Constructors are public JavaScript entry points, so the guard checks
@@ -115,7 +134,7 @@ export function mergeObjectSchemas(base, extension) {
             entries.push(entry);
         }
     }
-    return objectSchemaFromEntries(entries, base.mode);
+    return objectSchemaFromEntries(entries, base.mode, extension.catchall ?? base.catchall);
 }
 /**
  * @brief Build an object schema containing only a validated key selection.
@@ -138,7 +157,7 @@ export function pickObjectSchema(schema, keys) {
         }
         entries[index] = entry;
     }
-    return objectSchemaFromEntries(entries, schema.mode);
+    return objectSchemaFromEntries(entries, schema.mode, schema.catchall);
 }
 /**
  * @brief Build an object schema with a validated key selection removed.
@@ -156,7 +175,7 @@ export function omitObjectSchema(schema, keys) {
             entries.push(entry);
         }
     }
-    return objectSchemaFromEntries(entries, schema.mode);
+    return objectSchemaFromEntries(entries, schema.mode, schema.catchall);
 }
 /**
  * @brief Convert every object entry to optional presence.
@@ -178,7 +197,53 @@ export function partialObjectSchema(schema) {
             };
         }
     }
-    return objectSchemaFromEntries(entries, schema.mode);
+    return objectSchemaFromEntries(entries, schema.mode, schema.catchall);
+}
+/**
+ * @brief Recursively convert object entries to optional presence.
+ * @param schema Source object schema.
+ * @returns Rebuilt object schema with nested object/container children partialized.
+ * @details Lazy and refinement schemas are treated as semantic barriers because
+ * their runtime callbacks may depend on the original exact value domain.
+ */
+export function deepPartialObjectSchema(schema) {
+    const entries = new Array(schema.entries.length);
+    for (let index = 0; index < schema.entries.length; index += 1) {
+        const entry = schema.entries[index];
+        if (entry !== undefined) {
+            entries[index] = {
+                key: entry.key,
+                schema: deepPartialSchema(entry.schema),
+                presence: PresenceTag.Optional
+            };
+        }
+    }
+    const catchall = schema.catchall === undefined
+        ? undefined
+        : deepPartialSchema(schema.catchall);
+    return objectSchemaFromEntries(entries, schema.mode, catchall);
+}
+/**
+ * @brief Convert every object entry to required presence.
+ * @param schema Source object schema.
+ * @returns Rebuilt object schema with required entries.
+ * @details Object construction already stripped Optional wrappers into entry
+ * presence metadata. Requiring a field therefore only needs to flip that
+ * metadata back to Required while preserving each value-domain schema.
+ */
+export function requiredObjectSchema(schema) {
+    const entries = new Array(schema.entries.length);
+    for (let index = 0; index < schema.entries.length; index += 1) {
+        const entry = schema.entries[index];
+        if (entry !== undefined) {
+            entries[index] = {
+                key: entry.key,
+                schema: entry.schema,
+                presence: PresenceTag.Required
+            };
+        }
+    }
+    return objectSchemaFromEntries(entries, schema.mode, schema.catchall);
 }
 /**
  * @brief Validate the key list supplied to object pick and omit operations.
@@ -191,8 +256,11 @@ export function partialObjectSchema(schema) {
  * @returns Ordered key selection accepted by the object builder.
  */
 export function readObjectKeySelection(keys, schema, label) {
+    if (isRecord(keys)) {
+        return readObjectKeyMask(keys, schema, label);
+    }
     if (!isUnknownArray(keys)) {
-        throw new TypeError(`${label} must be an array`);
+        throw new TypeError(`${label} must be an array or key mask`);
     }
     const selected = new Array(keys.length);
     for (let index = 0; index < keys.length; index += 1) {
@@ -210,6 +278,128 @@ export function readObjectKeySelection(keys, schema, label) {
     }
     return selected;
 }
+/**
+ * @brief Validate a Zod-style object key mask.
+ * @param mask Candidate object whose selected keys have value true.
+ * @param schema Object schema whose keys define the valid selection domain.
+ * @param label Human-readable API label used in thrown errors.
+ * @returns Ordered key selection accepted by object pick and omit.
+ */
+function readObjectKeyMask(mask, schema, label) {
+    const keys = Object.keys(mask);
+    const selected = [];
+    for (let index = 0; index < keys.length; index += 1) {
+        const key = keys[index];
+        if (key === undefined) {
+            continue;
+        }
+        if (mask[key] !== true) {
+            throw new TypeError(`${label} mask values must be true`);
+        }
+        if (!hasObjectKey(schema.keyLookup, key)) {
+            throw new TypeError(`${label} contains unknown object key ${key}`);
+        }
+        selected.push(key);
+    }
+    return selected;
+}
+/**
+ * @brief Recursively partialize pure schema containers.
+ * @param schema Schema to rewrite.
+ * @returns Schema with nested object fields made optional where safe.
+ */
+function deepPartialSchema(schema) {
+    switch (schema.tag) {
+        case SchemaTag.Object:
+            return deepPartialObjectSchema(schema);
+        case SchemaTag.Array:
+            return {
+                tag: SchemaTag.Array,
+                item: deepPartialSchema(schema.item),
+                checks: schema.checks
+            };
+        case SchemaTag.Tuple:
+            return {
+                tag: SchemaTag.Tuple,
+                items: mapDeepPartialSchemas(schema.items),
+                rest: schema.rest === undefined
+                    ? undefined
+                    : deepPartialSchema(schema.rest)
+            };
+        case SchemaTag.Record:
+            return {
+                tag: SchemaTag.Record,
+                value: deepPartialSchema(schema.value)
+            };
+        case SchemaTag.Map:
+            return {
+                tag: SchemaTag.Map,
+                key: deepPartialSchema(schema.key),
+                value: deepPartialSchema(schema.value)
+            };
+        case SchemaTag.Set:
+            return {
+                tag: SchemaTag.Set,
+                item: deepPartialSchema(schema.item)
+            };
+        case SchemaTag.Property:
+            return {
+                tag: SchemaTag.Property,
+                base: deepPartialSchema(schema.base),
+                key: schema.key,
+                value: deepPartialSchema(schema.value)
+            };
+        case SchemaTag.Union:
+            return {
+                tag: SchemaTag.Union,
+                options: mapDeepPartialSchemas(schema.options)
+            };
+        case SchemaTag.Intersection:
+            return {
+                tag: SchemaTag.Intersection,
+                left: deepPartialSchema(schema.left),
+                right: deepPartialSchema(schema.right)
+            };
+        case SchemaTag.Optional:
+            return {
+                tag: SchemaTag.Optional,
+                inner: deepPartialSchema(schema.inner)
+            };
+        case SchemaTag.Undefinedable:
+            return {
+                tag: SchemaTag.Undefinedable,
+                inner: deepPartialSchema(schema.inner)
+            };
+        case SchemaTag.Nullable:
+            return {
+                tag: SchemaTag.Nullable,
+                inner: deepPartialSchema(schema.inner)
+            };
+        case SchemaTag.Brand:
+            return {
+                tag: SchemaTag.Brand,
+                inner: deepPartialSchema(schema.inner),
+                brand: schema.brand
+            };
+        default:
+            return schema;
+    }
+}
+/**
+ * @brief Deep-partialize a schema vector.
+ * @param schemas Source schema vector.
+ * @returns New schema vector preserving index order.
+ */
+function mapDeepPartialSchemas(schemas) {
+    const mapped = new Array(schemas.length);
+    for (let index = 0; index < schemas.length; index += 1) {
+        const schema = schemas[index];
+        if (schema !== undefined) {
+            mapped[index] = deepPartialSchema(schema);
+        }
+    }
+    return mapped;
+}
 /**
  * @brief Find an object entry by key using the ordered entry vector.
  * @details The ordered vector is the source of truth for diagnostic and codegen

package/dist/builders/object/types.d.ts

@@ -31,7 +31,22 @@ export type MergeObjectShapes<TBase extends ObjectShape, TExtension extends Obje
 export type PartialObjectShape<TShape extends ObjectShape> = {
     readonly [TKey in keyof TShape]: BaseGuard<GuardValue<TShape[TKey]>, "optional">;
 };
+export type DeepPartialValue<TValue> = TValue extends (infer TItem)[] ? DeepPartialValue<TItem>[] : TValue extends readonly (infer TItem)[] ? readonly DeepPartialValue<TItem>[] : TValue extends object ? {
+    readonly [TKey in keyof TValue]?: DeepPartialValue<TValue[TKey]>;
+} : TValue;
+export type DeepPartialObjectShape<TShape extends ObjectShape> = {
+    readonly [TKey in keyof TShape]: BaseGuard<DeepPartialValue<GuardValue<TShape[TKey]>>, "optional">;
+};
+export type RequiredObjectShape<TShape extends ObjectShape> = {
+    readonly [TKey in keyof TShape]: BaseGuard<GuardValue<TShape[TKey]>>;
+};
+export type ObjectKeyMask<TShape extends ObjectShape> = Partial<Readonly<Record<StringKeyOf<TShape>, true>>>;
+export type MaskSelectedKeys<TShape extends ObjectShape, TMask extends ObjectKeyMask<TShape>> = {
+    [TKey in keyof TMask]-?: TMask[TKey] extends true ? TKey : never;
+}[keyof TMask];
 export type PickObjectShape<TShape extends ObjectShape, TKey extends string> = Pick<TShape, Extract<keyof TShape, TKey>>;
+export type PickObjectShapeByMask<TShape extends ObjectShape, TMask extends ObjectKeyMask<TShape>> = Pick<TShape, Extract<keyof TShape, MaskSelectedKeys<TShape, TMask>>>;
 export type OmitObjectShape<TShape extends ObjectShape, TKey extends string> = Omit<TShape, Extract<keyof TShape, TKey>>;
+export type OmitObjectShapeByMask<TShape extends ObjectShape, TMask extends ObjectKeyMask<TShape>> = Omit<TShape, Extract<keyof TShape, MaskSelectedKeys<TShape, TMask>>>;
 export type StringKeyOf<TValue> = Extract<keyof TValue, string>;
 //# sourceMappingURL=types.d.ts.map

package/dist/builders/object/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/builders/object/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACR,SAAS,EACT,KAAK,EACL,aAAa,EACb,UAAU,EACV,KAAK,EACL,QAAQ,EACX,MAAM,sBAAsB,CAAC;AAC9B,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEzD,MAAM,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;AAE7E,MAAM,MAAM,eAAe,GACrB,OAAO,aAAa,CAAC,WAAW,GAChC,OAAO,aAAa,CAAC,MAAM,CAAC;AAElC,MAAM,MAAM,YAAY,CAAC,MAAM,SAAS,WAAW,IAAI;KAClD,IAAI,IAAI,MAAM,MAAM,CAAC,CAAC,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,UAAU,GAClE,IAAI,GACJ,KAAK;CACd,CAAC,MAAM,MAAM,CAAC,CAAC;AAEhB,MAAM,MAAM,YAAY,CAAC,MAAM,SAAS,WAAW,IAAI;KAClD,IAAI,IAAI,MAAM,MAAM,CAAC,CAAC,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,UAAU,GAClE,KAAK,GACL,IAAI;CACb,CAAC,MAAM,MAAM,CAAC,CAAC;AAEhB;;;;GAIG;AACH,MAAM,MAAM,WAAW,CAAC,MAAM,SAAS,WAAW,IAAI,QAAQ,CAC1D;IACI,QAAQ,EAAE,IAAI,IAAI,YAAY,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;CAC/D,GAAG;IACA,QAAQ,EAAE,IAAI,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;CACrE,CACJ,CAAC;AAEF,MAAM,MAAM,QAAQ,CAAC,MAAM,IAAI;IAC3B,QAAQ,EAAE,IAAI,IAAI,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC;CAChD,GAAG,EAAE,CAAC;AAEP,MAAM,MAAM,iBAAiB,CACzB,KAAK,SAAS,WAAW,EACzB,UAAU,SAAS,WAAW,IAC9B,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,UAAU,CAAC,GAAG,UAAU,CAAC,CAAC;AAEzD,MAAM,MAAM,kBAAkB,CAAC,MAAM,SAAS,WAAW,IAAI;IACzD,QAAQ,EAAE,IAAI,IAAI,MAAM,MAAM,GAAG,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,UAAU,CAAC;CACnF,CAAC;AAEF,MAAM,MAAM,eAAe,CACvB,MAAM,SAAS,WAAW,EAC1B,IAAI,SAAS,MAAM,IACnB,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;AAE9C,MAAM,MAAM,eAAe,CACvB,MAAM,SAAS,WAAW,EAC1B,IAAI,SAAS,MAAM,IACnB,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;AAE9C,MAAM,MAAM,WAAW,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,MAAM,EAAE,MAAM,CAAC,CAAC"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/builders/object/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACR,SAAS,EACT,KAAK,EACL,aAAa,EACb,UAAU,EACV,KAAK,EACL,QAAQ,EACX,MAAM,sBAAsB,CAAC;AAC9B,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEzD,MAAM,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;AAE7E,MAAM,MAAM,eAAe,GACrB,OAAO,aAAa,CAAC,WAAW,GAChC,OAAO,aAAa,CAAC,MAAM,CAAC;AAElC,MAAM,MAAM,YAAY,CAAC,MAAM,SAAS,WAAW,IAAI;KAClD,IAAI,IAAI,MAAM,MAAM,CAAC,CAAC,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,UAAU,GAClE,IAAI,GACJ,KAAK;CACd,CAAC,MAAM,MAAM,CAAC,CAAC;AAEhB,MAAM,MAAM,YAAY,CAAC,MAAM,SAAS,WAAW,IAAI;KAClD,IAAI,IAAI,MAAM,MAAM,CAAC,CAAC,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,UAAU,GAClE,KAAK,GACL,IAAI;CACb,CAAC,MAAM,MAAM,CAAC,CAAC;AAEhB;;;;GAIG;AACH,MAAM,MAAM,WAAW,CAAC,MAAM,SAAS,WAAW,IAAI,QAAQ,CAC1D;IACI,QAAQ,EAAE,IAAI,IAAI,YAAY,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;CAC/D,GAAG;IACA,QAAQ,EAAE,IAAI,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;CACrE,CACJ,CAAC;AAEF,MAAM,MAAM,QAAQ,CAAC,MAAM,IAAI;IAC3B,QAAQ,EAAE,IAAI,IAAI,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC;CAChD,GAAG,EAAE,CAAC;AAEP,MAAM,MAAM,iBAAiB,CACzB,KAAK,SAAS,WAAW,EACzB,UAAU,SAAS,WAAW,IAC9B,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,UAAU,CAAC,GAAG,UAAU,CAAC,CAAC;AAEzD,MAAM,MAAM,kBAAkB,CAAC,MAAM,SAAS,WAAW,IAAI;IACzD,QAAQ,EAAE,IAAI,IAAI,MAAM,MAAM,GAAG,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,UAAU,CAAC;CACnF,CAAC;AAEF,MAAM,MAAM,gBAAgB,CAAC,MAAM,IAC/B,MAAM,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,GACxB,gBAAgB,CAAC,KAAK,CAAC,EAAE,GACzB,MAAM,SAAS,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,GACvC,SAAS,gBAAgB,CAAC,KAAK,CAAC,EAAE,GAClC,MAAM,SAAS,MAAM,GACjB;IACE,QAAQ,EAAE,IAAI,IAAI,MAAM,MAAM,CAAC,CAAC,EAAE,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;CACnE,GACC,MAAM,CAAC;AAErB,MAAM,MAAM,sBAAsB,CAAC,MAAM,SAAS,WAAW,IAAI;IAC7D,QAAQ,EAAE,IAAI,IAAI,MAAM,MAAM,GAAG,SAAS,CACtC,gBAAgB,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAC1C,UAAU,CACb;CACJ,CAAC;AAEF,MAAM,MAAM,mBAAmB,CAAC,MAAM,SAAS,WAAW,IAAI;IAC1D,QAAQ,EAAE,IAAI,IAAI,MAAM,MAAM,GAAG,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;CACvE,CAAC;AAEF,MAAM,MAAM,aAAa,CAAC,MAAM,SAAS,WAAW,IAAI,OAAO,CAC3D,QAAQ,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,CAC9C,CAAC;AAEF,MAAM,MAAM,gBAAgB,CACxB,MAAM,SAAS,WAAW,EAC1B,KAAK,SAAS,aAAa,CAAC,MAAM,CAAC,IACnC;KACC,IAAI,IAAI,MAAM,KAAK,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,KAAK;CACnE,CAAC,MAAM,KAAK,CAAC,CAAC;AAEf,MAAM,MAAM,eAAe,CACvB,MAAM,SAAS,WAAW,EAC1B,IAAI,SAAS,MAAM,IACnB,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;AAE9C,MAAM,MAAM,qBAAqB,CAC7B,MAAM,SAAS,WAAW,EAC1B,KAAK,SAAS,aAAa,CAAC,MAAM,CAAC,IACnC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,MAAM,EAAE,gBAAgB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;AAEzE,MAAM,MAAM,eAAe,CACvB,MAAM,SAAS,WAAW,EAC1B,IAAI,SAAS,MAAM,IACnB,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;AAE9C,MAAM,MAAM,qBAAqB,CAC7B,MAAM,SAAS,WAAW,EAC1B,KAAK,SAAS,aAAa,CAAC,MAAM,CAAC,IACnC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,MAAM,EAAE,gBAAgB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;AAEzE,MAAM,MAAM,WAAW,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,MAAM,EAAE,MAAM,CAAC,CAAC"}

package/dist/builders/runtime.d.ts

@@ -0,0 +1,40 @@
+/**
+ * @file runtime.ts
+ * @brief Runtime-object guard builders.
+ * @details These builders describe JavaScript object domains that JSON Schema
+ * and AOT source cannot faithfully serialize.
+ */
+import { BaseGuard, type Guard, type Infer, type Presence } from "../guard/index.js";
+export type InstanceConstructor<TValue> = abstract new (...args: never[]) => TValue;
+export type JsonPrimitive = string | number | boolean | null;
+export interface JsonArray {
+    readonly length: number;
+    readonly [index: number]: JsonValue;
+}
+export interface JsonObject {
+    readonly [key: string]: JsonValue;
+}
+export type JsonValue = JsonPrimitive | JsonArray | JsonObject;
+/**
+ * @brief Build a guard backed by ordinary instanceof semantics.
+ * @param constructor Constructor function used as the instance domain.
+ * @returns Fresh guard accepting values whose prototype chain matches constructor.
+ * @throws TypeError when constructor is not callable.
+ */
+export declare function instanceOf<TValue>(constructor: InstanceConstructor<TValue>): BaseGuard<TValue>;
+/**
+ * @brief Require one own data property after a base guard succeeds.
+ * @param base Guard applied to the candidate value first.
+ * @param key Own string property key to inspect.
+ * @param value Guard applied to the property value.
+ * @returns Fresh guard preserving the base domain and recording the property type.
+ */
+export declare function property<TBase extends Guard<unknown, Presence>, const TKey extends string, TValue extends Guard<unknown, Presence>>(base: TBase, key: TKey, value: TValue): BaseGuard<Infer<TBase> & Readonly<Record<TKey, Infer<TValue>>>>;
+/**
+ * @brief Build a recursive JSON-value guard.
+ * @returns Fresh guard accepting JSON-serializable values.
+ * @details The guard accepts finite numbers because TypeSea number semantics
+ * reject NaN and infinities. Object values are string-keyed records.
+ */
+export declare function json(): BaseGuard<JsonValue>;
+//# sourceMappingURL=runtime.d.ts.map

package/dist/builders/runtime.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime.d.ts","sourceRoot":"","sources":["../../src/builders/runtime.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,SAAS,EAAE,KAAK,KAAK,EAAE,KAAK,KAAK,EAAE,KAAK,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAIrF,MAAM,MAAM,mBAAmB,CAAC,MAAM,IAClC,QAAQ,MAAM,GAAG,IAAI,EAAE,KAAK,EAAE,KAAK,MAAM,CAAC;AAE9C,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;AAE7D,MAAM,WAAW,SAAS;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,EAAE,KAAK,EAAE,MAAM,GAAG,SAAS,CAAC;CACvC;AAED,MAAM,WAAW,UAAU;IACvB,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,SAAS,CAAC;CACrC;AAED,MAAM,MAAM,SAAS,GACf,aAAa,GACb,SAAS,GACT,UAAU,CAAC;AAEjB;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,MAAM,EAC7B,WAAW,EAAE,mBAAmB,CAAC,MAAM,CAAC,GACzC,SAAS,CAAC,MAAM,CAAC,CAcnB;AAED;;;;;;GAMG;AACH,wBAAgB,QAAQ,CACpB,KAAK,SAAS,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,EACtC,KAAK,CAAC,IAAI,SAAS,MAAM,EACzB,MAAM,SAAS,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,EAEvC,IAAI,EAAE,KAAK,EACX,GAAG,EAAE,IAAI,EACT,KAAK,EAAE,MAAM,GACd,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAUjE;AAED;;;;;GAKG;AACH,wBAAgB,IAAI,IAAI,SAAS,CAAC,SAAS,CAAC,CAU3C"}