typesea 0.2.0 → 0.3.1

package/dist/builders/modifier.js

@@ -46,6 +46,20 @@ export function nullable(guard) {
         inner: readGuardSchema(guard, "nullable inner")
     });
 }
+/**
+ * @brief Allow null, undefined, and absent object keys.
+ * @param guard Guard to wrap.
+ * @returns Fresh optional guard whose value domain also includes null.
+ */
+export function nullish(guard) {
+    return new BaseGuard({
+        tag: SchemaTag.Optional,
+        inner: {
+            tag: SchemaTag.Nullable,
+            inner: readGuardSchema(guard, "nullish inner")
+        }
+    });
+}
 /**
  * @brief Resolve recursive schemas once and reuse the frozen schema handle.
  * @details Builder helpers normalize user-facing fluent calls into immutable schema nodes

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

@@ -6,8 +6,8 @@
  */
 import type { ObjectSchema } from "../../schema/index.js";
 import { ObjectModeTag } from "../../kind/index.js";
-import { BaseGuard } from "../../guard/index.js";
-import type { ObjectGuardMode, ObjectShape, InferObject, MergeObjectShapes, OmitObjectShape, PartialObjectShape, PickObjectShape, StringKeyOf } from "./types.js";
+import { BaseGuard, type Guard, type Presence } from "../../guard/index.js";
+import type { ObjectGuardMode, ObjectShape, DeepPartialObjectShape, InferObject, MergeObjectShapes, ObjectKeyMask, OmitObjectShape, OmitObjectShapeByMask, PartialObjectShape, PickObjectShape, PickObjectShapeByMask, RequiredObjectShape, StringKeyOf } from "./types.js";
 /**
  * @brief Guard subclass with object-specific shape operations.
  * @details Builder helpers normalize user-facing fluent calls into immutable schema nodes
@@ -19,9 +19,19 @@ import type { ObjectGuardMode, ObjectShape, InferObject, MergeObjectShapes, Omit
 export declare class ObjectGuard<TShape extends ObjectShape, TMode extends ObjectGuardMode> extends BaseGuard<InferObject<TShape>> {
     constructor(schema: ObjectSchema);
     extend<const TExtension extends ObjectShape>(extension: TExtension): ObjectGuard<MergeObjectShapes<TShape, TExtension>, TMode>;
+    safeExtend<const TExtension extends ObjectShape>(extension: TExtension): ObjectGuard<MergeObjectShapes<TShape, TExtension>, TMode>;
+    merge<const TExtension extends ObjectShape, TExtensionMode extends ObjectGuardMode>(other: ObjectGuard<TExtension, TExtensionMode>): ObjectGuard<MergeObjectShapes<TShape, TExtension>, TMode>;
     pick<const TKeys extends readonly StringKeyOf<TShape>[]>(keys: TKeys): ObjectGuard<PickObjectShape<TShape, TKeys[number]>, TMode>;
+    pick<const TMask extends ObjectKeyMask<TShape>>(keys: TMask): ObjectGuard<PickObjectShapeByMask<TShape, TMask>, TMode>;
     omit<const TKeys extends readonly StringKeyOf<TShape>[]>(keys: TKeys): ObjectGuard<OmitObjectShape<TShape, TKeys[number]>, TMode>;
+    omit<const TMask extends ObjectKeyMask<TShape>>(keys: TMask): ObjectGuard<OmitObjectShapeByMask<TShape, TMask>, TMode>;
     partial(): ObjectGuard<PartialObjectShape<TShape>, TMode>;
+    deepPartial(): ObjectGuard<DeepPartialObjectShape<TShape>, TMode>;
+    required(): ObjectGuard<RequiredObjectShape<TShape>, TMode>;
+    strict(): ObjectGuard<TShape, typeof ObjectModeTag.Strict>;
+    passthrough(): ObjectGuard<TShape, typeof ObjectModeTag.Passthrough>;
+    strip(): ObjectGuard<TShape, typeof ObjectModeTag.Passthrough>;
+    catchall(guard: Guard<unknown, Presence>): ObjectGuard<TShape, TMode>;
 }
 /**
  * @brief Build an object guard that accepts unspecified enumerable keys.
@@ -40,19 +50,61 @@ export declare function strictObject<const TShape extends ObjectShape>(shape: TS
  * @details This helper keeps a local invariant explicit at the module boundary.
  */
 export declare function extend<const TShape extends ObjectShape, TMode extends ObjectGuardMode, const TExtension extends ObjectShape>(guard: ObjectGuard<TShape, TMode>, extension: TExtension): ObjectGuard<MergeObjectShapes<TShape, TExtension>, TMode>;
+/**
+ * @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 declare function safeExtend<const TShape extends ObjectShape, TMode extends ObjectGuardMode, const TExtension extends ObjectShape>(guard: ObjectGuard<TShape, TMode>, extension: TExtension): ObjectGuard<MergeObjectShapes<TShape, TExtension>, TMode>;
+/**
+ * @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 declare function merge<const TShape extends ObjectShape, TMode extends ObjectGuardMode, const TExtension extends ObjectShape, TExtensionMode extends ObjectGuardMode>(guard: ObjectGuard<TShape, TMode>, other: ObjectGuard<TExtension, TExtensionMode>): ObjectGuard<MergeObjectShapes<TShape, TExtension>, TMode>;
 /**
  * @brief Execute pick.
  * @details This helper keeps a local invariant explicit at the module boundary.
  */
 export declare function pick<const TShape extends ObjectShape, TMode extends ObjectGuardMode, const TKeys extends readonly StringKeyOf<TShape>[]>(guard: ObjectGuard<TShape, TMode>, keys: TKeys): ObjectGuard<PickObjectShape<TShape, TKeys[number]>, TMode>;
+export declare function pick<const TShape extends ObjectShape, TMode extends ObjectGuardMode, const TMask extends ObjectKeyMask<TShape>>(guard: ObjectGuard<TShape, TMode>, keys: TMask): ObjectGuard<PickObjectShapeByMask<TShape, TMask>, TMode>;
 /**
  * @brief Execute omit.
  * @details This helper keeps a local invariant explicit at the module boundary.
  */
 export declare function omit<const TShape extends ObjectShape, TMode extends ObjectGuardMode, const TKeys extends readonly StringKeyOf<TShape>[]>(guard: ObjectGuard<TShape, TMode>, keys: TKeys): ObjectGuard<OmitObjectShape<TShape, TKeys[number]>, TMode>;
+export declare function omit<const TShape extends ObjectShape, TMode extends ObjectGuardMode, const TMask extends ObjectKeyMask<TShape>>(guard: ObjectGuard<TShape, TMode>, keys: TMask): ObjectGuard<OmitObjectShapeByMask<TShape, TMask>, TMode>;
 /**
  * @brief Execute partial.
  * @details This helper keeps a local invariant explicit at the module boundary.
  */
 export declare function partial<const TShape extends ObjectShape, TMode extends ObjectGuardMode>(guard: ObjectGuard<TShape, TMode>): ObjectGuard<PartialObjectShape<TShape>, TMode>;
+/**
+ * @brief Execute deep partial.
+ */
+export declare function deepPartial<const TShape extends ObjectShape, TMode extends ObjectGuardMode>(guard: ObjectGuard<TShape, TMode>): ObjectGuard<DeepPartialObjectShape<TShape>, TMode>;
+/**
+ * @brief Execute required.
+ * @details This helper keeps a local invariant explicit at the module boundary.
+ */
+export declare function required<const TShape extends ObjectShape, TMode extends ObjectGuardMode>(guard: ObjectGuard<TShape, TMode>): ObjectGuard<RequiredObjectShape<TShape>, TMode>;
+/**
+ * @brief Convert an object guard to strict unknown-key policy.
+ */
+export declare function strict<const TShape extends ObjectShape, TMode extends ObjectGuardMode>(guard: ObjectGuard<TShape, TMode>): ObjectGuard<TShape, typeof ObjectModeTag.Strict>;
+/**
+ * @brief Convert an object guard to passthrough unknown-key policy.
+ */
+export declare function passthrough<const TShape extends ObjectShape, TMode extends ObjectGuardMode>(guard: ObjectGuard<TShape, TMode>): ObjectGuard<TShape, typeof 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 declare function strip<const TShape extends ObjectShape, TMode extends ObjectGuardMode>(guard: ObjectGuard<TShape, TMode>): ObjectGuard<TShape, typeof ObjectModeTag.Passthrough>;
+/**
+ * @brief Validate every undeclared own key with a catchall schema.
+ */
+export declare function catchall<const TShape extends ObjectShape, TMode extends ObjectGuardMode>(guard: ObjectGuard<TShape, TMode>, value: Guard<unknown, Presence>): ObjectGuard<TShape, TMode>;
 //# sourceMappingURL=guard.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"guard.d.ts","sourceRoot":"","sources":["../../../src/builders/object/guard.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACjD,OAAO,KAAK,EACR,eAAe,EACf,WAAW,EACX,WAAW,EACX,iBAAiB,EACjB,eAAe,EACf,kBAAkB,EAClB,eAAe,EACf,WAAW,EACd,MAAM,YAAY,CAAC;AAYpB;;;;;;;GAOG;AACH,qBAAa,WAAW,CACpB,MAAM,SAAS,WAAW,EAC1B,KAAK,SAAS,eAAe,CAC/B,SAAQ,SAAS,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;gBAEjB,MAAM,EAAE,YAAY;IAKhC,MAAM,CAAC,KAAK,CAAC,UAAU,SAAS,WAAW,EAC9C,SAAS,EAAE,UAAU,GACtB,WAAW,CAAC,iBAAiB,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE,KAAK,CAAC;IAIrD,IAAI,CAAC,KAAK,CAAC,KAAK,SAAS,SAAS,WAAW,CAAC,MAAM,CAAC,EAAE,EAC1D,IAAI,EAAE,KAAK,GACZ,WAAW,CAAC,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC;IAItD,IAAI,CAAC,KAAK,CAAC,KAAK,SAAS,SAAS,WAAW,CAAC,MAAM,CAAC,EAAE,EAC1D,IAAI,EAAE,KAAK,GACZ,WAAW,CAAC,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC;IAItD,OAAO,IAAI,WAAW,CAAC,kBAAkB,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC;CAGnE;AAED;;;;GAIG;AACH,wBAAgB,MAAM,CAAC,KAAK,CAAC,MAAM,SAAS,WAAW,EACnD,KAAK,EAAE,MAAM,GACd,WAAW,CAAC,MAAM,EAAE,OAAO,aAAa,CAAC,WAAW,CAAC,CAIvD;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,KAAK,CAAC,MAAM,SAAS,WAAW,EACzD,KAAK,EAAE,MAAM,GACd,WAAW,CAAC,MAAM,EAAE,OAAO,aAAa,CAAC,MAAM,CAAC,CAIlD;AAED;;;GAGG;AACH,wBAAgB,MAAM,CAClB,KAAK,CAAC,MAAM,SAAS,WAAW,EAChC,KAAK,SAAS,eAAe,EAC7B,KAAK,CAAC,UAAU,SAAS,WAAW,EAEpC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,EACjC,SAAS,EAAE,UAAU,GACtB,WAAW,CAAC,iBAAiB,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE,KAAK,CAAC,CAE3D;AAED;;;GAGG;AACH,wBAAgB,IAAI,CAChB,KAAK,CAAC,MAAM,SAAS,WAAW,EAChC,KAAK,SAAS,eAAe,EAC7B,KAAK,CAAC,KAAK,SAAS,SAAS,WAAW,CAAC,MAAM,CAAC,EAAE,EAElD,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,EACjC,IAAI,EAAE,KAAK,GACZ,WAAW,CAAC,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAE5D;AAED;;;GAGG;AACH,wBAAgB,IAAI,CAChB,KAAK,CAAC,MAAM,SAAS,WAAW,EAChC,KAAK,SAAS,eAAe,EAC7B,KAAK,CAAC,KAAK,SAAS,SAAS,WAAW,CAAC,MAAM,CAAC,EAAE,EAElD,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,EACjC,IAAI,EAAE,KAAK,GACZ,WAAW,CAAC,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAE5D;AAED;;;GAGG;AACH,wBAAgB,OAAO,CACnB,KAAK,CAAC,MAAM,SAAS,WAAW,EAChC,KAAK,SAAS,eAAe,EAE7B,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,GAClC,WAAW,CAAC,kBAAkB,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,CAEhD"}
+{"version":3,"file":"guard.d.ts","sourceRoot":"","sources":["../../../src/builders/object/guard.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EACH,SAAS,EACT,KAAK,KAAK,EACV,KAAK,QAAQ,EAChB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,KAAK,EACR,eAAe,EACf,WAAW,EACX,sBAAsB,EACtB,WAAW,EACX,iBAAiB,EACjB,aAAa,EACb,eAAe,EACf,qBAAqB,EACrB,kBAAkB,EAClB,eAAe,EACf,qBAAqB,EACrB,mBAAmB,EACnB,WAAW,EACd,MAAM,YAAY,CAAC;AAgBpB;;;;;;;GAOG;AACH,qBAAa,WAAW,CACpB,MAAM,SAAS,WAAW,EAC1B,KAAK,SAAS,eAAe,CAC/B,SAAQ,SAAS,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;gBAEjB,MAAM,EAAE,YAAY;IAKhC,MAAM,CAAC,KAAK,CAAC,UAAU,SAAS,WAAW,EAC9C,SAAS,EAAE,UAAU,GACtB,WAAW,CAAC,iBAAiB,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE,KAAK,CAAC;IAIrD,UAAU,CAAC,KAAK,CAAC,UAAU,SAAS,WAAW,EAClD,SAAS,EAAE,UAAU,GACtB,WAAW,CAAC,iBAAiB,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE,KAAK,CAAC;IAIrD,KAAK,CACR,KAAK,CAAC,UAAU,SAAS,WAAW,EACpC,cAAc,SAAS,eAAe,EAEtC,KAAK,EAAE,WAAW,CAAC,UAAU,EAAE,cAAc,CAAC,GAC/C,WAAW,CAAC,iBAAiB,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE,KAAK,CAAC;IAIrD,IAAI,CAAC,KAAK,CAAC,KAAK,SAAS,SAAS,WAAW,CAAC,MAAM,CAAC,EAAE,EAC1D,IAAI,EAAE,KAAK,GACZ,WAAW,CAAC,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC;IAEtD,IAAI,CAAC,KAAK,CAAC,KAAK,SAAS,aAAa,CAAC,MAAM,CAAC,EACjD,IAAI,EAAE,KAAK,GACZ,WAAW,CAAC,qBAAqB,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC;IAQpD,IAAI,CAAC,KAAK,CAAC,KAAK,SAAS,SAAS,WAAW,CAAC,MAAM,CAAC,EAAE,EAC1D,IAAI,EAAE,KAAK,GACZ,WAAW,CAAC,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC;IAEtD,IAAI,CAAC,KAAK,CAAC,KAAK,SAAS,aAAa,CAAC,MAAM,CAAC,EACjD,IAAI,EAAE,KAAK,GACZ,WAAW,CAAC,qBAAqB,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC;IAQpD,OAAO,IAAI,WAAW,CAAC,kBAAkB,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC;IAIzD,WAAW,IAAI,WAAW,CAAC,sBAAsB,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC;IAIjE,QAAQ,IAAI,WAAW,CAAC,mBAAmB,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC;IAI3D,MAAM,IAAI,WAAW,CAAC,MAAM,EAAE,OAAO,aAAa,CAAC,MAAM,CAAC;IAI1D,WAAW,IAAI,WAAW,CAAC,MAAM,EAAE,OAAO,aAAa,CAAC,WAAW,CAAC;IAIpE,KAAK,IAAI,WAAW,CAAC,MAAM,EAAE,OAAO,aAAa,CAAC,WAAW,CAAC;IAI9D,QAAQ,CACX,KAAK,EAAE,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,GAChC,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC;CAGhC;AAED;;;;GAIG;AACH,wBAAgB,MAAM,CAAC,KAAK,CAAC,MAAM,SAAS,WAAW,EACnD,KAAK,EAAE,MAAM,GACd,WAAW,CAAC,MAAM,EAAE,OAAO,aAAa,CAAC,WAAW,CAAC,CAIvD;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,KAAK,CAAC,MAAM,SAAS,WAAW,EACzD,KAAK,EAAE,MAAM,GACd,WAAW,CAAC,MAAM,EAAE,OAAO,aAAa,CAAC,MAAM,CAAC,CAIlD;AAED;;;GAGG;AACH,wBAAgB,MAAM,CAClB,KAAK,CAAC,MAAM,SAAS,WAAW,EAChC,KAAK,SAAS,eAAe,EAC7B,KAAK,CAAC,UAAU,SAAS,WAAW,EAEpC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,EACjC,SAAS,EAAE,UAAU,GACtB,WAAW,CAAC,iBAAiB,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE,KAAK,CAAC,CAE3D;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CACtB,KAAK,CAAC,MAAM,SAAS,WAAW,EAChC,KAAK,SAAS,eAAe,EAC7B,KAAK,CAAC,UAAU,SAAS,WAAW,EAEpC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,EACjC,SAAS,EAAE,UAAU,GACtB,WAAW,CAAC,iBAAiB,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE,KAAK,CAAC,CAE3D;AAED;;;;GAIG;AACH,wBAAgB,KAAK,CACjB,KAAK,CAAC,MAAM,SAAS,WAAW,EAChC,KAAK,SAAS,eAAe,EAC7B,KAAK,CAAC,UAAU,SAAS,WAAW,EACpC,cAAc,SAAS,eAAe,EAEtC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,EACjC,KAAK,EAAE,WAAW,CAAC,UAAU,EAAE,cAAc,CAAC,GAC/C,WAAW,CAAC,iBAAiB,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE,KAAK,CAAC,CAE3D;AAED;;;GAGG;AACH,wBAAgB,IAAI,CAChB,KAAK,CAAC,MAAM,SAAS,WAAW,EAChC,KAAK,SAAS,eAAe,EAC7B,KAAK,CAAC,KAAK,SAAS,SAAS,WAAW,CAAC,MAAM,CAAC,EAAE,EAElD,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,EACjC,IAAI,EAAE,KAAK,GACZ,WAAW,CAAC,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AAE9D,wBAAgB,IAAI,CAChB,KAAK,CAAC,MAAM,SAAS,WAAW,EAChC,KAAK,SAAS,eAAe,EAC7B,KAAK,CAAC,KAAK,SAAS,aAAa,CAAC,MAAM,CAAC,EAEzC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,EACjC,IAAI,EAAE,KAAK,GACZ,WAAW,CAAC,qBAAqB,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;AAY5D;;;GAGG;AACH,wBAAgB,IAAI,CAChB,KAAK,CAAC,MAAM,SAAS,WAAW,EAChC,KAAK,SAAS,eAAe,EAC7B,KAAK,CAAC,KAAK,SAAS,SAAS,WAAW,CAAC,MAAM,CAAC,EAAE,EAElD,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,EACjC,IAAI,EAAE,KAAK,GACZ,WAAW,CAAC,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AAE9D,wBAAgB,IAAI,CAChB,KAAK,CAAC,MAAM,SAAS,WAAW,EAChC,KAAK,SAAS,eAAe,EAC7B,KAAK,CAAC,KAAK,SAAS,aAAa,CAAC,MAAM,CAAC,EAEzC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,EACjC,IAAI,EAAE,KAAK,GACZ,WAAW,CAAC,qBAAqB,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;AAY5D;;;GAGG;AACH,wBAAgB,OAAO,CACnB,KAAK,CAAC,MAAM,SAAS,WAAW,EAChC,KAAK,SAAS,eAAe,EAE7B,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,GAClC,WAAW,CAAC,kBAAkB,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,CAEhD;AAED;;GAEG;AACH,wBAAgB,WAAW,CACvB,KAAK,CAAC,MAAM,SAAS,WAAW,EAChC,KAAK,SAAS,eAAe,EAE7B,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,GAClC,WAAW,CAAC,sBAAsB,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,CAEpD;AAED;;;GAGG;AACH,wBAAgB,QAAQ,CACpB,KAAK,CAAC,MAAM,SAAS,WAAW,EAChC,KAAK,SAAS,eAAe,EAE7B,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,GAClC,WAAW,CAAC,mBAAmB,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,CAEjD;AAED;;GAEG;AACH,wBAAgB,MAAM,CAClB,KAAK,CAAC,MAAM,SAAS,WAAW,EAChC,KAAK,SAAS,eAAe,EAE7B,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,GAClC,WAAW,CAAC,MAAM,EAAE,OAAO,aAAa,CAAC,MAAM,CAAC,CAElD;AAED;;GAEG;AACH,wBAAgB,WAAW,CACvB,KAAK,CAAC,MAAM,SAAS,WAAW,EAChC,KAAK,SAAS,eAAe,EAE7B,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,GAClC,WAAW,CAAC,MAAM,EAAE,OAAO,aAAa,CAAC,WAAW,CAAC,CAEvD;AAED;;;;GAIG;AACH,wBAAgB,KAAK,CACjB,KAAK,CAAC,MAAM,SAAS,WAAW,EAChC,KAAK,SAAS,eAAe,EAE7B,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,GAClC,WAAW,CAAC,MAAM,EAAE,OAAO,aAAa,CAAC,WAAW,CAAC,CAEvD;AAED;;GAEG;AACH,wBAAgB,QAAQ,CACpB,KAAK,CAAC,MAAM,SAAS,WAAW,EAChC,KAAK,SAAS,eAAe,EAE7B,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,EACjC,KAAK,EAAE,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,GAChC,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAE5B"}

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