typesea 0.1.0 → 0.2.0

package/dist/guard/types.d.ts

@@ -1,103 +1,155 @@
 /**
  * @file types.ts
  * @brief Public guard type contracts.
+ * @details Guard helpers build new immutable schema wrappers so fluent APIs never mutate an
+ * existing guard instance.
  */
 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.
+ * @brief Object-property presence mode carried by a guard.
+ * @details Presence is a type-level property of guards, not a runtime schema
+ * wrapper by itself. Object builders use it to decide required versus optional
+ * field semantics during shape construction.
  */
 export type Presence = "required" | "optional";
 /**
- * @brief runtime value.
+ * @brief Runtime value accepted by a guard after presence is applied.
+ * @details Guard helpers build new immutable schema wrappers so fluent APIs never mutate an
+ * existing guard instance.
  */
 export type RuntimeValue<TValue, TPresence extends Presence> = TPresence extends "optional" ? TValue | undefined : TValue;
 /**
- * @brief infer.
+ * @brief Infer the runtime value type accepted by a guard.
+ * @details Optional guards add undefined at the type level so object shape
+ * inference and standalone guard usage agree on accepted values.
  */
 export type Infer<TGuard> = TGuard extends Guard<infer TValue, infer TPresence> ? RuntimeValue<TValue, TPresence> : never;
 /**
- * @brief guard value.
+ * @brief Extract the raw value type carried by a guard.
+ * @details Guard helpers build new immutable schema wrappers so fluent APIs never mutate an
+ * existing guard instance.
  */
 export type GuardValue<TGuard> = TGuard extends Guard<infer TValue, Presence> ? TValue : never;
 /**
- * @brief guard presence.
+ * @brief Extract the presence mode carried by a guard.
+ * @details Guard helpers build new immutable schema wrappers so fluent APIs never mutate an
+ * existing guard instance.
  */
 export type GuardPresence<TGuard> = TGuard extends Guard<unknown, infer TPresence> ? TPresence : never;
 /**
- * @brief brand.
+ * @brief Phantom intersection used for compile-time nominal brands.
+ * @details No runtime field is materialized; validators keep the same data
+ * representation as the unbranded value.
  */
 export type Brand<TValue, TBrand extends string> = TValue & {
     readonly [BrandSymbol]: TBrand;
 };
 /**
- * @brief guard.
+ * @brief Public structural guard contract.
+ * @details The symbols carry inference-only type state. The schema property is
+ * the runtime handle used by interpreters, compilers, and graph introspection.
  */
 export interface Guard<TValue, TPresence extends Presence = "required"> {
     readonly [TypeSymbol]: TValue;
     readonly [PresenceSymbol]: TPresence;
     readonly schema: Schema;
     /**
-     * @brief is.
-           */
+     * @brief Test whether a runtime value is accepted.
+     * @details This is the boolean hot path. It avoids diagnostic allocation and
+     * is the method used by compiled predicates for tight validation loops.
+     * @param value Candidate runtime value.
+     * @returns True when the guard accepts the value.
+     */
     is(value: unknown): value is RuntimeValue<TValue, TPresence>;
     /**
-     * @brief check.
-           */
+     * @brief Validate a runtime value and return explicit issues on failure.
+     * @details Use this path when callers need structured diagnostics. Success
+     * returns the original value with the guard's inferred runtime type.
+     * @param value Candidate runtime value.
+     * @returns Check result with either the accepted value or frozen issues.
+     */
     check(value: unknown): CheckResult<RuntimeValue<TValue, TPresence>>;
     /**
-     * @brief assert.
-           */
+     * @brief Validate a runtime value or throw TypeSeaAssertionError.
+     * @details This convenience wrapper is intentionally explicit in the method
+     * name because most TypeSea APIs prefer Result-based control flow.
+     * @param value Candidate runtime value.
+     */
     assert(value: unknown): asserts value is RuntimeValue<TValue, TPresence>;
     /**
-     * @brief graph.
-         */
+     * @brief Return the optimized validation graph for introspection.
+     * @details The graph is immutable and may be reused by tooling, debugging,
+     * or code generation without exposing schema internals directly.
+     * @returns Optimized Sea-of-Nodes validation graph.
+     */
     graph(): Graph;
     /**
-     * @brief optional.
-         */
+     * @brief Mark this guard optional for object shape usage.
+     * @details Optionality changes object field presence and standalone
+     * inference by adding undefined; it does not mutate the source guard.
+     * @returns New guard carrying optional presence.
+     */
     optional(): BaseGuard<TValue, "optional">;
     /**
-     * @brief undefinedable.
-         */
+     * @brief Allow the explicit undefined value.
+     * @details This widens the value domain while preserving the field presence
+     * mode. In object shapes, an undefinedable required field still has to be
+     * present.
+     * @returns New guard whose value type includes undefined.
+     */
     undefinedable(): BaseGuard<TValue | undefined, TPresence>;
     /**
-     * @brief nullable.
-         */
+     * @brief Allow the explicit null value.
+     * @details Nullability is modeled as a value-domain wrapper rather than an
+     * object-presence change, so it composes predictably with optional fields.
+     * @returns New guard whose value type includes null.
+     */
     nullable(): BaseGuard<TValue | null, TPresence>;
     /**
-     * @brief array.
-         */
+     * @brief Build an array guard from this guard.
+     * @details The item schema is the current guard's runtime value domain after
+     * presence has been applied, matching direct `is` semantics.
+     * @returns Guard that accepts arrays of values accepted by this guard.
+     */
     array(): BaseGuard<RuntimeValue<TValue, TPresence>[]>;
     /**
-     * @brief brand.
-         */
+     * @brief Apply a compile-time brand without changing runtime data.
+     * @details Brands are phantom types. Validation behavior and emitted IR stay
+     * identical to the unbranded guard.
+     * @returns New guard carrying the requested nominal brand.
+     */
     brand<TBrand extends string>(): BaseGuard<Brand<TValue, TBrand>, TPresence>;
     /**
-     * @brief refine.
-             */
+     * @brief Append a user refinement predicate.
+     * @details Refinements run after the base schema accepts the value. They are
+     * intentionally opaque to JSON Schema and AOT export because the predicate is
+     * arbitrary user code.
+     * @param predicate Function that returns literal true for success.
+     * @param name Diagnostic name for failed refinements.
+     * @returns New guard with the refinement appended.
+     */
     refine(predicate: (value: RuntimeValue<TValue, TPresence>) => boolean, name: string): BaseGuard<TValue, TPresence>;
     /**
-     * @brief or.
-           */
+     * @brief Build a union with another guard.
+     * @details Union order is preserved so diagnostics and generated code follow
+     * the same branch precedence as the fluent call chain.
+     * @param other Guard accepted as the second union arm.
+     * @returns Guard accepting values accepted by either guard.
+     */
     or<TOther extends Guard<unknown, Presence>>(other: TOther): BaseGuard<RuntimeValue<TValue, TPresence> | Infer<TOther>>;
     /**
-     * @brief intersect.
-           */
+     * @brief Build an intersection with another guard.
+     * @details Both guards must accept the same value. The resulting type is the
+     * TypeScript intersection of their inferred runtime domains.
+     * @param other Guard accepted as the second intersection arm.
+     * @returns Guard accepting only values accepted by both guards.
+     */
     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

@@ -1 +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"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/guard/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;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,MAAM,CAAC,OAAO,CAAC,MAAM,UAAU,EAAE,OAAO,MAAM,CAAC;AAE/C,MAAM,CAAC,OAAO,CAAC,MAAM,cAAc,EAAE,OAAO,MAAM,CAAC;AAEnD,MAAM,CAAC,OAAO,CAAC,MAAM,WAAW,EAAE,OAAO,MAAM,CAAC;AAEhD;;;;;GAKG;AACH,MAAM,MAAM,QAAQ,GAAG,UAAU,GAAG,UAAU,CAAC;AAE/C;;;;GAIG;AACH,MAAM,MAAM,YAAY,CAAC,MAAM,EAAE,SAAS,SAAS,QAAQ,IACvD,SAAS,SAAS,UAAU,GAAG,MAAM,GAAG,SAAS,GAAG,MAAM,CAAC;AAE/D;;;;GAIG;AACH,MAAM,MAAM,KAAK,CAAC,MAAM,IACpB,MAAM,SAAS,KAAK,CAAC,MAAM,MAAM,EAAE,MAAM,SAAS,CAAC,GAC7C,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,GAC/B,KAAK,CAAC;AAEhB;;;;GAIG;AACH,MAAM,MAAM,UAAU,CAAC,MAAM,IACzB,MAAM,SAAS,KAAK,CAAC,MAAM,MAAM,EAAE,QAAQ,CAAC,GAAG,MAAM,GAAG,KAAK,CAAC;AAElE;;;;GAIG;AACH,MAAM,MAAM,aAAa,CAAC,MAAM,IAC5B,MAAM,SAAS,KAAK,CAAC,OAAO,EAAE,MAAM,SAAS,CAAC,GAAG,SAAS,GAAG,KAAK,CAAC;AAEvE;;;;GAIG;AACH,MAAM,MAAM,KAAK,CAAC,MAAM,EAAE,MAAM,SAAS,MAAM,IAAI,MAAM,GAAG;IACxD,QAAQ,CAAC,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAClC,CAAC;AAEF;;;;GAIG;AACH,MAAM,WAAW,KAAK,CAAC,MAAM,EAAE,SAAS,SAAS,QAAQ,GAAG,UAAU;IAClE,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;;;;;;OAMG;IACH,EAAE,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAE7D;;;;;;OAMG;IACH,KAAK,CAAC,KAAK,EAAE,OAAO,GAAG,WAAW,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;IAEpE;;;;;OAKG;IACH,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,KAAK,IAAI,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAEzE;;;;;OAKG;IACH,KAAK,IAAI,KAAK,CAAC;IAEf;;;;;OAKG;IACH,QAAQ,IAAI,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAE1C;;;;;;OAMG;IACH,aAAa,IAAI,SAAS,CAAC,MAAM,GAAG,SAAS,EAAE,SAAS,CAAC,CAAC;IAE1D;;;;;OAKG;IACH,QAAQ,IAAI,SAAS,CAAC,MAAM,GAAG,IAAI,EAAE,SAAS,CAAC,CAAC;IAEhD;;;;;OAKG;IACH,KAAK,IAAI,SAAS,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC;IAEtD;;;;;OAKG;IACH,KAAK,CAAC,MAAM,SAAS,MAAM,KAAK,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,SAAS,CAAC,CAAC;IAE5E;;;;;;;;OAQG;IACH,MAAM,CACF,SAAS,EAAE,CAAC,KAAK,EAAE,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,KAAK,OAAO,EAC9D,IAAI,EAAE,MAAM,GACb,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAEhC;;;;;;OAMG;IACH,EAAE,CAAC,MAAM,SAAS,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,EACtC,KAAK,EAAE,MAAM,GACd,SAAS,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAE9D;;;;;;OAMG;IACH,SAAS,CAAC,MAAM,SAAS,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,EAC7C,KAAK,EAAE,MAAM,GACd,SAAS,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;CACjE"}

package/dist/guard/types.js

@@ -1,5 +1,7 @@
 /**
  * @file types.ts
  * @brief Public guard type contracts.
+ * @details Guard helpers build new immutable schema wrappers so fluent APIs never mutate an
+ * existing guard instance.
  */
 export {};

package/dist/index.d.ts

@@ -1,6 +1,6 @@
 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 { CompiledBaseGuard, compile, type CompileMode, 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";

package/dist/index.d.ts.map

@@ -1 +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"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,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,EAClB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACH,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,EACpB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACH,iBAAiB,EACjB,OAAO,EACP,KAAK,WAAW,EAChB,KAAK,cAAc,EACnB,KAAK,aAAa,EACrB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EACH,aAAa,EACb,KAAK,iBAAiB,EACtB,KAAK,QAAQ,EACb,KAAK,YAAY,EACjB,KAAK,SAAS,EACjB,MAAM,gBAAgB,CAAC;AAExB,OAAO,EACH,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,EAClB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACH,gBAAgB,EAChB,YAAY,EACZ,SAAS,EACT,WAAW,EACX,cAAc,EACd,mBAAmB,EACnB,KAAK,iBAAiB,EACtB,KAAK,YAAY,EACjB,KAAK,iBAAiB,EACzB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACH,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,EACpB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EACH,kBAAkB,EAClB,YAAY,EACZ,KAAK,UAAU,EACf,KAAK,oBAAoB,EACzB,KAAK,qBAAqB,EAC1B,KAAK,gBAAgB,EACrB,KAAK,iBAAiB,EACtB,KAAK,mBAAmB,EACxB,KAAK,kBAAkB,EAC1B,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EACH,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,EACrB,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/internal/index.d.ts

@@ -1,6 +1,8 @@
 /**
  * @file internal.ts
  * @brief Private helpers shared across TypeSea translation units.
+ * @details This declaration records the local invariant that callers rely on after this
+ * module boundary.
  *
  * @invariant Values crossing a module boundary stay `unknown` until a local
  * guard proves the shape needed by that module.
@@ -8,27 +10,61 @@
 import type { Guard, Presence } from "../guard/index.js";
 import { type Schema } from "../schema/index.js";
 /**
- * @brief read guard schema.
+ * @brief Read a guard schema after proving the receiver shape locally.
+ * @param guard Candidate guard-like value.
+ * @param label Message prefix for TypeError diagnostics.
+ * @returns Valid schema stored in an own data slot.
+ * @throws TypeError when the receiver is not structurally a TypeSea guard.
+ * @details This helper is used by builders that accept guard-like values rather
+ * than constructed guard instances. The schema field is read by descriptor so a
+ * forged prototype cannot supply or mutate the schema after admission.
  */
 export declare function readGuardSchema(guard: unknown, label: string): Schema;
 /**
- * @brief is record.
+ * @brief Check record.
+ * @details This helper keeps a local invariant explicit at the module boundary.
  */
 export declare function isRecord(value: unknown): value is Readonly<Record<string, unknown>>;
 /**
- * @brief is unknown array.
+ * @brief Accept an array before a caller performs local element validation.
+ * @details This declaration records the local invariant that callers rely on after this
+ * module boundary.
+ * @param value Candidate vector.
+ * @returns True when the value is an Array instance.
  */
 export declare function isUnknownArray(value: unknown): value is readonly unknown[];
 /**
- * @brief includes string.
+ * @brief Linear membership for short builder-owned string vectors.
+ * @details This declaration records the local invariant that callers rely on after this
+ * module boundary.
+ * @param values Candidate set represented as an ordered vector.
+ * @param value String being searched.
+ * @returns True when the string is present.
  */
 export declare function includesString(values: readonly string[], value: string): boolean;
 /**
- * @brief is strict true.
+ * @brief Accept only the literal boolean success value from user predicates.
+ * @details This declaration records the local invariant that callers rely on after this
+ * module boundary.
+ * @param value Predicate return value.
+ * @returns True only for `true`.
  */
 export declare function isStrictTrue(value: unknown): boolean;
 /**
- * @brief is guard value.
+ * @brief Check whether a value structurally exposes a TypeSea schema.
+ * @details This declaration records the local invariant that callers rely on after this
+ * module boundary.
+ * @param value Candidate guard-like object.
+ * @returns True when a valid schema is stored directly on the object.
  */
 export declare function isGuardValue(value: unknown): value is Guard<unknown, Presence>;
+/**
+ * @brief Read one own data property without running getters.
+ * @details This declaration records the local invariant that callers rely on after this
+ * module boundary.
+ * @param value Object being normalized.
+ * @param key Field name or symbol.
+ * @returns Stored field value, or undefined when the own data slot is absent.
+ */
+export declare function readOwnDataProperty(value: object, key: PropertyKey): unknown;
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +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"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/internal/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AACzD,OAAO,EAAiB,KAAK,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAEhE;;;;;;;;;GASG;AACH,wBAAgB,eAAe,CAC3B,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,MAAM,GACd,MAAM,CASR;AAED;;;GAGG;AACH,wBAAgB,QAAQ,CACpB,KAAK,EAAE,OAAO,GACf,KAAK,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAE5C;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,SAAS,OAAO,EAAE,CAE1E;AAED;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAC1B,MAAM,EAAE,SAAS,MAAM,EAAE,EACzB,KAAK,EAAE,MAAM,GACd,OAAO,CAOT;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAEpD;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CACxB,KAAK,EAAE,OAAO,GACf,KAAK,IAAI,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,CAEnC;AAED;;;;;;;GAOG;AACH,wBAAgB,mBAAmB,CAC/B,KAAK,EAAE,MAAM,EACb,GAAG,EAAE,WAAW,GACjB,OAAO,CAOT"}

package/dist/internal/index.js

@@ -1,38 +1,57 @@
 /**
  * @file internal.ts
  * @brief Private helpers shared across TypeSea translation units.
+ * @details This declaration records the local invariant that callers rely on after this
+ * module boundary.
  *
  * @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.
+ * @brief Read a guard schema after proving the receiver shape locally.
+ * @param guard Candidate guard-like value.
+ * @param label Message prefix for TypeError diagnostics.
+ * @returns Valid schema stored in an own data slot.
+ * @throws TypeError when the receiver is not structurally a TypeSea guard.
+ * @details This helper is used by builders that accept guard-like values rather
+ * than constructed guard instances. The schema field is read by descriptor so a
+ * forged prototype cannot supply or mutate the schema after admission.
  */
 export function readGuardSchema(guard, label) {
     if (!isRecord(guard)) {
         throw new TypeError(`${label} must be a TypeSea guard`);
     }
-    const schema = guard["schema"];
+    const schema = readOwnDataProperty(guard, "schema");
     if (!isSchemaValue(schema)) {
         throw new TypeError(`${label} must contain a valid TypeSea schema`);
     }
     return schema;
 }
 /**
- * @brief is record.
+ * @brief Check record.
+ * @details This helper keeps a local invariant explicit at the module boundary.
  */
 export function isRecord(value) {
     return typeof value === "object" && value !== null && !Array.isArray(value);
 }
 /**
- * @brief is unknown array.
+ * @brief Accept an array before a caller performs local element validation.
+ * @details This declaration records the local invariant that callers rely on after this
+ * module boundary.
+ * @param value Candidate vector.
+ * @returns True when the value is an Array instance.
  */
 export function isUnknownArray(value) {
     return Array.isArray(value);
 }
 /**
- * @brief includes string.
+ * @brief Linear membership for short builder-owned string vectors.
+ * @details This declaration records the local invariant that callers rely on after this
+ * module boundary.
+ * @param values Candidate set represented as an ordered vector.
+ * @param value String being searched.
+ * @returns True when the string is present.
  */
 export function includesString(values, value) {
     for (let index = 0; index < values.length; index += 1) {
@@ -43,14 +62,38 @@ export function includesString(values, value) {
     return false;
 }
 /**
- * @brief is strict true.
+ * @brief Accept only the literal boolean success value from user predicates.
+ * @details This declaration records the local invariant that callers rely on after this
+ * module boundary.
+ * @param value Predicate return value.
+ * @returns True only for `true`.
  */
 export function isStrictTrue(value) {
     return value === true;
 }
 /**
- * @brief is guard value.
+ * @brief Check whether a value structurally exposes a TypeSea schema.
+ * @details This declaration records the local invariant that callers rely on after this
+ * module boundary.
+ * @param value Candidate guard-like object.
+ * @returns True when a valid schema is stored directly on the object.
  */
 export function isGuardValue(value) {
-    return isRecord(value) && isSchemaValue(value["schema"]);
+    return isRecord(value) && isSchemaValue(readOwnDataProperty(value, "schema"));
+}
+/**
+ * @brief Read one own data property without running getters.
+ * @details This declaration records the local invariant that callers rely on after this
+ * module boundary.
+ * @param value Object being normalized.
+ * @param key Field name or symbol.
+ * @returns Stored field value, or undefined when the own data slot is absent.
+ */
+export function readOwnDataProperty(value, key) {
+    const descriptor = Object.getOwnPropertyDescriptor(value, key);
+    if (descriptor === undefined ||
+        !Object.prototype.hasOwnProperty.call(descriptor, "value")) {
+        return undefined;
+    }
+    return descriptor.value;
 }

package/dist/ir/builder.d.ts

@@ -1,173 +1,63 @@
 /**
  * @file builder.ts
  * @brief Dense graph builder with structural node interning.
+ * @details IR helpers preserve Sea-of-Nodes invariants before graphs cross optimizer,
+ * compiler, or public introspection boundaries.
  */
+import { type ObjectModeTag } from "../kind/index.js";
 import type { LiteralValue, Schema } from "../schema/index.js";
-import type { Graph, NodeId } from "./types.js";
+import type { Graph, NodeId, ObjectShapeEntry, UnionDispatchMask } from "./types.js";
 /**
- * @brief graph builder.
- * @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.
+ * @brief Dense Sea-of-Nodes graph construction arena.
+ * @details The builder interns pure scalar nodes so later optimization passes see
+ * one canonical id for equivalent predicates. Composite nodes are deliberately
+ * appended instead: their embedded child graphs and schema payloads are owned
+ * values, and pointer-level interning would make aliasing harder to audit.
  */
 export declare class GraphBuilder {
     private readonly nodes;
     private readonly hash;
-    /**
-     * @brief constructor.
-       * @post The receiver is initialized according to the class invariant before it can be observed.
-     */
     constructor();
-    /**
-     * @brief start.
-         */
     start(): NodeId;
-    /**
-     * @brief param.
-           */
     param(name: string): NodeId;
-    /**
-     * @brief constant.
-           */
     constant(value: LiteralValue): NodeId;
-    /**
-     * @brief get prop.
-             */
     getProp(object: NodeId, key: string): NodeId;
-    /**
-     * @brief is string.
-           */
     isString(value: NodeId): NodeId;
-    /**
-     * @brief is number.
-           */
     isNumber(value: NodeId): NodeId;
-    /**
-     * @brief is boolean.
-           */
     isBoolean(value: NodeId): NodeId;
-    /**
-     * @brief is big int.
-           */
     isBigInt(value: NodeId): NodeId;
-    /**
-     * @brief is symbol.
-           */
     isSymbol(value: NodeId): NodeId;
-    /**
-     * @brief is object.
-           */
     isObject(value: NodeId): NodeId;
-    /**
-     * @brief is array.
-           */
     isArray(value: NodeId): NodeId;
-    /**
-     * @brief is undefined.
-           */
     isUndefined(value: NodeId): NodeId;
-    /**
-     * @brief is null.
-           */
     isNull(value: NodeId): NodeId;
-    /**
-     * @brief is integer.
-           */
     isInteger(value: NodeId): NodeId;
-    /**
-     * @brief not.
-           */
     not(value: NodeId): NodeId;
-    /**
-     * @brief equals.
-             */
     equals(left: NodeId, right: NodeId): NodeId;
-    /**
-     * @brief gte.
-             */
     gte(left: NodeId, right: NodeId): NodeId;
-    /**
-     * @brief lte.
-             */
     lte(left: NodeId, right: NodeId): NodeId;
-    /**
-     * @brief string min.
-             */
     stringMin(value: NodeId, bound: number): NodeId;
-    /**
-     * @brief string max.
-             */
     stringMax(value: NodeId, bound: number): NodeId;
-    /**
-     * @brief regex.
-               */
     regex(value: NodeId, regex: RegExp, name: string): NodeId;
-    /**
-     * @brief has own.
-             */
     hasOwn(object: NodeId, key: string): NodeId;
-    /**
-     * @brief has own data.
-             */
     hasOwnData(object: NodeId, key: string): NodeId;
-    /**
-     * @brief strict keys.
-             */
     strictKeys(object: NodeId, keys: readonly string[]): NodeId;
-    /**
-     * @brief array every.
-             */
-    arrayEvery(value: NodeId, item: Schema): NodeId;
-    /**
-     * @brief tuple items.
-             */
-    tupleItems(value: NodeId, items: readonly Schema[]): NodeId;
-    /**
-     * @brief record every.
-             */
-    recordEvery(value: NodeId, item: Schema): NodeId;
-    /**
-     * @brief discriminant dispatch.
-             */
-    discriminantDispatch(value: NodeId, key: string, literals: readonly string[], schemas: readonly Schema[]): NodeId;
-    /**
-     * @brief schema check.
-             */
+    arrayEvery(value: NodeId, item: Schema, itemGraph: Graph): NodeId;
+    tupleItems(value: NodeId, items: readonly Schema[], itemGraphs: readonly Graph[]): NodeId;
+    recordEvery(value: NodeId, item: Schema, itemGraph: Graph): NodeId;
+    discriminantDispatch(value: NodeId, key: string, literals: readonly string[], schemas: readonly Schema[], graphs: readonly Graph[]): NodeId;
+    objectShape(value: NodeId, entries: readonly ObjectShapeEntry[], keys: readonly string[], mode: ObjectModeTag): NodeId;
+    unionDispatch(value: NodeId, options: readonly Schema[], graphs: readonly Graph[], masks: readonly UnionDispatchMask[]): NodeId;
+    primitiveUnion(value: NodeId, graphs: readonly Graph[], masks: readonly UnionDispatchMask[]): NodeId;
     schemaCheck(value: NodeId, schema: Schema): NodeId;
-    /**
-     * @brief and.
-           */
     and(values: readonly NodeId[]): NodeId;
-    /**
-     * @brief or.
-           */
     or(values: readonly NodeId[]): NodeId;
-    /**
-     * @brief ret.
-             */
     ret(control: NodeId, value: NodeId): NodeId;
-    /**
-     * @brief finish.
-             */
     finish(entry: NodeId, result: NodeId): Graph;
-    /**
-     * @brief unary.
-             */
     private unary;
-    /**
-     * @brief numeric.
-               */
     private numeric;
-    /**
-     * @brief string bound.
-               */
     private stringBound;
-    /**
-     * @brief intern.
-             */
     private intern;
-    /**
-     * @brief push.
-           */
     private push;
 }
 //# sourceMappingURL=builder.d.ts.map

package/dist/ir/builder.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"builder.d.ts","sourceRoot":"","sources":["../../src/ir/builder.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAG/D,OAAO,KAAK,EAQV,KAAK,EAIL,MAAM,EAYP,MAAM,YAAY,CAAC;AAEpB;;;;GAIG;AACH,qBAAa,YAAY;IACvB,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAc;IACpC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAsB;IAE3C;;;OAGG;;IAMH;;WAEO;IACA,KAAK,IAAI,MAAM;IAQtB;;aAES;IACF,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM;IASlC;;aAES;IACF,QAAQ,CAAC,KAAK,EAAE,YAAY,GAAG,MAAM;IAkB5C;;eAEW;IACJ,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM;IAWnD;;aAES;IACF,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAItC;;aAES;IACF,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAItC;;aAES;IACF,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAIvC;;aAES;IACF,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAItC;;aAES;IACF,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAItC;;aAES;IACF,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAItC;;aAES;IACF,OAAO,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAIrC;;aAES;IACF,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAIzC;;aAES;IACF,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAIpC;;aAES;IACF,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAIvC;;aAES;IACF,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAIjC;;eAEW;IACJ,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM;IAWlD;;eAEW;IACJ,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM;IAI/C;;eAEW;IACJ,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM;IAI/C;;eAEW;IACJ,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM;IAItD;;eAEW;IACJ,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM;IAItD;;iBAEa;IACN,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM;IAkBhE;;eAEW;IACJ,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM;IAWlD;;eAEW;IACJ,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM;IAWtD;;eAEW;IACJ,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM;IAWlE;;eAEW;IACJ,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM;IAUtD;;eAEW;IACJ,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM;IAUlE;;eAEW;IACJ,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM;IAUvD;;eAEW;IACJ,oBAAoB,CACzB,KAAK,EAAE,MAAM,EACb,GAAG,EAAE,MAAM,EACX,QAAQ,EAAE,SAAS,MAAM,EAAE,EAC3B,OAAO,EAAE,SAAS,MAAM,EAAE,GACzB,MAAM;IAaT;;eAEW;IACJ,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM;IAUzD;;aAES;IACF,GAAG,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM;IAiB7C;;aAES;IACF,EAAE,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM;IAiB5C;;eAEW;IACJ,GAAG,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM;IAUlD;;eAEW;IACJ,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,KAAK;IAQnD;;eAEW;IACX,OAAO,CAAC,KAAK;IAab;;iBAEa;IACb,OAAO,CAAC,OAAO;IAef;;iBAEa;IACb,OAAO,CAAC,WAAW;IAenB;;eAEW;IACX,OAAO,CAAC,MAAM;IAed;;aAES;IACT,OAAO,CAAC,IAAI;CAMb"}
+{"version":3,"file":"builder.d.ts","sourceRoot":"","sources":["../../src/ir/builder.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAwB,KAAK,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAC5E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAG/D,OAAO,KAAK,EAQR,KAAK,EAIL,MAAM,EACN,gBAAgB,EAahB,iBAAiB,EAGpB,MAAM,YAAY,CAAC;AAEpB;;;;;;GAMG;AACH,qBAAa,YAAY;IACrB,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAc;IACpC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAsB;;IAOpC,KAAK,IAAI,MAAM;IAQf,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM;IAS3B,QAAQ,CAAC,KAAK,EAAE,YAAY,GAAG,MAAM;IAmBrC,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM;IAW5C,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAI/B,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAI/B,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAIhC,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAI/B,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAI/B,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAI/B,OAAO,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAI9B,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAIlC,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAI7B,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAIhC,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAI1B,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM;IAW3C,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM;IAIxC,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM;IAIxC,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM;IAI/C,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM;IAI/C,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM;IAkBzD,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM;IAW3C,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM;IAW/C,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM;IAW3D,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,GAAG,MAAM;IAWjE,UAAU,CACb,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,UAAU,EAAE,SAAS,KAAK,EAAE,GAC7B,MAAM;IAWF,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,GAAG,MAAM;IAWlE,oBAAoB,CACvB,KAAK,EAAE,MAAM,EACb,GAAG,EAAE,MAAM,EACX,QAAQ,EAAE,SAAS,MAAM,EAAE,EAC3B,OAAO,EAAE,SAAS,MAAM,EAAE,EAC1B,MAAM,EAAE,SAAS,KAAK,EAAE,GACzB,MAAM;IAcF,WAAW,CACd,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,SAAS,gBAAgB,EAAE,EACpC,IAAI,EAAE,SAAS,MAAM,EAAE,EACvB,IAAI,EAAE,aAAa,GACpB,MAAM;IAaF,aAAa,CAChB,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,SAAS,MAAM,EAAE,EAC1B,MAAM,EAAE,SAAS,KAAK,EAAE,EACxB,KAAK,EAAE,SAAS,iBAAiB,EAAE,GACpC,MAAM;IAYF,cAAc,CACjB,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,SAAS,KAAK,EAAE,EACxB,KAAK,EAAE,SAAS,iBAAiB,EAAE,GACpC,MAAM;IAWF,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM;IAUlD,GAAG,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM;IAiBtC,EAAE,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM;IAiBrC,GAAG,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM;IAU3C,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,KAAK;IAQnD,OAAO,CAAC,KAAK;IAab,OAAO,CAAC,OAAO;IAef,OAAO,CAAC,WAAW;IAenB,OAAO,CAAC,MAAM;IAed,OAAO,CAAC,IAAI;CAMf"}