typesea 0.1.0

package/dist/guard/props.js

@@ -0,0 +1,35 @@
+/**
+ * @file props.ts
+ * @brief Guard object shape helpers.
+ */
+export function defineReadonlyProperty(target, key, value, enumerable) {
+    Object.defineProperty(target, key, {
+        configurable: false,
+        enumerable,
+        value,
+        writable: false
+    });
+}
+/**
+ * @brief is strict true.
+ */
+export function isStrictTrue(value) {
+    return value === true;
+}
+/**
+ * @brief is record.
+ */
+export function isRecord(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+/**
+ * @brief is plain reg exp.
+ */
+export function isPlainRegExp(value) {
+    return value instanceof RegExp &&
+        Object.getPrototypeOf(value) === RegExp.prototype &&
+        !Object.prototype.hasOwnProperty.call(value, "exec") &&
+        !Object.prototype.hasOwnProperty.call(value, "test") &&
+        !Object.prototype.hasOwnProperty.call(value, "source") &&
+        !Object.prototype.hasOwnProperty.call(value, "flags");
+}

package/dist/guard/read.d.ts

@@ -0,0 +1,42 @@
+/**
+ * @file read.ts
+ * @brief Guard receiver and constructor validation.
+ */
+import type { NumberSchema, Schema, StringSchema } from "../schema/index.js";
+/**
+ * @brief read guard schema.
+ */
+export declare function readGuardSchema(guard: unknown, label: string): Schema;
+/**
+ * @brief read string method schema.
+ */
+export declare function readStringMethodSchema(guard: unknown, label: string): StringSchema;
+/**
+ * @brief read number method schema.
+ */
+export declare function readNumberMethodSchema(guard: unknown, label: string): NumberSchema;
+/**
+ * @brief read constructor schema.
+ */
+export declare function readConstructorSchema(schema: unknown): Schema;
+/**
+ * @brief read string constructor schema.
+ */
+export declare function readStringConstructorSchema(schema: unknown): StringSchema;
+/**
+ * @brief read number constructor schema.
+ */
+export declare function readNumberConstructorSchema(schema: unknown): NumberSchema;
+/**
+ * @brief check refinement input.
+ */
+export declare function checkRefinementInput(predicate: unknown, name: unknown): asserts predicate is (value: unknown) => boolean;
+/**
+ * @brief check string length bound.
+ */
+export declare function checkStringLengthBound(value: number, label: string): number;
+/**
+ * @brief check finite number bound.
+ */
+export declare function checkFiniteNumberBound(value: number, label: string): number;
+//# sourceMappingURL=read.d.ts.map

package/dist/guard/read.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"read.d.ts","sourceRoot":"","sources":["../../src/guard/read.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAK7E;;GAEG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,MAAM,GACZ,MAAM,CAYR;AAED;;GAEG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,GAAG,YAAY,CAalF;AAED;;GAEG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,GAAG,YAAY,CAalF;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,CAK7D;AAED;;GAEG;AACH,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,OAAO,GAAG,YAAY,CAKzE;AAED;;GAEG;AACH,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,OAAO,GAAG,YAAY,CAKzE;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAClC,SAAS,EAAE,OAAO,EAClB,IAAI,EAAE,OAAO,GACZ,OAAO,CAAC,SAAS,IAAI,CAAC,KAAK,EAAE,OAAO,KAAK,OAAO,CAOlD;AAED;;GAEG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAK3E;AAED;;GAEG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAK3E"}

package/dist/guard/read.js

@@ -0,0 +1,114 @@
+/**
+ * @file read.ts
+ * @brief Guard receiver and constructor validation.
+ */
+import { SchemaTag } from "../kind/index.js";
+import { freezeSchema, isSchemaValue } from "../schema/index.js";
+import { isRecord } from "./props.js";
+import { isConstructedGuard } from "./registry.js";
+/**
+ * @brief read guard schema.
+ */
+export function readGuardSchema(guard, label) {
+    if (isConstructedGuard(guard)) {
+        return guard.schema;
+    }
+    if (!isRecord(guard)) {
+        throw new TypeError(`${label} must be a TypeSea guard`);
+    }
+    const schema = guard["schema"];
+    if (!isSchemaValue(schema)) {
+        throw new TypeError(`${label} must contain a valid TypeSea schema`);
+    }
+    return schema;
+}
+/**
+ * @brief read string method schema.
+ */
+export function readStringMethodSchema(guard, label) {
+    if (isConstructedGuard(guard)) {
+        const schema = guard.schema;
+        if (schema.tag !== SchemaTag.String) {
+            throw new TypeError(`${label} must be a string TypeSea guard`);
+        }
+        return schema;
+    }
+    const schema = readGuardSchema(guard, label);
+    if (schema.tag !== SchemaTag.String) {
+        throw new TypeError(`${label} must be a string TypeSea guard`);
+    }
+    return schema;
+}
+/**
+ * @brief read number method schema.
+ */
+export function readNumberMethodSchema(guard, label) {
+    if (isConstructedGuard(guard)) {
+        const schema = guard.schema;
+        if (schema.tag !== SchemaTag.Number) {
+            throw new TypeError(`${label} must be a number TypeSea guard`);
+        }
+        return schema;
+    }
+    const schema = readGuardSchema(guard, label);
+    if (schema.tag !== SchemaTag.Number) {
+        throw new TypeError(`${label} must be a number TypeSea guard`);
+    }
+    return schema;
+}
+/**
+ * @brief read constructor schema.
+ */
+export function readConstructorSchema(schema) {
+    if (!isSchemaValue(schema)) {
+        throw new TypeError("guard constructor requires a valid TypeSea schema");
+    }
+    return freezeSchema(schema);
+}
+/**
+ * @brief read string constructor schema.
+ */
+export function readStringConstructorSchema(schema) {
+    if (!isSchemaValue(schema) || schema.tag !== SchemaTag.String) {
+        throw new TypeError("StringGuard constructor requires a string schema");
+    }
+    return schema;
+}
+/**
+ * @brief read number constructor schema.
+ */
+export function readNumberConstructorSchema(schema) {
+    if (!isSchemaValue(schema) || schema.tag !== SchemaTag.Number) {
+        throw new TypeError("NumberGuard constructor requires a number schema");
+    }
+    return schema;
+}
+/**
+ * @brief check refinement input.
+ */
+export function checkRefinementInput(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");
+    }
+}
+/**
+ * @brief check string length bound.
+ */
+export function checkStringLengthBound(value, label) {
+    if (!Number.isInteger(value) || value < 0) {
+        throw new RangeError(`${label} length bound must be a non-negative integer`);
+    }
+    return value;
+}
+/**
+ * @brief check finite number bound.
+ */
+export function checkFiniteNumberBound(value, label) {
+    if (typeof value !== "number" || !Number.isFinite(value)) {
+        throw new RangeError(`${label} numeric bound must be finite`);
+    }
+    return value;
+}

package/dist/guard/registry.d.ts

@@ -0,0 +1,15 @@
+/**
+ * @file registry.ts
+ * @brief Constructed guard receiver registry.
+ */
+import type { BaseGuard } from "./base.js";
+import type { Presence } from "./types.js";
+/**
+ * @brief register constructed guard.
+ */
+export declare function registerConstructedGuard(value: object): void;
+/**
+ * @brief is constructed guard.
+ */
+export declare function isConstructedGuard(value: unknown): value is BaseGuard<unknown, Presence>;
+//# sourceMappingURL=registry.d.ts.map

package/dist/guard/registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../../src/guard/registry.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAQ3C;;GAEG;AACH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAE5D;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,OAAO,GACb,KAAK,IAAI,SAAS,CAAC,OAAO,EAAE,QAAQ,CAAC,CAEvC"}

package/dist/guard/registry.js

@@ -0,0 +1,21 @@
+/**
+ * @file registry.ts
+ * @brief Constructed guard receiver registry.
+ */
+import { isRecord } from "./props.js";
+/**
+ * @brief constructed guards.
+ */
+const constructedGuards = new WeakSet();
+/**
+ * @brief register constructed guard.
+ */
+export function registerConstructedGuard(value) {
+    constructedGuards.add(value);
+}
+/**
+ * @brief is constructed guard.
+ */
+export function isConstructedGuard(value) {
+    return isRecord(value) && constructedGuards.has(value);
+}

package/dist/guard/string.d.ts

@@ -0,0 +1,36 @@
+/**
+ * @file string.ts
+ * @brief String guard implementation.
+ */
+import type { StringSchema } from "../schema/index.js";
+import { BaseGuard } from "./base.js";
+import type { Presence } from "./types.js";
+/**
+ * @brief string guard.
+ * @details Owns its state directly; methods expose receiver checks and explicit result flow.
+ * @invariant Construction leaves the instance in a fully usable state before it escapes.
+ */
+export declare class StringGuard<TPresence extends Presence = "required"> extends BaseGuard<string, TPresence> {
+    /**
+     * @brief constructor.
+         * @post The receiver is initialized according to the class invariant before it can be observed.
+     */
+    constructor(schema: StringSchema);
+    /**
+     * @brief min.
+           */
+    min(value: number): StringGuard<TPresence>;
+    /**
+     * @brief max.
+           */
+    max(value: number): StringGuard<TPresence>;
+    /**
+     * @brief regex.
+             */
+    regex(pattern: RegExp, name: string): StringGuard<TPresence>;
+    /**
+     * @brief uuid.
+         */
+    uuid(): StringGuard<TPresence>;
+}
+//# sourceMappingURL=string.d.ts.map

package/dist/guard/string.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"string.d.ts","sourceRoot":"","sources":["../../src/guard/string.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAOtC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAE3C;;;;GAIG;AACH,qBAAa,WAAW,CACtB,SAAS,SAAS,QAAQ,GAAG,UAAU,CACvC,SAAQ,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC;IAEpC;;;OAGG;gBACgB,MAAM,EAAE,YAAY;IAKvC;;aAES;IACF,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC;IAejD;;aAES;IACF,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC;IAejD;;eAEW;IACJ,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC;IAqBnE;;WAEO;IACA,IAAI,IAAI,WAAW,CAAC,SAAS,CAAC;CAYtC"}

package/dist/guard/string.js

@@ -0,0 +1,95 @@
+/**
+ * @file string.ts
+ * @brief String guard implementation.
+ */
+import { SchemaTag, StringCheckTag } from "../kind/index.js";
+import { BaseGuard } from "./base.js";
+import { isPlainRegExp } from "./props.js";
+import { checkStringLengthBound, readStringConstructorSchema, readStringMethodSchema } from "./read.js";
+/**
+ * @brief string guard.
+ * @details Owns its state directly; methods expose receiver checks and explicit result flow.
+ * @invariant Construction leaves the instance in a fully usable state before it escapes.
+ */
+export class StringGuard extends BaseGuard {
+    /**
+     * @brief constructor.
+         * @post The receiver is initialized according to the class invariant before it can be observed.
+     */
+    constructor(schema) {
+        super(readStringConstructorSchema(schema));
+        Object.freeze(this);
+    }
+    /**
+     * @brief min.
+           */
+    min(value) {
+        const schema = readStringMethodSchema(this, "string min receiver");
+        const bound = checkStringLengthBound(value, "min");
+        return new StringGuard({
+            tag: SchemaTag.String,
+            checks: [
+                ...schema.checks,
+                {
+                    tag: StringCheckTag.Min,
+                    value: bound
+                }
+            ]
+        });
+    }
+    /**
+     * @brief max.
+           */
+    max(value) {
+        const schema = readStringMethodSchema(this, "string max receiver");
+        const bound = checkStringLengthBound(value, "max");
+        return new StringGuard({
+            tag: SchemaTag.String,
+            checks: [
+                ...schema.checks,
+                {
+                    tag: StringCheckTag.Max,
+                    value: bound
+                }
+            ]
+        });
+    }
+    /**
+     * @brief regex.
+             */
+    regex(pattern, name) {
+        if (!isPlainRegExp(pattern)) {
+            throw new TypeError("regex pattern must be a plain RegExp");
+        }
+        if (typeof name !== "string") {
+            throw new TypeError("regex name must be a string");
+        }
+        const schema = readStringMethodSchema(this, "string regex receiver");
+        return new StringGuard({
+            tag: SchemaTag.String,
+            checks: [
+                ...schema.checks,
+                {
+                    tag: StringCheckTag.Regex,
+                    regex: new RegExp(pattern.source, pattern.flags),
+                    name
+                }
+            ]
+        });
+    }
+    /**
+     * @brief uuid.
+         */
+    uuid() {
+        const schema = readStringMethodSchema(this, "string uuid receiver");
+        return new StringGuard({
+            tag: SchemaTag.String,
+            checks: [
+                ...schema.checks,
+                {
+                    tag: StringCheckTag.Uuid
+                }
+            ]
+        });
+    }
+}

package/dist/guard/types.d.ts

@@ -0,0 +1,103 @@
+/**
+ * @file types.ts
+ * @brief Public guard type contracts.
+ */
+import type { CheckResult } from "../issue/index.js";
+import type { Graph } from "../ir/index.js";
+import type { Schema } from "../schema/index.js";
+import type { BaseGuard } from "./base.js";
+/**
+ * @brief type symbol.
+ */
+export declare const TypeSymbol: unique symbol;
+/**
+ * @brief presence symbol.
+ */
+export declare const PresenceSymbol: unique symbol;
+/**
+ * @brief brand symbol.
+ */
+export declare const BrandSymbol: unique symbol;
+/**
+ * @brief presence.
+ */
+export type Presence = "required" | "optional";
+/**
+ * @brief runtime value.
+ */
+export type RuntimeValue<TValue, TPresence extends Presence> = TPresence extends "optional" ? TValue | undefined : TValue;
+/**
+ * @brief infer.
+ */
+export type Infer<TGuard> = TGuard extends Guard<infer TValue, infer TPresence> ? RuntimeValue<TValue, TPresence> : never;
+/**
+ * @brief guard value.
+ */
+export type GuardValue<TGuard> = TGuard extends Guard<infer TValue, Presence> ? TValue : never;
+/**
+ * @brief guard presence.
+ */
+export type GuardPresence<TGuard> = TGuard extends Guard<unknown, infer TPresence> ? TPresence : never;
+/**
+ * @brief brand.
+ */
+export type Brand<TValue, TBrand extends string> = TValue & {
+    readonly [BrandSymbol]: TBrand;
+};
+/**
+ * @brief guard.
+ */
+export interface Guard<TValue, TPresence extends Presence = "required"> {
+    readonly [TypeSymbol]: TValue;
+    readonly [PresenceSymbol]: TPresence;
+    readonly schema: Schema;
+    /**
+     * @brief is.
+           */
+    is(value: unknown): value is RuntimeValue<TValue, TPresence>;
+    /**
+     * @brief check.
+           */
+    check(value: unknown): CheckResult<RuntimeValue<TValue, TPresence>>;
+    /**
+     * @brief assert.
+           */
+    assert(value: unknown): asserts value is RuntimeValue<TValue, TPresence>;
+    /**
+     * @brief graph.
+         */
+    graph(): Graph;
+    /**
+     * @brief optional.
+         */
+    optional(): BaseGuard<TValue, "optional">;
+    /**
+     * @brief undefinedable.
+         */
+    undefinedable(): BaseGuard<TValue | undefined, TPresence>;
+    /**
+     * @brief nullable.
+         */
+    nullable(): BaseGuard<TValue | null, TPresence>;
+    /**
+     * @brief array.
+         */
+    array(): BaseGuard<RuntimeValue<TValue, TPresence>[]>;
+    /**
+     * @brief brand.
+         */
+    brand<TBrand extends string>(): BaseGuard<Brand<TValue, TBrand>, TPresence>;
+    /**
+     * @brief refine.
+             */
+    refine(predicate: (value: RuntimeValue<TValue, TPresence>) => boolean, name: string): BaseGuard<TValue, TPresence>;
+    /**
+     * @brief or.
+           */
+    or<TOther extends Guard<unknown, Presence>>(other: TOther): BaseGuard<RuntimeValue<TValue, TPresence> | Infer<TOther>>;
+    /**
+     * @brief intersect.
+           */
+    intersect<TOther extends Guard<unknown, Presence>>(other: TOther): BaseGuard<RuntimeValue<TValue, TPresence> & Infer<TOther>>;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/guard/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/guard/types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAC5C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAE3C;;GAEG;AACH,MAAM,CAAC,OAAO,CAAC,MAAM,UAAU,EAAE,OAAO,MAAM,CAAC;AAE/C;;GAEG;AACH,MAAM,CAAC,OAAO,CAAC,MAAM,cAAc,EAAE,OAAO,MAAM,CAAC;AAEnD;;GAEG;AACH,MAAM,CAAC,OAAO,CAAC,MAAM,WAAW,EAAE,OAAO,MAAM,CAAC;AAEhD;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG,UAAU,GAAG,UAAU,CAAC;AAE/C;;GAEG;AACH,MAAM,MAAM,YAAY,CAAC,MAAM,EAAE,SAAS,SAAS,QAAQ,IACzD,SAAS,SAAS,UAAU,GAAG,MAAM,GAAG,SAAS,GAAG,MAAM,CAAC;AAE7D;;GAEG;AACH,MAAM,MAAM,KAAK,CAAC,MAAM,IACtB,MAAM,SAAS,KAAK,CAAC,MAAM,MAAM,EAAE,MAAM,SAAS,CAAC,GAC/C,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,GAC/B,KAAK,CAAC;AAEZ;;GAEG;AACH,MAAM,MAAM,UAAU,CAAC,MAAM,IAC3B,MAAM,SAAS,KAAK,CAAC,MAAM,MAAM,EAAE,QAAQ,CAAC,GAAG,MAAM,GAAG,KAAK,CAAC;AAEhE;;GAEG;AACH,MAAM,MAAM,aAAa,CAAC,MAAM,IAC9B,MAAM,SAAS,KAAK,CAAC,OAAO,EAAE,MAAM,SAAS,CAAC,GAAG,SAAS,GAAG,KAAK,CAAC;AAErE;;GAEG;AACH,MAAM,MAAM,KAAK,CAAC,MAAM,EAAE,MAAM,SAAS,MAAM,IAAI,MAAM,GAAG;IAC1D,QAAQ,CAAC,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAChC,CAAC;AAEF;;GAEG;AACH,MAAM,WAAW,KAAK,CAAC,MAAM,EAAE,SAAS,SAAS,QAAQ,GAAG,UAAU;IACpE,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,CAAC,cAAc,CAAC,EAAE,SAAS,CAAC;IACrC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAExB;;aAES;IACT,EAAE,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAE7D;;aAES;IACT,KAAK,CAAC,KAAK,EAAE,OAAO,GAAG,WAAW,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;IAEpE;;aAES;IACT,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,KAAK,IAAI,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAEzE;;WAEO;IACP,KAAK,IAAI,KAAK,CAAC;IAEf;;WAEO;IACP,QAAQ,IAAI,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAE1C;;WAEO;IACP,aAAa,IAAI,SAAS,CAAC,MAAM,GAAG,SAAS,EAAE,SAAS,CAAC,CAAC;IAE1D;;WAEO;IACP,QAAQ,IAAI,SAAS,CAAC,MAAM,GAAG,IAAI,EAAE,SAAS,CAAC,CAAC;IAEhD;;WAEO;IACP,KAAK,IAAI,SAAS,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC;IAEtD;;WAEO;IACP,KAAK,CAAC,MAAM,SAAS,MAAM,KAAK,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,SAAS,CAAC,CAAC;IAE5E;;eAEW;IACX,MAAM,CACJ,SAAS,EAAE,CAAC,KAAK,EAAE,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,KAAK,OAAO,EAC9D,IAAI,EAAE,MAAM,GACX,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAEhC;;aAES;IACT,EAAE,CAAC,MAAM,SAAS,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,EACxC,KAAK,EAAE,MAAM,GACZ,SAAS,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAE9D;;aAES;IACT,SAAS,CAAC,MAAM,SAAS,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,EAC/C,KAAK,EAAE,MAAM,GACZ,SAAS,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;CAC/D"}

package/dist/guard/types.js

@@ -0,0 +1,5 @@
+/**
+ * @file types.ts
+ * @brief Public guard type contracts.
+ */
+export {};

package/dist/index.d.ts

@@ -0,0 +1,14 @@
+export { t, array, bigintGuard, discriminatedUnion, extend, intersect, lazy, literal, nullable, neverGuard, object, omit, optional, partial, pick, record, refine, strictObject, symbolGuard, tuple, union, unknownGuard, undefinedable, type InferObject, type InferTuple, type MergeObjectShapes, type ObjectGuardMode, type ObjectShape, type OmitObjectShape, ObjectGuard, type PartialObjectShape, type PickObjectShape, type TupleShape } from "./builders/index.js";
+export { BaseGuard, NumberGuard, StringGuard, TypeSeaAssertionError, type Brand, type Guard, type GuardPresence, type GuardValue, type Infer, type Presence, type RuntimeValue } from "./guard/index.js";
+export { CompiledBaseGuard, compile, type CompileOptions, type CompiledGuard } from "./compile/index.js";
+export { emitAotModule, type AotCompileOptions, type AotIssue, type AotIssueCode, type AotModule } from "./aot/index.js";
+export { toAsyncTrpcParser, toFastifyRouteSchema, toFastifyValidatorCompiler, toReactHookFormResolver, toTrpcParser, type AsyncTrpcParser, type FastifyHttpPart, type FastifyRouteSchema, type FastifyRouteSchemaOptions, type FastifyValidationResult, type FastifyValidator, type FastifyValidatorCompiler, type FastifyValidatorCompilerSource, type FastifyValidatorCompilerSourceMap, type FastifyValidatorRoute, type InferAdapter, type InferSyncAdapter, type ReactHookFormErrors, type ReactHookFormFieldError, type ReactHookFormResolver, type ReactHookFormResolverOptions, type ReactHookFormResolverResult, type SyncAdapterSource, type TrpcParser } from "./adapters/index.js";
+export { BaseAsyncDecoder, asyncDecoder, asyncPipe, asyncRefine, asyncTransform, isAsyncDecoderValue, type AsyncDecodeSource, type AsyncDecoder, type InferAsyncDecoder } from "./async/index.js";
+export { BaseDecoder, coerce, coerceBoolean, coerceNumber, coerceString, decoder, isDecoderValue, pipe, transform, type DecodeSource, type Decoder, type InferDecoder } from "./decoder/index.js";
+export { schemaToJsonSchema, toJsonSchema, type JsonSchema, type JsonSchemaExportCode, type JsonSchemaExportIssue, type JsonSchemaObject, type JsonSchemaOptions, type JsonSchemaPrimitive, type JsonSchemaTypeName } from "./json-schema/index.js";
+export { defineMessages, formatIssue, formatIssues, withMessages, type IssueMessageCatalog, type IssueMessageContext, type IssueMessageFormatter, type IssueMessageOptions, type IssueMessageTemplate, type MessageLocale } from "./message/index.js";
+export type { CheckResult, Issue, IssueCode, PathSegment } from "./issue/index.js";
+export type { Graph, GraphNode, NodeId } from "./ir/index.js";
+export { optimizeGraph } from "./optimize/index.js";
+export type { LiteralValue, Schema } from "./schema/index.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,CAAC,EACD,KAAK,EACL,WAAW,EACX,kBAAkB,EAClB,MAAM,EACN,SAAS,EACT,IAAI,EACJ,OAAO,EACP,QAAQ,EACR,UAAU,EACV,MAAM,EACN,IAAI,EACJ,QAAQ,EACR,OAAO,EACP,IAAI,EACJ,MAAM,EACN,MAAM,EACN,YAAY,EACZ,WAAW,EACX,KAAK,EACL,KAAK,EACL,YAAY,EACZ,aAAa,EACb,KAAK,WAAW,EAChB,KAAK,UAAU,EACf,KAAK,iBAAiB,EACtB,KAAK,eAAe,EACpB,KAAK,WAAW,EAChB,KAAK,eAAe,EACpB,WAAW,EACX,KAAK,kBAAkB,EACvB,KAAK,eAAe,EACpB,KAAK,UAAU,EAChB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACL,SAAS,EACT,WAAW,EACX,WAAW,EACX,qBAAqB,EACrB,KAAK,KAAK,EACV,KAAK,KAAK,EACV,KAAK,aAAa,EAClB,KAAK,UAAU,EACf,KAAK,KAAK,EACV,KAAK,QAAQ,EACb,KAAK,YAAY,EAClB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACL,iBAAiB,EACjB,OAAO,EACP,KAAK,cAAc,EACnB,KAAK,aAAa,EACnB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EACL,aAAa,EACb,KAAK,iBAAiB,EACtB,KAAK,QAAQ,EACb,KAAK,YAAY,EACjB,KAAK,SAAS,EACf,MAAM,gBAAgB,CAAC;AAExB,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,0BAA0B,EAC1B,uBAAuB,EACvB,YAAY,EACZ,KAAK,eAAe,EACpB,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACvB,KAAK,yBAAyB,EAC9B,KAAK,uBAAuB,EAC5B,KAAK,gBAAgB,EACrB,KAAK,wBAAwB,EAC7B,KAAK,8BAA8B,EACnC,KAAK,iCAAiC,EACtC,KAAK,qBAAqB,EAC1B,KAAK,YAAY,EACjB,KAAK,gBAAgB,EACrB,KAAK,mBAAmB,EACxB,KAAK,uBAAuB,EAC5B,KAAK,qBAAqB,EAC1B,KAAK,4BAA4B,EACjC,KAAK,2BAA2B,EAChC,KAAK,iBAAiB,EACtB,KAAK,UAAU,EAChB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACL,gBAAgB,EAChB,YAAY,EACZ,SAAS,EACT,WAAW,EACX,cAAc,EACd,mBAAmB,EACnB,KAAK,iBAAiB,EACtB,KAAK,YAAY,EACjB,KAAK,iBAAiB,EACvB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACL,WAAW,EACX,MAAM,EACN,aAAa,EACb,YAAY,EACZ,YAAY,EACZ,OAAO,EACP,cAAc,EACd,IAAI,EACJ,SAAS,EACT,KAAK,YAAY,EACjB,KAAK,OAAO,EACZ,KAAK,YAAY,EAClB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EACL,kBAAkB,EAClB,YAAY,EACZ,KAAK,UAAU,EACf,KAAK,oBAAoB,EACzB,KAAK,qBAAqB,EAC1B,KAAK,gBAAgB,EACrB,KAAK,iBAAiB,EACtB,KAAK,mBAAmB,EACxB,KAAK,kBAAkB,EACxB,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EACL,cAAc,EACd,WAAW,EACX,YAAY,EACZ,YAAY,EACZ,KAAK,mBAAmB,EACxB,KAAK,mBAAmB,EACxB,KAAK,qBAAqB,EAC1B,KAAK,mBAAmB,EACxB,KAAK,oBAAoB,EACzB,KAAK,aAAa,EACnB,MAAM,oBAAoB,CAAC;AAE5B,YAAY,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AACnF,YAAY,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAC9D,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,YAAY,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC"}

package/dist/index.js

@@ -0,0 +1,10 @@
+export { t, array, bigintGuard, discriminatedUnion, extend, intersect, lazy, literal, nullable, neverGuard, object, omit, optional, partial, pick, record, refine, strictObject, symbolGuard, tuple, union, unknownGuard, undefinedable, ObjectGuard } from "./builders/index.js";
+export { BaseGuard, NumberGuard, StringGuard, TypeSeaAssertionError } from "./guard/index.js";
+export { CompiledBaseGuard, compile } from "./compile/index.js";
+export { emitAotModule } from "./aot/index.js";
+export { toAsyncTrpcParser, toFastifyRouteSchema, toFastifyValidatorCompiler, toReactHookFormResolver, toTrpcParser } from "./adapters/index.js";
+export { BaseAsyncDecoder, asyncDecoder, asyncPipe, asyncRefine, asyncTransform, isAsyncDecoderValue } from "./async/index.js";
+export { BaseDecoder, coerce, coerceBoolean, coerceNumber, coerceString, decoder, isDecoderValue, pipe, transform } from "./decoder/index.js";
+export { schemaToJsonSchema, toJsonSchema } from "./json-schema/index.js";
+export { defineMessages, formatIssue, formatIssues, withMessages } from "./message/index.js";
+export { optimizeGraph } from "./optimize/index.js";

package/dist/internal/index.d.ts

@@ -0,0 +1,34 @@
+/**
+ * @file internal.ts
+ * @brief Private helpers shared across TypeSea translation units.
+ *
+ * @invariant Values crossing a module boundary stay `unknown` until a local
+ * guard proves the shape needed by that module.
+ */
+import type { Guard, Presence } from "../guard/index.js";
+import { type Schema } from "../schema/index.js";
+/**
+ * @brief read guard schema.
+ */
+export declare function readGuardSchema(guard: unknown, label: string): Schema;
+/**
+ * @brief is record.
+ */
+export declare function isRecord(value: unknown): value is Readonly<Record<string, unknown>>;
+/**
+ * @brief is unknown array.
+ */
+export declare function isUnknownArray(value: unknown): value is readonly unknown[];
+/**
+ * @brief includes string.
+ */
+export declare function includesString(values: readonly string[], value: string): boolean;
+/**
+ * @brief is strict true.
+ */
+export declare function isStrictTrue(value: unknown): boolean;
+/**
+ * @brief is guard value.
+ */
+export declare function isGuardValue(value: unknown): value is Guard<unknown, Presence>;
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/internal/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AACzD,OAAO,EAAiB,KAAK,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAEhE;;GAEG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,MAAM,GACZ,MAAM,CASR;AAED;;GAEG;AACH,wBAAgB,QAAQ,CACtB,KAAK,EAAE,OAAO,GACb,KAAK,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAE5C;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,SAAS,OAAO,EAAE,CAE1E;AAED;;GAEG;AACH,wBAAgB,cAAc,CAC5B,MAAM,EAAE,SAAS,MAAM,EAAE,EACzB,KAAK,EAAE,MAAM,GACZ,OAAO,CAOT;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAEpD;AAED;;GAEG;AACH,wBAAgB,YAAY,CAC1B,KAAK,EAAE,OAAO,GACb,KAAK,IAAI,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,CAEnC"}

package/dist/internal/index.js

@@ -0,0 +1,56 @@
+/**
+ * @file internal.ts
+ * @brief Private helpers shared across TypeSea translation units.
+ *
+ * @invariant Values crossing a module boundary stay `unknown` until a local
+ * guard proves the shape needed by that module.
+ */
+import { isSchemaValue } from "../schema/index.js";
+/**
+ * @brief read guard schema.
+ */
+export function readGuardSchema(guard, label) {
+    if (!isRecord(guard)) {
+        throw new TypeError(`${label} must be a TypeSea guard`);
+    }
+    const schema = guard["schema"];
+    if (!isSchemaValue(schema)) {
+        throw new TypeError(`${label} must contain a valid TypeSea schema`);
+    }
+    return schema;
+}
+/**
+ * @brief is record.
+ */
+export function isRecord(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+/**
+ * @brief is unknown array.
+ */
+export function isUnknownArray(value) {
+    return Array.isArray(value);
+}
+/**
+ * @brief includes string.
+ */
+export function includesString(values, value) {
+    for (let index = 0; index < values.length; index += 1) {
+        if (values[index] === value) {
+            return true;
+        }
+    }
+    return false;
+}
+/**
+ * @brief is strict true.
+ */
+export function isStrictTrue(value) {
+    return value === true;
+}
+/**
+ * @brief is guard value.
+ */
+export function isGuardValue(value) {
+    return isRecord(value) && isSchemaValue(value["schema"]);
+}