@tsonic/frontend 0.0.14 → 0.0.15

package/dist/ir/types/ir-substitution.js

@@ -0,0 +1,569 @@
+/**
+ * IR Type Substitution Module
+ *
+ * Provides deterministic type substitution at the IR level.
+ * This replaces TypeNode-based substitution with pure IR operations,
+ * ensuring CLR type aliases are preserved through generic instantiation.
+ *
+ * Key functions:
+ * - containsTypeParameter: Check if a type contains any type parameters
+ * - unify: Match formal type parameters with actual types
+ * - substituteIrType: Apply type parameter substitutions
+ */
+/**
+ * Check if an IrType contains any type parameters (typeParameterType).
+ *
+ * Used to determine if a type needs substitution.
+ * For example:
+ * - `int` → false (no type parameters)
+ * - `T` → true (is a type parameter)
+ * - `List<T>` → true (contains type parameter)
+ * - `List<int>` → false (fully instantiated)
+ */
+export const containsTypeParameter = (type) => {
+    switch (type.kind) {
+        case "typeParameterType":
+            return true;
+        case "referenceType":
+            return (type.typeArguments?.some((arg) => containsTypeParameter(arg)) ?? false);
+        case "arrayType":
+            return containsTypeParameter(type.elementType);
+        case "tupleType":
+            return type.elementTypes.some((el) => containsTypeParameter(el));
+        case "functionType":
+            return (containsTypeParameter(type.returnType) ||
+                type.parameters.some((p) => p.type && containsTypeParameter(p.type)));
+        case "unionType":
+        case "intersectionType":
+            return type.types.some((t) => containsTypeParameter(t));
+        case "dictionaryType":
+            return (containsTypeParameter(type.keyType) ||
+                containsTypeParameter(type.valueType));
+        case "objectType":
+            return type.members.some((m) => {
+                if (m.kind === "propertySignature") {
+                    return containsTypeParameter(m.type);
+                }
+                if (m.kind === "methodSignature") {
+                    return ((m.returnType && containsTypeParameter(m.returnType)) ||
+                        m.parameters.some((p) => p.type && containsTypeParameter(p.type)));
+                }
+                return false;
+            });
+        // Primitive types never contain type parameters
+        case "primitiveType":
+        case "literalType":
+        case "anyType":
+        case "unknownType":
+        case "voidType":
+        case "neverType":
+            return false;
+    }
+};
+/**
+ * Unify a formal type (with type parameters) against an actual type (instantiated).
+ *
+ * Returns a substitution map if unification succeeds, undefined if it fails.
+ *
+ * Examples:
+ * - unify(T, int) → { "T" → int }
+ * - unify(List<T>, List<int>) → { "T" → int }
+ * - unify(Map<K, V>, Map<string, int>) → { "K" → string, "V" → int }
+ * - unify(int, string) → undefined (no type parameters to match)
+ *
+ * The unification is one-way: we're matching the formal type's shape against
+ * the actual type and extracting bindings for type parameters found in formal.
+ */
+export const unify = (formal, actual) => {
+    const bindings = new Map();
+    const unifyRecursive = (f, a) => {
+        // If formal is a type parameter, bind it to actual
+        if (f.kind === "typeParameterType") {
+            const existing = bindings.get(f.name);
+            if (existing) {
+                // Already bound - check consistency
+                return typesEqual(existing, a);
+            }
+            bindings.set(f.name, a);
+            return true;
+        }
+        // If kinds don't match, unification fails
+        if (f.kind !== a.kind) {
+            return false;
+        }
+        // Match by kind
+        switch (f.kind) {
+            case "primitiveType":
+                return a.kind === "primitiveType" && f.name === a.name;
+            case "referenceType": {
+                if (a.kind !== "referenceType")
+                    return false;
+                if (f.name !== a.name)
+                    return false;
+                const fArgs = f.typeArguments ?? [];
+                const aArgs = a.typeArguments ?? [];
+                if (fArgs.length !== aArgs.length)
+                    return false;
+                for (let i = 0; i < fArgs.length; i++) {
+                    const fArg = fArgs[i];
+                    const aArg = aArgs[i];
+                    if (!fArg || !aArg)
+                        return false;
+                    if (!unifyRecursive(fArg, aArg))
+                        return false;
+                }
+                return true;
+            }
+            case "arrayType":
+                return (a.kind === "arrayType" && unifyRecursive(f.elementType, a.elementType));
+            case "tupleType": {
+                if (a.kind !== "tupleType")
+                    return false;
+                if (f.elementTypes.length !== a.elementTypes.length)
+                    return false;
+                for (let i = 0; i < f.elementTypes.length; i++) {
+                    const fEl = f.elementTypes[i];
+                    const aEl = a.elementTypes[i];
+                    if (!fEl || !aEl)
+                        return false;
+                    if (!unifyRecursive(fEl, aEl))
+                        return false;
+                }
+                return true;
+            }
+            case "unionType":
+            case "intersectionType": {
+                // DETERMINISTIC TYPING: Cannot infer type parameters through unions/intersections.
+                // This makes inference non-deterministic (TS-like complexity).
+                // If formal contains type parameters in a union/intersection, fail inference.
+                if (containsTypeParameter(f)) {
+                    return false; // Caller should emit TSN5202
+                }
+                // If no type parameters in formal, just check equality
+                if (a.kind !== f.kind)
+                    return false;
+                if (f.types.length !== a.types.length)
+                    return false;
+                for (let i = 0; i < f.types.length; i++) {
+                    const fType = f.types[i];
+                    const aType = a.types[i];
+                    if (!fType || !aType)
+                        return false;
+                    if (!unifyRecursive(fType, aType))
+                        return false;
+                }
+                return true;
+            }
+            case "dictionaryType":
+                return (a.kind === "dictionaryType" &&
+                    unifyRecursive(f.keyType, a.keyType) &&
+                    unifyRecursive(f.valueType, a.valueType));
+            case "functionType": {
+                if (a.kind !== "functionType")
+                    return false;
+                if (f.parameters.length !== a.parameters.length)
+                    return false;
+                for (let i = 0; i < f.parameters.length; i++) {
+                    const fParam = f.parameters[i];
+                    const aParam = a.parameters[i];
+                    if (!fParam || !aParam)
+                        return false;
+                    if (fParam.type && aParam.type) {
+                        if (!unifyRecursive(fParam.type, aParam.type))
+                            return false;
+                    }
+                }
+                return unifyRecursive(f.returnType, a.returnType);
+            }
+            // Literal types, any, unknown, void, never - just check equality
+            case "literalType":
+                return a.kind === "literalType" && f.value === a.value;
+            case "anyType":
+            case "unknownType":
+            case "voidType":
+            case "neverType":
+                return true; // Kind already matched
+            case "objectType":
+                // Object types are structural - for now, don't try to unify
+                // This is a conservative approach; could be enhanced if needed
+                return false;
+        }
+    };
+    const success = unifyRecursive(formal, actual);
+    return success && bindings.size > 0 ? bindings : undefined;
+};
+/**
+ * Check if two IrTypes are structurally equal.
+ */
+export const typesEqual = (a, b) => {
+    if (a.kind !== b.kind)
+        return false;
+    switch (a.kind) {
+        case "primitiveType":
+            return b.kind === "primitiveType" && a.name === b.name;
+        case "typeParameterType":
+            return b.kind === "typeParameterType" && a.name === b.name;
+        case "referenceType": {
+            if (b.kind !== "referenceType")
+                return false;
+            if (a.name !== b.name)
+                return false;
+            const aArgs = a.typeArguments ?? [];
+            const bArgs = b.typeArguments ?? [];
+            if (aArgs.length !== bArgs.length)
+                return false;
+            for (let i = 0; i < aArgs.length; i++) {
+                const aArg = aArgs[i];
+                const bArg = bArgs[i];
+                if (!aArg || !bArg || !typesEqual(aArg, bArg))
+                    return false;
+            }
+            return true;
+        }
+        case "arrayType":
+            return b.kind === "arrayType" && typesEqual(a.elementType, b.elementType);
+        case "tupleType": {
+            if (b.kind !== "tupleType")
+                return false;
+            if (a.elementTypes.length !== b.elementTypes.length)
+                return false;
+            for (let i = 0; i < a.elementTypes.length; i++) {
+                const aEl = a.elementTypes[i];
+                const bEl = b.elementTypes[i];
+                if (!aEl || !bEl || !typesEqual(aEl, bEl))
+                    return false;
+            }
+            return true;
+        }
+        case "unionType":
+        case "intersectionType": {
+            if (b.kind !== a.kind)
+                return false;
+            if (a.types.length !== b.types.length)
+                return false;
+            for (let i = 0; i < a.types.length; i++) {
+                const aType = a.types[i];
+                const bType = b.types[i];
+                if (!aType || !bType || !typesEqual(aType, bType))
+                    return false;
+            }
+            return true;
+        }
+        case "literalType":
+            return b.kind === "literalType" && a.value === b.value;
+        case "dictionaryType":
+            return (b.kind === "dictionaryType" &&
+                typesEqual(a.keyType, b.keyType) &&
+                typesEqual(a.valueType, b.valueType));
+        case "functionType": {
+            if (b.kind !== "functionType")
+                return false;
+            if (a.parameters.length !== b.parameters.length)
+                return false;
+            for (let i = 0; i < a.parameters.length; i++) {
+                const aParam = a.parameters[i];
+                const bParam = b.parameters[i];
+                if (!aParam || !bParam)
+                    return false;
+                if (aParam.type && bParam.type && !typesEqual(aParam.type, bParam.type))
+                    return false;
+            }
+            return typesEqual(a.returnType, b.returnType);
+        }
+        case "objectType":
+            // Structural comparison for object types - simplified
+            return false;
+        case "anyType":
+        case "unknownType":
+        case "voidType":
+        case "neverType":
+            return true;
+    }
+};
+/**
+ * Apply type parameter substitutions to an IrType.
+ *
+ * Given a type with type parameters and a substitution map,
+ * returns a new type with all type parameters replaced.
+ *
+ * Examples:
+ * - substituteIrType(T, { "T" → int }) → int
+ * - substituteIrType(List<T>, { "T" → int }) → List<int>
+ * - substituteIrType(T | null, { "T" → int }) → int | null
+ *
+ * If no substitutions apply, returns the original type unchanged.
+ */
+export const substituteIrType = (type, substitutions) => {
+    if (substitutions.size === 0)
+        return type;
+    switch (type.kind) {
+        case "typeParameterType": {
+            const substituted = substitutions.get(type.name);
+            return substituted ?? type;
+        }
+        case "referenceType": {
+            // Legacy representation: type parameters sometimes arrive as referenceType nodes.
+            // If the type name matches a substitution key and has no type arguments,
+            // treat it as a bare type parameter (e.g., TEntity) and substitute directly.
+            if (!type.typeArguments || type.typeArguments.length === 0) {
+                const substituted = substitutions.get(type.name);
+                return substituted ?? type;
+            }
+            const newArgs = type.typeArguments.map((arg) => substituteIrType(arg, substitutions));
+            // Check if any args changed
+            const changed = newArgs.some((newArg, i) => {
+                const origArg = type.typeArguments?.[i];
+                return origArg ? newArg !== origArg : false;
+            });
+            if (!changed)
+                return type;
+            return {
+                ...type,
+                typeArguments: newArgs,
+            };
+        }
+        case "arrayType": {
+            const newElementType = substituteIrType(type.elementType, substitutions);
+            if (newElementType === type.elementType)
+                return type;
+            return {
+                ...type,
+                elementType: newElementType,
+            };
+        }
+        case "tupleType": {
+            const newElements = type.elementTypes.map((el) => substituteIrType(el, substitutions));
+            const changed = newElements.some((el, i) => el !== type.elementTypes[i]);
+            if (!changed)
+                return type;
+            return {
+                ...type,
+                elementTypes: newElements,
+            };
+        }
+        case "unionType":
+        case "intersectionType": {
+            const newTypes = type.types.map((t) => substituteIrType(t, substitutions));
+            const changed = newTypes.some((t, i) => t !== type.types[i]);
+            if (!changed)
+                return type;
+            return {
+                ...type,
+                types: newTypes,
+            };
+        }
+        case "dictionaryType": {
+            const newKeyType = substituteIrType(type.keyType, substitutions);
+            const newValueType = substituteIrType(type.valueType, substitutions);
+            if (newKeyType === type.keyType && newValueType === type.valueType) {
+                return type;
+            }
+            return {
+                ...type,
+                keyType: newKeyType,
+                valueType: newValueType,
+            };
+        }
+        case "functionType": {
+            const newReturnType = substituteIrType(type.returnType, substitutions);
+            const newParams = type.parameters.map((p) => p.type ? { ...p, type: substituteIrType(p.type, substitutions) } : p);
+            const returnChanged = newReturnType !== type.returnType;
+            const paramsChanged = newParams.some((p, i) => {
+                const orig = type.parameters[i];
+                return orig ? p.type !== orig.type : false;
+            });
+            if (!returnChanged && !paramsChanged)
+                return type;
+            return {
+                ...type,
+                returnType: newReturnType,
+                parameters: newParams,
+            };
+        }
+        case "objectType": {
+            // Substitute within object type members
+            const newMembers = type.members.map((m) => {
+                if (m.kind === "propertySignature") {
+                    const newType = substituteIrType(m.type, substitutions);
+                    if (newType === m.type)
+                        return m;
+                    return { ...m, type: newType };
+                }
+                if (m.kind === "methodSignature") {
+                    const newReturnType = m.returnType
+                        ? substituteIrType(m.returnType, substitutions)
+                        : m.returnType;
+                    const newParams = m.parameters.map((p) => p.type ? { ...p, type: substituteIrType(p.type, substitutions) } : p);
+                    if (newReturnType === m.returnType &&
+                        newParams.every((p, i) => {
+                            const orig = m.parameters[i];
+                            return orig ? p.type === orig.type : true;
+                        })) {
+                        return m;
+                    }
+                    return {
+                        ...m,
+                        returnType: newReturnType,
+                        parameters: newParams,
+                    };
+                }
+                return m;
+            });
+            const changed = newMembers.some((m, i) => m !== type.members[i]);
+            if (!changed)
+                return type;
+            return {
+                ...type,
+                members: newMembers,
+            };
+        }
+        // Types that don't contain type parameters - return unchanged
+        case "primitiveType":
+        case "literalType":
+        case "anyType":
+        case "unknownType":
+        case "voidType":
+        case "neverType":
+            return type;
+    }
+};
+/**
+ * Build IR substitution map from a receiver's type and the formal type parameters.
+ *
+ * Given a receiver like `list: List<int>` and a formal interface with type parameter T,
+ * returns { "T" → int }.
+ *
+ * This is the IR-level equivalent of buildTypeParameterSubstitutionMap from calls.ts,
+ * but works entirely at the IR level without TS AST archaeology.
+ */
+export const buildIrSubstitutionMap = (receiverType, formalTypeParams) => {
+    if (receiverType.kind !== "referenceType")
+        return undefined;
+    const typeArgs = receiverType.typeArguments;
+    if (!typeArgs || typeArgs.length !== formalTypeParams.length)
+        return undefined;
+    const map = new Map();
+    for (let i = 0; i < formalTypeParams.length; i++) {
+        const paramName = formalTypeParams[i];
+        const arg = typeArgs[i];
+        if (paramName && arg) {
+            map.set(paramName, arg);
+        }
+    }
+    return map.size > 0 ? map : undefined;
+};
+/**
+ * Build substitution map from explicit call type arguments.
+ *
+ * For a call like `identity<int>(x)` with formal type param `T`,
+ * returns { "T" → int }.
+ *
+ * This is binding source #2: explicit type arguments in the call.
+ */
+export const buildSubstitutionFromExplicitTypeArgs = (explicitTypeArgs, formalTypeParams) => {
+    if (explicitTypeArgs.length === 0)
+        return undefined;
+    if (explicitTypeArgs.length !== formalTypeParams.length)
+        return undefined;
+    const map = new Map();
+    for (let i = 0; i < formalTypeParams.length; i++) {
+        const paramName = formalTypeParams[i];
+        const arg = explicitTypeArgs[i];
+        if (paramName && arg) {
+            map.set(paramName, arg);
+        }
+    }
+    return map.size > 0 ? map : undefined;
+};
+/**
+ * Build substitution map from call arguments via bounded unification.
+ *
+ * For a call like `identity(a)` where `a: int` and formal param is `x: T`,
+ * returns { "T" → int }.
+ *
+ * This is binding source #3: argument-driven unification.
+ * No body analysis - just matches argument types against parameter types.
+ *
+ * Returns SubstitutionResult to detect conflicts (TSN5202):
+ * - If T binds to `int` from arg0 and `long` from arg1, returns conflict error
+ */
+export const buildSubstitutionFromArguments = (argTypes, formalParamTypes) => {
+    const map = new Map();
+    for (let i = 0; i < Math.min(argTypes.length, formalParamTypes.length); i++) {
+        const argType = argTypes[i];
+        const paramType = formalParamTypes[i];
+        if (!argType || !paramType)
+            continue;
+        // If param type contains type parameters, try to unify
+        if (containsTypeParameter(paramType)) {
+            const bindings = unify(paramType, argType);
+            if (bindings) {
+                // Merge bindings into map WITH CONFLICT DETECTION
+                for (const [name, type] of bindings) {
+                    const existing = map.get(name);
+                    if (existing) {
+                        // Check for conflict: same type param bound to different types
+                        if (!typesEqual(existing, type)) {
+                            return {
+                                ok: false,
+                                conflict: { param: name, type1: existing, type2: type },
+                            };
+                        }
+                        // Same type - no conflict, skip
+                    }
+                    else {
+                        map.set(name, type);
+                    }
+                }
+            }
+        }
+    }
+    return { ok: true, map };
+};
+/**
+ * Build complete substitution map from all 3 binding sources.
+ *
+ * Keeps receiver and call substitutions SEPARATE to avoid name collisions.
+ *
+ * Priority order for call substitutions:
+ * 1. Explicit call type arguments (e.g., `identity<int>(x)` → T=int)
+ * 2. Argument-driven unification (e.g., `identity(a:int)` → T=int)
+ *
+ * Receiver substitutions are separate and used for instantiating member signatures.
+ */
+export const buildCompleteSubstitutionMap = (receiverType, receiverFormalTypeParams, explicitTypeArgs, callFormalTypeParams, argTypes, formalParamTypes) => {
+    // Receiver substitution - for instantiating member signatures of the receiver type
+    const receiverSubst = receiverType
+        ? (buildIrSubstitutionMap(receiverType, receiverFormalTypeParams) ??
+            new Map())
+        : new Map();
+    // Call substitution - for method type params
+    const callSubst = new Map();
+    // Source 1: Explicit call type arguments (highest priority for call)
+    const explicitSubs = buildSubstitutionFromExplicitTypeArgs(explicitTypeArgs, callFormalTypeParams);
+    if (explicitSubs) {
+        for (const [name, type] of explicitSubs) {
+            callSubst.set(name, type);
+        }
+    }
+    // Source 2: Argument-driven unification (lowest priority, for ergonomics)
+    const argSubsResult = buildSubstitutionFromArguments(argTypes, formalParamTypes);
+    // Check for conflicts in argument-driven unification
+    if (!argSubsResult.ok) {
+        return {
+            ok: false,
+            conflict: argSubsResult.conflict,
+        };
+    }
+    // Merge argument subs (only for type params not already bound)
+    for (const [name, type] of argSubsResult.map) {
+        if (!callSubst.has(name)) {
+            callSubst.set(name, type);
+        }
+    }
+    return {
+        ok: true,
+        substitution: { receiverSubst, callSubst },
+    };
+};
+//# sourceMappingURL=ir-substitution.js.map

package/dist/ir/types/ir-substitution.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ir-substitution.js","sourceRoot":"","sources":["../../../src/ir/types/ir-substitution.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,IAAY,EAAW,EAAE;IAC7D,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,mBAAmB;YACtB,OAAO,IAAI,CAAC;QAEd,KAAK,eAAe;YAClB,OAAO,CACL,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CACvE,CAAC;QAEJ,KAAK,WAAW;YACd,OAAO,qBAAqB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAEjD,KAAK,WAAW;YACd,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,qBAAqB,CAAC,EAAE,CAAC,CAAC,CAAC;QAEnE,KAAK,cAAc;YACjB,OAAO,CACL,qBAAqB,CAAC,IAAI,CAAC,UAAU,CAAC;gBACtC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,qBAAqB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CACrE,CAAC;QAEJ,KAAK,WAAW,CAAC;QACjB,KAAK,kBAAkB;YACrB,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC;QAE1D,KAAK,gBAAgB;YACnB,OAAO,CACL,qBAAqB,CAAC,IAAI,CAAC,OAAO,CAAC;gBACnC,qBAAqB,CAAC,IAAI,CAAC,SAAS,CAAC,CACtC,CAAC;QAEJ,KAAK,YAAY;YACf,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;gBAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBACnC,OAAO,qBAAqB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACvC,CAAC;gBACD,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;oBACjC,OAAO,CACL,CAAC,CAAC,CAAC,UAAU,IAAI,qBAAqB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;wBACrD,CAAC,CAAC,UAAU,CAAC,IAAI,CACf,CAAC,CAAoB,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,qBAAqB,CAAC,CAAC,CAAC,IAAI,CAAC,CAClE,CACF,CAAC;gBACJ,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC,CAAC,CAAC;QAEL,gDAAgD;QAChD,KAAK,eAAe,CAAC;QACrB,KAAK,aAAa,CAAC;QACnB,KAAK,SAAS,CAAC;QACf,KAAK,aAAa,CAAC;QACnB,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW;YACd,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAsBF;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CACnB,MAAc,EACd,MAAc,EACmB,EAAE;IACnC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE3C,MAAM,cAAc,GAAG,CAAC,CAAS,EAAE,CAAS,EAAW,EAAE;QACvD,mDAAmD;QACnD,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACnC,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACtC,IAAI,QAAQ,EAAE,CAAC;gBACb,oCAAoC;gBACpC,OAAO,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;YACjC,CAAC;YACD,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACxB,OAAO,IAAI,CAAC;QACd,CAAC;QAED,0CAA0C;QAC1C,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;YACtB,OAAO,KAAK,CAAC;QACf,CAAC;QAED,gBAAgB;QAChB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,eAAe;gBAClB,OAAO,CAAC,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC;YAEzD,KAAK,eAAe,CAAC,CAAC,CAAC;gBACrB,IAAI,CAAC,CAAC,IAAI,KAAK,eAAe;oBAAE,OAAO,KAAK,CAAC;gBAC7C,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;oBAAE,OAAO,KAAK,CAAC;gBAEpC,MAAM,KAAK,GAAG,CAAC,CAAC,aAAa,IAAI,EAAE,CAAC;gBACpC,MAAM,KAAK,GAAG,CAAC,CAAC,aAAa,IAAI,EAAE,CAAC;gBACpC,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;oBAAE,OAAO,KAAK,CAAC;gBAEhD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;oBACtB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;oBACtB,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI;wBAAE,OAAO,KAAK,CAAC;oBACjC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC;wBAAE,OAAO,KAAK,CAAC;gBAChD,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YAED,KAAK,WAAW;gBACd,OAAO,CACL,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,cAAc,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,WAAW,CAAC,CACvE,CAAC;YAEJ,KAAK,WAAW,CAAC,CAAC,CAAC;gBACjB,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW;oBAAE,OAAO,KAAK,CAAC;gBACzC,IAAI,CAAC,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,CAAC,YAAY,CAAC,MAAM;oBAAE,OAAO,KAAK,CAAC;gBAClE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC/C,MAAM,GAAG,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;oBAC9B,MAAM,GAAG,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;oBAC9B,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG;wBAAE,OAAO,KAAK,CAAC;oBAC/B,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC;wBAAE,OAAO,KAAK,CAAC;gBAC9C,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YAED,KAAK,WAAW,CAAC;YACjB,KAAK,kBAAkB,CAAC,CAAC,CAAC;gBACxB,mFAAmF;gBACnF,+DAA+D;gBAC/D,8EAA8E;gBAC9E,IAAI,qBAAqB,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC7B,OAAO,KAAK,CAAC,CAAC,6BAA6B;gBAC7C,CAAC;gBACD,uDAAuD;gBACvD,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;oBAAE,OAAO,KAAK,CAAC;gBACpC,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,KAAK,CAAC,MAAM;oBAAE,OAAO,KAAK,CAAC;gBACpD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACxC,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;oBACzB,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;oBACzB,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK;wBAAE,OAAO,KAAK,CAAC;oBACnC,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC;wBAAE,OAAO,KAAK,CAAC;gBAClD,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YAED,KAAK,gBAAgB;gBACnB,OAAO,CACL,CAAC,CAAC,IAAI,KAAK,gBAAgB;oBAC3B,cAAc,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC;oBACpC,cAAc,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,CACzC,CAAC;YAEJ,KAAK,cAAc,CAAC,CAAC,CAAC;gBACpB,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc;oBAAE,OAAO,KAAK,CAAC;gBAC5C,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM;oBAAE,OAAO,KAAK,CAAC;gBAC9D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC7C,MAAM,MAAM,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;oBAC/B,MAAM,MAAM,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;oBAC/B,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM;wBAAE,OAAO,KAAK,CAAC;oBACrC,IAAI,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;wBAC/B,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC;4BAAE,OAAO,KAAK,CAAC;oBAC9D,CAAC;gBACH,CAAC;gBACD,OAAO,cAAc,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;YACpD,CAAC;YAED,iEAAiE;YACjE,KAAK,aAAa;gBAChB,OAAO,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,CAAC;YAEzD,KAAK,SAAS,CAAC;YACf,KAAK,aAAa,CAAC;YACnB,KAAK,UAAU,CAAC;YAChB,KAAK,WAAW;gBACd,OAAO,IAAI,CAAC,CAAC,uBAAuB;YAEtC,KAAK,YAAY;gBACf,4DAA4D;gBAC5D,+DAA+D;gBAC/D,OAAO,KAAK,CAAC;QACjB,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/C,OAAO,OAAO,IAAI,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7D,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAS,EAAE,CAAS,EAAW,EAAE;IAC1D,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAEpC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,eAAe;YAClB,OAAO,CAAC,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC;QAEzD,KAAK,mBAAmB;YACtB,OAAO,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC;QAE7D,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,IAAI,CAAC,CAAC,IAAI,KAAK,eAAe;gBAAE,OAAO,KAAK,CAAC;YAC7C,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;gBAAE,OAAO,KAAK,CAAC;YACpC,MAAM,KAAK,GAAG,CAAC,CAAC,aAAa,IAAI,EAAE,CAAC;YACpC,MAAM,KAAK,GAAG,CAAC,CAAC,aAAa,IAAI,EAAE,CAAC;YACpC,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YAChD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBACtB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBACtB,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC;oBAAE,OAAO,KAAK,CAAC;YAC9D,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,KAAK,WAAW;YACd,OAAO,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,UAAU,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC;QAE5E,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW;gBAAE,OAAO,KAAK,CAAC;YACzC,IAAI,CAAC,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,CAAC,YAAY,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YAClE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC/C,MAAM,GAAG,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;gBAC9B,MAAM,GAAG,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;gBAC9B,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC;oBAAE,OAAO,KAAK,CAAC;YAC1D,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,KAAK,WAAW,CAAC;QACjB,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;gBAAE,OAAO,KAAK,CAAC;YACpC,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,KAAK,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YACpD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACxC,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBACzB,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBACzB,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC;oBAAE,OAAO,KAAK,CAAC;YAClE,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,KAAK,aAAa;YAChB,OAAO,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,CAAC;QAEzD,KAAK,gBAAgB;YACnB,OAAO,CACL,CAAC,CAAC,IAAI,KAAK,gBAAgB;gBAC3B,UAAU,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC;gBAChC,UAAU,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,CACrC,CAAC;QAEJ,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc;gBAAE,OAAO,KAAK,CAAC;YAC5C,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YAC9D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC7C,MAAM,MAAM,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;gBAC/B,MAAM,MAAM,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;gBAC/B,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM;oBAAE,OAAO,KAAK,CAAC;gBACrC,IAAI,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC;oBACrE,OAAO,KAAK,CAAC;YACjB,CAAC;YACD,OAAO,UAAU,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;QAChD,CAAC;QAED,KAAK,YAAY;YACf,sDAAsD;YACtD,OAAO,KAAK,CAAC;QAEf,KAAK,SAAS,CAAC;QACf,KAAK,aAAa,CAAC;QACnB,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW;YACd,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,IAAY,EACZ,aAAkC,EAC1B,EAAE;IACV,IAAI,aAAa,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAE1C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,mBAAmB,CAAC,CAAC,CAAC;YACzB,MAAM,WAAW,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjD,OAAO,WAAW,IAAI,IAAI,CAAC;QAC7B,CAAC;QAED,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,kFAAkF;YAClF,yEAAyE;YACzE,6EAA6E;YAC7E,IAAI,CAAC,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3D,MAAM,WAAW,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACjD,OAAO,WAAW,IAAI,IAAI,CAAC;YAC7B,CAAC;YACD,MAAM,OAAO,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAC7C,gBAAgB,CAAC,GAAG,EAAE,aAAa,CAAC,CACrC,CAAC;YACF,4BAA4B;YAC5B,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;gBACzC,MAAM,OAAO,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;gBACxC,OAAO,OAAO,CAAC,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;YAC9C,CAAC,CAAC,CAAC;YACH,IAAI,CAAC,OAAO;gBAAE,OAAO,IAAI,CAAC;YAC1B,OAAO;gBACL,GAAG,IAAI;gBACP,aAAa,EAAE,OAAO;aACvB,CAAC;QACJ,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,cAAc,GAAG,gBAAgB,CAAC,IAAI,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;YACzE,IAAI,cAAc,KAAK,IAAI,CAAC,WAAW;gBAAE,OAAO,IAAI,CAAC;YACrD,OAAO;gBACL,GAAG,IAAI;gBACP,WAAW,EAAE,cAAc;aAC5B,CAAC;QACJ,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,WAAW,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAC/C,gBAAgB,CAAC,EAAE,EAAE,aAAa,CAAC,CACpC,CAAC;YACF,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,KAAK,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;YACzE,IAAI,CAAC,OAAO;gBAAE,OAAO,IAAI,CAAC;YAC1B,OAAO;gBACL,GAAG,IAAI;gBACP,YAAY,EAAE,WAAW;aAC1B,CAAC;QACJ,CAAC;QAED,KAAK,WAAW,CAAC;QACjB,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACpC,gBAAgB,CAAC,CAAC,EAAE,aAAa,CAAC,CACnC,CAAC;YACF,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7D,IAAI,CAAC,OAAO;gBAAE,OAAO,IAAI,CAAC;YAC1B,OAAO;gBACL,GAAG,IAAI;gBACP,KAAK,EAAE,QAAQ;aAChB,CAAC;QACJ,CAAC;QAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,UAAU,GAAG,gBAAgB,CAAC,IAAI,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;YACjE,MAAM,YAAY,GAAG,gBAAgB,CAAC,IAAI,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;YACrE,IAAI,UAAU,KAAK,IAAI,CAAC,OAAO,IAAI,YAAY,KAAK,IAAI,CAAC,SAAS,EAAE,CAAC;gBACnE,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO;gBACL,GAAG,IAAI;gBACP,OAAO,EAAE,UAAU;gBACnB,SAAS,EAAE,YAAY;aACxB,CAAC;QACJ,CAAC;QAED,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,aAAa,GAAG,gBAAgB,CAAC,IAAI,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;YACvE,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC1C,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CACrE,CAAC;YACF,MAAM,aAAa,GAAG,aAAa,KAAK,IAAI,CAAC,UAAU,CAAC;YACxD,MAAM,aAAa,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;gBAChC,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;YAC7C,CAAC,CAAC,CAAC;YACH,IAAI,CAAC,aAAa,IAAI,CAAC,aAAa;gBAAE,OAAO,IAAI,CAAC;YAClD,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,aAAa;gBACzB,UAAU,EAAE,SAAS;aACtB,CAAC;QACJ,CAAC;QAED,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,wCAAwC;YACxC,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBACxC,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBACnC,MAAM,OAAO,GAAG,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;oBACxD,IAAI,OAAO,KAAK,CAAC,CAAC,IAAI;wBAAE,OAAO,CAAC,CAAC;oBACjC,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;gBACjC,CAAC;gBACD,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;oBACjC,MAAM,aAAa,GAAG,CAAC,CAAC,UAAU;wBAChC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,UAAU,EAAE,aAAa,CAAC;wBAC/C,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;oBACjB,MAAM,SAAS,GAAG,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACvC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CACrE,CAAC;oBACF,IACE,aAAa,KAAK,CAAC,CAAC,UAAU;wBAC9B,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;4BACvB,MAAM,IAAI,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;4BAC7B,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;wBAC5C,CAAC,CAAC,EACF,CAAC;wBACD,OAAO,CAAC,CAAC;oBACX,CAAC;oBACD,OAAO;wBACL,GAAG,CAAC;wBACJ,UAAU,EAAE,aAAa;wBACzB,UAAU,EAAE,SAAS;qBACtB,CAAC;gBACJ,CAAC;gBACD,OAAO,CAAC,CAAC;YACX,CAAC,CAAC,CAAC;YACH,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YACjE,IAAI,CAAC,OAAO;gBAAE,OAAO,IAAI,CAAC;YAC1B,OAAO;gBACL,GAAG,IAAI;gBACP,OAAO,EAAE,UAAU;aACpB,CAAC;QACJ,CAAC;QAED,8DAA8D;QAC9D,KAAK,eAAe,CAAC;QACrB,KAAK,aAAa,CAAC;QACnB,KAAK,SAAS,CAAC;QACf,KAAK,aAAa,CAAC;QACnB,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW;YACd,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,YAAoB,EACpB,gBAAmC,EACF,EAAE;IACnC,IAAI,YAAY,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,SAAS,CAAC;IAE5D,MAAM,QAAQ,GAAG,YAAY,CAAC,aAAa,CAAC;IAC5C,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,gBAAgB,CAAC,MAAM;QAC1D,OAAO,SAAS,CAAC;IAEnB,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,gBAAgB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACjD,MAAM,SAAS,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,SAAS,IAAI,GAAG,EAAE,CAAC;YACrB,GAAG,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;AACxC,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,qCAAqC,GAAG,CACnD,gBAAmC,EACnC,gBAAmC,EACF,EAAE;IACnC,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACpD,IAAI,gBAAgB,CAAC,MAAM,KAAK,gBAAgB,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAE1E,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,gBAAgB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACjD,MAAM,SAAS,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,GAAG,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,SAAS,IAAI,GAAG,EAAE,CAAC;YACrB,GAAG,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;AACxC,CAAC,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,QAAyC,EACzC,gBAAiD,EAC7B,EAAE;IACtB,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IAEtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5E,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,SAAS,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QAEtC,IAAI,CAAC,OAAO,IAAI,CAAC,SAAS;YAAE,SAAS;QAErC,uDAAuD;QACvD,IAAI,qBAAqB,CAAC,SAAS,CAAC,EAAE,CAAC;YACrC,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;YAC3C,IAAI,QAAQ,EAAE,CAAC;gBACb,kDAAkD;gBAClD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,QAAQ,EAAE,CAAC;oBACpC,MAAM,QAAQ,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBAC/B,IAAI,QAAQ,EAAE,CAAC;wBACb,+DAA+D;wBAC/D,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC;4BAChC,OAAO;gCACL,EAAE,EAAE,KAAK;gCACT,QAAQ,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE;6BACxD,CAAC;wBACJ,CAAC;wBACD,gCAAgC;oBAClC,CAAC;yBAAM,CAAC;wBACN,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;oBACtB,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAC3B,CAAC,CAAC;AA0BF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,YAAgC,EAChC,wBAA2C,EAC3C,gBAAmC,EACnC,oBAAuC,EACvC,QAAyC,EACzC,gBAAiD,EACrB,EAAE;IAC9B,mFAAmF;IACnF,MAAM,aAAa,GAAwB,YAAY;QACrD,CAAC,CAAC,CAAC,sBAAsB,CAAC,YAAY,EAAE,wBAAwB,CAAC;YAC/D,IAAI,GAAG,EAAE,CAAC;QACZ,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC;IAEd,6CAA6C;IAC7C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE5C,qEAAqE;IACrE,MAAM,YAAY,GAAG,qCAAqC,CACxD,gBAAgB,EAChB,oBAAoB,CACrB,CAAC;IACF,IAAI,YAAY,EAAE,CAAC;QACjB,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,YAAY,EAAE,CAAC;YACxC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,MAAM,aAAa,GAAG,8BAA8B,CAClD,QAAQ,EACR,gBAAgB,CACjB,CAAC;IAEF,qDAAqD;IACrD,IAAI,CAAC,aAAa,CAAC,EAAE,EAAE,CAAC;QACtB,OAAO;YACL,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,aAAa,CAAC,QAAQ;SACjC,CAAC;IACJ,CAAC;IAED,+DAA+D;IAC/D,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,aAAa,CAAC,GAAG,EAAE,CAAC;QAC7C,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,OAAO;QACL,EAAE,EAAE,IAAI;QACR,YAAY,EAAE,EAAE,aAAa,EAAE,SAAS,EAAE;KAC3C,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/types/ir-types.d.ts

@@ -2,6 +2,7 @@
  * Type system types for IR (IrType and its variants)
  */
 import { IrParameter, IrInterfaceMember } from "./helpers.js";
+import type { TypeId } from "../type-system/index.js";
 export type IrType = IrPrimitiveType | IrReferenceType | IrTypeParameterType | IrArrayType | IrTupleType | IrFunctionType | IrObjectType | IrDictionaryType | IrUnionType | IrIntersectionType | IrLiteralType | IrAnyType | IrUnknownType | IrVoidType | IrNeverType;
 /**
  * Primitive types in IR.
@@ -26,6 +27,12 @@ export type IrReferenceType = {
     readonly typeArguments?: readonly IrType[];
     /** Fully-qualified CLR type for imported types (e.g., "MyApp.models.User") */
     readonly resolvedClrType?: string;
+    /**
+     * Canonical type identity from UnifiedTypeCatalog.
+     * When present, this is the authoritative source of type identity.
+     * Use typeId.clrName for emission, typeId.stableId for equality checks.
+     */
+    readonly typeId?: TypeId;
     /**
      * Structural members for interfaces and type aliases that resolve to object types.
      * Populated when the reference resolves to a structural type (interface, type literal, etc.)
@@ -50,9 +57,8 @@ export type IrArrayType = {
      * Set to "explicit" when the array type came from an explicit T[] annotation.
      * Undefined when the type was inferred.
      *
-     * In dotnet mode:
-     * - origin: "explicit" → emit native CLR array (T[])
-     * - origin: undefined → emit List<T>
+     * All array types emit as native CLR arrays (T[]).
+     * Users must explicitly use List<T> to get a List.
      */
     readonly origin?: "explicit";
 };

package/dist/ir/types/ir-types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ir-types.d.ts","sourceRoot":"","sources":["../../../src/ir/types/ir-types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAE9D,MAAM,MAAM,MAAM,GACd,eAAe,GACf,eAAe,GACf,mBAAmB,GACnB,WAAW,GACX,WAAW,GACX,cAAc,GACd,YAAY,GACZ,gBAAgB,GAChB,WAAW,GACX,kBAAkB,GAClB,aAAa,GACb,SAAS,GACT,aAAa,GACb,UAAU,GACV,WAAW,CAAC;AAEhB;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,IAAI,EACT,QAAQ,GACR,QAAQ,GACR,KAAK,GACL,MAAM,GACN,SAAS,GACT,MAAM,GACN,WAAW,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,8EAA8E;IAC9E,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;IAClC;;;;OAIG;IACH,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;CAC3D,CAAC;AAEF;;;;;GAKG;AACH,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B;;;;;;;OAOG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC;CAC9B,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;CAC1C,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,SAAS,WAAW,EAAE,CAAC;IAC5C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAC;CAChD,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;CAC3C,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;CAC9B,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;CAC5B,CAAC;AAEF;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,6DAA6D;IAC7D,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,yEAAyE;IACzE,QAAQ,CAAC,cAAc,EAAE,SAAS,cAAc,EAAE,CAAC;IACnD,6DAA6D;IAC7D,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;CACzD,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,cAAc,GACtB;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACnD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACnD;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC"}
+{"version":3,"file":"ir-types.d.ts","sourceRoot":"","sources":["../../../src/ir/types/ir-types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAC9D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AAEtD,MAAM,MAAM,MAAM,GACd,eAAe,GACf,eAAe,GACf,mBAAmB,GACnB,WAAW,GACX,WAAW,GACX,cAAc,GACd,YAAY,GACZ,gBAAgB,GAChB,WAAW,GACX,kBAAkB,GAClB,aAAa,GACb,SAAS,GACT,aAAa,GACb,UAAU,GACV,WAAW,CAAC;AAEhB;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,IAAI,EACT,QAAQ,GACR,QAAQ,GACR,KAAK,GACL,MAAM,GACN,SAAS,GACT,MAAM,GACN,WAAW,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,8EAA8E;IAC9E,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;IAClC;;;;OAIG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB;;;;OAIG;IACH,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;CAC3D,CAAC;AAEF;;;;;GAKG;AACH,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B;;;;;;OAMG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC;CAC9B,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;CAC1C,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,SAAS,WAAW,EAAE,CAAC;IAC5C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAC;CAChD,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;CAC3C,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;CAC9B,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;CAC5B,CAAC;AAEF;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,6DAA6D;IAC7D,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,yEAAyE;IACzE,QAAQ,CAAC,cAAc,EAAE,SAAS,cAAc,EAAE,CAAC;IACnD,6DAA6D;IAC7D,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;CACzD,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,cAAc,GACtB;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACnD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACnD;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC"}

package/dist/ir/types/numeric-helpers.d.ts

@@ -38,7 +38,8 @@ export declare const bigIntFitsInKind: (value: bigint, kind: NumericKind) => boo
  *
  * Rules:
  * - Integer literals (no decimal, no exponent, fits in Int32) → Int32
- * - Everything else (floating point, large integers) → Double
+ * - Integer literals (fits in Int64 but not Int32) → Int64
+ * - Everything else (floating point, very large integers) → Double
  *
  * This function is used at IR build time to attach numericIntent to literals.
  */

package/dist/ir/types/numeric-helpers.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"numeric-helpers.d.ts","sourceRoot":"","sources":["../../../src/ir/types/numeric-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,WAAW,EAAkB,MAAM,mBAAmB,CAAC;AAEhE;;;;;;;;;;GAUG;AACH,eAAO,MAAM,oBAAoB,GAAI,KAAK,MAAM,KAAG,OA0BlD,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,kBAAkB,GAAI,KAAK,MAAM,KAAG,MAAM,GAAG,SAuBzD,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAAI,OAAO,MAAM,EAAE,MAAM,WAAW,KAAG,OAMnE,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,uBAAuB,GAAI,KAAK,MAAM,KAAG,WAQrD,CAAC"}
+{"version":3,"file":"numeric-helpers.d.ts","sourceRoot":"","sources":["../../../src/ir/types/numeric-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,WAAW,EAAkB,MAAM,mBAAmB,CAAC;AAEhE;;;;;;;;;;GAUG;AACH,eAAO,MAAM,oBAAoB,GAAI,KAAK,MAAM,KAAG,OA0BlD,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,kBAAkB,GAAI,KAAK,MAAM,KAAG,MAAM,GAAG,SAuBzD,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAAI,OAAO,MAAM,EAAE,MAAM,WAAW,KAAG,OAMnE,CAAC;AAEF;;;;;;;;;GASG;AACH,eAAO,MAAM,uBAAuB,GAAI,KAAK,MAAM,KAAG,WAarD,CAAC"}