@tsonic/frontend 0.0.14 → 0.0.15

package/dist/ir/type-system/internal/universe/types.d.ts

@@ -0,0 +1,436 @@
+/**
+ * Type Universe Type Definitions
+ *
+ * This module defines the types for the unified type catalog that merges
+ * source-authored types (from TS AST) and assembly-authored types (from
+ * CLR metadata in bindings.json/metadata.json).
+ *
+ * INVARIANT INV-CLR: All nominal type identities come from ONE unified catalog.
+ * No type query is allowed to "fall back" to parallel logic or parallel stores.
+ *
+ * Key Types:
+ * - TypeId: Canonical identity for any nominal type
+ * - NominalEntry: Complete type information from either source or assembly
+ * - MemberEntry: Property/method/field information
+ * - MethodSignatureEntry: Full method signature with parameters
+ */
+import type { IrType } from "../../../types/index.js";
+/**
+ * Canonical identity for any nominal type.
+ *
+ * Uses stableId as the primary key:
+ * - Assembly types: "{assemblyName}:{clrName}" e.g., "System.Private.CoreLib:System.String"
+ * - Source types: "{projectName}:{fullyQualifiedName}" e.g., "myapp:MyApp.models.User"
+ *
+ * The distinction matters for:
+ * - Collisions across assemblies
+ * - Type-forwarding
+ * - Multiple assemblies declaring same namespace/type
+ */
+export type TypeId = {
+    /** Primary key: e.g., "System.Private.CoreLib:System.String" */
+    readonly stableId: string;
+    /** CLR display name for emitter: e.g., "System.String" */
+    readonly clrName: string;
+    /** Assembly name: e.g., "System.Private.CoreLib" */
+    readonly assemblyName: string;
+    /** TS surface name for symbol binding: e.g., "String" */
+    readonly tsName: string;
+};
+/**
+ * Complete type information for a nominal type.
+ *
+ * This is the unified shape for both source and assembly types.
+ * All type queries go through this structure.
+ */
+export type NominalEntry = {
+    /** Canonical identity */
+    readonly typeId: TypeId;
+    /** Type kind */
+    readonly kind: NominalKind;
+    /** Type parameters (for generic types) */
+    readonly typeParameters: readonly TypeParameterEntry[];
+    /** Inheritance edges (extends, implements) */
+    readonly heritage: readonly HeritageEdge[];
+    /** Members indexed by TS name */
+    readonly members: ReadonlyMap<string, MemberEntry>;
+    /** Where this type came from */
+    readonly origin: TypeOrigin;
+    /** Accessibility modifier */
+    readonly accessibility: "public" | "internal" | "private" | "protected";
+    /** Abstract class flag */
+    readonly isAbstract: boolean;
+    /** Sealed class flag */
+    readonly isSealed: boolean;
+    /** Static class flag */
+    readonly isStatic: boolean;
+};
+/**
+ * Type kind classification.
+ */
+export type NominalKind = "class" | "interface" | "struct" | "enum" | "delegate";
+/**
+ * Where a type originated.
+ */
+export type TypeOrigin = "source" | "assembly";
+/**
+ * Type parameter declaration on a generic type.
+ */
+export type TypeParameterEntry = {
+    /** Parameter name (e.g., "T", "TKey") */
+    readonly name: string;
+    /** Constraint type (e.g., "where T : IComparable") */
+    readonly constraint?: IrType;
+    /** Default type (if any) */
+    readonly defaultType?: IrType;
+};
+/**
+ * Inheritance edge connecting types.
+ *
+ * For generic inheritance like `class MyList<T> extends List<T>`,
+ * the typeArguments capture the type parameter mappings.
+ */
+export type HeritageEdge = {
+    /** "extends" for classes, "implements" for interfaces */
+    readonly kind: "extends" | "implements";
+    /** Target type's stableId */
+    readonly targetStableId: string;
+    /** Type arguments passed to the target type */
+    readonly typeArguments: readonly IrType[];
+};
+/**
+ * Member information for properties, methods, fields, and events.
+ */
+export type MemberEntry = {
+    /** TS surface name (for symbol binding) */
+    readonly tsName: string;
+    /** CLR name (for emitter) */
+    readonly clrName: string;
+    /** Member kind */
+    readonly memberKind: MemberKind;
+    /** Type (for properties, fields); undefined for methods */
+    readonly type?: IrType;
+    /** Method signatures (for methods/overloads) */
+    readonly signatures?: readonly MethodSignatureEntry[];
+    /** Static member flag */
+    readonly isStatic: boolean;
+    /** Readonly property/field flag */
+    readonly isReadonly: boolean;
+    /** Abstract member flag */
+    readonly isAbstract: boolean;
+    /** Virtual member flag */
+    readonly isVirtual: boolean;
+    /** Override member flag */
+    readonly isOverride: boolean;
+    /** For properties: is this an indexer? */
+    readonly isIndexer: boolean;
+    /** For properties: has getter? */
+    readonly hasGetter: boolean;
+    /** For properties: has setter? */
+    readonly hasSetter: boolean;
+    /** Stable ID for this member */
+    readonly stableId: string;
+};
+/**
+ * Member kind classification.
+ */
+export type MemberKind = "property" | "method" | "field" | "event";
+/**
+ * Complete method signature information.
+ *
+ * For overloaded methods, each overload has its own entry.
+ */
+export type MethodSignatureEntry = {
+    /** Stable ID for this specific signature */
+    readonly stableId: string;
+    /** Method parameters */
+    readonly parameters: readonly ParameterEntry[];
+    /** Return type */
+    readonly returnType: IrType;
+    /** Method-level type parameters */
+    readonly typeParameters: readonly TypeParameterEntry[];
+    /** Parameter count (for quick overload filtering) */
+    readonly parameterCount: number;
+    /** Static method flag */
+    readonly isStatic: boolean;
+    /** Extension method flag */
+    readonly isExtensionMethod: boolean;
+    /** Source interface for explicit interface implementations */
+    readonly sourceInterface?: string;
+    /** Normalized signature string for dedup */
+    readonly normalizedSignature: string;
+};
+/**
+ * Parameter information for method signatures.
+ */
+export type ParameterEntry = {
+    /** Parameter name */
+    readonly name: string;
+    /** Parameter type */
+    readonly type: IrType;
+    /** Passing mode (value, ref, out, in) */
+    readonly mode: ParameterMode;
+    /** Optional parameter flag */
+    readonly isOptional: boolean;
+    /** Default value (for optional parameters) */
+    readonly defaultValue?: unknown;
+    /** Rest/params parameter flag */
+    readonly isRest: boolean;
+};
+/**
+ * Parameter passing mode for C# interop.
+ */
+export type ParameterMode = "value" | "ref" | "out" | "in";
+/**
+ * Constructor information.
+ */
+export type ConstructorEntry = {
+    /** Normalized signature for dedup */
+    readonly normalizedSignature: string;
+    /** Constructor parameters */
+    readonly parameters: readonly ParameterEntry[];
+    /** Static constructor flag */
+    readonly isStatic: boolean;
+    /** Parameter count */
+    readonly parameterCount: number;
+};
+/**
+ * Field information from metadata.
+ */
+export type FieldEntry = {
+    /** Stable ID */
+    readonly stableId: string;
+    /** CLR name */
+    readonly clrName: string;
+    /** TS surface name */
+    readonly tsName: string;
+    /** Static field flag */
+    readonly isStatic: boolean;
+    /** Readonly field flag */
+    readonly isReadonly: boolean;
+    /** Literal/const field flag */
+    readonly isLiteral: boolean;
+    /** Normalized signature for type extraction */
+    readonly normalizedSignature: string;
+};
+/**
+ * Complete catalog of types loaded from assembly metadata.
+ *
+ * This is the result of loading bindings.json + metadata.json files.
+ */
+export type AssemblyTypeCatalog = {
+    /** All type entries, keyed by stableId */
+    readonly entries: ReadonlyMap<string, NominalEntry>;
+    /** TS name → TypeId mapping */
+    readonly tsNameToTypeId: ReadonlyMap<string, TypeId>;
+    /** CLR name → TypeId mapping */
+    readonly clrNameToTypeId: ReadonlyMap<string, TypeId>;
+    /** Namespace → TypeIds mapping */
+    readonly namespaceToTypeIds: ReadonlyMap<string, readonly TypeId[]>;
+};
+/**
+ * Unified catalog merging source and assembly types.
+ *
+ * This is THE source of truth for all type queries.
+ * No fallback paths allowed.
+ */
+export type UnifiedTypeCatalog = {
+    /** Get entry by TypeId */
+    readonly getByTypeId: (typeId: TypeId) => NominalEntry | undefined;
+    /** Get entry by stableId string */
+    readonly getByStableId: (stableId: string) => NominalEntry | undefined;
+    /** Resolve TS name to TypeId */
+    readonly resolveTsName: (tsName: string) => TypeId | undefined;
+    /** Resolve CLR name to TypeId */
+    readonly resolveClrName: (clrName: string) => TypeId | undefined;
+    /** Get all members of a type */
+    readonly getMembers: (typeId: TypeId) => ReadonlyMap<string, MemberEntry>;
+    /** Get specific member by name */
+    readonly getMember: (typeId: TypeId, memberName: string) => MemberEntry | undefined;
+    /** Get heritage edges */
+    readonly getHeritage: (typeId: TypeId) => readonly HeritageEdge[];
+    /** Get type parameters */
+    readonly getTypeParameters: (typeId: TypeId) => readonly TypeParameterEntry[];
+    /** Check if type exists */
+    readonly hasType: (stableId: string) => boolean;
+    /** Get all type IDs */
+    readonly getAllTypeIds: () => readonly TypeId[];
+};
+/**
+ * Raw type entry from metadata.json.
+ * This matches the actual JSON structure.
+ */
+export type RawMetadataType = {
+    readonly stableId: string;
+    readonly clrName: string;
+    readonly tsEmitName: string;
+    readonly kind: string;
+    readonly accessibility: string;
+    readonly isAbstract: boolean;
+    readonly isSealed: boolean;
+    readonly isStatic: boolean;
+    readonly arity: number;
+    readonly methods: readonly RawMetadataMethod[];
+    readonly properties: readonly RawMetadataProperty[];
+    readonly fields: readonly RawMetadataField[];
+    readonly events: readonly unknown[];
+    readonly constructors: readonly RawMetadataConstructor[];
+    readonly baseType?: string;
+    readonly interfaces?: readonly string[];
+};
+/**
+ * Raw method entry from metadata.json.
+ */
+export type RawMetadataMethod = {
+    readonly stableId: string;
+    readonly clrName: string;
+    readonly tsEmitName: string;
+    readonly normalizedSignature: string;
+    readonly provenance: string;
+    readonly emitScope: string;
+    readonly isStatic: boolean;
+    readonly isAbstract: boolean;
+    readonly isVirtual: boolean;
+    readonly isOverride: boolean;
+    readonly isSealed: boolean;
+    readonly arity: number;
+    readonly parameterCount: number;
+    readonly isExtensionMethod: boolean;
+    readonly sourceInterface?: string;
+};
+/**
+ * Raw property entry from metadata.json.
+ */
+export type RawMetadataProperty = {
+    readonly stableId: string;
+    readonly clrName: string;
+    readonly tsEmitName: string;
+    readonly normalizedSignature: string;
+    readonly provenance: string;
+    readonly emitScope: string;
+    readonly isStatic: boolean;
+    readonly isAbstract: boolean;
+    readonly isVirtual: boolean;
+    readonly isOverride: boolean;
+    readonly isIndexer: boolean;
+    readonly hasGetter: boolean;
+    readonly hasSetter: boolean;
+};
+/**
+ * Raw field entry from metadata.json.
+ */
+export type RawMetadataField = {
+    readonly stableId: string;
+    readonly clrName: string;
+    readonly tsEmitName: string;
+    readonly normalizedSignature: string;
+    readonly isStatic: boolean;
+    readonly isReadOnly: boolean;
+    readonly isLiteral: boolean;
+};
+/**
+ * Raw constructor entry from metadata.json.
+ */
+export type RawMetadataConstructor = {
+    readonly normalizedSignature: string;
+    readonly isStatic: boolean;
+    readonly parameterCount: number;
+};
+/**
+ * Raw metadata.json file structure.
+ */
+export type RawMetadataFile = {
+    readonly namespace: string;
+    readonly contributingAssemblies: readonly string[];
+    readonly types: readonly RawMetadataType[];
+};
+/**
+ * Raw bindings.json type entry.
+ */
+export type RawBindingType = {
+    readonly stableId: string;
+    readonly clrName: string;
+    readonly tsEmitName: string;
+    readonly assemblyName: string;
+    readonly metadataToken: number;
+    readonly methods: readonly RawBindingMethod[];
+    readonly properties: readonly RawBindingProperty[];
+    readonly fields: readonly RawBindingField[];
+};
+/**
+ * Raw bindings.json method entry.
+ */
+export type RawBindingMethod = {
+    readonly stableId: string;
+    readonly clrName: string;
+    readonly tsEmitName: string;
+    readonly metadataToken: number;
+    readonly normalizedSignature: string;
+    readonly isStatic: boolean;
+    readonly declaringClrType: string;
+    readonly declaringAssemblyName: string;
+    readonly isExtensionMethod: boolean;
+    readonly parameterModifiers?: readonly {
+        readonly index: number;
+        readonly modifier: "ref" | "out" | "in";
+    }[];
+};
+/**
+ * Raw bindings.json property entry.
+ */
+export type RawBindingProperty = {
+    readonly stableId: string;
+    readonly clrName: string;
+    readonly tsEmitName: string;
+    readonly metadataToken: number;
+    readonly normalizedSignature: string;
+    readonly isStatic: boolean;
+    readonly declaringClrType: string;
+    readonly declaringAssemblyName: string;
+};
+/**
+ * Raw bindings.json field entry.
+ */
+export type RawBindingField = {
+    readonly stableId: string;
+    readonly clrName: string;
+    readonly tsEmitName: string;
+    readonly metadataToken: number;
+    readonly normalizedSignature: string;
+    readonly isStatic: boolean;
+    readonly isReadOnly: boolean;
+    readonly declaringClrType: string;
+    readonly declaringAssemblyName: string;
+};
+/**
+ * Raw bindings.json file structure.
+ */
+export type RawBindingsFile = {
+    readonly namespace: string;
+    readonly types: readonly RawBindingType[];
+};
+/**
+ * Create a TypeId from components.
+ */
+export declare const makeTypeId: (stableId: string, clrName: string, assemblyName: string, tsName: string) => TypeId;
+/**
+ * Parse a stableId into assemblyName and clrName.
+ */
+export declare const parseStableId: (stableId: string) => {
+    assemblyName: string;
+    clrName: string;
+} | undefined;
+/**
+ * Mapping from TS primitive type names to their CLR stableIds.
+ *
+ * This enables normalizing `primitiveType("string")` to the canonical
+ * `System.String` nominal type for member lookups.
+ */
+export declare const PRIMITIVE_TO_STABLE_ID: ReadonlyMap<string, string>;
+/**
+ * Mapping from CLR stableIds back to TS primitive type names.
+ *
+ * This enables the emitter to use primitive syntax when appropriate.
+ */
+export declare const STABLE_ID_TO_PRIMITIVE: ReadonlyMap<string, string>;
+//# sourceMappingURL=types.d.ts.map

package/dist/ir/type-system/internal/universe/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/universe/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AAMtD;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,MAAM,GAAG;IACnB,gEAAgE;IAChE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,0DAA0D;IAC1D,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,oDAAoD;IACpD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,yDAAyD;IACzD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;AAMF;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,yBAAyB;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,gBAAgB;IAChB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,0CAA0C;IAC1C,QAAQ,CAAC,cAAc,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACvD,8CAA8C;IAC9C,QAAQ,CAAC,QAAQ,EAAE,SAAS,YAAY,EAAE,CAAC;IAC3C,iCAAiC;IACjC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACnD,gCAAgC;IAChC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,6BAA6B;IAC7B,QAAQ,CAAC,aAAa,EAAE,QAAQ,GAAG,UAAU,GAAG,SAAS,GAAG,WAAW,CAAC;IACxE,0BAA0B;IAC1B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,wBAAwB;IACxB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,wBAAwB;IACxB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,WAAW,GACnB,OAAO,GACP,WAAW,GACX,QAAQ,GACR,MAAM,GACN,UAAU,CAAC;AAEf;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,QAAQ,GAAG,UAAU,CAAC;AAE/C;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,yCAAyC;IACzC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,sDAAsD;IACtD,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,4BAA4B;IAC5B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B,CAAC;AAMF;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,yDAAyD;IACzD,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,YAAY,CAAC;IACxC,6BAA6B;IAC7B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,+CAA+C;IAC/C,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;CAC3C,CAAC;AAMF;;GAEG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB,2CAA2C;IAC3C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,6BAA6B;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,kBAAkB;IAClB,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,2DAA2D;IAC3D,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,gDAAgD;IAChD,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,oBAAoB,EAAE,CAAC;IACtD,yBAAyB;IACzB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,mCAAmC;IACnC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,2BAA2B;IAC3B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,0BAA0B;IAC1B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,2BAA2B;IAC3B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,0CAA0C;IAC1C,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,kCAAkC;IAClC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,kCAAkC;IAClC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,gCAAgC;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,UAAU,GAAG,QAAQ,GAAG,OAAO,GAAG,OAAO,CAAC;AAMnE;;;;GAIG;AACH,MAAM,MAAM,oBAAoB,GAAG;IACjC,4CAA4C;IAC5C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,wBAAwB;IACxB,QAAQ,CAAC,UAAU,EAAE,SAAS,cAAc,EAAE,CAAC;IAC/C,kBAAkB;IAClB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,mCAAmC;IACnC,QAAQ,CAAC,cAAc,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACvD,qDAAqD;IACrD,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,yBAAyB;IACzB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,4BAA4B;IAC5B,QAAQ,CAAC,iBAAiB,EAAE,OAAO,CAAC;IACpC,8DAA8D;IAC9D,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;IAClC,4CAA4C;IAC5C,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;CACtC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG;IAC3B,qBAAqB;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,qBAAqB;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,yCAAyC;IACzC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,8BAA8B;IAC9B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,8CAA8C;IAC9C,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAChC,iCAAiC;IACjC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC1B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG,OAAO,GAAG,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC;AAM3D;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,qCAAqC;IACrC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,6BAA6B;IAC7B,QAAQ,CAAC,UAAU,EAAE,SAAS,cAAc,EAAE,CAAC;IAC/C,8BAA8B;IAC9B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,sBAAsB;IACtB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACjC,CAAC;AAMF;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG;IACvB,gBAAgB;IAChB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,eAAe;IACf,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,sBAAsB;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,wBAAwB;IACxB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,0BAA0B;IAC1B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,+BAA+B;IAC/B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,+CAA+C;IAC/C,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;CACtC,CAAC;AAMF;;;;GAIG;AACH,MAAM,MAAM,mBAAmB,GAAG;IAChC,0CAA0C;IAC1C,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACpD,+BAA+B;IAC/B,QAAQ,CAAC,cAAc,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACrD,gCAAgC;IAChC,QAAQ,CAAC,eAAe,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtD,kCAAkC;IAClC,QAAQ,CAAC,kBAAkB,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC;CACrE,CAAC;AAMF;;;;;GAKG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,0BAA0B;IAC1B,QAAQ,CAAC,WAAW,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,YAAY,GAAG,SAAS,CAAC;IACnE,mCAAmC;IACnC,QAAQ,CAAC,aAAa,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,YAAY,GAAG,SAAS,CAAC;IACvE,gCAAgC;IAChC,QAAQ,CAAC,aAAa,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,CAAC;IAC/D,iCAAiC;IACjC,QAAQ,CAAC,cAAc,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,CAAC;IACjE,gCAAgC;IAChC,QAAQ,CAAC,UAAU,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAC1E,kCAAkC;IAClC,QAAQ,CAAC,SAAS,EAAE,CAClB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,KACf,WAAW,GAAG,SAAS,CAAC;IAC7B,yBAAyB;IACzB,QAAQ,CAAC,WAAW,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,SAAS,YAAY,EAAE,CAAC;IAClE,0BAA0B;IAC1B,QAAQ,CAAC,iBAAiB,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,SAAS,kBAAkB,EAAE,CAAC;IAC9E,2BAA2B;IAC3B,QAAQ,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,OAAO,CAAC;IAChD,uBAAuB;IACvB,QAAQ,CAAC,aAAa,EAAE,MAAM,SAAS,MAAM,EAAE,CAAC;CACjD,CAAC;AAMF;;;GAGG;AACH,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC/C,QAAQ,CAAC,UAAU,EAAE,SAAS,mBAAmB,EAAE,CAAC;IACpD,QAAQ,CAAC,MAAM,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC7C,QAAQ,CAAC,MAAM,EAAE,SAAS,OAAO,EAAE,CAAC;IACpC,QAAQ,CAAC,YAAY,EAAE,SAAS,sBAAsB,EAAE,CAAC;IACzD,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,iBAAiB,EAAE,OAAO,CAAC;IACpC,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;CACnC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;CAC7B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;CAC7B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,sBAAsB,GAAG;IACnC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACjC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,sBAAsB,EAAE,SAAS,MAAM,EAAE,CAAC;IACnD,QAAQ,CAAC,KAAK,EAAE,SAAS,eAAe,EAAE,CAAC;CAC5C,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC9C,QAAQ,CAAC,UAAU,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACnD,QAAQ,CAAC,MAAM,EAAE,SAAS,eAAe,EAAE,CAAC;CAC7C,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,QAAQ,CAAC,iBAAiB,EAAE,OAAO,CAAC;IACpC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,SAAS;QACrC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,QAAQ,EAAE,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC;KACzC,EAAE,CAAC;CACL,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;CACxC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;CACxC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,SAAS,cAAc,EAAE,CAAC;CAC3C,CAAC;AAMF;;GAEG;AACH,eAAO,MAAM,UAAU,GACrB,UAAU,MAAM,EAChB,SAAS,MAAM,EACf,cAAc,MAAM,EACpB,QAAQ,MAAM,KACb,MAKD,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,aAAa,GACxB,UAAU,MAAM,KACf;IAAE,YAAY,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GAAG,SAO9C,CAAC;AAMF;;;;;GAKG;AACH,eAAO,MAAM,sBAAsB,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAM7D,CAAC;AAEH;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAM7D,CAAC"}

package/dist/ir/type-system/internal/universe/types.js

@@ -0,0 +1,69 @@
+/**
+ * Type Universe Type Definitions
+ *
+ * This module defines the types for the unified type catalog that merges
+ * source-authored types (from TS AST) and assembly-authored types (from
+ * CLR metadata in bindings.json/metadata.json).
+ *
+ * INVARIANT INV-CLR: All nominal type identities come from ONE unified catalog.
+ * No type query is allowed to "fall back" to parallel logic or parallel stores.
+ *
+ * Key Types:
+ * - TypeId: Canonical identity for any nominal type
+ * - NominalEntry: Complete type information from either source or assembly
+ * - MemberEntry: Property/method/field information
+ * - MethodSignatureEntry: Full method signature with parameters
+ */
+// ═══════════════════════════════════════════════════════════════════════════
+// FACTORY FUNCTIONS
+// ═══════════════════════════════════════════════════════════════════════════
+/**
+ * Create a TypeId from components.
+ */
+export const makeTypeId = (stableId, clrName, assemblyName, tsName) => ({
+    stableId,
+    clrName,
+    assemblyName,
+    tsName,
+});
+/**
+ * Parse a stableId into assemblyName and clrName.
+ */
+export const parseStableId = (stableId) => {
+    const colonIndex = stableId.indexOf(":");
+    if (colonIndex === -1)
+        return undefined;
+    return {
+        assemblyName: stableId.slice(0, colonIndex),
+        clrName: stableId.slice(colonIndex + 1),
+    };
+};
+// ═══════════════════════════════════════════════════════════════════════════
+// PRIMITIVE ↔ NOMINAL MAPPINGS
+// ═══════════════════════════════════════════════════════════════════════════
+/**
+ * Mapping from TS primitive type names to their CLR stableIds.
+ *
+ * This enables normalizing `primitiveType("string")` to the canonical
+ * `System.String` nominal type for member lookups.
+ */
+export const PRIMITIVE_TO_STABLE_ID = new Map([
+    ["string", "System.Private.CoreLib:System.String"],
+    ["number", "System.Private.CoreLib:System.Double"],
+    ["int", "System.Private.CoreLib:System.Int32"],
+    ["boolean", "System.Private.CoreLib:System.Boolean"],
+    ["char", "System.Private.CoreLib:System.Char"],
+]);
+/**
+ * Mapping from CLR stableIds back to TS primitive type names.
+ *
+ * This enables the emitter to use primitive syntax when appropriate.
+ */
+export const STABLE_ID_TO_PRIMITIVE = new Map([
+    ["System.Private.CoreLib:System.String", "string"],
+    ["System.Private.CoreLib:System.Double", "number"],
+    ["System.Private.CoreLib:System.Int32", "int"],
+    ["System.Private.CoreLib:System.Boolean", "boolean"],
+    ["System.Private.CoreLib:System.Char", "char"],
+]);
+//# sourceMappingURL=types.js.map

package/dist/ir/type-system/internal/universe/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/universe/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAwdH,8EAA8E;AAC9E,oBAAoB;AACpB,8EAA8E;AAE9E;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,QAAgB,EAChB,OAAe,EACf,YAAoB,EACpB,MAAc,EACN,EAAE,CAAC,CAAC;IACZ,QAAQ;IACR,OAAO;IACP,YAAY;IACZ,MAAM;CACP,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,QAAgB,EACuC,EAAE;IACzD,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,UAAU,KAAK,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACxC,OAAO;QACL,YAAY,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC;QAC3C,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,UAAU,GAAG,CAAC,CAAC;KACxC,CAAC;AACJ,CAAC,CAAC;AAEF,8EAA8E;AAC9E,+BAA+B;AAC/B,8EAA8E;AAE9E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAgC,IAAI,GAAG,CAAC;IACzE,CAAC,QAAQ,EAAE,sCAAsC,CAAC;IAClD,CAAC,QAAQ,EAAE,sCAAsC,CAAC;IAClD,CAAC,KAAK,EAAE,qCAAqC,CAAC;IAC9C,CAAC,SAAS,EAAE,uCAAuC,CAAC;IACpD,CAAC,MAAM,EAAE,oCAAoC,CAAC;CAC/C,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAgC,IAAI,GAAG,CAAC;IACzE,CAAC,sCAAsC,EAAE,QAAQ,CAAC;IAClD,CAAC,sCAAsC,EAAE,QAAQ,CAAC;IAClD,CAAC,qCAAqC,EAAE,KAAK,CAAC;IAC9C,CAAC,uCAAuC,EAAE,SAAS,CAAC;IACpD,CAAC,oCAAoC,EAAE,MAAM,CAAC;CAC/C,CAAC,CAAC"}

package/dist/ir/type-system/internal/universe/unified-universe.d.ts

@@ -0,0 +1,70 @@
+/**
+ * Unified Type Universe
+ *
+ * Merges source-authored types (from TypeRegistry) and assembly-authored
+ * types (from ClrCatalog) into a single unified lookup table.
+ *
+ * INVARIANT INV-CLR: This is THE source of truth for all type queries.
+ * No fallback paths allowed. If a type isn't in this catalog, it doesn't exist.
+ *
+ * Design:
+ * - Source types get stableIds generated as "{projectName}:{fullyQualifiedName}"
+ * - Assembly types keep their original stableIds from metadata.json
+ * - Lookups by tsName, clrName, or stableId all work uniformly
+ */
+import type { IrType } from "../../../types/index.js";
+import type { TypeId, MemberEntry, AssemblyTypeCatalog, UnifiedTypeCatalog } from "./types.js";
+import type { TypeRegistry } from "../type-registry.js";
+/**
+ * Build a unified type catalog from source and assembly catalogs.
+ *
+ * @param sourceRegistry - TypeRegistry containing source-authored types
+ * @param assemblyCatalog - AssemblyTypeCatalog containing CLR metadata types
+ * @param projectName - Project name for generating source type stableIds
+ * @returns UnifiedTypeCatalog with merged type information
+ */
+export declare const buildUnifiedUniverse: (sourceRegistry: TypeRegistry | undefined, assemblyCatalog: AssemblyTypeCatalog, projectName?: string) => UnifiedTypeCatalog;
+/**
+ * Normalize a primitive IrType to its canonical nominal TypeId.
+ *
+ * This is the key function for unifying primitive types with their CLR counterparts:
+ * - primitiveType("string") → TypeId for System.String
+ * - primitiveType("int") → TypeId for System.Int32
+ * - primitiveType("number") → TypeId for System.Double
+ * - primitiveType("boolean") → TypeId for System.Boolean
+ *
+ * @param type - The IrType to normalize
+ * @param catalog - The unified catalog to look up TypeIds
+ * @returns The TypeId if this is a primitive that maps to a nominal, undefined otherwise
+ */
+export declare const normalizePrimitiveToTypeId: (type: IrType, catalog: UnifiedTypeCatalog) => TypeId | undefined;
+/**
+ * Get the TypeId for an IrType, normalizing primitives as needed.
+ *
+ * @param type - The IrType to get a TypeId for
+ * @param catalog - The unified catalog
+ * @returns The TypeId if this type has one, undefined for structural types
+ */
+export declare const getTypeId: (type: IrType, catalog: UnifiedTypeCatalog) => TypeId | undefined;
+/**
+ * Look up a member on a type, walking the inheritance chain if necessary.
+ *
+ * @param typeId - The type to start from
+ * @param memberName - The member name (TS name)
+ * @param catalog - The unified catalog
+ * @returns The member entry if found, undefined otherwise
+ */
+export declare const lookupMemberWithInheritance: (typeId: TypeId, memberName: string, catalog: UnifiedTypeCatalog) => MemberEntry | undefined;
+/**
+ * Get the declared type of a member, normalizing primitives.
+ *
+ * This is the primary entry point for type queries about members.
+ * Returns the IrType of the member, with primitives normalized.
+ *
+ * @param receiverType - The type of the receiver (object being accessed)
+ * @param memberName - The member name (TS name)
+ * @param catalog - The unified catalog
+ * @returns The member's IrType if found, undefined otherwise
+ */
+export declare const getMemberDeclaredType: (receiverType: IrType, memberName: string, catalog: UnifiedTypeCatalog) => IrType | undefined;
+//# sourceMappingURL=unified-universe.d.ts.map

package/dist/ir/type-system/internal/universe/unified-universe.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"unified-universe.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/universe/unified-universe.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,KAAK,EACV,MAAM,EAGN,WAAW,EAGX,mBAAmB,EACnB,kBAAkB,EACnB,MAAM,YAAY,CAAC;AAEpB,OAAO,KAAK,EACV,YAAY,EAIb,MAAM,qBAAqB,CAAC;AA8L7B;;;;;;;GAOG;AACH,eAAO,MAAM,oBAAoB,GAC/B,gBAAgB,YAAY,GAAG,SAAS,EACxC,iBAAiB,mBAAmB,EACpC,cAAa,MAAkB,KAC9B,kBAmEF,CAAC;AAMF;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,0BAA0B,GACrC,MAAM,MAAM,EACZ,SAAS,kBAAkB,KAC1B,MAAM,GAAG,SAQX,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,SAAS,GACpB,MAAM,MAAM,EACZ,SAAS,kBAAkB,KAC1B,MAAM,GAAG,SAwBX,CAAC;AAMF;;;;;;;GAOG;AACH,eAAO,MAAM,2BAA2B,GACtC,QAAQ,MAAM,EACd,YAAY,MAAM,EAClB,SAAS,kBAAkB,KAC1B,WAAW,GAAG,SAoBhB,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,qBAAqB,GAChC,cAAc,MAAM,EACpB,YAAY,MAAM,EAClB,SAAS,kBAAkB,KAC1B,MAAM,GAAG,SAUX,CAAC"}