@tsonic/frontend 0.0.62 → 0.0.63

package/dist/ir/type-system/type-system-state.d.ts

@@ -0,0 +1,436 @@
+/**
+ * TypeSystem Shared Types, State, and Leaf Helpers
+ *
+ * This is the leaf module in the type-system DAG. It contains:
+ * - All shared type/interface definitions used by split modules
+ * - TypeSystemState type (the DI container for all type-system functions)
+ * - Pure helper functions that have no cross-module dependencies
+ *
+ * DAG position: LEAF (no imports from other type-system-* split modules)
+ */
+import type { IrType, IrPrimitiveType, IrMethodSignature } from "../types/index.js";
+import type { Diagnostic, DiagnosticCode } from "../../types/diagnostic.js";
+import type { DeclId, SignatureId, MemberId, TypeSyntaxId, TypeParameterInfo, ParameterMode } from "./types.js";
+import { unknownType, neverType, voidType } from "./types.js";
+import type { AliasTable } from "./internal/universe/alias-table.js";
+import type { TypeId, UnifiedTypeCatalog } from "./internal/universe/types.js";
+export { unknownType, neverType, voidType };
+/**
+ * MemberRef — Reference to a member by ID or name.
+ *
+ * byId: Use when MemberId is available (stable identity).
+ * byName: Use for dynamic access (property access expressions).
+ */
+export type MemberRef = {
+    readonly kind: "byId";
+    readonly id: MemberId;
+} | {
+    readonly kind: "byName";
+    readonly name: string;
+};
+/**
+ * CallQuery — Input to resolveCall().
+ *
+ * Contains all information needed to resolve a call site.
+ *
+ * IMPORTANT (Alice's spec): argumentCount is REQUIRED for totality.
+ * Even if signature lookup fails, TypeSystem must return correct-arity
+ * arrays filled with unknownType. This prevents fallback behavior.
+ */
+export type CallQuery = {
+    /** The signature being called (from Binding.resolveCallSignature) */
+    readonly sigId: SignatureId;
+    /**
+     * Number of arguments at the call site.
+     *
+     * REQUIRED for totality: Used to construct correct-arity poisoned result
+     * when signature lookup fails. Without this, TypeSystem cannot guarantee
+     * parameterTypes.length === argumentCount.
+     */
+    readonly argumentCount: number;
+    /** Receiver type for member calls (e.g., `arr` in `arr.map(...)`) */
+    readonly receiverType?: IrType;
+    /** Explicit type arguments from call syntax (e.g., `fn<string>(...)`) */
+    readonly explicitTypeArgs?: readonly IrType[];
+    /** Argument types for deterministic unification (undefined = unknown) */
+    readonly argTypes?: readonly (IrType | undefined)[];
+    /**
+     * Contextual expected return type from call site usage.
+     *
+     * Used for deterministic generic inference when method type parameters only
+     * appear in the return position (e.g., `ok<T>(value: T): Ok<T>` in
+     * `return ok({...})` where function return type is `Result<Payload, string>`).
+     */
+    readonly expectedReturnType?: IrType;
+    /** Blame location for diagnostics */
+    readonly site?: Site;
+};
+/**
+ * ResolvedCall — Output of resolveCall().
+ *
+ * Contains fully instantiated types after all substitutions applied.
+ */
+export type ResolvedCall = {
+    /** Fully instantiated parameter types (undefined = missing annotation) */
+    readonly parameterTypes: readonly (IrType | undefined)[];
+    /** Parameter passing modes (value, ref, out, in) */
+    readonly parameterModes: readonly ParameterMode[];
+    /** Fully instantiated return type */
+    readonly returnType: IrType;
+    /**
+     * Type predicate info for narrowing (x is T).
+     * Only present if the function has a type predicate return type.
+     */
+    readonly typePredicate?: TypePredicateResult;
+    /** Diagnostics emitted during resolution */
+    readonly diagnostics: readonly Diagnostic[];
+};
+/**
+ * TypePredicateResult — Resolved type predicate info.
+ *
+ * Extracted from SignatureInfo.typePredicate and converted to IR types.
+ */
+export type TypePredicateResult = {
+    readonly kind: "param";
+    readonly parameterIndex: number;
+    readonly targetType: IrType;
+} | {
+    readonly kind: "this";
+    readonly targetType: IrType;
+};
+/**
+ * Site — Blame location for diagnostics.
+ *
+ * Used to report errors at the correct source location.
+ */
+export type Site = {
+    /** Source file path */
+    readonly file?: string;
+    /** 0-based line number */
+    readonly line?: number;
+    /** 0-based column number */
+    readonly column?: number;
+    /** Original AST node (for detailed location) */
+    readonly node?: unknown;
+};
+/**
+ * Type substitution map — maps type parameter names to concrete types.
+ */
+export type TypeSubstitutionMap = ReadonlyMap<string, IrType>;
+/**
+ * Raw signature information extracted from Binding.
+ *
+ * This is the pre-substitution form stored in the signature cache.
+ */
+export type RawSignatureInfo = {
+    /** Parameter types (undefined = missing annotation → TSN5201) */
+    readonly parameterTypes: readonly (IrType | undefined)[];
+    /** TypeScript `this:` parameter type (if present). Excluded from `parameterTypes`. */
+    readonly thisParameterType?: IrType;
+    /** Return type (voidType if not specified) */
+    readonly returnType: IrType;
+    /** Parameter modes */
+    readonly parameterModes: readonly ParameterMode[];
+    /** Type parameters for generic methods */
+    readonly typeParameters: readonly TypeParameterInfo[];
+    /** Parameter names (for diagnostics) */
+    readonly parameterNames: readonly string[];
+    /**
+     * Type predicate (x is T) - extracted at Binding registration time.
+     * Contains target type as IrType.
+     */
+    readonly typePredicate?: TypePredicateResult;
+    /**
+     * Declaring identity — CRITICAL for inheritance substitution.
+     *
+     * Without this, resolveCall cannot compute receiver substitution.
+     * Uses simple TS name, resolved via UnifiedTypeCatalog.resolveTsName().
+     */
+    readonly declaringTypeTsName?: string;
+    readonly declaringMemberName?: string;
+};
+/**
+ * HandleRegistry — maps opaque handles to their underlying data.
+ *
+ * Created and managed by the Binding layer. TypeSystem uses this
+ * to look up declaration and signature information.
+ */
+export type HandleRegistry = {
+    /** Get declaration info for a DeclId */
+    getDecl(id: DeclId): DeclInfo | undefined;
+    /** Get signature info for a SignatureId */
+    getSignature(id: SignatureId): SignatureInfo | undefined;
+    /** Get member info for a MemberId */
+    getMember(id: MemberId): MemberInfo | undefined;
+    /**
+     * Get captured type syntax for a TypeSyntaxId.
+     *
+     * Returns the TypeNode that was captured via Binding.captureTypeSyntax().
+     * TypeSystem uses this internally to convert captured syntax to IrType.
+     */
+    getTypeSyntax(id: TypeSyntaxId): TypeSyntaxInfo | undefined;
+};
+/**
+ * Type syntax info stored in the handle registry.
+ */
+export type TypeSyntaxInfo = {
+    /** The captured TypeNode (ts.TypeNode, cast to unknown) */
+    readonly typeNode: unknown;
+};
+/**
+ * Captured class member names for override detection.
+ * Pure data — no TS nodes.
+ */
+export type ClassMemberNames = {
+    readonly methods: ReadonlySet<string>;
+    readonly properties: ReadonlySet<string>;
+};
+/**
+ * Declaration info in the handle registry.
+ */
+export type DeclInfo = {
+    /** Explicit type annotation (ts.TypeNode, cast to unknown) */
+    readonly typeNode?: unknown;
+    /** Declaration kind */
+    readonly kind: DeclKind;
+    /** Fully-qualified name */
+    readonly fqName?: string;
+    /** Declaration AST node (ts.Declaration, cast to unknown) */
+    readonly declNode?: unknown;
+    /** Captured class member names (for class declarations only) */
+    readonly classMemberNames?: ClassMemberNames;
+};
+export type DeclKind = "variable" | "function" | "class" | "interface" | "typeAlias" | "enum" | "parameter" | "property" | "method";
+/**
+ * Signature info in the handle registry.
+ *
+ * IMPORTANT: Must include declaring identity for resolveCall().
+ */
+export type SignatureInfo = {
+    /** Parameter nodes */
+    readonly parameters: readonly ParameterNode[];
+    /** Type node of a TypeScript `this:` parameter (if present). Excluded from `parameters`. */
+    readonly thisTypeNode?: unknown;
+    /** Return type node (ts.TypeNode, cast to unknown) */
+    readonly returnTypeNode?: unknown;
+    /** Type parameters */
+    readonly typeParameters?: readonly TypeParameterNode[];
+    /**
+     * Declaring type simple TS name (e.g., "Box" not "Test.Box").
+     *
+     * CRITICAL: Required for inheritance substitution in resolveCall().
+     * Resolved via UnifiedTypeCatalog.resolveTsName() to get CLR FQ name.
+     */
+    readonly declaringTypeTsName?: string;
+    /**
+     * Declaring member name.
+     *
+     * CRITICAL: Required for inheritance substitution in resolveCall().
+     */
+    readonly declaringMemberName?: string;
+    /**
+     * Type predicate information for `x is T` return types.
+     *
+     * Extracted at registration time via pure syntax inspection.
+     * Contains targetTypeNode which TypeSystem converts to IrType.
+     */
+    readonly typePredicate?: SignatureTypePredicateRaw;
+};
+/**
+ * Raw type predicate info as stored in SignatureInfo.
+ * Contains TypeNode, not IrType.
+ */
+export type SignatureTypePredicateRaw = {
+    readonly kind: "param";
+    readonly parameterName: string;
+    readonly parameterIndex: number;
+    readonly targetTypeNode: unknown;
+} | {
+    readonly kind: "this";
+    readonly targetTypeNode: unknown;
+};
+export type ParameterNode = {
+    readonly name: string;
+    readonly typeNode?: unknown;
+    readonly isOptional: boolean;
+    readonly isRest: boolean;
+    readonly mode?: ParameterMode;
+};
+export type TypeParameterNode = {
+    readonly name: string;
+    readonly constraintNode?: unknown;
+    readonly defaultNode?: unknown;
+};
+/**
+ * Member info in the handle registry.
+ */
+export type MemberInfo = {
+    readonly name: string;
+    readonly declNode?: unknown;
+    readonly typeNode?: unknown;
+    readonly isOptional: boolean;
+    readonly isReadonly: boolean;
+};
+/**
+ * TypeRegistry API — minimal interface needed by TypeSystem.
+ *
+ * After Step 3, TypeRegistry stores pure IR.
+ */
+export type TypeRegistryAPI = {
+    /** Resolve a type by fully-qualified name */
+    resolveNominal(fqName: string): TypeRegistryEntry | undefined;
+    /** Resolve a type by simple name (returns first match) */
+    resolveBySimpleName(simpleName: string): TypeRegistryEntry | undefined;
+    /** Get fully-qualified name from simple name */
+    getFQName(simpleName: string): string | undefined;
+    /** Get member type from a nominal type (pure IR after Step 3) */
+    getMemberType(fqNominal: string, memberName: string): IrType | undefined;
+    /** Check if a type is registered */
+    hasType(fqName: string): boolean;
+};
+/**
+ * Type parameter info in TypeRegistry.
+ *
+ * Pure IR representation of type parameters.
+ */
+export type TypeParameterEntry = {
+    readonly name: string;
+    readonly constraint?: IrType;
+    readonly defaultType?: IrType;
+};
+/**
+ * TypeRegistry entry.
+ *
+ * After Step 3, members/heritage store IrType, not TypeNodes.
+ */
+export type TypeRegistryEntry = {
+    readonly kind: "class" | "interface" | "typeAlias";
+    readonly name: string;
+    readonly fullyQualifiedName: string;
+    readonly typeParameters: readonly TypeParameterEntry[];
+    readonly members: ReadonlyMap<string, TypeRegistryMemberInfo>;
+};
+/**
+ * Member info in TypeRegistry.
+ *
+ * Pure IR representation - stores IrType, not TypeNode.
+ */
+export type TypeRegistryMemberInfo = {
+    readonly kind: "property" | "method" | "indexSignature";
+    readonly name: string;
+    readonly type: IrType | undefined;
+    readonly isOptional: boolean;
+    readonly isReadonly: boolean;
+    readonly methodSignatures?: readonly IrMethodSignature[];
+};
+/**
+ * NominalEnv API — Phase 6: TypeId-based interface.
+ */
+export type NominalEnvAPI = {
+    /** Get inheritance chain for a type (returns TypeIds) */
+    getInheritanceChain(typeId: TypeId): readonly TypeId[];
+    /** Get substitution for a parent type given child instantiation */
+    getInstantiation(receiverTypeId: TypeId, receiverTypeArgs: readonly IrType[], targetTypeId: TypeId): ReadonlyMap<string, IrType> | undefined;
+    /** Find the declaring type of a member in the inheritance chain */
+    findMemberDeclaringType(receiverTypeId: TypeId, receiverTypeArgs: readonly IrType[], memberName: string): MemberLookupResult | undefined;
+};
+/**
+ * Result of looking up a member in the inheritance chain.
+ */
+export type MemberLookupResult = {
+    /** TypeId of the type that declares the member */
+    readonly declaringTypeId: TypeId;
+    /** Substitution to apply to the member's declared type */
+    readonly substitution: ReadonlyMap<string, IrType>;
+};
+/**
+ * Mapping from primitive type names to their nominal type names.
+ *
+ * Used by typeOfMember to look up members on primitives.
+ * e.g., `"hello".length` → String.length
+ */
+export declare const BUILTIN_NOMINALS: Readonly<Record<string, string>>;
+/**
+ * Create a poisoned ResolvedCall with correct arity.
+ *
+ * CRITICAL (Alice's spec): Empty arrays are ILLEGAL.
+ * Poisoned results must have correct arity so callers cannot
+ * detect failure via `length === 0`.
+ *
+ * @param arity Number of parameters/arguments (from CallQuery.argumentCount)
+ * @param diagnostics Diagnostics explaining why resolution failed
+ */
+export declare const poisonedCall: (arity: number, diagnostics: readonly Diagnostic[]) => ResolvedCall;
+/**
+ * Nominal lookup result cached for member lookups.
+ */
+export type NominalLookupResult = {
+    readonly targetNominal: string;
+    readonly memberType: IrType;
+    readonly substitution: ReadonlyMap<string, IrType>;
+};
+/**
+ * TypeSystemState — shared state for all type-system functions.
+ *
+ * This replaces the closure-based shared state from the monolithic
+ * createTypeSystem() function. Maps are reference types; all functions
+ * sharing the same TypeSystemState see the same cache. No cloning.
+ */
+export type TypeSystemState = {
+    readonly handleRegistry: HandleRegistry;
+    readonly typeRegistry: TypeRegistryAPI;
+    readonly nominalEnv: NominalEnvAPI;
+    readonly convertTypeNodeRaw: (node: unknown) => IrType;
+    readonly unifiedCatalog: UnifiedTypeCatalog;
+    readonly aliasTable: AliasTable;
+    readonly resolveIdentifier: (node: unknown) => DeclId | undefined;
+    readonly resolveCallSignature: (node: unknown) => SignatureId | undefined;
+    readonly resolveConstructorSignature: (node: unknown) => SignatureId | undefined;
+    readonly declTypeCache: Map<number, IrType>;
+    readonly memberDeclaredTypeCache: Map<string, IrType>;
+    readonly signatureRawCache: Map<number, RawSignatureInfo>;
+    readonly nominalMemberLookupCache: Map<string, NominalLookupResult | null>;
+    readonly diagnostics: Diagnostic[];
+};
+export declare const emitDiagnostic: (state: TypeSystemState, code: DiagnosticCode, message: string, site?: Site) => void;
+/**
+ * Create a cache key for member type lookup.
+ */
+export declare const makeMemberCacheKey: (fqName: string, memberName: string, typeArgs?: readonly IrType[]) => string;
+/**
+ * Create a cache key for nominal lookup.
+ */
+export declare const makeNominalLookupKey: (fqName: string, typeArgs: readonly IrType[], memberName: string) => string;
+export declare const isNullishPrimitive: (t: IrType) => t is IrPrimitiveType & {
+    name: "null" | "undefined";
+};
+export declare const addUndefinedToType: (type: IrType) => IrType;
+/**
+ * Resolve a surface name to a canonical TypeId.
+ *
+ * Order:
+ * 1) AliasTable (primitives/globals/System.* canonicalization)
+ * 2) UnifiedTypeCatalog by tsName
+ * 3) UnifiedTypeCatalog by clrName
+ *
+ * IMPORTANT (airplane-grade):
+ * Resolution must be arity-aware when type arguments are present. Facade
+ * types often omit the `_N` generic arity suffix (e.g. `IList<T>` is a
+ * facade over `IList_1<T>`). When `arity` is provided and the direct
+ * resolution doesn't match, we deterministically try `<name>_<arity>`.
+ */
+export declare const resolveTypeIdByName: (state: TypeSystemState, name: string, arity?: number) => TypeId | undefined;
+/**
+ * Normalize a receiver type to nominal form for member lookup.
+ *
+ * Phase 6: Returns TypeId + typeArgs for TypeId-based NominalEnv.
+ *
+ * ALICE'S RULE R3: Primitive-to-nominal bridging is part of TypeSystem.
+ */
+export declare const normalizeToNominal: (state: TypeSystemState, type: IrType) => {
+    typeId: TypeId;
+    typeArgs: readonly IrType[];
+} | undefined;
+export declare const stripTsonicExtensionWrappers: (type: IrType) => IrType;
+export declare const stripNullishForInference: (type: IrType) => IrType | undefined;
+//# sourceMappingURL=type-system-state.d.ts.map

package/dist/ir/type-system/type-system-state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-system-state.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/type-system-state.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EACV,MAAM,EACN,eAAe,EACf,iBAAiB,EAClB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAC5E,OAAO,KAAK,EACV,MAAM,EACN,WAAW,EACX,QAAQ,EACR,YAAY,EACZ,iBAAiB,EACjB,aAAa,EACd,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAE9D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oCAAoC,CAAC;AACrE,OAAO,KAAK,EAAE,MAAM,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AAG/E,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;AAM5C;;;;;GAKG;AACH,MAAM,MAAM,SAAS,GACjB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAA;CAAE,GAChD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAEvD;;;;;;;;GAQG;AACH,MAAM,MAAM,SAAS,GAAG;IACtB,qEAAqE;IACrE,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAE5B;;;;;;OAMG;IACH,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAE/B,qEAAqE;IACrE,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAE/B,yEAAyE;IACzE,QAAQ,CAAC,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAE9C,yEAAyE;IACzE,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC;IAEpD;;;;;;OAMG;IACH,QAAQ,CAAC,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAErC,qCAAqC;IACrC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;CACtB,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,0EAA0E;IAC1E,QAAQ,CAAC,cAAc,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC;IAEzD,oDAAoD;IACpD,QAAQ,CAAC,cAAc,EAAE,SAAS,aAAa,EAAE,CAAC;IAElD,qCAAqC;IACrC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAE5B;;;OAGG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,mBAAmB,CAAC;IAE7C,4CAA4C;IAC5C,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,mBAAmB,GAC3B;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,CAAC;AAIN;;;;GAIG;AACH,MAAM,MAAM,IAAI,GAAG;IACjB,uBAAuB;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAEvB,0BAA0B;IAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAEvB,4BAA4B;IAC5B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAEzB,gDAAgD;IAChD,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC;CACzB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,mBAAmB,GAAG,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AAM9D;;;;GAIG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,iEAAiE;IACjE,QAAQ,CAAC,cAAc,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC;IAEzD,sFAAsF;IACtF,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAEpC,8CAA8C;IAC9C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAE5B,sBAAsB;IACtB,QAAQ,CAAC,cAAc,EAAE,SAAS,aAAa,EAAE,CAAC;IAElD,0CAA0C;IAC1C,QAAQ,CAAC,cAAc,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAEtD,wCAAwC;IACxC,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAE3C;;;OAGG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,mBAAmB,CAAC;IAE7C;;;;;OAKG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;CACvC,CAAC;AAMF;;;;;GAKG;AACH,MAAM,MAAM,cAAc,GAAG;IAC3B,wCAAwC;IACxC,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS,CAAC;IAE1C,2CAA2C;IAC3C,YAAY,CAAC,EAAE,EAAE,WAAW,GAAG,aAAa,GAAG,SAAS,CAAC;IAEzD,qCAAqC;IACrC,SAAS,CAAC,EAAE,EAAE,QAAQ,GAAG,UAAU,GAAG,SAAS,CAAC;IAEhD;;;;;OAKG;IACH,aAAa,CAAC,EAAE,EAAE,YAAY,GAAG,cAAc,GAAG,SAAS,CAAC;CAC7D,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG;IAC3B,2DAA2D;IAC3D,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAC1C,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG;IACrB,8DAA8D;IAC9D,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAE5B,uBAAuB;IACvB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAExB,2BAA2B;IAC3B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAEzB,6DAA6D;IAC7D,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAE5B,gEAAgE;IAChE,QAAQ,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;CAC9C,CAAC;AAEF,MAAM,MAAM,QAAQ,GAChB,UAAU,GACV,UAAU,GACV,OAAO,GACP,WAAW,GACX,WAAW,GACX,MAAM,GACN,WAAW,GACX,UAAU,GACV,QAAQ,CAAC;AAEb;;;;GAIG;AACH,MAAM,MAAM,aAAa,GAAG;IAC1B,sBAAsB;IACtB,QAAQ,CAAC,UAAU,EAAE,SAAS,aAAa,EAAE,CAAC;IAE9C,4FAA4F;IAC5F,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAEhC,sDAAsD;IACtD,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAElC,sBAAsB;IACtB,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAEvD;;;;;OAKG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAEtC;;;;OAIG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAEtC;;;;;OAKG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,yBAAyB,CAAC;CACpD,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,yBAAyB,GACjC;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;CAClC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;CAClC,CAAC;AAEN,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAClC,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;CAChC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;CAC9B,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,eAAe,GAAG;IAC5B,6CAA6C;IAC7C,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS,CAAC;IAE9D,0DAA0D;IAC1D,mBAAmB,CAAC,UAAU,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS,CAAC;IAEvE,gDAAgD;IAChD,SAAS,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IAElD,iEAAiE;IACjE,aAAa,CAAC,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IAEzE,oCAAoC;IACpC,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;CAClC,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,WAAW,GAAG,WAAW,CAAC;IACnD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,cAAc,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAEvD,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC;CAC/D,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,sBAAsB,GAAG;IACnC,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,QAAQ,GAAG,gBAAgB,CAAC;IACxD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,gBAAgB,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;CAC1D,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG;IAC1B,yDAAyD;IACzD,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAAC;IAEvD,mEAAmE;IACnE,gBAAgB,CACd,cAAc,EAAE,MAAM,EACtB,gBAAgB,EAAE,SAAS,MAAM,EAAE,EACnC,YAAY,EAAE,MAAM,GACnB,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,CAAC;IAE3C,mEAAmE;IACnE,uBAAuB,CACrB,cAAc,EAAE,MAAM,EACtB,gBAAgB,EAAE,SAAS,MAAM,EAAE,EACnC,UAAU,EAAE,MAAM,GACjB,kBAAkB,GAAG,SAAS,CAAC;CACnC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,kDAAkD;IAClD,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IAEjC,0DAA0D;IAC1D,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACpD,CAAC;AAMF;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAM7D,CAAC;AAMF;;;;;;;;;GASG;AACH,eAAO,MAAM,YAAY,GACvB,OAAO,MAAM,EACb,aAAa,SAAS,UAAU,EAAE,KACjC,YAKD,CAAC;AAEH;;GAEG;AACH,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACpD,CAAC;AAMF;;;;;;GAMG;AACH,MAAM,MAAM,eAAe,GAAG;IAE5B,QAAQ,CAAC,cAAc,EAAE,cAAc,CAAC;IACxC,QAAQ,CAAC,YAAY,EAAE,eAAe,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC;IACnC,QAAQ,CAAC,kBAAkB,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,MAAM,CAAC;IACvD,QAAQ,CAAC,cAAc,EAAE,kBAAkB,CAAC;IAC5C,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,QAAQ,CAAC,iBAAiB,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,MAAM,GAAG,SAAS,CAAC;IAClE,QAAQ,CAAC,oBAAoB,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,WAAW,GAAG,SAAS,CAAC;IAC1E,QAAQ,CAAC,2BAA2B,EAAE,CACpC,IAAI,EAAE,OAAO,KACV,WAAW,GAAG,SAAS,CAAC;IAG7B,QAAQ,CAAC,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC5C,QAAQ,CAAC,uBAAuB,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtD,QAAQ,CAAC,iBAAiB,EAAE,GAAG,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAC1D,QAAQ,CAAC,wBAAwB,EAAE,GAAG,CAAC,MAAM,EAAE,mBAAmB,GAAG,IAAI,CAAC,CAAC;IAG3E,QAAQ,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC;CACpC,CAAC;AAMF,eAAO,MAAM,cAAc,GACzB,OAAO,eAAe,EACtB,MAAM,cAAc,EACpB,SAAS,MAAM,EACf,OAAO,IAAI,KACV,IAmBF,CAAC;AAMF;;GAEG;AACH,eAAO,MAAM,kBAAkB,GAC7B,QAAQ,MAAM,EACd,YAAY,MAAM,EAClB,WAAW,SAAS,MAAM,EAAE,KAC3B,MAKF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,oBAAoB,GAC/B,QAAQ,MAAM,EACd,UAAU,SAAS,MAAM,EAAE,EAC3B,YAAY,MAAM,KACjB,MAEF,CAAC;AAGF,eAAO,MAAM,kBAAkB,GAC7B,GAAG,MAAM,KACR,CAAC,IAAI,eAAe,GAAG;IAAE,IAAI,EAAE,MAAM,GAAG,WAAW,CAAA;CAIrD,CAAC;AAEF,eAAO,MAAM,kBAAkB,GAAI,MAAM,MAAM,KAAG,MAWjD,CAAC;AAMF;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,mBAAmB,GAC9B,OAAO,eAAe,EACtB,MAAM,MAAM,EACZ,QAAQ,MAAM,KACb,MAAM,GAAG,SA6BX,CAAC;AAMF;;;;;;GAMG;AACH,eAAO,MAAM,kBAAkB,GAC7B,OAAO,eAAe,EACtB,MAAM,MAAM,KACX;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GAAG,SA0BpD,CAAC;AAWF,eAAO,MAAM,4BAA4B,GAAI,MAAM,MAAM,KAAG,MAW3D,CAAC;AAEF,eAAO,MAAM,wBAAwB,GAAI,MAAM,MAAM,KAAG,MAAM,GAAG,SAOhE,CAAC"}

package/dist/ir/type-system/type-system-state.js

@@ -0,0 +1,212 @@
+/**
+ * TypeSystem Shared Types, State, and Leaf Helpers
+ *
+ * This is the leaf module in the type-system DAG. It contains:
+ * - All shared type/interface definitions used by split modules
+ * - TypeSystemState type (the DI container for all type-system functions)
+ * - Pure helper functions that have no cross-module dependencies
+ *
+ * DAG position: LEAF (no imports from other type-system-* split modules)
+ */
+import { unknownType, neverType, voidType } from "./types.js";
+import { stableIrTypeKey } from "../types/type-ops.js";
+// Re-export constants for convenience
+export { unknownType, neverType, voidType };
+// ═══════════════════════════════════════════════════════════════════════════
+// BUILTIN NOMINAL MAPPING
+// ═══════════════════════════════════════════════════════════════════════════
+/**
+ * Mapping from primitive type names to their nominal type names.
+ *
+ * Used by typeOfMember to look up members on primitives.
+ * e.g., `"hello".length` → String.length
+ */
+export const BUILTIN_NOMINALS = {
+    string: "String",
+    number: "Number",
+    boolean: "Boolean",
+    bigint: "BigInt",
+    symbol: "Symbol",
+};
+// ═══════════════════════════════════════════════════════════════════════════
+// POISON VALUES
+// ═══════════════════════════════════════════════════════════════════════════
+/**
+ * Create a poisoned ResolvedCall with correct arity.
+ *
+ * CRITICAL (Alice's spec): Empty arrays are ILLEGAL.
+ * Poisoned results must have correct arity so callers cannot
+ * detect failure via `length === 0`.
+ *
+ * @param arity Number of parameters/arguments (from CallQuery.argumentCount)
+ * @param diagnostics Diagnostics explaining why resolution failed
+ */
+export const poisonedCall = (arity, diagnostics) => ({
+    parameterTypes: Array(arity).fill(unknownType),
+    parameterModes: Array(arity).fill("value"),
+    returnType: unknownType,
+    diagnostics,
+});
+// ═══════════════════════════════════════════════════════════════════════════
+// DIAGNOSTIC HELPERS
+// ═══════════════════════════════════════════════════════════════════════════
+export const emitDiagnostic = (state, code, message, site) => {
+    const location = site?.file !== undefined &&
+        site?.line !== undefined &&
+        site?.column !== undefined
+        ? {
+            file: site.file,
+            line: site.line,
+            column: site.column,
+            length: 1, // Default length
+        }
+        : undefined;
+    state.diagnostics.push({
+        code,
+        severity: "error",
+        message,
+        location,
+    });
+};
+// ═══════════════════════════════════════════════════════════════════════════
+// CACHE KEY HELPERS
+// ═══════════════════════════════════════════════════════════════════════════
+/**
+ * Create a cache key for member type lookup.
+ */
+export const makeMemberCacheKey = (fqName, memberName, typeArgs) => {
+    if (typeArgs && typeArgs.length > 0) {
+        return `${fqName}:${memberName}:${typeArgs.map(stableIrTypeKey).join(",")}`;
+    }
+    return `${fqName}:${memberName}`;
+};
+/**
+ * Create a cache key for nominal lookup.
+ */
+export const makeNominalLookupKey = (fqName, typeArgs, memberName) => {
+    return `${fqName}:${typeArgs.map(stableIrTypeKey).join(",")}:${memberName}`;
+};
+// Helper to check if type is null/undefined primitive
+export const isNullishPrimitive = (t) => {
+    return (t.kind === "primitiveType" && (t.name === "null" || t.name === "undefined"));
+};
+export const addUndefinedToType = (type) => {
+    const undefinedType = { kind: "primitiveType", name: "undefined" };
+    if (type.kind === "unionType") {
+        const hasUndefined = type.types.some((x) => x.kind === "primitiveType" && x.name === "undefined");
+        return hasUndefined
+            ? type
+            : { ...type, types: [...type.types, undefinedType] };
+    }
+    return { kind: "unionType", types: [type, undefinedType] };
+};
+// ═══════════════════════════════════════════════════════════════════════════
+// TYPE ID RESOLUTION
+// ═══════════════════════════════════════════════════════════════════════════
+/**
+ * Resolve a surface name to a canonical TypeId.
+ *
+ * Order:
+ * 1) AliasTable (primitives/globals/System.* canonicalization)
+ * 2) UnifiedTypeCatalog by tsName
+ * 3) UnifiedTypeCatalog by clrName
+ *
+ * IMPORTANT (airplane-grade):
+ * Resolution must be arity-aware when type arguments are present. Facade
+ * types often omit the `_N` generic arity suffix (e.g. `IList<T>` is a
+ * facade over `IList_1<T>`). When `arity` is provided and the direct
+ * resolution doesn't match, we deterministically try `<name>_<arity>`.
+ */
+export const resolveTypeIdByName = (state, name, arity) => {
+    const direct = state.aliasTable.get(name) ??
+        state.unifiedCatalog.resolveTsName(name) ??
+        state.unifiedCatalog.resolveClrName(name);
+    if (arity === undefined)
+        return direct;
+    if (direct) {
+        const directArity = state.unifiedCatalog.getTypeParameters(direct).length;
+        if (directArity === arity)
+            return direct;
+    }
+    // Facade name without arity suffix → try tsbindgen's structural encoding.
+    if (arity > 0) {
+        const suffixed = `${name}_${arity}`;
+        const candidate = state.aliasTable.get(suffixed) ??
+            state.unifiedCatalog.resolveTsName(suffixed) ??
+            state.unifiedCatalog.resolveClrName(suffixed);
+        if (candidate) {
+            const candidateArity = state.unifiedCatalog.getTypeParameters(candidate).length;
+            if (candidateArity === arity)
+                return candidate;
+        }
+    }
+    return undefined;
+};
+// ═══════════════════════════════════════════════════════════════════════════
+// NORMALIZATION HELPERS
+// ═══════════════════════════════════════════════════════════════════════════
+/**
+ * Normalize a receiver type to nominal form for member lookup.
+ *
+ * Phase 6: Returns TypeId + typeArgs for TypeId-based NominalEnv.
+ *
+ * ALICE'S RULE R3: Primitive-to-nominal bridging is part of TypeSystem.
+ */
+export const normalizeToNominal = (state, type) => {
+    if (type.kind === "referenceType") {
+        const arity = type.typeArguments?.length;
+        const typeId = type.typeId ??
+            (type.resolvedClrType
+                ? resolveTypeIdByName(state, type.resolvedClrType, arity)
+                : undefined) ??
+            resolveTypeIdByName(state, type.name, arity);
+        if (!typeId)
+            return undefined;
+        return { typeId, typeArgs: type.typeArguments ?? [] };
+    }
+    if (type.kind === "primitiveType") {
+        const typeId = resolveTypeIdByName(state, type.name, 0);
+        if (!typeId)
+            return undefined;
+        return { typeId, typeArgs: [] };
+    }
+    if (type.kind === "arrayType") {
+        const arrayTypeId = resolveTypeIdByName(state, "Array", 1);
+        if (!arrayTypeId)
+            return undefined;
+        return { typeId: arrayTypeId, typeArgs: [type.elementType] };
+    }
+    return undefined;
+};
+// tsbindgen-generated "sticky extension scope" helpers are TS-only wrappers that
+// must erase for deterministic IR typing and call inference.
+//
+// Example (generated bindings for Tsonic source):
+//   import type { ExtensionMethods as __TsonicExt_Ef } from "@tsonic/efcore/Microsoft.EntityFrameworkCore.js";
+//   readonly Tenants: __TsonicExt_Ef<...>;
+//
+// These wrapper types have no CLR identity. For the compiler, the only meaningful
+// runtime/CLR shape is the inner type argument.
+export const stripTsonicExtensionWrappers = (type) => {
+    if (type.kind === "referenceType") {
+        if (type.name.startsWith("__TsonicExt_") &&
+            (type.typeArguments?.length ?? 0) === 1) {
+            const inner = type.typeArguments?.[0];
+            return inner ? stripTsonicExtensionWrappers(inner) : type;
+        }
+    }
+    return type;
+};
+export const stripNullishForInference = (type) => {
+    if (isNullishPrimitive(type))
+        return undefined;
+    if (type.kind !== "unionType")
+        return type;
+    const filtered = type.types.filter((t) => !isNullishPrimitive(t));
+    if (filtered.length === 0)
+        return undefined;
+    if (filtered.length === 1 && filtered[0])
+        return filtered[0];
+    return { kind: "unionType", types: filtered };
+};
+//# sourceMappingURL=type-system-state.js.map

package/dist/ir/type-system/type-system-state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-system-state.js","sourceRoot":"","sources":["../../../src/ir/type-system/type-system-state.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAgBH,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAIvD,sCAAsC;AACtC,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;AAya5C,8EAA8E;AAC9E,0BAA0B;AAC1B,8EAA8E;AAE9E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAqC;IAChE,MAAM,EAAE,QAAQ;IAChB,MAAM,EAAE,QAAQ;IAChB,OAAO,EAAE,SAAS;IAClB,MAAM,EAAE,QAAQ;IAChB,MAAM,EAAE,QAAQ;CACjB,CAAC;AAEF,8EAA8E;AAC9E,gBAAgB;AAChB,8EAA8E;AAE9E;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,KAAa,EACb,WAAkC,EACpB,EAAE,CAAC,CAAC;IAClB,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC;IAC9C,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAgB,CAAC;IACnD,UAAU,EAAE,WAAW;IACvB,WAAW;CACZ,CAAC,CAAC;AA8CH,8EAA8E;AAC9E,qBAAqB;AACrB,8EAA8E;AAE9E,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,KAAsB,EACtB,IAAoB,EACpB,OAAe,EACf,IAAW,EACL,EAAE;IACR,MAAM,QAAQ,GACZ,IAAI,EAAE,IAAI,KAAK,SAAS;QACxB,IAAI,EAAE,IAAI,KAAK,SAAS;QACxB,IAAI,EAAE,MAAM,KAAK,SAAS;QACxB,CAAC,CAAC;YACE,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,MAAM,EAAE,CAAC,EAAE,iBAAiB;SAC7B;QACH,CAAC,CAAC,SAAS,CAAC;IAEhB,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC;QACrB,IAAI;QACJ,QAAQ,EAAE,OAAO;QACjB,OAAO;QACP,QAAQ;KACT,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,8EAA8E;AAC9E,oBAAoB;AACpB,8EAA8E;AAE9E;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,MAAc,EACd,UAAkB,EAClB,QAA4B,EACpB,EAAE;IACV,IAAI,QAAQ,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpC,OAAO,GAAG,MAAM,IAAI,UAAU,IAAI,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;IAC9E,CAAC;IACD,OAAO,GAAG,MAAM,IAAI,UAAU,EAAE,CAAC;AACnC,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,MAAc,EACd,QAA2B,EAC3B,UAAkB,EACV,EAAE;IACV,OAAO,GAAG,MAAM,IAAI,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,UAAU,EAAE,CAAC;AAC9E,CAAC,CAAC;AAEF,sDAAsD;AACtD,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,CAAS,EAC8C,EAAE;IACzD,OAAO,CACL,CAAC,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAC5E,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,IAAY,EAAU,EAAE;IACzD,MAAM,aAAa,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IAC3E,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAClC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAC5D,CAAC;QACF,OAAO,YAAY;YACjB,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,CAAC;IACzD,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,IAAI,EAAE,aAAa,CAAC,EAAE,CAAC;AAC7D,CAAC,CAAC;AAEF,8EAA8E;AAC9E,qBAAqB;AACrB,8EAA8E;AAE9E;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,KAAsB,EACtB,IAAY,EACZ,KAAc,EACM,EAAE;IACtB,MAAM,MAAM,GACV,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC;QAC1B,KAAK,CAAC,cAAc,CAAC,aAAa,CAAC,IAAI,CAAC;QACxC,KAAK,CAAC,cAAc,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;IAE5C,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IAEvC,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,WAAW,GAAG,KAAK,CAAC,cAAc,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC;QAC1E,IAAI,WAAW,KAAK,KAAK;YAAE,OAAO,MAAM,CAAC;IAC3C,CAAC;IAED,0EAA0E;IAC1E,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACd,MAAM,QAAQ,GAAG,GAAG,IAAI,IAAI,KAAK,EAAE,CAAC;QACpC,MAAM,SAAS,GACb,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC;YAC9B,KAAK,CAAC,cAAc,CAAC,aAAa,CAAC,QAAQ,CAAC;YAC5C,KAAK,CAAC,cAAc,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;QAEhD,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,cAAc,GAClB,KAAK,CAAC,cAAc,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC;YAC3D,IAAI,cAAc,KAAK,KAAK;gBAAE,OAAO,SAAS,CAAC;QACjD,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,8EAA8E;AAC9E,wBAAwB;AACxB,8EAA8E;AAE9E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,KAAsB,EACtB,IAAY,EACiD,EAAE;IAC/D,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,EAAE,MAAM,CAAC;QACzC,MAAM,MAAM,GACV,IAAI,CAAC,MAAM;YACX,CAAC,IAAI,CAAC,eAAe;gBACnB,CAAC,CAAC,mBAAmB,CAAC,KAAK,EAAE,IAAI,CAAC,eAAe,EAAE,KAAK,CAAC;gBACzD,CAAC,CAAC,SAAS,CAAC;YACd,mBAAmB,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/C,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC9B,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,aAAa,IAAI,EAAE,EAAE,CAAC;IACxD,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,mBAAmB,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACxD,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC9B,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAClC,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,MAAM,WAAW,GAAG,mBAAmB,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;QAC3D,IAAI,CAAC,WAAW;YAAE,OAAO,SAAS,CAAC;QACnC,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;IAC/D,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,iFAAiF;AACjF,6DAA6D;AAC7D,EAAE;AACF,kDAAkD;AAClD,+GAA+G;AAC/G,2CAA2C;AAC3C,EAAE;AACF,kFAAkF;AAClF,gDAAgD;AAChD,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,IAAY,EAAU,EAAE;IACnE,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,IACE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC;YACpC,CAAC,IAAI,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,EACvC,CAAC;YACD,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;YACtC,OAAO,KAAK,CAAC,CAAC,CAAC,4BAA4B,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC5D,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,IAAY,EAAsB,EAAE;IAC3E,IAAI,kBAAkB,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/C,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC7D,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AAChD,CAAC,CAAC"}