typesea 0.1.0

package/dist/builders/composite.js

@@ -0,0 +1,165 @@
+/**
+ * @file composite.ts
+ * @brief Composite guard builders.
+ */
+import { PresenceTag, SchemaTag } from "../kind/index.js";
+import { BaseGuard } from "../guard/index.js";
+import { isRecord, readGuardSchema } from "../internal/index.js";
+/**
+ * @brief array.
+ */
+export function array(item) {
+    return new BaseGuard({
+        tag: SchemaTag.Array,
+        item: readGuardSchema(item, "array item")
+    });
+}
+/**
+ * @brief tuple.
+ */
+export function tuple(shape) {
+    const rawShape = shape;
+    if (!Array.isArray(rawShape)) {
+        throw new TypeError("tuple shape must be an array");
+    }
+    const items = new Array(shape.length);
+    for (let index = 0; index < shape.length; index += 1) {
+        const guard = shape[index];
+        items[index] = readGuardSchema(guard, `tuple item ${String(index)}`);
+    }
+    return new BaseGuard({
+        tag: SchemaTag.Tuple,
+        items
+    });
+}
+/**
+ * @brief record.
+ */
+export function record(value) {
+    return new BaseGuard({
+        tag: SchemaTag.Record,
+        value: readGuardSchema(value, "record value")
+    });
+}
+/**
+ * @brief union.
+ */
+export function union(...guards) {
+    if (guards.length === 0) {
+        throw new TypeError("union requires at least one guard");
+    }
+    const options = new Array(guards.length);
+    for (let index = 0; index < guards.length; index += 1) {
+        const guard = guards[index];
+        options[index] = readGuardSchema(guard, `union option ${String(index)}`);
+    }
+    return new BaseGuard({
+        tag: SchemaTag.Union,
+        options
+    });
+}
+/**
+ * @brief intersect.
+ */
+export function intersect(left, right) {
+    return new BaseGuard({
+        tag: SchemaTag.Intersection,
+        left: readGuardSchema(left, "intersection left"),
+        right: readGuardSchema(right, "intersection right")
+    });
+}
+/**
+ * @brief discriminated union.
+ */
+export function discriminatedUnion(key, cases) {
+    if (typeof key !== "string") {
+        throw new TypeError("discriminated union key must be a string");
+    }
+    if (!isRecord(cases)) {
+        throw new TypeError("discriminated union cases must be an object");
+    }
+    const entries = Object.entries(cases);
+    if (entries.length === 0) {
+        throw new TypeError("discriminated union requires at least one case");
+    }
+    const unionCases = new Array(entries.length);
+    for (let index = 0; index < entries.length; index += 1) {
+        const pair = entries[index];
+        if (pair === undefined) {
+            continue;
+        }
+        const caseKey = pair[0];
+        const guard = pair[1];
+        unionCases[index] = {
+            literal: caseKey,
+            schema: readDiscriminatedUnionCaseSchema(guard, key, caseKey)
+        };
+    }
+    return new BaseGuard({
+        tag: SchemaTag.DiscriminatedUnion,
+        key,
+        cases: unionCases
+    });
+}
+/**
+ * @brief read discriminated union case schema.
+ */
+function readDiscriminatedUnionCaseSchema(guard, key, literal) {
+    const schema = readGuardSchema(guard, `case ${literal}`);
+    if (!caseRequiresDiscriminant(schema, key, literal)) {
+        throw new TypeError(`case ${literal} must require literal discriminant ${key}`);
+    }
+    return schema;
+}
+/**
+ * @brief case requires discriminant.
+ */
+function caseRequiresDiscriminant(schema, key, literal) {
+    const objectSchema = unwrapCaseObjectSchema(schema);
+    if (objectSchema === undefined) {
+        return false;
+    }
+    const entries = objectSchema.entries;
+    for (let index = 0; index < entries.length; index += 1) {
+        const entry = entries[index];
+        if (entry?.key !== key) {
+            continue;
+        }
+        return entry.presence === PresenceTag.Required &&
+            schemaRequiresLiteral(entry.schema, literal);
+    }
+    return false;
+}
+/**
+ * @brief unwrap case object schema.
+ */
+function unwrapCaseObjectSchema(schema) {
+    switch (schema.tag) {
+        case SchemaTag.Object:
+            return schema;
+        case SchemaTag.Intersection:
+            return unwrapCaseObjectSchema(schema.left) ?? unwrapCaseObjectSchema(schema.right);
+        case SchemaTag.Brand:
+        case SchemaTag.Refine:
+            return unwrapCaseObjectSchema(schema.inner);
+        default:
+            return undefined;
+    }
+}
+/**
+ * @brief schema requires literal.
+ */
+function schemaRequiresLiteral(schema, literal) {
+    switch (schema.tag) {
+        case SchemaTag.Literal:
+            return Object.is(schema.value, literal);
+        case SchemaTag.Intersection:
+            return schemaRequiresLiteral(schema.left, literal) ||
+                schemaRequiresLiteral(schema.right, literal);
+        case SchemaTag.Brand:
+        case SchemaTag.Refine:
+            return schemaRequiresLiteral(schema.inner, literal);
+        default:
+            return false;
+    }
+}

package/dist/builders/index.d.ts

@@ -0,0 +1,11 @@
+/**
+ * @file index.ts
+ * @brief Public builder module aggregation.
+ */
+export { array, discriminatedUnion, intersect, record, tuple, union } from "./composite.js";
+export { lazy, nullable, optional, refine, undefinedable } from "./modifier.js";
+export { ObjectGuard, extend, object, omit, partial, pick, strictObject, type InferObject, type MergeObjectShapes, type ObjectGuardMode, type ObjectShape, type OmitObjectShape, type PartialObjectShape, type PickObjectShape } from "./object/index.js";
+export { bigintGuard, literal, neverGuard, symbolGuard, unknownGuard } from "./scalar.js";
+export { t } from "./table.js";
+export type { InferTuple, TupleShape } from "./types.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/builders/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,KAAK,EACL,kBAAkB,EAClB,SAAS,EACT,MAAM,EACN,KAAK,EACL,KAAK,EACN,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,QAAQ,EACR,MAAM,EACN,aAAa,EACd,MAAM,eAAe,CAAC;AACvB,OAAO,EACL,WAAW,EACX,MAAM,EACN,MAAM,EACN,IAAI,EACJ,OAAO,EACP,IAAI,EACJ,YAAY,EACZ,KAAK,WAAW,EAChB,KAAK,iBAAiB,EACtB,KAAK,eAAe,EACpB,KAAK,WAAW,EAChB,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACvB,KAAK,eAAe,EACrB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,WAAW,EACX,OAAO,EACP,UAAU,EACV,WAAW,EACX,YAAY,EACb,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,CAAC,EAAE,MAAM,YAAY,CAAC;AAC/B,YAAY,EACV,UAAU,EACV,UAAU,EACX,MAAM,YAAY,CAAC"}

package/dist/builders/index.js

@@ -0,0 +1,9 @@
+/**
+ * @file index.ts
+ * @brief Public builder module aggregation.
+ */
+export { array, discriminatedUnion, intersect, record, tuple, union } from "./composite.js";
+export { lazy, nullable, optional, refine, undefinedable } from "./modifier.js";
+export { ObjectGuard, extend, object, omit, partial, pick, strictObject } from "./object/index.js";
+export { bigintGuard, literal, neverGuard, symbolGuard, unknownGuard } from "./scalar.js";
+export { t } from "./table.js";

package/dist/builders/modifier.d.ts

@@ -0,0 +1,26 @@
+/**
+ * @file modifier.ts
+ * @brief Presence, lazy, and refinement guard builders.
+ */
+import { BaseGuard, type Guard, type GuardPresence, type GuardValue, type Infer, type Presence } from "../guard/index.js";
+/**
+ * @brief optional.
+ */
+export declare function optional<TGuard extends Guard<unknown, Presence>>(guard: TGuard): BaseGuard<GuardValue<TGuard>, "optional">;
+/**
+ * @brief undefinedable.
+ */
+export declare function undefinedable<TGuard extends Guard<unknown, Presence>>(guard: TGuard): BaseGuard<GuardValue<TGuard> | undefined, GuardPresence<TGuard>>;
+/**
+ * @brief nullable.
+ */
+export declare function nullable<TGuard extends Guard<unknown, Presence>>(guard: TGuard): BaseGuard<GuardValue<TGuard> | null, GuardPresence<TGuard>>;
+/**
+ * @brief lazy.
+ */
+export declare function lazy<TGuard extends Guard<unknown, Presence>>(get: () => TGuard): BaseGuard<Infer<TGuard>>;
+/**
+ * @brief refine.
+ */
+export declare function refine<TGuard extends Guard<unknown, Presence>>(guard: TGuard, predicate: (value: Infer<TGuard>) => boolean, name: string): BaseGuard<GuardValue<TGuard>, GuardPresence<TGuard>>;
+//# sourceMappingURL=modifier.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"modifier.d.ts","sourceRoot":"","sources":["../../src/builders/modifier.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EACL,SAAS,EACT,KAAK,KAAK,EACV,KAAK,aAAa,EAClB,KAAK,UAAU,EACf,KAAK,KAAK,EACV,KAAK,QAAQ,EACd,MAAM,mBAAmB,CAAC;AAI3B;;GAEG;AACH,wBAAgB,QAAQ,CAAC,MAAM,SAAS,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,EAC9D,KAAK,EAAE,MAAM,GACZ,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC,CAK3C;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,MAAM,SAAS,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,EACnE,KAAK,EAAE,MAAM,GACZ,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG,SAAS,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC,CAKlE;AAED;;GAEG;AACH,wBAAgB,QAAQ,CAAC,MAAM,SAAS,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,EAC9D,KAAK,EAAE,MAAM,GACZ,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG,IAAI,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC,CAK7D;AAED;;GAEG;AACH,wBAAgB,IAAI,CAAC,MAAM,SAAS,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,EAC1D,GAAG,EAAE,MAAM,MAAM,GAChB,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAY1B;AAED;;GAEG;AACH,wBAAgB,MAAM,CAAC,MAAM,SAAS,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,EAC5D,KAAK,EAAE,MAAM,EACb,SAAS,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,OAAO,EAC5C,IAAI,EAAE,MAAM,GACX,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC,CActD"}

package/dist/builders/modifier.js

@@ -0,0 +1,67 @@
+/**
+ * @file modifier.ts
+ * @brief Presence, lazy, and refinement guard builders.
+ */
+import { SchemaTag } from "../kind/index.js";
+import { BaseGuard } from "../guard/index.js";
+import { isStrictTrue, readGuardSchema } from "../internal/index.js";
+/**
+ * @brief optional.
+ */
+export function optional(guard) {
+    return new BaseGuard({
+        tag: SchemaTag.Optional,
+        inner: readGuardSchema(guard, "optional inner")
+    });
+}
+/**
+ * @brief undefinedable.
+ */
+export function undefinedable(guard) {
+    return new BaseGuard({
+        tag: SchemaTag.Undefinedable,
+        inner: readGuardSchema(guard, "undefinedable inner")
+    });
+}
+/**
+ * @brief nullable.
+ */
+export function nullable(guard) {
+    return new BaseGuard({
+        tag: SchemaTag.Nullable,
+        inner: readGuardSchema(guard, "nullable inner")
+    });
+}
+/**
+ * @brief lazy.
+ */
+export function lazy(get) {
+    if (typeof get !== "function") {
+        throw new TypeError("lazy resolver must be a function");
+    }
+    let cached;
+    return new BaseGuard({
+        tag: SchemaTag.Lazy,
+        get: () => {
+            cached ??= readGuardSchema(get(), "lazy result");
+            return cached;
+        }
+    });
+}
+/**
+ * @brief refine.
+ */
+export function refine(guard, predicate, name) {
+    if (typeof predicate !== "function") {
+        throw new TypeError("refinement predicate must be a function");
+    }
+    if (typeof name !== "string") {
+        throw new TypeError("refinement name must be a string");
+    }
+    return new BaseGuard({
+        tag: SchemaTag.Refine,
+        inner: readGuardSchema(guard, "refine inner"),
+        predicate: (value) => isStrictTrue(predicate(value)),
+        name
+    });
+}

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

@@ -0,0 +1,62 @@
+/**
+ * @file guard.ts
+ * @brief Object guard class and object builder API.
+ */
+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";
+/**
+ * @brief Guard subclass with object-specific shape operations.
+ *
+ * @invariant Methods preserve the original object mode. Strict schemas stay
+ * strict after shape edits; passthrough schemas stay passthrough.
+ */
+export declare class ObjectGuard<TShape extends ObjectShape, TMode extends ObjectGuardMode> extends BaseGuard<InferObject<TShape>> {
+    /**
+     * @brief constructor.
+         * @post The receiver is initialized according to the class invariant before it can be observed.
+     */
+    constructor(schema: ObjectSchema);
+    /**
+     * @brief extend.
+           */
+    extend<const TExtension extends ObjectShape>(extension: TExtension): ObjectGuard<MergeObjectShapes<TShape, TExtension>, TMode>;
+    /**
+     * @brief pick.
+           */
+    pick<const TKeys extends readonly StringKeyOf<TShape>[]>(keys: TKeys): ObjectGuard<PickObjectShape<TShape, TKeys[number]>, TMode>;
+    /**
+     * @brief omit.
+           */
+    omit<const TKeys extends readonly StringKeyOf<TShape>[]>(keys: TKeys): ObjectGuard<OmitObjectShape<TShape, TKeys[number]>, TMode>;
+    /**
+     * @brief partial.
+         */
+    partial(): ObjectGuard<PartialObjectShape<TShape>, TMode>;
+}
+/**
+ * @brief object.
+ */
+export declare function object<const TShape extends ObjectShape>(shape: TShape): ObjectGuard<TShape, typeof ObjectModeTag.Passthrough>;
+/**
+ * @brief strict object.
+ */
+export declare function strictObject<const TShape extends ObjectShape>(shape: TShape): ObjectGuard<TShape, typeof ObjectModeTag.Strict>;
+/**
+ * @brief extend.
+ */
+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 pick.
+ */
+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>;
+/**
+ * @brief omit.
+ */
+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>;
+/**
+ * @brief partial.
+ */
+export declare function partial<const TShape extends ObjectShape, TMode extends ObjectGuardMode>(guard: ObjectGuard<TShape, TMode>): ObjectGuard<PartialObjectShape<TShape>, TMode>;
+//# sourceMappingURL=guard.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"guard.d.ts","sourceRoot":"","sources":["../../../src/builders/object/guard.ts"],"names":[],"mappings":"AAAA;;;GAGG;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,EACV,eAAe,EACf,WAAW,EACX,WAAW,EACX,iBAAiB,EACjB,eAAe,EACf,kBAAkB,EAClB,eAAe,EACf,WAAW,EACZ,MAAM,YAAY,CAAC;AAYpB;;;;;GAKG;AACH,qBAAa,WAAW,CACtB,MAAM,SAAS,WAAW,EAC1B,KAAK,SAAS,eAAe,CAC7B,SAAQ,SAAS,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IAEtC;;;OAGG;gBACgB,MAAM,EAAE,YAAY;IAKvC;;aAES;IACF,MAAM,CAAC,KAAK,CAAC,UAAU,SAAS,WAAW,EAChD,SAAS,EAAE,UAAU,GACpB,WAAW,CAAC,iBAAiB,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE,KAAK,CAAC;IAI5D;;aAES;IACF,IAAI,CAAC,KAAK,CAAC,KAAK,SAAS,SAAS,WAAW,CAAC,MAAM,CAAC,EAAE,EAC5D,IAAI,EAAE,KAAK,GACV,WAAW,CAAC,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC;IAI7D;;aAES;IACF,IAAI,CAAC,KAAK,CAAC,KAAK,SAAS,SAAS,WAAW,CAAC,MAAM,CAAC,EAAE,EAC5D,IAAI,EAAE,KAAK,GACV,WAAW,CAAC,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC;IAI7D;;WAEO;IACA,OAAO,IAAI,WAAW,CAAC,kBAAkB,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC;CAGjE;AAED;;GAEG;AACH,wBAAgB,MAAM,CAAC,KAAK,CAAC,MAAM,SAAS,WAAW,EACrD,KAAK,EAAE,MAAM,GACZ,WAAW,CAAC,MAAM,EAAE,OAAO,aAAa,CAAC,WAAW,CAAC,CAIvD;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,KAAK,CAAC,MAAM,SAAS,WAAW,EAC3D,KAAK,EAAE,MAAM,GACZ,WAAW,CAAC,MAAM,EAAE,OAAO,aAAa,CAAC,MAAM,CAAC,CAIlD;AAED;;GAEG;AACH,wBAAgB,MAAM,CACpB,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,GACpB,WAAW,CAAC,iBAAiB,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE,KAAK,CAAC,CAE3D;AAED;;GAEG;AACH,wBAAgB,IAAI,CAClB,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,GACV,WAAW,CAAC,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAE5D;AAED;;GAEG;AACH,wBAAgB,IAAI,CAClB,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,GACV,WAAW,CAAC,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAE5D;AAED;;GAEG;AACH,wBAAgB,OAAO,CACrB,KAAK,CAAC,MAAM,SAAS,WAAW,EAChC,KAAK,SAAS,eAAe,EAE7B,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,GAChC,WAAW,CAAC,kBAAkB,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,CAEhD"}

package/dist/builders/object/guard.js

@@ -0,0 +1,113 @@
+/**
+ * @file guard.ts
+ * @brief Object guard class and object builder API.
+ */
+import { ObjectModeTag } from "../../kind/index.js";
+import { BaseGuard } from "../../guard/index.js";
+import { mergeObjectSchemas, objectSchema, omitObjectSchema, partialObjectSchema, pickObjectSchema, readObjectConstructorSchema, readObjectKeySelection, readObjectMethodSchema } from "./schema.js";
+/**
+ * @brief Guard subclass with object-specific shape operations.
+ *
+ * @invariant Methods preserve the original object mode. Strict schemas stay
+ * strict after shape edits; passthrough schemas stay passthrough.
+ */
+export class ObjectGuard extends BaseGuard {
+    /**
+     * @brief constructor.
+         * @post The receiver is initialized according to the class invariant before it can be observed.
+     */
+    constructor(schema) {
+        super(readObjectConstructorSchema(schema));
+        Object.freeze(this);
+    }
+    /**
+     * @brief extend.
+           */
+    extend(extension) {
+        return extendObjectGuard(this, extension);
+    }
+    /**
+     * @brief pick.
+           */
+    pick(keys) {
+        return pickObjectGuard(this, keys);
+    }
+    /**
+     * @brief omit.
+           */
+    omit(keys) {
+        return omitObjectGuard(this, keys);
+    }
+    /**
+     * @brief partial.
+         */
+    partial() {
+        return partialObjectGuard(this);
+    }
+}
+/**
+ * @brief object.
+ */
+export function object(shape) {
+    return new ObjectGuard(objectSchema(shape, ObjectModeTag.Passthrough));
+}
+/**
+ * @brief strict object.
+ */
+export function strictObject(shape) {
+    return new ObjectGuard(objectSchema(shape, ObjectModeTag.Strict));
+}
+/**
+ * @brief extend.
+ */
+export function extend(guard, extension) {
+    return extendObjectGuard(guard, extension);
+}
+/**
+ * @brief pick.
+ */
+export function pick(guard, keys) {
+    return pickObjectGuard(guard, keys);
+}
+/**
+ * @brief omit.
+ */
+export function omit(guard, keys) {
+    return omitObjectGuard(guard, keys);
+}
+/**
+ * @brief partial.
+ */
+export function partial(guard) {
+    return partialObjectGuard(guard);
+}
+/**
+ * @brief extend object guard.
+ */
+function extendObjectGuard(guard, extension) {
+    const schema = readObjectMethodSchema(guard, "object extend receiver");
+    return new ObjectGuard(mergeObjectSchemas(schema, objectSchema(extension, schema.mode)));
+}
+/**
+ * @brief pick object guard.
+ */
+function pickObjectGuard(guard, keys) {
+    const schema = readObjectMethodSchema(guard, "object pick receiver");
+    const selection = readObjectKeySelection(keys, schema, "pick keys");
+    return new ObjectGuard(pickObjectSchema(schema, selection));
+}
+/**
+ * @brief omit object guard.
+ */
+function omitObjectGuard(guard, keys) {
+    const schema = readObjectMethodSchema(guard, "object omit receiver");
+    const selection = readObjectKeySelection(keys, schema, "omit keys");
+    return new ObjectGuard(omitObjectSchema(schema, selection));
+}
+/**
+ * @brief partial object guard.
+ */
+function partialObjectGuard(guard) {
+    const schema = readObjectMethodSchema(guard, "object partial receiver");
+    return new ObjectGuard(partialObjectSchema(schema));
+}

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

@@ -0,0 +1,7 @@
+/**
+ * @file index.ts
+ * @brief Public object builder aggregation.
+ */
+export { ObjectGuard, extend, object, omit, partial, pick, strictObject } from "./guard.js";
+export type { InferObject, MergeObjectShapes, ObjectGuardMode, ObjectShape, OmitObjectShape, PartialObjectShape, PickObjectShape } from "./types.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/builders/object/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,WAAW,EACX,MAAM,EACN,MAAM,EACN,IAAI,EACJ,OAAO,EACP,IAAI,EACJ,YAAY,EACb,MAAM,YAAY,CAAC;AACpB,YAAY,EACV,WAAW,EACX,iBAAiB,EACjB,eAAe,EACf,WAAW,EACX,eAAe,EACf,kBAAkB,EAClB,eAAe,EAChB,MAAM,YAAY,CAAC"}

package/dist/builders/object/index.js

@@ -0,0 +1,5 @@
+/**
+ * @file index.ts
+ * @brief Public object builder aggregation.
+ */
+export { ObjectGuard, extend, object, omit, partial, pick, strictObject } from "./guard.js";

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

@@ -0,0 +1,44 @@
+/**
+ * @file schema.ts
+ * @brief Object schema construction and shape rewrites.
+ */
+import { ObjectModeTag } from "../../kind/index.js";
+import type { ObjectEntry, ObjectSchema } from "../../schema/index.js";
+import type { ObjectShape } from "./types.js";
+/**
+ * @brief object schema.
+ */
+export declare function objectSchema(shape: ObjectShape, mode: ObjectModeTag): ObjectSchema;
+/**
+ * @brief object schema from entries.
+ */
+export declare function objectSchemaFromEntries(sourceEntries: readonly ObjectEntry[], mode: ObjectModeTag): ObjectSchema;
+/**
+ * @brief read object constructor schema.
+ */
+export declare function readObjectConstructorSchema(schema: unknown): ObjectSchema;
+/**
+ * @brief read object method schema.
+ */
+export declare function readObjectMethodSchema(guard: unknown, label: string): ObjectSchema;
+/**
+ * @brief merge object schemas.
+ */
+export declare function mergeObjectSchemas(base: ObjectSchema, extension: ObjectSchema): ObjectSchema;
+/**
+ * @brief pick object schema.
+ */
+export declare function pickObjectSchema(schema: ObjectSchema, keys: readonly string[]): ObjectSchema;
+/**
+ * @brief omit object schema.
+ */
+export declare function omitObjectSchema(schema: ObjectSchema, keys: readonly string[]): ObjectSchema;
+/**
+ * @brief partial object schema.
+ */
+export declare function partialObjectSchema(schema: ObjectSchema): ObjectSchema;
+/**
+ * @brief read object key selection.
+ */
+export declare function readObjectKeySelection(keys: unknown, schema: ObjectSchema, label: string): readonly string[];
+//# sourceMappingURL=schema.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../../src/builders/object/schema.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,aAAa,EAGd,MAAM,qBAAqB,CAAC;AAO7B,OAAO,KAAK,EACV,WAAW,EAEX,YAAY,EAEb,MAAM,uBAAuB,CAAC;AAE/B,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAU9C;;GAEG;AACH,wBAAgB,YAAY,CAC1B,KAAK,EAAE,WAAW,EAClB,IAAI,EAAE,aAAa,GAClB,YAAY,CAsBd;AAED;;GAEG;AACH,wBAAgB,uBAAuB,CACrC,aAAa,EAAE,SAAS,WAAW,EAAE,EACrC,IAAI,EAAE,aAAa,GAClB,YAAY,CAuBd;AAED;;GAEG;AACH,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,OAAO,GAAG,YAAY,CAKzE;AAED;;GAEG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,GAAG,YAAY,CAMlF;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,YAAY,EAClB,SAAS,EAAE,YAAY,GACtB,YAAY,CAed;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,YAAY,EACpB,IAAI,EAAE,SAAS,MAAM,EAAE,GACtB,YAAY,CAad;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,YAAY,EACpB,IAAI,EAAE,SAAS,MAAM,EAAE,GACtB,YAAY,CASd;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,YAAY,GAAG,YAAY,CAatE;AAED;;GAEG;AACH,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,OAAO,EACb,MAAM,EAAE,YAAY,EACpB,KAAK,EAAE,MAAM,GACZ,SAAS,MAAM,EAAE,CAmBnB"}