typesea 0.1.0

package/dist/compile/source.js

@@ -0,0 +1,51 @@
+/**
+ * @file compile/source.ts
+ * @brief Generated validator source bundle assembly.
+ */
+import { emitCheckFunction, emitCheckFunctions } from "./check.js";
+import { createEmitContext } from "./context.js";
+import { emitGraphFunction, emitGraphFunctions } from "./graph-predicate.js";
+import { safeFunctionName } from "./names.js";
+/**
+ * @brief emit compiled source bundle.
+ */
+export function emitCompiledSourceBundle(schema, name) {
+    const context = createEmitContext();
+    const root = emitGraphFunction(schema, context);
+    const checkRoot = emitCheckFunction(schema, context);
+    const functionName = safeFunctionName(name);
+    const checkFunctionName = `${functionName}_check`;
+    const source = [
+        "\"use strict\";",
+        "const h=Object.prototype.hasOwnProperty;",
+        "const gp=Object.getOwnPropertyDescriptor;",
+        "const o=function(v){return typeof v===\"object\"&&v!==null&&!Array.isArray(v);};",
+        "const ph=function(v){return (typeof v===\"object\"&&v!==null)||typeof v===\"function\";};",
+        "const g=function(v,k){const d=gp(v,k);return d!==undefined&&h.call(d,\"value\")?d:undefined;};",
+        "const gv=function(v,k){if(!ph(v))return undefined;const d=gp(v,k);return d!==undefined&&h.call(d,\"value\")?d.value:undefined;};",
+        "const ho=function(v,k){return ph(v)&&h.call(v,k);};",
+        "const hd=function(v,k){if(!ph(v))return false;const d=gp(v,k);return d!==undefined&&h.call(d,\"value\");};",
+        "const fn=function(v){return typeof v===\"number\"&&Number.isFinite(v);};",
+        "const nc=function(x,y,gte){return typeof x===\"number\"&&typeof y===\"number\"&&(gte?x>=y:x<=y);};",
+        "const sb=function(v,b,min){return typeof v===\"string\"&&(min?v.length>=b:v.length<=b);};",
+        "const rx=function(v,re){if(typeof v!==\"string\")return false;re.lastIndex=0;const ok=re.test(v);re.lastIndex=0;return ok;};",
+        "const ea=function(v,f){if(!Array.isArray(v))return false;for(let i=0;i<v.length;i+=1){const d=gp(v,i);if(d!==undefined&&!h.call(d,\"value\"))return false;if(!f(d===undefined?undefined:d.value))return false;}return true;};",
+        "const ev=function(v,i,f){const d=gp(v,i);if(d!==undefined&&!h.call(d,\"value\"))return false;return f(d===undefined?undefined:d.value);};",
+        "const er=function(v,f){if(!o(v))return false;const ks=Object.keys(v);for(let i=0;i<ks.length;i+=1){const key=ks[i];if(key===undefined)return false;const d=gp(v,key);if(d===undefined||!h.call(d,\"value\")||!f(d.value))return false;}return true;};",
+        "const dj=function(v,key,ks){if(!o(v))return false;const d=g(v,key);if(d===undefined||typeof d.value!==\"string\")return false;const i=ks.indexOf(d.value);return i>=0&&arguments[i+3](v);};",
+        "const a=function(v){if(v===null)return \"null\";if(Array.isArray(v))return \"array\";if(typeof v===\"bigint\")return \"bigint\";if(typeof v===\"symbol\")return \"symbol\";if(typeof v===\"number\"&&Number.isNaN(v))return \"nan\";return typeof v;};",
+        "const le=function(v){if(v===null)return \"null\";if(v===undefined)return \"undefined\";if(typeof v===\"string\")return JSON.stringify(v);if(typeof v===\"number\"&&Object.is(v,-0))return \"-0\";if(typeof v===\"symbol\")return String(v);return String(v);};",
+        "const q=function(s,p,c,e,x){s.push({path:p.slice(),code:c,expected:e,actual:x,message:undefined});};",
+        emitGraphFunctions(context),
+        emitCheckFunctions(context),
+        `return {is:function ${functionName}(x){return ${root}(x);},check:function ${checkFunctionName}(x){const s=[];if(${root}(x))return s;${checkRoot}(x,[],s);return s;}};`
+    ].join("");
+    return {
+        source,
+        literals: context.literals,
+        regexps: context.regexps,
+        keysets: context.keysets,
+        strings: context.strings,
+        dynamicSchemas: context.schemas
+    };
+}

package/dist/compile/types.d.ts

@@ -0,0 +1,52 @@
+/**
+ * @file compile/types.ts
+ * @brief Shared compile-time data contracts.
+ */
+import type { Guard, Presence } from "../guard/index.js";
+import type { LiteralValue, Schema } from "../schema/index.js";
+/**
+ * @brief emit context.
+ */
+export interface EmitContext {
+    readonly literals: LiteralValue[];
+    readonly regexps: RegExp[];
+    readonly keysets: (readonly string[])[];
+    readonly strings: string[];
+    readonly schemas: Schema[];
+    readonly functions: FunctionSource[];
+    readonly functionNames: Map<Schema, string>;
+    readonly checkFunctions: FunctionSource[];
+    readonly checkFunctionNames: Map<Schema, string>;
+    readonly stringIndexes: Map<string, number>;
+}
+/**
+ * @brief function source.
+ */
+export interface FunctionSource {
+    readonly name: string;
+    body: string;
+}
+/**
+ * @brief compiled source bundle.
+ */
+export interface CompiledSourceBundle {
+    readonly source: string;
+    readonly literals: readonly LiteralValue[];
+    readonly regexps: readonly RegExp[];
+    readonly keysets: readonly (readonly string[])[];
+    readonly strings: readonly string[];
+    readonly dynamicSchemas: readonly Schema[];
+}
+/**
+ * @brief compiled guard.
+ */
+export interface CompiledGuard<TValue, TPresence extends Presence = "required"> extends Guard<TValue, TPresence> {
+    readonly source: string;
+}
+/**
+ * @brief compile options.
+ */
+export interface CompileOptions {
+    readonly name: string | undefined;
+}
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/compile/types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AACzD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAE/D;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,QAAQ,EAAE,YAAY,EAAE,CAAC;IAClC,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC;IACxC,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,cAAc,EAAE,CAAC;IACrC,QAAQ,CAAC,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC5C,QAAQ,CAAC,cAAc,EAAE,cAAc,EAAE,CAAC;IAC1C,QAAQ,CAAC,kBAAkB,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjD,QAAQ,CAAC,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC7C;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,SAAS,YAAY,EAAE,CAAC;IAC3C,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC;IACjD,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;CAC5C;AAED;;GAEG;AACH,MAAM,WAAW,aAAa,CAC5B,MAAM,EACN,SAAS,SAAS,QAAQ,GAAG,UAAU,CACvC,SAAQ,KAAK,CAAC,MAAM,EAAE,SAAS,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;CACnC"}

package/dist/compile/types.js

@@ -0,0 +1,5 @@
+/**
+ * @file compile/types.ts
+ * @brief Shared compile-time data contracts.
+ */
+export {};

package/dist/decoder/index.d.ts

@@ -0,0 +1,106 @@
+import type { Guard, Presence, RuntimeValue } from "../guard/index.js";
+import type { CheckResult } from "../issue/index.js";
+/**
+ * @brief decode runner.
+ */
+type DecodeRunner<TValue> = (value: unknown) => CheckResult<TValue>;
+/**
+ * @brief decoder run symbol.
+ */
+declare const DecoderRunSymbol: unique symbol;
+/**
+ * @brief decode source.
+ */
+export type DecodeSource = Guard<unknown, Presence> | Decoder<unknown>;
+/**
+ * @brief infer decoder.
+ */
+export type InferDecoder<TSource> = TSource extends Decoder<infer TValue> ? TValue : TSource extends Guard<infer TValue, infer TPresence> ? RuntimeValue<TValue, TPresence> : never;
+/**
+ * @brief decoder.
+ */
+export interface Decoder<TValue> {
+    /**
+     * @brief decode.
+           */
+    decode(value: unknown): CheckResult<TValue>;
+    /**
+     * @brief transform.
+           */
+    transform<TNext>(mapper: (value: TValue) => TNext): BaseDecoder<TNext>;
+    /**
+     * @brief pipe.
+           */
+    pipe<TNext extends DecodeSource>(next: TNext): BaseDecoder<InferDecoder<TNext>>;
+}
+/**
+ * @brief base decoder.
+ * @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 BaseDecoder<TValue> implements Decoder<TValue> {
+    private readonly [DecoderRunSymbol];
+    /**
+     * @brief constructor.
+         * @post The receiver is initialized according to the class invariant before it can be observed.
+     */
+    constructor(run: DecodeRunner<TValue>);
+    /**
+     * @brief decode.
+             */
+    decode(this: unknown, value: unknown): CheckResult<TValue>;
+    /**
+     * @brief transform.
+           */
+    transform<TNext>(mapper: (value: TValue) => TNext): BaseDecoder<TNext>;
+    /**
+     * @brief pipe.
+           */
+    pipe<TNext extends DecodeSource>(next: TNext): BaseDecoder<InferDecoder<TNext>>;
+}
+/**
+ * @brief decoder.
+ */
+export declare function decoder<TValue, TPresence extends Presence>(source: Guard<TValue, TPresence>): BaseDecoder<RuntimeValue<TValue, TPresence>>;
+/**
+ * @brief decoder.
+ */
+export declare function decoder<TValue>(source: Decoder<TValue>): BaseDecoder<TValue>;
+/**
+ * @brief transform.
+ */
+export declare function transform<TValue, TPresence extends Presence, TNext>(source: Guard<TValue, TPresence>, mapper: (value: RuntimeValue<TValue, TPresence>) => TNext): BaseDecoder<TNext>;
+/**
+ * @brief transform.
+ */
+export declare function transform<TValue, TNext>(source: Decoder<TValue>, mapper: (value: TValue) => TNext): BaseDecoder<TNext>;
+/**
+ * @brief pipe.
+ */
+export declare function pipe<TNext extends DecodeSource>(source: DecodeSource, next: TNext): BaseDecoder<InferDecoder<TNext>>;
+/**
+ * @brief coerce.
+ */
+export declare const coerce: Readonly<{
+    readonly string: typeof coerceString;
+    readonly number: typeof coerceNumber;
+    readonly boolean: typeof coerceBoolean;
+}>;
+/**
+ * @brief coerce string.
+ */
+export declare function coerceString(): BaseDecoder<string>;
+/**
+ * @brief coerce number.
+ */
+export declare function coerceNumber(): BaseDecoder<number>;
+/**
+ * @brief coerce boolean.
+ */
+export declare function coerceBoolean(): BaseDecoder<boolean>;
+/**
+ * @brief is decoder value.
+ */
+export declare function isDecoderValue(value: unknown): value is Decoder<unknown>;
+export {};
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/decoder/index.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACvE,OAAO,KAAK,EAAE,WAAW,EAAa,MAAM,mBAAmB,CAAC;AAMhE;;GAEG;AACH,KAAK,YAAY,CAAC,MAAM,IAAI,CAAC,KAAK,EAAE,OAAO,KAAK,WAAW,CAAC,MAAM,CAAC,CAAC;AAEpE;;GAEG;AACH,QAAA,MAAM,gBAAgB,eAAgC,CAAC;AAOvD;;GAEG;AACH,MAAM,MAAM,YAAY,GACpB,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,GACxB,OAAO,CAAC,OAAO,CAAC,CAAC;AAErB;;GAEG;AACH,MAAM,MAAM,YAAY,CAAC,OAAO,IAC9B,OAAO,SAAS,OAAO,CAAC,MAAM,MAAM,CAAC,GACjC,MAAM,GACN,OAAO,SAAS,KAAK,CAAC,MAAM,MAAM,EAAE,MAAM,SAAS,CAAC,GAClD,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,GAC/B,KAAK,CAAC;AAEd;;GAEG;AACH,MAAM,WAAW,OAAO,CAAC,MAAM;IAE7B;;aAES;IACT,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IAE5C;;aAES;IACT,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IAEvE;;aAES;IACT,IAAI,CAAC,KAAK,SAAS,YAAY,EAAE,IAAI,EAAE,KAAK,GAAG,WAAW,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;CACjF;AASD;;;;GAIG;AACH,qBAAa,WAAW,CAAC,MAAM,CAAE,YAAW,OAAO,CAAC,MAAM,CAAC;IACzD,iBAAyB,CAAC,gBAAgB,CAAC,CAAuB;IAElE;;;OAGG;gBACgB,GAAG,EAAE,YAAY,CAAC,MAAM,CAAC;IAS5C;;eAEW;IACJ,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,GAAG,WAAW,CAAC,MAAM,CAAC;IAIjE;;aAES;IACF,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC;IAc7E;;aAES;IACF,IAAI,CAAC,KAAK,SAAS,YAAY,EACpC,IAAI,EAAE,KAAK,GACV,WAAW,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;CAapC;AAED;;GAEG;AACH,wBAAgB,OAAO,CAAC,MAAM,EAAE,SAAS,SAAS,QAAQ,EACxD,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,SAAS,CAAC,GAC/B,WAAW,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;AAEhD;;GAEG;AACH,wBAAgB,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;AAiB9E;;GAEG;AACH,wBAAgB,SAAS,CAAC,MAAM,EAAE,SAAS,SAAS,QAAQ,EAAE,KAAK,EACjE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,SAAS,CAAC,EAChC,MAAM,EAAE,CAAC,KAAK,EAAE,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,KAAK,KAAK,GACxD,WAAW,CAAC,KAAK,CAAC,CAAC;AAEtB;;GAEG;AACH,wBAAgB,SAAS,CAAC,MAAM,EAAE,KAAK,EACrC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,EACvB,MAAM,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,KAAK,GAC/B,WAAW,CAAC,KAAK,CAAC,CAAC;AAYtB;;GAEG;AACH,wBAAgB,IAAI,CAAC,KAAK,SAAS,YAAY,EAC7C,MAAM,EAAE,YAAY,EACpB,IAAI,EAAE,KAAK,GACV,WAAW,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAElC;AAED;;GAEG;AACH,eAAO,MAAM,MAAM;;;;EAIR,CAAC;AAEZ;;GAEG;AACH,wBAAgB,YAAY,IAAI,WAAW,CAAC,MAAM,CAAC,CAkBlD;AAED;;GAEG;AACH,wBAAgB,YAAY,IAAI,WAAW,CAAC,MAAM,CAAC,CAclD;AAED;;GAEG;AACH,wBAAgB,aAAa,IAAI,WAAW,CAAC,OAAO,CAAC,CAiBpD;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,OAAO,CAAC,OAAO,CAAC,CAExE"}

package/dist/decoder/index.js

@@ -0,0 +1,262 @@
+import { checkSchema } from "../evaluate/index.js";
+import { freezeIssueArray, makeIssue } from "../issue/index.js";
+import { SchemaTag } from "../kind/index.js";
+import { err } from "../result/index.js";
+import { freezeSchema, isSchemaValue } from "../schema/index.js";
+/**
+ * @brief decoder run symbol.
+ */
+const DecoderRunSymbol = Symbol("TypeSea.decoder.run");
+/**
+ * @brief constructed decoders.
+ */
+const constructedDecoders = new WeakSet();
+/**
+ * @brief base decoder.
+ * @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 BaseDecoder {
+    /**
+     * @brief constructor.
+         * @post The receiver is initialized according to the class invariant before it can be observed.
+     */
+    constructor(run) {
+        if (typeof run !== "function") {
+            throw new TypeError("decoder run must be a function");
+        }
+        defineReadonlyProperty(this, DecoderRunSymbol, run, false);
+        constructedDecoders.add(this);
+        Object.freeze(this);
+    }
+    /**
+     * @brief decode.
+             */
+    decode(value) {
+        return readDecoderRunner(this, "decoder receiver")(value);
+    }
+    /**
+     * @brief transform.
+           */
+    transform(mapper) {
+        if (typeof mapper !== "function") {
+            throw new TypeError("decoder transform mapper must be a function");
+        }
+        const run = readDecoderRunner(this, "decoder transform receiver");
+        return new BaseDecoder((value) => {
+            const decoded = run(value);
+            if (!decoded.ok) {
+                return decoded;
+            }
+            return okResult(mapper(decoded.value));
+        });
+    }
+    /**
+     * @brief pipe.
+           */
+    pipe(next) {
+        const run = readDecoderRunner(this, "decoder pipe receiver");
+        const nextRun = readDecodeSourceRunner(next, "decoder pipe target");
+        return new BaseDecoder((value) => {
+            const decoded = run(value);
+            if (!decoded.ok) {
+                return decoded;
+            }
+            return nextRun(decoded.value);
+        });
+    }
+}
+/**
+ * @brief decoder.
+ */
+export function decoder(source) {
+    return makeDecoder(source);
+}
+/**
+ * @brief make decoder.
+ */
+function makeDecoder(source) {
+    const run = readDecodeSourceRunner(source, "decoder source");
+    return new BaseDecoder(run);
+}
+/**
+ * @brief transform.
+ */
+export function transform(source, mapper) {
+    return makeDecoder(source).transform(mapper);
+}
+/**
+ * @brief pipe.
+ */
+export function pipe(source, next) {
+    return makeDecoder(source).pipe(next);
+}
+/**
+ * @brief coerce.
+ */
+export const coerce = Object.freeze({
+    string: coerceString,
+    number: coerceNumber,
+    boolean: coerceBoolean
+});
+/**
+ * @brief coerce string.
+ */
+export function coerceString() {
+    return new BaseDecoder((value) => {
+        switch (typeof value) {
+            case "string":
+                return okResult(value);
+            case "number":
+                if (Number.isFinite(value)) {
+                    return okResult(String(value));
+                }
+                return fail("expected_string", "string-coercible primitive", value);
+            case "bigint":
+            case "boolean":
+            case "symbol":
+                return okResult(String(value));
+            default:
+                return fail("expected_string", "string-coercible primitive", value);
+        }
+    });
+}
+/**
+ * @brief coerce number.
+ */
+export function coerceNumber() {
+    return new BaseDecoder((value) => {
+        if (typeof value === "number") {
+            return checkSchema(numberSchema, value);
+        }
+        if (typeof value !== "string") {
+            return fail("expected_number", "number or numeric string", value);
+        }
+        const trimmed = value.trim();
+        if (trimmed.length === 0) {
+            return fail("expected_number", "number or numeric string", value);
+        }
+        return checkSchema(numberSchema, Number(trimmed));
+    });
+}
+/**
+ * @brief coerce boolean.
+ */
+export function coerceBoolean() {
+    return new BaseDecoder((value) => {
+        if (typeof value === "boolean") {
+            return okResult(value);
+        }
+        if (typeof value !== "string") {
+            return fail("expected_boolean", "boolean or boolean string", value);
+        }
+        const lowered = value.trim().toLowerCase();
+        if (lowered === "true") {
+            return okResult(true);
+        }
+        if (lowered === "false") {
+            return okResult(false);
+        }
+        return fail("expected_boolean", "boolean or boolean string", value);
+    });
+}
+/**
+ * @brief is decoder value.
+ */
+export function isDecoderValue(value) {
+    return isConstructedDecoder(value);
+}
+/**
+ * @brief is constructed decoder.
+ */
+function isConstructedDecoder(value) {
+    return isRecord(value) && constructedDecoders.has(value);
+}
+/**
+ * @brief read decode source runner.
+ */
+function readDecodeSourceRunner(source, label) {
+    if (isConstructedDecoder(source)) {
+        return readDecoderRunner(source, label);
+    }
+    const schema = readGuardSchema(source, label);
+    return (value) => checkSchema(schema, value);
+}
+/**
+ * @brief read decoder runner.
+ */
+function readDecoderRunner(value, label) {
+    if (!isConstructedDecoder(value)) {
+        throw new TypeError(`${label} must be a TypeSea decoder`);
+    }
+    return value[DecoderRunSymbol];
+}
+/**
+ * @brief read guard schema.
+ */
+function readGuardSchema(value, label) {
+    if (!isRecord(value)) {
+        throw new TypeError(`${label} must be a TypeSea guard or decoder`);
+    }
+    const schema = value["schema"];
+    if (!isSchemaValue(schema)) {
+        throw new TypeError(`${label} must contain a valid TypeSea schema`);
+    }
+    return freezeSchema(schema);
+}
+/**
+ * @brief ok result.
+ */
+function okResult(value) {
+    return Object.freeze({
+        ok: true,
+        value
+    });
+}
+/**
+ * @brief fail.
+ */
+function fail(code, expected, value) {
+    return err(freezeIssueArray([
+        makeIssue([], code, expected, actualType(value), undefined)
+    ]));
+}
+/**
+ * @brief actual type.
+ */
+function actualType(value) {
+    if (value === null) {
+        return "null";
+    }
+    if (Array.isArray(value)) {
+        return "array";
+    }
+    if (typeof value === "number" && Number.isNaN(value)) {
+        return "nan";
+    }
+    return typeof value;
+}
+/**
+ * @brief define readonly property.
+ */
+function defineReadonlyProperty(target, key, value, enumerable) {
+    Object.defineProperty(target, key, {
+        configurable: false,
+        enumerable,
+        value,
+        writable: false
+    });
+}
+/**
+ * @brief is record.
+ */
+function isRecord(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+/**
+ * @brief number schema.
+ */
+const numberSchema = Object.freeze({
+    tag: SchemaTag.Number,
+    checks: Object.freeze([])
+});

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

@@ -0,0 +1,39 @@
+/**
+ * @file check-composite.ts
+ * @brief Composite diagnostic schema interpreters.
+ */
+import { SchemaTag } from "../kind/index.js";
+import type { Issue, PathSegment } from "../issue/index.js";
+import type { DiscriminatedUnionCase, Schema } from "../schema/index.js";
+import type { ValidationState } from "./state.js";
+/**
+ * @brief issue collector.
+ */
+export type IssueCollector = (schema: Schema, value: unknown, path: PathSegment[], issues: Issue[], state: ValidationState) => void;
+/**
+ * @brief collect array issues.
+ */
+export declare function collectArrayIssues(item: Schema, value: unknown, path: PathSegment[], issues: Issue[], state: ValidationState, collectChild: IssueCollector): void;
+/**
+ * @brief collect tuple issues.
+ */
+export declare function collectTupleIssues(items: readonly Schema[], value: unknown, path: PathSegment[], issues: Issue[], state: ValidationState, collectChild: IssueCollector): void;
+/**
+ * @brief collect record issues.
+ */
+export declare function collectRecordIssues(item: Schema, value: unknown, path: PathSegment[], issues: Issue[], state: ValidationState, collectChild: IssueCollector): void;
+/**
+ * @brief collect object issues.
+ */
+export declare function collectObjectIssues(schema: Extract<Schema, {
+    readonly tag: typeof SchemaTag.Object;
+}>, value: unknown, path: PathSegment[], issues: Issue[], state: ValidationState, collectChild: IssueCollector): void;
+/**
+ * @brief collect discriminated union issues.
+ */
+export declare function collectDiscriminatedUnionIssues(key: string, cases: readonly DiscriminatedUnionCase[], value: unknown, path: PathSegment[], issues: Issue[], state: ValidationState, collectChild: IssueCollector): void;
+/**
+ * @brief collect refine issues.
+ */
+export declare function collectRefineIssues(inner: Schema, predicate: (value: unknown) => boolean, name: string, value: unknown, path: PathSegment[], issues: Issue[], state: ValidationState, collectChild: IssueCollector): void;
+//# sourceMappingURL=check-composite.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"check-composite.d.ts","sourceRoot":"","sources":["../../src/evaluate/check-composite.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAGL,SAAS,EACV,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,KAAK,EACV,sBAAsB,EACtB,MAAM,EACP,MAAM,oBAAoB,CAAC;AAa5B,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAElD;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG,CAC3B,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,WAAW,EAAE,EACnB,MAAM,EAAE,KAAK,EAAE,EACf,KAAK,EAAE,eAAe,KACnB,IAAI,CAAC;AAEV;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,WAAW,EAAE,EACnB,MAAM,EAAE,KAAK,EAAE,EACf,KAAK,EAAE,eAAe,EACtB,YAAY,EAAE,cAAc,GAC3B,IAAI,CAqBN;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,WAAW,EAAE,EACnB,MAAM,EAAE,KAAK,EAAE,EACf,KAAK,EAAE,eAAe,EACtB,YAAY,EAAE,cAAc,GAC3B,IAAI,CAmCN;AAwBD;;GAEG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,WAAW,EAAE,EACnB,MAAM,EAAE,KAAK,EAAE,EACf,KAAK,EAAE,eAAe,EACtB,YAAY,EAAE,cAAc,GAC3B,IAAI,CAoBN;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE;IAAE,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,MAAM,CAAA;CAAE,CAAC,EAClE,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,WAAW,EAAE,EACnB,MAAM,EAAE,KAAK,EAAE,EACf,KAAK,EAAE,eAAe,EACtB,YAAY,EAAE,cAAc,GAC3B,IAAI,CA6CN;AAED;;GAEG;AACH,wBAAgB,+BAA+B,CAC7C,GAAG,EAAE,MAAM,EACX,KAAK,EAAE,SAAS,sBAAsB,EAAE,EACxC,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,WAAW,EAAE,EACnB,MAAM,EAAE,KAAK,EAAE,EACf,KAAK,EAAE,eAAe,EACtB,YAAY,EAAE,cAAc,GAC3B,IAAI,CAuCN;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,MAAM,EACb,SAAS,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,OAAO,EACtC,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,WAAW,EAAE,EACnB,MAAM,EAAE,KAAK,EAAE,EACf,KAAK,EAAE,eAAe,EACtB,YAAY,EAAE,cAAc,GAC3B,IAAI,CAMN"}