@tsonic/frontend 0.0.73 → 0.0.75

package/dist/ir/type-system/call-resolution-type-ids.js

@@ -0,0 +1,465 @@
+/**
+ * Call Resolution Type IDs — Polymorphic-this substitution, TypeId attachment,
+ * type node conversion, delegate conversion, and pure type helpers
+ *
+ * Contains:
+ * - substitutePolymorphicThis: polymorphic this substitution
+ * - attachParameterTypeIds, attachTypeParameterTypeIds, attachInterfaceMemberTypeIds,
+ *   attachTypeIds: canonical TypeId attachment
+ * - convertTypeNode: deterministic type syntax conversion
+ * - delegateToFunctionType: delegate → IrFunctionType conversion
+ * - mapEntriesEqual: pure map comparison helper
+ * - containsMethodTypeParameter: recursive type parameter check
+ * - normalizeCatalogTsName: catalog name normalization
+ *
+ * DAG position: depends on type-system-state and type-system-relations
+ */
+import * as ts from "typescript";
+import { normalizedUnionType, stampRuntimeUnionAliasCarrier, } from "../types/index.js";
+import { substituteIrType as irSubstitute, } from "../types/ir-substitution.js";
+import { resolveTypeIdByName, normalizeToNominal, resolveSourceReferenceFQName, } from "./type-system-state.js";
+import { typesEqual } from "./type-system-relations.js";
+import { resolveInstalledSourcePackageNamespace } from "../../program/source-file-identity.js";
+export const POLYMORPHIC_THIS_MARKER = "__tsonic_polymorphic_this";
+export const substitutePolymorphicThis = (type, receiverType) => {
+    return substitutePolymorphicThisImpl(type, receiverType, new Map());
+};
+const substitutePolymorphicThisImpl = (type, receiverType, seen) => {
+    if (!type || !receiverType)
+        return type;
+    if (type.kind !== "typeParameterType") {
+        const cached = seen.get(type);
+        if (cached) {
+            return cached;
+        }
+    }
+    switch (type.kind) {
+        case "typeParameterType":
+            return type.name === POLYMORPHIC_THIS_MARKER ? receiverType : type;
+        case "arrayType": {
+            const substituted = {
+                ...type,
+                elementType: type.elementType,
+            };
+            seen.set(type, substituted);
+            const elementType = substitutePolymorphicThisImpl(type.elementType, receiverType, seen);
+            if (!elementType)
+                return type;
+            substituted.elementType = elementType;
+            return substituted;
+        }
+        case "tupleType": {
+            const substituted = {
+                ...type,
+                elementTypes: type.elementTypes,
+            };
+            seen.set(type, substituted);
+            substituted.elementTypes = type.elementTypes.map((element) => substitutePolymorphicThisImpl(element, receiverType, seen) ?? element);
+            return substituted;
+        }
+        case "dictionaryType": {
+            const substituted = {
+                ...type,
+                keyType: type.keyType,
+                valueType: type.valueType,
+            };
+            seen.set(type, substituted);
+            substituted.keyType =
+                substitutePolymorphicThisImpl(type.keyType, receiverType, seen) ??
+                    type.keyType;
+            substituted.valueType =
+                substitutePolymorphicThisImpl(type.valueType, receiverType, seen) ??
+                    type.valueType;
+            return substituted;
+        }
+        case "referenceType": {
+            const substituted = {
+                ...type,
+                ...(type.typeArguments ? { typeArguments: type.typeArguments } : {}),
+                ...(type.structuralMembers
+                    ? { structuralMembers: type.structuralMembers }
+                    : {}),
+            };
+            seen.set(type, substituted);
+            if (type.typeArguments) {
+                substituted.typeArguments = type.typeArguments.map((element) => substitutePolymorphicThisImpl(element, receiverType, seen) ??
+                    element);
+            }
+            if (type.structuralMembers) {
+                substituted.structuralMembers = type.structuralMembers.map((member) => member.kind === "propertySignature"
+                    ? {
+                        ...member,
+                        type: substitutePolymorphicThisImpl(member.type, receiverType, seen) ?? member.type,
+                    }
+                    : {
+                        ...member,
+                        parameters: member.parameters.map((parameter) => ({
+                            ...parameter,
+                            type: substitutePolymorphicThisImpl(parameter.type, receiverType, seen) ?? parameter.type,
+                        })),
+                        returnType: member.returnType
+                            ? (substitutePolymorphicThisImpl(member.returnType, receiverType, seen) ?? member.returnType)
+                            : undefined,
+                    });
+            }
+            return substituted;
+        }
+        case "unionType":
+        case "intersectionType": {
+            const substituted = {
+                ...type,
+                types: type.types,
+            };
+            seen.set(type, substituted);
+            substituted.types = type.types.map((member) => substitutePolymorphicThisImpl(member, receiverType, seen) ?? member);
+            return substituted;
+        }
+        case "functionType": {
+            const substituted = {
+                ...type,
+                parameters: type.parameters,
+                returnType: type.returnType,
+            };
+            seen.set(type, substituted);
+            substituted.parameters = type.parameters.map((parameter) => ({
+                ...parameter,
+                type: substitutePolymorphicThisImpl(parameter.type, receiverType, seen) ??
+                    parameter.type,
+            }));
+            substituted.returnType =
+                substitutePolymorphicThisImpl(type.returnType, receiverType, seen) ??
+                    type.returnType;
+            return substituted;
+        }
+        default:
+            return type;
+    }
+};
+const attachParameterTypeIdsImpl = (state, p, cache) => ({
+    ...p,
+    type: p.type ? attachTypeIdsImpl(state, p.type, cache) : undefined,
+});
+const attachTypeParameterTypeIdsImpl = (state, tp, cache) => ({
+    ...tp,
+    constraint: tp.constraint
+        ? attachTypeIdsImpl(state, tp.constraint, cache)
+        : undefined,
+    default: tp.default ? attachTypeIdsImpl(state, tp.default, cache) : undefined,
+    structuralMembers: tp.structuralMembers?.map((m) => attachInterfaceMemberTypeIdsImpl(state, m, cache)),
+});
+const attachInterfaceMemberTypeIdsImpl = (state, m, cache) => {
+    if (m.kind === "propertySignature") {
+        return { ...m, type: attachTypeIdsImpl(state, m.type, cache) };
+    }
+    return {
+        ...m,
+        typeParameters: m.typeParameters?.map((tp) => attachTypeParameterTypeIdsImpl(state, tp, cache)),
+        parameters: m.parameters.map((p) => attachParameterTypeIdsImpl(state, p, cache)),
+        returnType: m.returnType
+            ? attachTypeIdsImpl(state, m.returnType, cache)
+            : undefined,
+    };
+};
+const attachTypeIdsImpl = (state, type, cache) => {
+    const cached = cache.get(type);
+    if (cached) {
+        return cached;
+    }
+    switch (type.kind) {
+        case "referenceType": {
+            const sourceFqName = resolveSourceReferenceFQName(state, type);
+            const typeId = type.typeId ??
+                (type.resolvedClrType
+                    ? resolveTypeIdByName(state, type.resolvedClrType, type.typeArguments?.length)
+                    : undefined) ??
+                (sourceFqName
+                    ? resolveTypeIdByName(state, sourceFqName, type.typeArguments?.length)
+                    : undefined) ??
+                (!sourceFqName
+                    ? resolveTypeIdByName(state, type.name, type.typeArguments?.length)
+                    : undefined);
+            const attached = {
+                ...type,
+                ...(typeId ? { typeId } : {}),
+            };
+            cache.set(type, attached);
+            if (type.typeArguments) {
+                attached.typeArguments = type.typeArguments.map((t) => attachTypeIdsImpl(state, t, cache));
+            }
+            if (type.structuralMembers) {
+                attached.structuralMembers = type.structuralMembers.map((m) => attachInterfaceMemberTypeIdsImpl(state, m, cache));
+            }
+            return attached;
+        }
+        case "arrayType": {
+            const attached = { ...type, elementType: type.elementType };
+            cache.set(type, attached);
+            attached.elementType = attachTypeIdsImpl(state, type.elementType, cache);
+            return attached;
+        }
+        case "tupleType": {
+            const attached = {
+                ...type,
+                elementTypes: type.elementTypes,
+            };
+            cache.set(type, attached);
+            attached.elementTypes = type.elementTypes.map((t) => attachTypeIdsImpl(state, t, cache));
+            return attached;
+        }
+        case "functionType": {
+            const attached = {
+                ...type,
+                parameters: type.parameters,
+                returnType: type.returnType,
+            };
+            cache.set(type, attached);
+            attached.parameters = type.parameters.map((p) => attachParameterTypeIdsImpl(state, p, cache));
+            attached.returnType = attachTypeIdsImpl(state, type.returnType, cache);
+            return attached;
+        }
+        case "objectType": {
+            const attached = {
+                ...type,
+                members: type.members,
+            };
+            cache.set(type, attached);
+            attached.members = type.members.map((m) => attachInterfaceMemberTypeIdsImpl(state, m, cache));
+            return attached;
+        }
+        case "dictionaryType": {
+            const attached = {
+                ...type,
+                keyType: type.keyType,
+                valueType: type.valueType,
+            };
+            cache.set(type, attached);
+            attached.keyType = attachTypeIdsImpl(state, type.keyType, cache);
+            attached.valueType = attachTypeIdsImpl(state, type.valueType, cache);
+            return attached;
+        }
+        case "unionType":
+        case "intersectionType": {
+            const attached = {
+                ...type,
+                types: type.types,
+            };
+            cache.set(type, attached);
+            attached.types = type.types.map((t) => attachTypeIdsImpl(state, t, cache));
+            if (type.kind === "unionType") {
+                const normalized = normalizedUnionType(attached.types);
+                if (normalized.kind === "unionType") {
+                    attached.types = normalized.types;
+                }
+            }
+            return attached;
+        }
+        default:
+            return type;
+    }
+};
+export const attachParameterTypeIds = (state, p) => attachParameterTypeIdsImpl(state, p, new Map());
+export const attachTypeParameterTypeIds = (state, tp) => attachTypeParameterTypeIdsImpl(state, tp, new Map());
+export const attachInterfaceMemberTypeIds = (state, m) => attachInterfaceMemberTypeIdsImpl(state, m, new Map());
+export const attachTypeIds = (state, type) => attachTypeIdsImpl(state, type, new Map());
+// ─────────────────────────────────────────────────────────────────────────
+// convertTypeNode — Deterministic type syntax conversion
+// ─────────────────────────────────────────────────────────────────────────
+const unwrapParenthesizedTypeNode = (node) => {
+    let current = node;
+    while (ts.isParenthesizedTypeNode(current)) {
+        current = current.type;
+    }
+    return current;
+};
+const isDirectUnionTypeAliasDeclaration = (node) => ts.isUnionTypeNode(unwrapParenthesizedTypeNode(node.type));
+const stampSourceUnionAliasReferenceCarrier = (state, node, type) => {
+    if (!ts.isTypeReferenceNode(node) || type.kind !== "unionType") {
+        return type;
+    }
+    const typeReferenceNode = node;
+    const declId = state.resolveTypeReference(typeReferenceNode);
+    const declInfo = declId ? state.handleRegistry.getDecl(declId) : undefined;
+    const declNode = (declInfo?.typeDeclNode ?? declInfo?.declNode);
+    if (!declNode ||
+        !ts.isTypeAliasDeclaration(declNode) ||
+        declNode.getSourceFile().isDeclarationFile ||
+        !isDirectUnionTypeAliasDeclaration(declNode)) {
+        return type;
+    }
+    return stampRuntimeUnionAliasCarrier(type, {
+        aliasName: declNode.name.text,
+        fullyQualifiedName: declInfo?.fqName ?? declNode.name.text,
+        typeParameters: (declNode.typeParameters ?? []).map((tp) => tp.name.text),
+        typeArguments: (typeReferenceNode.typeArguments ?? []).map((typeArgument) => convertTypeNode(state, typeArgument)),
+    });
+};
+const preferInstalledSourceSurfaceAliasTypeId = (state, node, type) => {
+    if (!ts.isTypeReferenceNode(node) ||
+        type.kind !== "referenceType") {
+        return type;
+    }
+    const typeReferenceNode = node;
+    const typeName = typeReferenceNode.typeName;
+    if (!ts.isIdentifier(typeName)) {
+        return type;
+    }
+    const aliasTypeId = state.aliasTable.get(typeName.text);
+    if (!aliasTypeId) {
+        return type;
+    }
+    const declId = state.resolveTypeReference(typeReferenceNode);
+    const declInfo = declId ? state.handleRegistry.getDecl(declId) : undefined;
+    const declNode = (declInfo?.typeDeclNode ?? declInfo?.declNode);
+    const sourceFilePath = declNode?.getSourceFile().fileName;
+    if (!sourceFilePath ||
+        !resolveInstalledSourcePackageNamespace(sourceFilePath)) {
+        return type;
+    }
+    return {
+        ...type,
+        typeId: aliasTypeId,
+        resolvedClrType: aliasTypeId.clrName,
+    };
+};
+/**
+ * Deterministic type syntax conversion with canonical TypeId attachment.
+ *
+ * The underlying converter is syntax-only; this wrapper re-attaches the
+ * nominal identity from the UnifiedUniverse so downstream passes (including
+ * the emitter) can resolve CLR types without re-driving a parallel lookup.
+ */
+export const convertTypeNode = (state, node) => {
+    return stampSourceUnionAliasReferenceCarrier(state, node, preferInstalledSourceSurfaceAliasTypeId(state, node, attachTypeIds(state, state.convertTypeNodeRaw(node))));
+};
+// ─────────────────────────────────────────────────────────────────────────
+// delegateToFunctionType — Delegate → IrFunctionType conversion
+// ─────────────────────────────────────────────────────────────────────────
+/**
+ * Convert a nominal CLR delegate type to an IrFunctionType by reading its Invoke signature.
+ *
+ * This is used for deterministic lambda typing when the expected type is a delegate
+ * (e.g., custom delegates from CLR metadata).
+ */
+export const delegateToFunctionType = (state, type) => {
+    // Expression<TDelegate> wrapper: treat as its underlying delegate type for
+    // deterministic lambda contextual typing.
+    //
+    // This models C#'s implicit lambda conversion to Expression<Func<...>>:
+    // the TypeScript surface uses Expression<TDelegate>, but lambdas should be
+    // typed against the delegate shape.
+    if (type.kind === "referenceType" &&
+        type.name === "Expression_1" &&
+        (type.typeArguments?.length ?? 0) === 1) {
+        const inner = type.typeArguments?.[0];
+        if (!inner)
+            return undefined;
+        if (inner.kind === "functionType")
+            return inner;
+        return delegateToFunctionType(state, inner);
+    }
+    const normalized = normalizeToNominal(state, type);
+    if (!normalized)
+        return undefined;
+    const entry = state.unifiedCatalog.getByTypeId(normalized.typeId);
+    if (!entry || entry.kind !== "delegate")
+        return undefined;
+    const invokeMember = state.unifiedCatalog.getMember(normalized.typeId, "Invoke") ??
+        state.unifiedCatalog.getMember(normalized.typeId, "invoke");
+    const invokeSig = invokeMember?.signatures?.[0];
+    if (!invokeSig)
+        return undefined;
+    const typeParams = state.unifiedCatalog.getTypeParameters(normalized.typeId);
+    const subst = new Map();
+    for (let i = 0; i < Math.min(typeParams.length, normalized.typeArgs.length); i++) {
+        const tp = typeParams[i];
+        const arg = normalized.typeArgs[i];
+        if (tp && arg)
+            subst.set(tp.name, arg);
+    }
+    const substitute = (t) => subst.size > 0 ? irSubstitute(t, subst) : t;
+    const parameters = invokeSig.parameters.map((p) => {
+        const paramType = substitute(p.type);
+        return {
+            kind: "parameter",
+            pattern: {
+                kind: "identifierPattern",
+                name: p.name,
+                ...(paramType ? { type: paramType } : {}),
+            },
+            type: paramType,
+            initializer: undefined,
+            isOptional: p.isOptional,
+            isRest: p.isRest,
+            passing: p.mode,
+        };
+    });
+    return {
+        kind: "functionType",
+        parameters,
+        returnType: substitute(invokeSig.returnType),
+    };
+};
+// ─────────────────────────────────────────────────────────────────────────
+// mapEntriesEqual — Pure helper for map comparison
+// ─────────────────────────────────────────────────────────────────────────
+export const mapEntriesEqual = (left, right) => {
+    if (left.size !== right.size)
+        return false;
+    for (const [key, leftValue] of left) {
+        const rightValue = right.get(key);
+        if (!rightValue || !typesEqual(leftValue, rightValue))
+            return false;
+    }
+    return true;
+};
+// ─────────────────────────────────────────────────────────────────────────
+// containsMethodTypeParameter — Pure recursive type parameter check
+// ─────────────────────────────────────────────────────────────────────────
+export const containsMethodTypeParameter = (type, unresolved) => {
+    if (type.kind === "typeParameterType")
+        return unresolved.has(type.name);
+    if (type.kind === "referenceType") {
+        return (type.typeArguments ?? []).some((t) => t ? containsMethodTypeParameter(t, unresolved) : false);
+    }
+    if (type.kind === "arrayType") {
+        return containsMethodTypeParameter(type.elementType, unresolved);
+    }
+    if (type.kind === "tupleType") {
+        return type.elementTypes.some((t) => t ? containsMethodTypeParameter(t, unresolved) : false);
+    }
+    if (type.kind === "functionType") {
+        const paramsContain = type.parameters.some((p) => p.type ? containsMethodTypeParameter(p.type, unresolved) : false);
+        return (paramsContain || containsMethodTypeParameter(type.returnType, unresolved));
+    }
+    if (type.kind === "unionType" || type.kind === "intersectionType") {
+        return type.types.some((t) => t ? containsMethodTypeParameter(t, unresolved) : false);
+    }
+    if (type.kind === "objectType") {
+        return type.members.some((m) => {
+            if (m.kind === "propertySignature") {
+                return containsMethodTypeParameter(m.type, unresolved);
+            }
+            if (m.kind === "methodSignature") {
+                const paramsContain = m.parameters.some((p) => p.type ? containsMethodTypeParameter(p.type, unresolved) : false);
+                return (paramsContain ||
+                    (m.returnType
+                        ? containsMethodTypeParameter(m.returnType, unresolved)
+                        : false));
+            }
+            return false;
+        });
+    }
+    return false;
+};
+// ─────────────────────────────────────────────────────────────────────────
+// normalizeCatalogTsName — Pure catalog name normalization
+// ─────────────────────────────────────────────────────────────────────────
+export const normalizeCatalogTsName = (name) => {
+    if (name.endsWith("$instance"))
+        return name.slice(0, -"$instance".length);
+    if (name.startsWith("__") && name.endsWith("$views")) {
+        return name.slice("__".length, -"$views".length);
+    }
+    return name;
+};
+//# sourceMappingURL=call-resolution-type-ids.js.map

package/dist/ir/type-system/call-resolution-type-ids.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-resolution-type-ids.js","sourceRoot":"","sources":["../../../src/ir/type-system/call-resolution-type-ids.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAQjC,OAAO,EACL,mBAAmB,EACnB,6BAA6B,GAC9B,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,gBAAgB,IAAI,YAAY,GAEjC,MAAM,6BAA6B,CAAC;AAErC,OAAO,EACL,mBAAmB,EACnB,kBAAkB,EAClB,4BAA4B,GAC7B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACxD,OAAO,EAAE,sCAAsC,EAAE,MAAM,uCAAuC,CAAC;AAE/F,MAAM,CAAC,MAAM,uBAAuB,GAAG,2BAA2B,CAAC;AAEnE,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,IAAwB,EACxB,YAAgC,EACZ,EAAE;IACtB,OAAO,6BAA6B,CAClC,IAAI,EACJ,YAAY,EACZ,IAAI,GAAG,EAAkB,CAC1B,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,6BAA6B,GAAG,CACpC,IAAwB,EACxB,YAAgC,EAChC,IAAyB,EACL,EAAE;IACtB,IAAI,CAAC,IAAI,IAAI,CAAC,YAAY;QAAE,OAAO,IAAI,CAAC;IAExC,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACtC,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAI,MAAM,EAAE,CAAC;YACX,OAAO,MAAM,CAAC;QAChB,CAAC;IACH,CAAC;IAED,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,mBAAmB;YACtB,OAAO,IAAI,CAAC,IAAI,KAAK,uBAAuB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;QACrE,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,WAAW,GAAG;gBAClB,GAAG,IAAI;gBACP,WAAW,EAAE,IAAI,CAAC,WAAW;aAC9B,CAAC;YACF,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;YAC5B,MAAM,WAAW,GAAG,6BAA6B,CAC/C,IAAI,CAAC,WAAW,EAChB,YAAY,EACZ,IAAI,CACL,CAAC;YACF,IAAI,CAAC,WAAW;gBAAE,OAAO,IAAI,CAAC;YAC9B,WAAW,CAAC,WAAW,GAAG,WAAW,CAAC;YACtC,OAAO,WAAW,CAAC;QACrB,CAAC;QACD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,WAAW,GAAG;gBAClB,GAAG,IAAI;gBACP,YAAY,EAAE,IAAI,CAAC,YAAY;aAChC,CAAC;YACF,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;YAC5B,WAAW,CAAC,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAC9C,CAAC,OAAO,EAAE,EAAE,CACV,6BAA6B,CAAC,OAAO,EAAE,YAAY,EAAE,IAAI,CAAC,IAAI,OAAO,CACxE,CAAC;YACF,OAAO,WAAW,CAAC;QACrB,CAAC;QACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,WAAW,GAAG;gBAClB,GAAG,IAAI;gBACP,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,SAAS,EAAE,IAAI,CAAC,SAAS;aAC1B,CAAC;YACF,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;YAC5B,WAAW,CAAC,OAAO;gBACjB,6BAA6B,CAAC,IAAI,CAAC,OAAO,EAAE,YAAY,EAAE,IAAI,CAAC;oBAC/D,IAAI,CAAC,OAAO,CAAC;YACf,WAAW,CAAC,SAAS;gBACnB,6BAA6B,CAAC,IAAI,CAAC,SAAS,EAAE,YAAY,EAAE,IAAI,CAAC;oBACjE,IAAI,CAAC,SAAS,CAAC;YACjB,OAAO,WAAW,CAAC;QACrB,CAAC;QACD,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,WAAW,GAAG;gBAClB,GAAG,IAAI;gBACP,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACpE,GAAG,CAAC,IAAI,CAAC,iBAAiB;oBACxB,CAAC,CAAC,EAAE,iBAAiB,EAAE,IAAI,CAAC,iBAAiB,EAAE;oBAC/C,CAAC,CAAC,EAAE,CAAC;aACR,CAAC;YACF,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;YAC5B,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;gBACvB,WAAW,CAAC,aAAa,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAChD,CAAC,OAAO,EAAE,EAAE,CACV,6BAA6B,CAAC,OAAO,EAAE,YAAY,EAAE,IAAI,CAAC;oBAC1D,OAAO,CACV,CAAC;YACJ,CAAC;YACD,IAAI,IAAI,CAAC,iBAAiB,EAAE,CAAC;gBAC3B,WAAW,CAAC,iBAAiB,GAAG,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACpE,MAAM,CAAC,IAAI,KAAK,mBAAmB;oBACjC,CAAC,CAAC;wBACE,GAAG,MAAM;wBACT,IAAI,EACF,6BAA6B,CAC3B,MAAM,CAAC,IAAI,EACX,YAAY,EACZ,IAAI,CACL,IAAI,MAAM,CAAC,IAAI;qBACnB;oBACH,CAAC,CAAC;wBACE,GAAG,MAAM;wBACT,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;4BAChD,GAAG,SAAS;4BACZ,IAAI,EACF,6BAA6B,CAC3B,SAAS,CAAC,IAAI,EACd,YAAY,EACZ,IAAI,CACL,IAAI,SAAS,CAAC,IAAI;yBACtB,CAAC,CAAC;wBACH,UAAU,EAAE,MAAM,CAAC,UAAU;4BAC3B,CAAC,CAAC,CAAC,6BAA6B,CAC5B,MAAM,CAAC,UAAU,EACjB,YAAY,EACZ,IAAI,CACL,IAAI,MAAM,CAAC,UAAU,CAAC;4BACzB,CAAC,CAAC,SAAS;qBACd,CACN,CAAC;YACJ,CAAC;YACD,OAAO,WAAW,CAAC;QACrB,CAAC;QACD,KAAK,WAAW,CAAC;QACjB,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,WAAW,GAAG;gBAClB,GAAG,IAAI;gBACP,KAAK,EAAE,IAAI,CAAC,KAAK;aAClB,CAAC;YACF,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;YAC5B,WAAW,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAChC,CAAC,MAAM,EAAE,EAAE,CACT,6BAA6B,CAAC,MAAM,EAAE,YAAY,EAAE,IAAI,CAAC,IAAI,MAAM,CACtE,CAAC;YACF,OAAO,WAAW,CAAC;QACrB,CAAC;QACD,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,WAAW,GAAG;gBAClB,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,UAAU,EAAE,IAAI,CAAC,UAAU;aAC5B,CAAC;YACF,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;YAC5B,WAAW,CAAC,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;gBAC3D,GAAG,SAAS;gBACZ,IAAI,EACF,6BAA6B,CAAC,SAAS,CAAC,IAAI,EAAE,YAAY,EAAE,IAAI,CAAC;oBACjE,SAAS,CAAC,IAAI;aACjB,CAAC,CAAC,CAAC;YACJ,WAAW,CAAC,UAAU;gBACpB,6BAA6B,CAAC,IAAI,CAAC,UAAU,EAAE,YAAY,EAAE,IAAI,CAAC;oBAClE,IAAI,CAAC,UAAU,CAAC;YAClB,OAAO,WAAW,CAAC;QACrB,CAAC;QACD;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAcF,MAAM,0BAA0B,GAAG,CACjC,KAAsB,EACtB,CAAc,EACd,KAAyB,EACZ,EAAE,CAAC,CAAC;IACjB,GAAG,CAAC;IACJ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS;CACnE,CAAC,CAAC;AAEH,MAAM,8BAA8B,GAAG,CACrC,KAAsB,EACtB,EAAmB,EACnB,KAAyB,EACR,EAAE,CAAC,CAAC;IACrB,GAAG,EAAE;IACL,UAAU,EAAE,EAAE,CAAC,UAAU;QACvB,CAAC,CAAC,iBAAiB,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,EAAE,KAAK,CAAC;QAChD,CAAC,CAAC,SAAS;IACb,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS;IAC7E,iBAAiB,EAAE,EAAE,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACjD,gCAAgC,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC,CAClD;CACF,CAAC,CAAC;AAEH,MAAM,gCAAgC,GAAG,CACvC,KAAsB,EACtB,CAAoB,EACpB,KAAyB,EACN,EAAE;IACrB,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACnC,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,iBAAiB,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;IACjE,CAAC;IAED,OAAO;QACL,GAAG,CAAC;QACJ,cAAc,EAAE,CAAC,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAC3C,8BAA8B,CAAC,KAAK,EAAE,EAAE,EAAE,KAAK,CAAC,CACjD;QACD,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACjC,0BAA0B,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC,CAC5C;QACD,UAAU,EAAE,CAAC,CAAC,UAAU;YACtB,CAAC,CAAC,iBAAiB,CAAC,KAAK,EAAE,CAAC,CAAC,UAAU,EAAE,KAAK,CAAC;YAC/C,CAAC,CAAC,SAAS;KACd,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,KAAsB,EACtB,IAAY,EACZ,KAAyB,EACjB,EAAE;IACV,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,YAAY,GAAG,4BAA4B,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAC/D,MAAM,MAAM,GACV,IAAI,CAAC,MAAM;gBACX,CAAC,IAAI,CAAC,eAAe;oBACnB,CAAC,CAAC,mBAAmB,CACjB,KAAK,EACL,IAAI,CAAC,eAAe,EACpB,IAAI,CAAC,aAAa,EAAE,MAAM,CAC3B;oBACH,CAAC,CAAC,SAAS,CAAC;gBACd,CAAC,YAAY;oBACX,CAAC,CAAC,mBAAmB,CAAC,KAAK,EAAE,YAAY,EAAE,IAAI,CAAC,aAAa,EAAE,MAAM,CAAC;oBACtE,CAAC,CAAC,SAAS,CAAC;gBACd,CAAC,CAAC,YAAY;oBACZ,CAAC,CAAC,mBAAmB,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,aAAa,EAAE,MAAM,CAAC;oBACnE,CAAC,CAAC,SAAS,CAAC,CAAC;YAEjB,MAAM,QAAQ,GAAG;gBACf,GAAG,IAAI;gBACP,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC9B,CAAC;YACF,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAE1B,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;gBACvB,QAAQ,CAAC,aAAa,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACpD,iBAAiB,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC,CACnC,CAAC;YACJ,CAAC;YAED,IAAI,IAAI,CAAC,iBAAiB,EAAE,CAAC;gBAC3B,QAAQ,CAAC,iBAAiB,GAAG,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC5D,gCAAgC,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC,CAClD,CAAC;YACJ,CAAC;YAED,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,QAAQ,GAAG,EAAE,GAAG,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC;YAC5D,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAC1B,QAAQ,CAAC,WAAW,GAAG,iBAAiB,CAAC,KAAK,EAAE,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;YACzE,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,QAAQ,GAAG;gBACf,GAAG,IAAI;gBACP,YAAY,EAAE,IAAI,CAAC,YAAY;aAChC,CAAC;YACF,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAC1B,QAAQ,CAAC,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAClD,iBAAiB,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC,CACnC,CAAC;YACF,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,QAAQ,GAAG;gBACf,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,UAAU,EAAE,IAAI,CAAC,UAAU;aAC5B,CAAC;YACF,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAC1B,QAAQ,CAAC,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC9C,0BAA0B,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC,CAC5C,CAAC;YACF,QAAQ,CAAC,UAAU,GAAG,iBAAiB,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;YACvE,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,QAAQ,GAAG;gBACf,GAAG,IAAI;gBACP,OAAO,EAAE,IAAI,CAAC,OAAO;aACtB,CAAC;YACF,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAC1B,QAAQ,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACxC,gCAAgC,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC,CAClD,CAAC;YACF,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,QAAQ,GAAG;gBACf,GAAG,IAAI;gBACP,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,SAAS,EAAE,IAAI,CAAC,SAAS;aAC1B,CAAC;YACF,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAC1B,QAAQ,CAAC,OAAO,GAAG,iBAAiB,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YACjE,QAAQ,CAAC,SAAS,GAAG,iBAAiB,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;YACrE,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,KAAK,WAAW,CAAC;QACjB,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,QAAQ,GAAG;gBACf,GAAG,IAAI;gBACP,KAAK,EAAE,IAAI,CAAC,KAAK;aAClB,CAAC;YACF,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAC1B,QAAQ,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACpC,iBAAiB,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC,CACnC,CAAC;YACF,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC9B,MAAM,UAAU,GAAG,mBAAmB,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;gBACvD,IAAI,UAAU,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;oBACpC,QAAQ,CAAC,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC;gBACpC,CAAC;YACH,CAAC;YACD,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,KAAsB,EACtB,CAAc,EACD,EAAE,CACf,0BAA0B,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,GAAG,EAAkB,CAAC,CAAC;AAElE,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,KAAsB,EACtB,EAAmB,EACF,EAAE,CACnB,8BAA8B,CAAC,KAAK,EAAE,EAAE,EAAE,IAAI,GAAG,EAAkB,CAAC,CAAC;AAEvE,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,KAAsB,EACtB,CAAoB,EACD,EAAE,CACrB,gCAAgC,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,GAAG,EAAkB,CAAC,CAAC;AAExE,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,KAAsB,EAAE,IAAY,EAAU,EAAE,CAC5E,iBAAiB,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,GAAG,EAAkB,CAAC,CAAC;AAE5D,4EAA4E;AAC5E,yDAAyD;AACzD,4EAA4E;AAE5E,MAAM,2BAA2B,GAAG,CAAC,IAAiB,EAAe,EAAE;IACrE,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,OAAO,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3C,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC;IACzB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,iCAAiC,GAAG,CACxC,IAA6B,EACpB,EAAE,CAAC,EAAE,CAAC,eAAe,CAAC,2BAA2B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;AAEzE,MAAM,qCAAqC,GAAG,CAC5C,KAAsB,EACtB,IAAa,EACb,IAAY,EACJ,EAAE;IACV,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAe,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC1E,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,iBAAiB,GAAG,IAA4B,CAAC;IACvD,MAAM,MAAM,GAAG,KAAK,CAAC,oBAAoB,CAAC,iBAAiB,CAAC,CAAC;IAC7D,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3E,MAAM,QAAQ,GAAG,CAAC,QAAQ,EAAE,YAAY,IAAI,QAAQ,EAAE,QAAQ,CAEjD,CAAC;IACd,IACE,CAAC,QAAQ;QACT,CAAC,EAAE,CAAC,sBAAsB,CAAC,QAAQ,CAAC;QACpC,QAAQ,CAAC,aAAa,EAAE,CAAC,iBAAiB;QAC1C,CAAC,iCAAiC,CAAC,QAAQ,CAAC,EAC5C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,6BAA6B,CAAC,IAAI,EAAE;QACzC,SAAS,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI;QAC7B,kBAAkB,EAAE,QAAQ,EAAE,MAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI;QAC1D,cAAc,EAAE,CAAC,QAAQ,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;QACzE,aAAa,EAAE,CAAC,iBAAiB,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CAC1E,eAAe,CAAC,KAAK,EAAE,YAAY,CAAC,CACrC;KACF,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,uCAAuC,GAAG,CAC9C,KAAsB,EACtB,IAAa,EACb,IAAY,EACJ,EAAE;IACV,IACE,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAe,CAAC;QACxC,IAAI,CAAC,IAAI,KAAK,eAAe,EAC7B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,iBAAiB,GAAG,IAA4B,CAAC;IACvD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,QAAQ,CAAC;IAC5C,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,WAAW,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACxD,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,MAAM,GAAG,KAAK,CAAC,oBAAoB,CAAC,iBAAiB,CAAC,CAAC;IAC7D,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3E,MAAM,QAAQ,GAAG,CAAC,QAAQ,EAAE,YAAY,IAAI,QAAQ,EAAE,QAAQ,CAEjD,CAAC;IACd,MAAM,cAAc,GAAG,QAAQ,EAAE,aAAa,EAAE,CAAC,QAAQ,CAAC;IAC1D,IACE,CAAC,cAAc;QACf,CAAC,sCAAsC,CAAC,cAAc,CAAC,EACvD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO;QACL,GAAG,IAAI;QACP,MAAM,EAAE,WAAW;QACnB,eAAe,EAAE,WAAW,CAAC,OAAO;KACrC,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,KAAsB,EACtB,IAAa,EACL,EAAE;IACV,OAAO,qCAAqC,CAC1C,KAAK,EACL,IAAI,EACJ,uCAAuC,CACrC,KAAK,EACL,IAAI,EACJ,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CACrD,CACF,CAAC;AACJ,CAAC,CAAC;AAEF,4EAA4E;AAC5E,gEAAgE;AAChE,4EAA4E;AAE5E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,KAAsB,EACtB,IAAY,EACgB,EAAE;IAC9B,2EAA2E;IAC3E,0CAA0C;IAC1C,EAAE;IACF,wEAAwE;IACxE,2EAA2E;IAC3E,oCAAoC;IACpC,IACE,IAAI,CAAC,IAAI,KAAK,eAAe;QAC7B,IAAI,CAAC,IAAI,KAAK,cAAc;QAC5B,CAAC,IAAI,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,EACvC,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;QACtC,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAC7B,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc;YAAE,OAAO,KAAK,CAAC;QAChD,OAAO,sBAAsB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC9C,CAAC;IAED,MAAM,UAAU,GAAG,kBAAkB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACnD,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAElC,MAAM,KAAK,GAAG,KAAK,CAAC,cAAc,CAAC,WAAW,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAClE,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,SAAS,CAAC;IAE1D,MAAM,YAAY,GAChB,KAAK,CAAC,cAAc,CAAC,SAAS,CAAC,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC;QAC3D,KAAK,CAAC,cAAc,CAAC,SAAS,CAAC,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC9D,MAAM,SAAS,GAAG,YAAY,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC;IAChD,IAAI,CAAC,SAAS;QAAE,OAAO,SAAS,CAAC;IAEjC,MAAM,UAAU,GAAG,KAAK,CAAC,cAAc,CAAC,iBAAiB,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAC7E,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,KACE,IAAI,CAAC,GAAG,CAAC,EACT,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,EAC3D,CAAC,EAAE,EACH,CAAC;QACD,MAAM,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,GAAG,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACnC,IAAI,EAAE,IAAI,GAAG;YAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACzC,CAAC;IAED,MAAM,UAAU,GAAG,CAAC,CAAS,EAAU,EAAE,CACvC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,KAA0B,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAEnE,MAAM,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAChD,MAAM,SAAS,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACrC,OAAO;YACL,IAAI,EAAE,WAAoB;YAC1B,OAAO,EAAE;gBACP,IAAI,EAAE,mBAA4B;gBAClC,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC1C;YACD,IAAI,EAAE,SAAS;YACf,WAAW,EAAE,SAAS;YACtB,UAAU,EAAE,CAAC,CAAC,UAAU;YACxB,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,OAAO,EAAE,CAAC,CAAC,IAAI;SAChB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,IAAI,EAAE,cAAc;QACpB,UAAU;QACV,UAAU,EAAE,UAAU,CAAC,SAAS,CAAC,UAAU,CAAC;KAC7C,CAAC;AACJ,CAAC,CAAC;AAEF,4EAA4E;AAC5E,mDAAmD;AACnD,4EAA4E;AAE5E,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,IAAiC,EACjC,KAAkC,EACzB,EAAE;IACX,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAC3C,KAAK,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,IAAI,IAAI,EAAE,CAAC;QACpC,MAAM,UAAU,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAClC,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,UAAU,CAAC;YAAE,OAAO,KAAK,CAAC;IACtE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,4EAA4E;AAC5E,oEAAoE;AACpE,4EAA4E;AAE5E,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,IAAY,EACZ,UAA+B,EACtB,EAAE;IACX,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB;QAAE,OAAO,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxE,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,CAAC,IAAI,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAC3C,CAAC,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,CACvD,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,2BAA2B,CAAC,IAAI,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IACnE,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAClC,CAAC,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,CACvD,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACjC,MAAM,aAAa,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAC/C,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,CACjE,CAAC;QACF,OAAO,CACL,aAAa,IAAI,2BAA2B,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,CAC1E,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAClE,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAC3B,CAAC,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,CACvD,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC/B,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;YAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;gBACnC,OAAO,2BAA2B,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YACzD,CAAC;YACD,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;gBACjC,MAAM,aAAa,GAAG,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAC5C,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,CACjE,CAAC;gBACF,OAAO,CACL,aAAa;oBACb,CAAC,CAAC,CAAC,UAAU;wBACX,CAAC,CAAC,2BAA2B,CAAC,CAAC,CAAC,UAAU,EAAE,UAAU,CAAC;wBACvD,CAAC,CAAC,KAAK,CAAC,CACX,CAAC;YACJ,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,4EAA4E;AAC5E,2DAA2D;AAC3D,4EAA4E;AAE5E,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,IAAY,EAAU,EAAE;IAC7D,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IAC1E,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrD,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC"}

package/dist/ir/type-system/call-resolution-type-ids.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=call-resolution-type-ids.test.d.ts.map

package/dist/ir/type-system/call-resolution-type-ids.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-resolution-type-ids.test.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/call-resolution-type-ids.test.ts"],"names":[],"mappings":""}

package/dist/ir/type-system/call-resolution-type-ids.test.js

@@ -0,0 +1,63 @@
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { POLYMORPHIC_THIS_MARKER, substitutePolymorphicThis, } from "./call-resolution-type-ids.js";
+describe("call resolution type ids", () => {
+    describe("substitutePolymorphicThis", () => {
+        it("preserves recursive structural reference graphs", () => {
+            const receiverType = {
+                kind: "referenceType",
+                name: "Receiver",
+                structuralMembers: [],
+            };
+            const recursiveType = {
+                kind: "referenceType",
+                name: "Recursive",
+                structuralMembers: [],
+            };
+            recursiveType.structuralMembers = [
+                {
+                    kind: "propertySignature",
+                    name: "self",
+                    isReadonly: false,
+                    isOptional: false,
+                    type: recursiveType,
+                },
+                {
+                    kind: "propertySignature",
+                    name: "value",
+                    isReadonly: false,
+                    isOptional: false,
+                    type: {
+                        kind: "typeParameterType",
+                        name: POLYMORPHIC_THIS_MARKER,
+                    },
+                },
+                {
+                    kind: "methodSignature",
+                    name: "next",
+                    parameters: [],
+                    returnType: recursiveType,
+                },
+            ];
+            const substituted = substitutePolymorphicThis(recursiveType, receiverType);
+            expect(substituted).to.not.equal(undefined);
+            expect(substituted?.kind).to.equal("referenceType");
+            const reference = substituted;
+            const selfMember = reference.structuralMembers?.[0];
+            const valueMember = reference.structuralMembers?.[1];
+            const nextMember = reference.structuralMembers?.[2];
+            expect(selfMember?.kind).to.equal("propertySignature");
+            expect(valueMember?.kind).to.equal("propertySignature");
+            expect(nextMember?.kind).to.equal("methodSignature");
+            if (selfMember?.kind !== "propertySignature" ||
+                valueMember?.kind !== "propertySignature" ||
+                nextMember?.kind !== "methodSignature") {
+                throw new Error("Expected recursive structural members to be preserved");
+            }
+            expect(selfMember.type).to.equal(reference);
+            expect(valueMember.type).to.equal(receiverType);
+            expect(nextMember.returnType).to.equal(reference);
+        });
+    });
+});
+//# sourceMappingURL=call-resolution-type-ids.test.js.map

package/dist/ir/type-system/call-resolution-type-ids.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-resolution-type-ids.test.js","sourceRoot":"","sources":["../../../src/ir/type-system/call-resolution-type-ids.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAE9B,OAAO,EACL,uBAAuB,EACvB,yBAAyB,GAC1B,MAAM,+BAA+B,CAAC;AAEvC,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACzC,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;YACzD,MAAM,YAAY,GAAW;gBAC3B,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,UAAU;gBAChB,iBAAiB,EAAE,EAAE;aACtB,CAAC;YAEF,MAAM,aAAa,GAAG;gBACpB,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,WAAW;gBACjB,iBAAiB,EAAE,EAAE;aAGtB,CAAC;YAEF,aAAa,CAAC,iBAAiB,GAAG;gBAChC;oBACE,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE,KAAK;oBACjB,UAAU,EAAE,KAAK;oBACjB,IAAI,EAAE,aAAa;iBACpB;gBACD;oBACE,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,OAAO;oBACb,UAAU,EAAE,KAAK;oBACjB,UAAU,EAAE,KAAK;oBACjB,IAAI,EAAE;wBACJ,IAAI,EAAE,mBAAmB;wBACzB,IAAI,EAAE,uBAAuB;qBAC9B;iBACF;gBACD;oBACE,IAAI,EAAE,iBAAiB;oBACvB,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE,EAAE;oBACd,UAAU,EAAE,aAAa;iBAC1B;aACF,CAAC;YAEF,MAAM,WAAW,GAAG,yBAAyB,CAC3C,aAAa,EACb,YAAY,CACb,CAAC;YAEF,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAC5C,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;YAEpD,MAAM,SAAS,GAAG,WAGjB,CAAC;YACF,MAAM,UAAU,GAAG,SAAS,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,CAAC;YACpD,MAAM,WAAW,GAAG,SAAS,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,CAAC;YACrD,MAAM,UAAU,GAAG,SAAS,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,CAAC;YAEpD,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;YACvD,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;YACxD,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;YAErD,IACE,UAAU,EAAE,IAAI,KAAK,mBAAmB;gBACxC,WAAW,EAAE,IAAI,KAAK,mBAAmB;gBACzC,UAAU,EAAE,IAAI,KAAK,iBAAiB,EACtC,CAAC;gBACD,MAAM,IAAI,KAAK,CACb,uDAAuD,CACxD,CAAC;YACJ,CAAC;YAED,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAC5C,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;YAChD,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACpD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/ir/type-system/call-resolution-unification.d.ts

@@ -0,0 +1,18 @@
+/**
+ * Call Resolution Unification — Generic type argument inference from call-site arguments.
+ *
+ * Contains inferMethodTypeArgsFromArguments with the full tryUnify engine
+ * for deterministic type argument inference.
+ *
+ * DAG position: depends on type-system-state, type-system-relations, call-resolution-utilities
+ */
+import type { IrType } from "../types/index.js";
+import type { TypeParameterInfo } from "./types.js";
+import type { TypeSystemState } from "./type-system-state.js";
+/**
+ * Deterministic type argument inference from call-site arguments.
+ *
+ * Walks parameter and argument shapes without ambiguity.
+ */
+export declare const inferMethodTypeArgsFromArguments: (state: TypeSystemState, methodTypeParams: readonly TypeParameterInfo[], parameterTypes: readonly (IrType | undefined)[], argTypes: readonly (IrType | undefined)[]) => Map<string, IrType> | undefined;
+//# sourceMappingURL=call-resolution-unification.d.ts.map

package/dist/ir/type-system/call-resolution-unification.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-resolution-unification.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/call-resolution-unification.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAmB,MAAM,mBAAmB,CAAC;AAQjE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AACpD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAoB9D;;;;GAIG;AACH,eAAO,MAAM,gCAAgC,GAC3C,OAAO,eAAe,EACtB,kBAAkB,SAAS,iBAAiB,EAAE,EAC9C,gBAAgB,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,EAC/C,UAAU,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,KACxC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAk2BxB,CAAC"}