@tsonic/frontend 0.0.73 → 0.0.75

package/dist/ir/type-system/inference-declarations-types.js

@@ -0,0 +1,475 @@
+/**
+ * Declaration type queries — typeOfDecl, typeOfValueRead, getFQNameOfDecl,
+ * hasTypeParameters, isTypeDecl, isInterfaceDecl, isTypeAliasToObjectLiteral,
+ * declHasTypeAnnotation.
+ *
+ * DAG position: depends on inference-utilities, inference-initializers,
+ *               type-system-state
+ */
+import * as ts from "typescript";
+import { unknownType } from "./types.js";
+import { emitDiagnostic } from "./type-system-state.js";
+import { resolveTypeIdByName } from "./type-system-state.js";
+import { convertTypeNode } from "./type-system-call-resolution.js";
+import { buildCallableOverloadFamilyType, hasStaticModifier, makeOptionalReadType, } from "./inference-utilities.js";
+import { tryInferTypeFromInitializer } from "./inference-initializers.js";
+import { getMembersFromType, memberValueType, } from "./internal/type-converter/type-operators.js";
+import { isOverloadStubImplementation, isOverloadSurfaceDeclaration, } from "../syntax/overload-stubs.js";
+import { tryResolveDeterministicPropertyName } from "../syntax/property-names.js";
+const CATCH_VARIABLE_JS_VALUE_TYPE = {
+    kind: "referenceType",
+    name: "JsValue",
+    resolvedClrType: "Tsonic.Runtime.JsValue",
+};
+const isCatchVariableDeclaration = (declaration) => !!declaration &&
+    ts.isVariableDeclaration(declaration) &&
+    ts.isCatchClause(declaration.parent);
+const convertSignatureTypeParameters = (state, declaration) => {
+    if (!declaration.typeParameters || declaration.typeParameters.length === 0) {
+        return undefined;
+    }
+    return declaration.typeParameters.map((typeParameter) => ({
+        kind: "typeParameter",
+        name: typeParameter.name.text,
+        constraint: typeParameter.constraint
+            ? convertTypeNode(state, typeParameter.constraint)
+            : undefined,
+        default: typeParameter.default
+            ? convertTypeNode(state, typeParameter.default)
+            : undefined,
+        variance: undefined,
+        isStructuralConstraint: !!typeParameter.constraint &&
+            ts.isTypeLiteralNode(typeParameter.constraint),
+        structuralMembers: undefined,
+    }));
+};
+const buildFunctionTypeFromSignatureDeclaration = (state, declaration) => ({
+    kind: "functionType",
+    typeParameters: convertSignatureTypeParameters(state, declaration),
+    parameters: declaration.parameters.map((parameter) => ({
+        kind: "parameter",
+        pattern: ts.isIdentifier(parameter.name)
+            ? { kind: "identifierPattern", name: parameter.name.text }
+            : { kind: "identifierPattern", name: `p${parameter.pos}` },
+        type: parameter.type ? convertTypeNode(state, parameter.type) : unknownType,
+        initializer: undefined,
+        isOptional: !!parameter.questionToken || !!parameter.initializer,
+        isRest: !!parameter.dotDotDotToken,
+        passing: "value",
+    })),
+    returnType: declaration.type
+        ? convertTypeNode(state, declaration.type)
+        : unknownType,
+});
+const getOverloadSurfaceFamily = (declaration) => {
+    if (!declaration.name) {
+        return undefined;
+    }
+    if (ts.isFunctionDeclaration(declaration)) {
+        const parent = declaration.parent;
+        if (!ts.isSourceFile(parent)) {
+            return undefined;
+        }
+        const family = parent.statements.filter((statement) => ts.isFunctionDeclaration(statement) &&
+            statement.name?.text === declaration.name?.text);
+        if (family.length === 0) {
+            return undefined;
+        }
+        const overloadSurface = family.filter(isOverloadSurfaceDeclaration);
+        return overloadSurface.length > 0 ? overloadSurface : undefined;
+    }
+    const parent = declaration.parent;
+    if (!ts.isClassDeclaration(parent)) {
+        return undefined;
+    }
+    const methodName = tryResolveDeterministicPropertyName(declaration.name);
+    if (!methodName) {
+        return undefined;
+    }
+    const family = parent.members.filter((member) => ts.isMethodDeclaration(member) &&
+        tryResolveDeterministicPropertyName(member.name) === methodName &&
+        hasStaticModifier(member) === hasStaticModifier(declaration));
+    if (family.length === 0) {
+        return undefined;
+    }
+    const overloadSurface = family.filter(isOverloadSurfaceDeclaration);
+    return overloadSurface.length > 0 ? overloadSurface : undefined;
+};
+const getNamedRuntimeDeclarationDeclId = (state, declaration) => {
+    if (ts.isFunctionDeclaration(declaration) ||
+        ts.isClassDeclaration(declaration) ||
+        ts.isEnumDeclaration(declaration)) {
+        return declaration.name && ts.isIdentifier(declaration.name)
+            ? state.resolveIdentifier(declaration.name)
+            : undefined;
+    }
+    if (ts.isVariableDeclaration(declaration) &&
+        ts.isIdentifier(declaration.name)) {
+        return state.resolveIdentifier(declaration.name);
+    }
+    return undefined;
+};
+const buildModuleNamespaceTypeFromSymbol = (state, input, seen) => {
+    const moduleSymbol = input.flags & ts.SymbolFlags.Alias
+        ? state.checker.getAliasedSymbol(input)
+        : input;
+    if (seen.has(moduleSymbol)) {
+        emitDiagnostic(state, "TSN5203", `Circular module namespace export surface is not supported deterministically`);
+        return unknownType;
+    }
+    seen.add(moduleSymbol);
+    const exportSymbols = [
+        ...state.checker.getExportsOfModule(moduleSymbol),
+    ].sort((left, right) => left.getName().localeCompare(right.getName()));
+    const members = [];
+    for (const exportSymbol of exportSymbols) {
+        const actualSymbol = exportSymbol.flags & ts.SymbolFlags.Alias
+            ? state.checker.getAliasedSymbol(exportSymbol)
+            : exportSymbol;
+        if ((actualSymbol.flags & ts.SymbolFlags.Value) === 0) {
+            continue;
+        }
+        const memberType = (() => {
+            if (actualSymbol.flags &
+                (ts.SymbolFlags.ValueModule | ts.SymbolFlags.NamespaceModule)) {
+                return buildModuleNamespaceTypeFromSymbol(state, actualSymbol, seen);
+            }
+            for (const declaration of actualSymbol.getDeclarations() ?? []) {
+                const declId = getNamedRuntimeDeclarationDeclId(state, declaration);
+                if (!declId) {
+                    continue;
+                }
+                return typeOfDecl(state, declId);
+            }
+            return undefined;
+        })();
+        if (!memberType || memberType.kind === "unknownType") {
+            seen.delete(moduleSymbol);
+            emitDiagnostic(state, "TSN5203", `Namespace import export '${exportSymbol.getName()}' could not be represented deterministically`);
+            return unknownType;
+        }
+        members.push({
+            kind: "propertySignature",
+            name: exportSymbol.getName(),
+            type: memberType,
+            isOptional: false,
+            isReadonly: true,
+        });
+    }
+    seen.delete(moduleSymbol);
+    return {
+        kind: "objectType",
+        members,
+    };
+};
+const buildNamespaceImportType = (state, declaration) => {
+    const importClause = declaration.parent;
+    const importDeclaration = importClause.parent;
+    if (!ts.isImportClause(importClause) ||
+        !ts.isImportDeclaration(importDeclaration) ||
+        !ts.isStringLiteral(importDeclaration.moduleSpecifier)) {
+        emitDiagnostic(state, "TSN5203", "Cannot resolve namespace import declaration");
+        return unknownType;
+    }
+    const moduleSymbol = state.checker.getSymbolAtLocation(importDeclaration.moduleSpecifier);
+    if (!moduleSymbol) {
+        emitDiagnostic(state, "TSN5203", `Cannot resolve namespace import '${importDeclaration.moduleSpecifier.text}'`);
+        return unknownType;
+    }
+    return buildModuleNamespaceTypeFromSymbol(state, moduleSymbol, new Set());
+};
+const getTypeQuerySegments = (exprName) => {
+    if (ts.isIdentifier(exprName)) {
+        return [exprName.text];
+    }
+    return [...getTypeQuerySegments(exprName.left), exprName.right.text];
+};
+const buildTypeQueryValueType = (state, exprName) => {
+    const [rootName, ...memberNames] = getTypeQuerySegments(exprName);
+    if (!rootName) {
+        return unknownType;
+    }
+    const rootDeclId = state.resolveIdentifier(rootName);
+    if (!rootDeclId) {
+        emitDiagnostic(state, "TSN5203", `Cannot resolve type query root '${rootName}'`);
+        return unknownType;
+    }
+    let currentType = typeOfValueRead(state, rootDeclId);
+    for (const memberName of memberNames) {
+        const members = getMembersFromType(currentType);
+        const member = members?.find((candidate) => candidate.name === memberName);
+        if (!member) {
+            emitDiagnostic(state, "TSN5203", `Cannot resolve type query member '${memberName}'`);
+            return unknownType;
+        }
+        currentType = memberValueType(member);
+    }
+    return currentType;
+};
+const buildSourceFileModuleNamespaceType = (state, sourceFile) => {
+    const directSymbol = state.checker.getSymbolAtLocation(sourceFile);
+    const sourceFileWithSymbol = sourceFile;
+    const moduleSymbol = directSymbol ?? sourceFileWithSymbol.symbol;
+    if (!moduleSymbol) {
+        emitDiagnostic(state, "TSN5203", `Cannot resolve external module namespace for '${sourceFile.fileName}'`);
+        return unknownType;
+    }
+    return buildModuleNamespaceTypeFromSymbol(state, moduleSymbol, new Set());
+};
+const getDeclarationTypeParameterArity = (declaration) => {
+    if (!declaration) {
+        return undefined;
+    }
+    if (ts.isClassDeclaration(declaration) ||
+        ts.isInterfaceDeclaration(declaration) ||
+        ts.isTypeAliasDeclaration(declaration) ||
+        ts.isFunctionDeclaration(declaration) ||
+        ts.isMethodDeclaration(declaration)) {
+        return declaration.typeParameters?.length;
+    }
+    return undefined;
+};
+const buildNominalReferenceType = (state, declInfo, declaration) => {
+    const namedDeclaration = declaration;
+    const simpleName = namedDeclaration?.name && ts.isIdentifier(namedDeclaration.name)
+        ? namedDeclaration.name.text
+        : undefined;
+    const arity = getDeclarationTypeParameterArity(declaration);
+    const typeId = (declInfo.fqName
+        ? resolveTypeIdByName(state, declInfo.fqName, arity)
+        : undefined) ??
+        (simpleName ? resolveTypeIdByName(state, simpleName, arity) : undefined);
+    return {
+        kind: "referenceType",
+        name: declInfo.fqName ?? simpleName ?? "unknown",
+        ...(typeId ? { typeId, resolvedClrType: typeId.clrName } : {}),
+    };
+};
+// ─────────────────────────────────────────────────────────────────────────
+// typeOfDecl — Get declared type of a declaration
+// ─────────────────────────────────────────────────────────────────────────
+export const typeOfDecl = (state, declId) => {
+    // Check cache first
+    const cached = state.declTypeCache.get(declId.id);
+    if (cached)
+        return cached;
+    const declInfo = state.handleRegistry.getDecl(declId);
+    if (!declInfo) {
+        emitDiagnostic(state, "TSN5203", "Cannot resolve declaration");
+        const result = unknownType;
+        state.declTypeCache.set(declId.id, result);
+        return result;
+    }
+    const effectiveValueDecl = declInfo.valueDeclNode ??
+        declInfo.declNode;
+    const effectiveFunctionValueDecl = effectiveValueDecl &&
+        ts.isVariableDeclaration(effectiveValueDecl) &&
+        effectiveValueDecl.initializer &&
+        (ts.isFunctionExpression(effectiveValueDecl.initializer) ||
+            ts.isArrowFunction(effectiveValueDecl.initializer))
+        ? effectiveValueDecl.initializer
+        : effectiveValueDecl;
+    const effectiveTypeDecl = declInfo.typeDeclNode ?? effectiveValueDecl;
+    const effectiveDeclNode = effectiveValueDecl ?? effectiveTypeDecl;
+    const effectiveTypeNode = (() => {
+        if (declInfo.typeNode)
+            return declInfo.typeNode;
+        const source = effectiveDeclNode;
+        if (!source)
+            return undefined;
+        if (ts.isVariableDeclaration(source) ||
+            ts.isParameter(source) ||
+            ts.isPropertyDeclaration(source) ||
+            ts.isPropertySignature(source) ||
+            ts.isMethodDeclaration(source) ||
+            ts.isMethodSignature(source) ||
+            ts.isFunctionDeclaration(source) ||
+            ts.isTypeAliasDeclaration(source) ||
+            ts.isGetAccessorDeclaration(source)) {
+            return source.type;
+        }
+        return undefined;
+    })();
+    const effectiveKind = (() => {
+        const source = effectiveDeclNode;
+        if (!source)
+            return declInfo.kind;
+        if (ts.isFunctionDeclaration(source))
+            return "function";
+        if (ts.isVariableDeclaration(source))
+            return "variable";
+        if (ts.isClassDeclaration(source))
+            return "class";
+        if (ts.isInterfaceDeclaration(source))
+            return "interface";
+        if (ts.isTypeAliasDeclaration(source))
+            return "typeAlias";
+        if (ts.isEnumDeclaration(source))
+            return "enum";
+        if (ts.isParameter(source))
+            return "parameter";
+        if (ts.isPropertyDeclaration(source) ||
+            ts.isPropertySignature(source) ||
+            ts.isGetAccessorDeclaration(source) ||
+            ts.isSetAccessorDeclaration(source)) {
+            return "property";
+        }
+        if (ts.isMethodDeclaration(source) || ts.isMethodSignature(source)) {
+            return "method";
+        }
+        return declInfo.kind;
+    })();
+    let result;
+    if (effectiveDeclNode &&
+        ts.isSourceFile(effectiveDeclNode) &&
+        ts.isExternalModule(effectiveDeclNode)) {
+        result = buildSourceFileModuleNamespaceType(state, effectiveDeclNode);
+    }
+    else if (effectiveDeclNode && ts.isNamespaceImport(effectiveDeclNode)) {
+        result = buildNamespaceImportType(state, effectiveDeclNode);
+    }
+    else if (effectiveFunctionValueDecl &&
+        (ts.isFunctionDeclaration(effectiveFunctionValueDecl) ||
+            ts.isMethodDeclaration(effectiveFunctionValueDecl) ||
+            ts.isFunctionExpression(effectiveFunctionValueDecl) ||
+            ts.isArrowFunction(effectiveFunctionValueDecl))) {
+        if ((ts.isFunctionDeclaration(effectiveFunctionValueDecl) ||
+            ts.isMethodDeclaration(effectiveFunctionValueDecl)) &&
+            (isOverloadSurfaceDeclaration(effectiveFunctionValueDecl) ||
+                isOverloadStubImplementation(effectiveFunctionValueDecl))) {
+            const overloadSurfaceFamily = getOverloadSurfaceFamily(effectiveFunctionValueDecl);
+            if (overloadSurfaceFamily && overloadSurfaceFamily.length > 0) {
+                result = buildCallableOverloadFamilyType(overloadSurfaceFamily.map((member) => buildFunctionTypeFromSignatureDeclaration(state, member)));
+                state.declTypeCache.set(declId.id, result);
+                return result;
+            }
+        }
+        if (!effectiveFunctionValueDecl.type) {
+            emitDiagnostic(state, "TSN5201", `Function '${declInfo.fqName ?? "unknown"}' requires explicit return type`);
+        }
+        result = buildFunctionTypeFromSignatureDeclaration(state, effectiveFunctionValueDecl);
+    }
+    else if (effectiveTypeNode && ts.isTypeQueryNode(effectiveTypeNode)) {
+        result = buildTypeQueryValueType(state, effectiveTypeNode.exprName);
+    }
+    else if (effectiveTypeNode) {
+        // Explicit type annotation - convert to IR
+        result = convertTypeNode(state, effectiveTypeNode);
+    }
+    else if (effectiveKind === "class" ||
+        effectiveKind === "interface" ||
+        effectiveKind === "enum") {
+        // Class/interface/enum - return reference type
+        result = buildNominalReferenceType(state, declInfo, effectiveDeclNode);
+    }
+    else if (effectiveKind === "function") {
+        // Function without type annotation - need to build function type from signature
+        // For now, return unknownType as we need the signature ID
+        emitDiagnostic(state, "TSN5201", `Function '${declInfo.fqName ?? "unknown"}' requires explicit return type`);
+        result = unknownType;
+    }
+    else if (effectiveKind === "variable" && effectiveDeclNode) {
+        // Variable without type annotation - infer from deterministic initializer
+        const inferred = tryInferTypeFromInitializer(state, effectiveDeclNode);
+        if (inferred) {
+            result = inferred;
+        }
+        else if (isCatchVariableDeclaration(effectiveDeclNode)) {
+            result = CATCH_VARIABLE_JS_VALUE_TYPE;
+        }
+        else {
+            // Not a simple literal - require explicit type annotation
+            emitDiagnostic(state, "TSN5201", `Declaration requires explicit type annotation`);
+            result = unknownType;
+        }
+    }
+    else {
+        if (isCatchVariableDeclaration(effectiveDeclNode)) {
+            result = CATCH_VARIABLE_JS_VALUE_TYPE;
+            state.declTypeCache.set(declId.id, result);
+            return result;
+        }
+        // Parameter or other declaration without type annotation
+        emitDiagnostic(state, "TSN5201", `Declaration requires explicit type annotation`);
+        result = unknownType;
+    }
+    state.declTypeCache.set(declId.id, result);
+    return result;
+};
+export const typeOfValueRead = (state, declId) => {
+    const declType = typeOfDecl(state, declId);
+    if (declType.kind === "unknownType") {
+        return declType;
+    }
+    const declInfo = state.handleRegistry.getDecl(declId);
+    const effectiveValueDecl = declInfo?.valueDeclNode ??
+        declInfo?.declNode;
+    if (effectiveValueDecl &&
+        ((ts.isParameter(effectiveValueDecl) &&
+            effectiveValueDecl.questionToken !== undefined) ||
+            ((ts.isPropertyDeclaration(effectiveValueDecl) ||
+                ts.isPropertySignature(effectiveValueDecl)) &&
+                effectiveValueDecl.questionToken !== undefined))) {
+        return makeOptionalReadType(declType);
+    }
+    return declType;
+};
+// ─────────────────────────────────────────────────────────────────────────
+// getFQNameOfDecl — Get fully-qualified name of declaration
+// ─────────────────────────────────────────────────────────────────────────
+export const getFQNameOfDecl = (state, declId) => {
+    const declInfo = state.handleRegistry.getDecl(declId);
+    return declInfo?.fqName;
+};
+// ─────────────────────────────────────────────────────────────────────────
+// hasTypeParameters — Check if declaration has type parameters
+// ─────────────────────────────────────────────────────────────────────────
+export const hasTypeParameters = (state, declId) => {
+    const declInfo = state.handleRegistry.getDecl(declId);
+    if (!declInfo?.declNode)
+        return false;
+    const declNode = declInfo.declNode;
+    return !!(declNode.typeParameters && declNode.typeParameters.length > 0);
+};
+// ─────────────────────────────────────────────────────────────────────────
+// isTypeDecl — Check if declaration is a type
+// ─────────────────────────────────────────────────────────────────────────
+export const isTypeDecl = (state, declId) => {
+    const declInfo = state.handleRegistry.getDecl(declId);
+    if (!declInfo)
+        return false;
+    const typeKinds = [
+        "interface",
+        "class",
+        "typeAlias",
+        "enum",
+    ];
+    return typeKinds.includes(declInfo.kind);
+};
+// ─────────────────────────────────────────────────────────────────────────
+// isInterfaceDecl — Check if declaration is an interface
+// ─────────────────────────────────────────────────────────────────────────
+export const isInterfaceDecl = (state, declId) => {
+    const declInfo = state.handleRegistry.getDecl(declId);
+    return declInfo?.kind === "interface";
+};
+// ─────────────────────────────────────────────────────────────────────────
+// isTypeAliasToObjectLiteral — Check if type alias points to object literal
+// ─────────────────────────────────────────────────────────────────────────
+export const isTypeAliasToObjectLiteral = (state, declId) => {
+    const declInfo = state.handleRegistry.getDecl(declId);
+    if (!declInfo || declInfo.kind !== "typeAlias")
+        return false;
+    const declNode = declInfo.declNode;
+    if (!declNode?.type)
+        return false;
+    return declNode.type.kind === ts.SyntaxKind.TypeLiteral;
+};
+// ─────────────────────────────────────────────────────────────────────────
+// declHasTypeAnnotation — Check if declaration has explicit type
+// ─────────────────────────────────────────────────────────────────────────
+export const declHasTypeAnnotation = (state, declId) => {
+    const declInfo = state.handleRegistry.getDecl(declId);
+    return declInfo?.typeNode !== undefined;
+};
+//# sourceMappingURL=inference-declarations-types.js.map

package/dist/ir/type-system/inference-declarations-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inference-declarations-types.js","sourceRoot":"","sources":["../../../src/ir/type-system/inference-declarations-types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AASH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAEzC,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AACnE,OAAO,EACL,+BAA+B,EAC/B,iBAAiB,EACjB,oBAAoB,GACrB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,2BAA2B,EAAE,MAAM,6BAA6B,CAAC;AAC1E,OAAO,EACL,kBAAkB,EAClB,eAAe,GAChB,MAAM,6CAA6C,CAAC;AACrD,OAAO,EACL,4BAA4B,EAC5B,4BAA4B,GAC7B,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,mCAAmC,EAAE,MAAM,6BAA6B,CAAC;AAElF,MAAM,4BAA4B,GAAoB;IACpD,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,SAAS;IACf,eAAe,EAAE,wBAAwB;CAC1C,CAAC;AAEF,MAAM,0BAA0B,GAAG,CACjC,WAAuC,EACA,EAAE,CACzC,CAAC,CAAC,WAAW;IACb,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;IACrC,EAAE,CAAC,aAAa,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;AAEvC,MAAM,8BAA8B,GAAG,CACrC,KAAsB,EACtB,WAAwC,EACA,EAAE;IAC1C,IAAI,CAAC,WAAW,CAAC,cAAc,IAAI,WAAW,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3E,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,WAAW,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;QACxD,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,IAAI;QAC7B,UAAU,EAAE,aAAa,CAAC,UAAU;YAClC,CAAC,CAAC,eAAe,CAAC,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC;YAClD,CAAC,CAAC,SAAS;QACb,OAAO,EAAE,aAAa,CAAC,OAAO;YAC5B,CAAC,CAAC,eAAe,CAAC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC;YAC/C,CAAC,CAAC,SAAS;QACb,QAAQ,EAAE,SAAS;QACnB,sBAAsB,EACpB,CAAC,CAAC,aAAa,CAAC,UAAU;YAC1B,EAAE,CAAC,iBAAiB,CAAC,aAAa,CAAC,UAAU,CAAC;QAChD,iBAAiB,EAAE,SAAS;KAC7B,CAAC,CAAC,CAAC;AACN,CAAC,CAAC;AAEF,MAAM,yCAAyC,GAAG,CAChD,KAAsB,EACtB,WAAwC,EACxB,EAAE,CAAC,CAAC;IACpB,IAAI,EAAE,cAAc;IACpB,cAAc,EAAE,8BAA8B,CAAC,KAAK,EAAE,WAAW,CAAC;IAClE,UAAU,EAAE,WAAW,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QACrD,IAAI,EAAE,WAAW;QACjB,OAAO,EAAE,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC;YACtC,CAAC,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE;YAC1D,CAAC,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,IAAI,SAAS,CAAC,GAAG,EAAE,EAAE;QAC5D,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW;QAC3E,WAAW,EAAE,SAAS;QACtB,UAAU,EAAE,CAAC,CAAC,SAAS,CAAC,aAAa,IAAI,CAAC,CAAC,SAAS,CAAC,WAAW;QAChE,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,cAAc;QAClC,OAAO,EAAE,OAAO;KACjB,CAAC,CAAC;IACH,UAAU,EAAE,WAAW,CAAC,IAAI;QAC1B,CAAC,CAAC,eAAe,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,CAAC;QAC1C,CAAC,CAAC,WAAW;CAChB,CAAC,CAAC;AAEH,MAAM,wBAAwB,GAAG,CAC/B,WAA0D,EACN,EAAE;IACtD,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;QACtB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC,EAAE,CAAC;QAC1C,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC;QAClC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7B,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CACrC,CAAC,SAAS,EAAuC,EAAE,CACjD,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC;YACnC,SAAS,CAAC,IAAI,EAAE,IAAI,KAAK,WAAW,CAAC,IAAI,EAAE,IAAI,CAClD,CAAC;QACF,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC,4BAA4B,CAAC,CAAC;QACpE,OAAO,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC;IAClE,CAAC;IAED,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC;IAClC,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC,EAAE,CAAC;QACnC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,mCAAmC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IACzE,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAClC,CAAC,MAAM,EAAkC,EAAE,CACzC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC;QAC9B,mCAAmC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,UAAU;QAC/D,iBAAiB,CAAC,MAAM,CAAC,KAAK,iBAAiB,CAAC,WAAW,CAAC,CAC/D,CAAC;IACF,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC,4BAA4B,CAAC,CAAC;IACpE,OAAO,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC;AAClE,CAAC,CAAC;AAEF,MAAM,gCAAgC,GAAG,CACvC,KAAsB,EACtB,WAA2B,EACP,EAAE;IACtB,IACE,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;QACrC,EAAE,CAAC,kBAAkB,CAAC,WAAW,CAAC;QAClC,EAAE,CAAC,iBAAiB,CAAC,WAAW,CAAC,EACjC,CAAC;QACD,OAAO,WAAW,CAAC,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC;YAC1D,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,WAAW,CAAC,IAAI,CAAC;YAC3C,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAED,IACE,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;QACrC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,EACjC,CAAC;QACD,OAAO,KAAK,CAAC,iBAAiB,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,kCAAkC,GAAG,CACzC,KAAsB,EACtB,KAAgB,EAChB,IAAoB,EACZ,EAAE;IACV,MAAM,YAAY,GAChB,KAAK,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK;QAChC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC;QACvC,CAAC,CAAC,KAAK,CAAC;IAEZ,IAAI,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC;QAC3B,cAAc,CACZ,KAAK,EACL,SAAS,EACT,6EAA6E,CAC9E,CAAC;QACF,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IAEvB,MAAM,aAAa,GAAG;QACpB,GAAG,KAAK,CAAC,OAAO,CAAC,kBAAkB,CAAC,YAAY,CAAC;KAClD,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IAEvE,MAAM,OAAO,GAAwB,EAAE,CAAC;IAExC,KAAK,MAAM,YAAY,IAAI,aAAa,EAAE,CAAC;QACzC,MAAM,YAAY,GAChB,YAAY,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK;YACvC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,gBAAgB,CAAC,YAAY,CAAC;YAC9C,CAAC,CAAC,YAAY,CAAC;QAEnB,IAAI,CAAC,YAAY,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YACtD,SAAS;QACX,CAAC;QAED,MAAM,UAAU,GAAG,CAAC,GAAG,EAAE;YACvB,IACE,YAAY,CAAC,KAAK;gBAClB,CAAC,EAAE,CAAC,WAAW,CAAC,WAAW,GAAG,EAAE,CAAC,WAAW,CAAC,eAAe,CAAC,EAC7D,CAAC;gBACD,OAAO,kCAAkC,CAAC,KAAK,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;YACvE,CAAC;YAED,KAAK,MAAM,WAAW,IAAI,YAAY,CAAC,eAAe,EAAE,IAAI,EAAE,EAAE,CAAC;gBAC/D,MAAM,MAAM,GAAG,gCAAgC,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;gBACpE,IAAI,CAAC,MAAM,EAAE,CAAC;oBACZ,SAAS;gBACX,CAAC;gBACD,OAAO,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YACnC,CAAC;YAED,OAAO,SAAS,CAAC;QACnB,CAAC,CAAC,EAAE,CAAC;QAEL,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACrD,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;YAC1B,cAAc,CACZ,KAAK,EACL,SAAS,EACT,4BAA4B,YAAY,CAAC,OAAO,EAAE,8CAA8C,CACjG,CAAC;YACF,OAAO,WAAW,CAAC;QACrB,CAAC;QAED,OAAO,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,mBAAmB;YACzB,IAAI,EAAE,YAAY,CAAC,OAAO,EAAE;YAC5B,IAAI,EAAE,UAAU;YAChB,UAAU,EAAE,KAAK;YACjB,UAAU,EAAE,IAAI;SACjB,CAAC,CAAC;IACL,CAAC;IAED,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IAC1B,OAAO;QACL,IAAI,EAAE,YAAY;QAClB,OAAO;KACR,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,KAAsB,EACtB,WAA+B,EACvB,EAAE;IACV,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,CAAC;IACxC,MAAM,iBAAiB,GAAG,YAAY,CAAC,MAAM,CAAC;IAE9C,IACE,CAAC,EAAE,CAAC,cAAc,CAAC,YAAY,CAAC;QAChC,CAAC,EAAE,CAAC,mBAAmB,CAAC,iBAAiB,CAAC;QAC1C,CAAC,EAAE,CAAC,eAAe,CAAC,iBAAiB,CAAC,eAAe,CAAC,EACtD,CAAC;QACD,cAAc,CACZ,KAAK,EACL,SAAS,EACT,6CAA6C,CAC9C,CAAC;QACF,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,MAAM,YAAY,GAAG,KAAK,CAAC,OAAO,CAAC,mBAAmB,CACpD,iBAAiB,CAAC,eAAe,CAClC,CAAC;IACF,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,cAAc,CACZ,KAAK,EACL,SAAS,EACT,oCAAoC,iBAAiB,CAAC,eAAe,CAAC,IAAI,GAAG,CAC9E,CAAC;QACF,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,OAAO,kCAAkC,CAAC,KAAK,EAAE,YAAY,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;AAC5E,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAAC,QAAuB,EAAqB,EAAE;IAC1E,IAAI,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC9B,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzB,CAAC;IAED,OAAO,CAAC,GAAG,oBAAoB,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AACvE,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAC9B,KAAsB,EACtB,QAAuB,EACf,EAAE;IACV,MAAM,CAAC,QAAQ,EAAE,GAAG,WAAW,CAAC,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;IAClE,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,MAAM,UAAU,GAAG,KAAK,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IACrD,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,cAAc,CACZ,KAAK,EACL,SAAS,EACT,mCAAmC,QAAQ,GAAG,CAC/C,CAAC;QACF,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,IAAI,WAAW,GAAG,eAAe,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IACrD,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,MAAM,OAAO,GAAG,kBAAkB,CAAC,WAAW,CAAC,CAAC;QAChD,MAAM,MAAM,GAAG,OAAO,EAAE,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;QAC3E,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,cAAc,CACZ,KAAK,EACL,SAAS,EACT,qCAAqC,UAAU,GAAG,CACnD,CAAC;YACF,OAAO,WAAW,CAAC;QACrB,CAAC;QACD,WAAW,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IACxC,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF,MAAM,kCAAkC,GAAG,CACzC,KAAsB,EACtB,UAAyB,EACjB,EAAE;IACV,MAAM,YAAY,GAAG,KAAK,CAAC,OAAO,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC;IACnE,MAAM,oBAAoB,GAAG,UAE5B,CAAC;IACF,MAAM,YAAY,GAAG,YAAY,IAAI,oBAAoB,CAAC,MAAM,CAAC;IAEjE,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,cAAc,CACZ,KAAK,EACL,SAAS,EACT,iDAAiD,UAAU,CAAC,QAAQ,GAAG,CACxE,CAAC;QACF,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,OAAO,kCAAkC,CAAC,KAAK,EAAE,YAAY,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;AAC5E,CAAC,CAAC;AAEF,MAAM,gCAAgC,GAAG,CACvC,WAAuC,EACnB,EAAE;IACtB,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,EAAE,CAAC,kBAAkB,CAAC,WAAW,CAAC;QAClC,EAAE,CAAC,sBAAsB,CAAC,WAAW,CAAC;QACtC,EAAE,CAAC,sBAAsB,CAAC,WAAW,CAAC;QACtC,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;QACrC,EAAE,CAAC,mBAAmB,CAAC,WAAW,CAAC,EACnC,CAAC;QACD,OAAO,WAAW,CAAC,cAAc,EAAE,MAAM,CAAC;IAC5C,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAChC,KAAsB,EACtB,QAEC,EACD,WAAuC,EACtB,EAAE;IACnB,MAAM,gBAAgB,GAAG,WAA8C,CAAC;IACxE,MAAM,UAAU,GACd,gBAAgB,EAAE,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAC9D,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI;QAC5B,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,KAAK,GAAG,gCAAgC,CAAC,WAAW,CAAC,CAAC;IAC5D,MAAM,MAAM,GACV,CAAC,QAAQ,CAAC,MAAM;QACd,CAAC,CAAC,mBAAmB,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC;QACpD,CAAC,CAAC,SAAS,CAAC;QACd,CAAC,UAAU,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAE3E,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,QAAQ,CAAC,MAAM,IAAI,UAAU,IAAI,SAAS;QAChD,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC/D,CAAC;AACJ,CAAC,CAAC;AAEF,4EAA4E;AAC5E,kDAAkD;AAClD,4EAA4E;AAE5E,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAsB,EAAE,MAAc,EAAU,EAAE;IAC3E,oBAAoB;IACpB,MAAM,MAAM,GAAG,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAClD,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAE1B,MAAM,QAAQ,GAAG,KAAK,CAAC,cAAc,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACtD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,cAAc,CAAC,KAAK,EAAE,SAAS,EAAE,4BAA4B,CAAC,CAAC;QAC/D,MAAM,MAAM,GAAG,WAAW,CAAC;QAC3B,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QAC3C,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,MAAM,kBAAkB,GACrB,QAAQ,CAAC,aAA4C;QACrD,QAAQ,CAAC,QAAuC,CAAC;IACpD,MAAM,0BAA0B,GAC9B,kBAAkB;QAClB,EAAE,CAAC,qBAAqB,CAAC,kBAAkB,CAAC;QAC5C,kBAAkB,CAAC,WAAW;QAC9B,CAAC,EAAE,CAAC,oBAAoB,CAAC,kBAAkB,CAAC,WAAW,CAAC;YACtD,EAAE,CAAC,eAAe,CAAC,kBAAkB,CAAC,WAAW,CAAC,CAAC;QACnD,CAAC,CAAC,kBAAkB,CAAC,WAAW;QAChC,CAAC,CAAC,kBAAkB,CAAC;IACzB,MAAM,iBAAiB,GACpB,QAAQ,CAAC,YAA2C,IAAI,kBAAkB,CAAC;IAC9E,MAAM,iBAAiB,GAAG,kBAAkB,IAAI,iBAAiB,CAAC;IAClE,MAAM,iBAAiB,GAAG,CAAC,GAA4B,EAAE;QACvD,IAAI,QAAQ,CAAC,QAAQ;YAAE,OAAO,QAAQ,CAAC,QAAuB,CAAC;QAC/D,MAAM,MAAM,GAAG,iBAAiB,CAAC;QACjC,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC9B,IACE,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;YAChC,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC;YACtB,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;YAChC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC;YAC9B,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC;YAC9B,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC;YAC5B,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;YAChC,EAAE,CAAC,sBAAsB,CAAC,MAAM,CAAC;YACjC,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC,EACnC,CAAC;YACD,OAAO,MAAM,CAAC,IAAI,CAAC;QACrB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC,EAAE,CAAC;IACL,MAAM,aAAa,GAAa,CAAC,GAAG,EAAE;QACpC,MAAM,MAAM,GAAG,iBAAiB,CAAC;QACjC,IAAI,CAAC,MAAM;YAAE,OAAO,QAAQ,CAAC,IAAI,CAAC;QAClC,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;YAAE,OAAO,UAAU,CAAC;QACxD,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;YAAE,OAAO,UAAU,CAAC;QACxD,IAAI,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC;YAAE,OAAO,OAAO,CAAC;QAClD,IAAI,EAAE,CAAC,sBAAsB,CAAC,MAAM,CAAC;YAAE,OAAO,WAAW,CAAC;QAC1D,IAAI,EAAE,CAAC,sBAAsB,CAAC,MAAM,CAAC;YAAE,OAAO,WAAW,CAAC;QAC1D,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC;YAAE,OAAO,MAAM,CAAC;QAChD,IAAI,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC;YAAE,OAAO,WAAW,CAAC;QAC/C,IACE,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;YAChC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC;YAC9B,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC;YACnC,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC,EACnC,CAAC;YACD,OAAO,UAAU,CAAC;QACpB,CAAC;QACD,IAAI,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,CAAC;YACnE,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,OAAO,QAAQ,CAAC,IAAI,CAAC;IACvB,CAAC,CAAC,EAAE,CAAC;IAEL,IAAI,MAAc,CAAC;IAEnB,IACE,iBAAiB;QACjB,EAAE,CAAC,YAAY,CAAC,iBAAiB,CAAC;QAClC,EAAE,CAAC,gBAAgB,CAAC,iBAAiB,CAAC,EACtC,CAAC;QACD,MAAM,GAAG,kCAAkC,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;IACxE,CAAC;SAAM,IAAI,iBAAiB,IAAI,EAAE,CAAC,iBAAiB,CAAC,iBAAiB,CAAC,EAAE,CAAC;QACxE,MAAM,GAAG,wBAAwB,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;IAC9D,CAAC;SAAM,IACL,0BAA0B;QAC1B,CAAC,EAAE,CAAC,qBAAqB,CAAC,0BAA0B,CAAC;YACnD,EAAE,CAAC,mBAAmB,CAAC,0BAA0B,CAAC;YAClD,EAAE,CAAC,oBAAoB,CAAC,0BAA0B,CAAC;YACnD,EAAE,CAAC,eAAe,CAAC,0BAA0B,CAAC,CAAC,EACjD,CAAC;QACD,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,0BAA0B,CAAC;YACnD,EAAE,CAAC,mBAAmB,CAAC,0BAA0B,CAAC,CAAC;YACrD,CAAC,4BAA4B,CAAC,0BAA0B,CAAC;gBACvD,4BAA4B,CAAC,0BAA0B,CAAC,CAAC,EAC3D,CAAC;YACD,MAAM,qBAAqB,GAAG,wBAAwB,CACpD,0BAA0B,CAC3B,CAAC;YACF,IAAI,qBAAqB,IAAI,qBAAqB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC9D,MAAM,GAAG,+BAA+B,CACtC,qBAAqB,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACnC,yCAAyC,CAAC,KAAK,EAAE,MAAM,CAAC,CACzD,CACF,CAAC;gBACF,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;gBAC3C,OAAO,MAAM,CAAC;YAChB,CAAC;QACH,CAAC;QAED,IAAI,CAAC,0BAA0B,CAAC,IAAI,EAAE,CAAC;YACrC,cAAc,CACZ,KAAK,EACL,SAAS,EACT,aAAa,QAAQ,CAAC,MAAM,IAAI,SAAS,iCAAiC,CAC3E,CAAC;QACJ,CAAC;QACD,MAAM,GAAG,yCAAyC,CAChD,KAAK,EACL,0BAA0B,CAC3B,CAAC;IACJ,CAAC;SAAM,IAAI,iBAAiB,IAAI,EAAE,CAAC,eAAe,CAAC,iBAAiB,CAAC,EAAE,CAAC;QACtE,MAAM,GAAG,uBAAuB,CAAC,KAAK,EAAE,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IACtE,CAAC;SAAM,IAAI,iBAAiB,EAAE,CAAC;QAC7B,2CAA2C;QAC3C,MAAM,GAAG,eAAe,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;IACrD,CAAC;SAAM,IACL,aAAa,KAAK,OAAO;QACzB,aAAa,KAAK,WAAW;QAC7B,aAAa,KAAK,MAAM,EACxB,CAAC;QACD,+CAA+C;QAC/C,MAAM,GAAG,yBAAyB,CAAC,KAAK,EAAE,QAAQ,EAAE,iBAAiB,CAAC,CAAC;IACzE,CAAC;SAAM,IAAI,aAAa,KAAK,UAAU,EAAE,CAAC;QACxC,gFAAgF;QAChF,0DAA0D;QAC1D,cAAc,CACZ,KAAK,EACL,SAAS,EACT,aAAa,QAAQ,CAAC,MAAM,IAAI,SAAS,iCAAiC,CAC3E,CAAC;QACF,MAAM,GAAG,WAAW,CAAC;IACvB,CAAC;SAAM,IAAI,aAAa,KAAK,UAAU,IAAI,iBAAiB,EAAE,CAAC;QAC7D,0EAA0E;QAC1E,MAAM,QAAQ,GAAG,2BAA2B,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;QACvE,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,GAAG,QAAQ,CAAC;QACpB,CAAC;aAAM,IAAI,0BAA0B,CAAC,iBAAiB,CAAC,EAAE,CAAC;YACzD,MAAM,GAAG,4BAA4B,CAAC;QACxC,CAAC;aAAM,CAAC;YACN,0DAA0D;YAC1D,cAAc,CACZ,KAAK,EACL,SAAS,EACT,+CAA+C,CAChD,CAAC;YACF,MAAM,GAAG,WAAW,CAAC;QACvB,CAAC;IACH,CAAC;SAAM,CAAC;QACN,IAAI,0BAA0B,CAAC,iBAAiB,CAAC,EAAE,CAAC;YAClD,MAAM,GAAG,4BAA4B,CAAC;YACtC,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;YAC3C,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,yDAAyD;QACzD,cAAc,CACZ,KAAK,EACL,SAAS,EACT,+CAA+C,CAChD,CAAC;QACF,MAAM,GAAG,WAAW,CAAC;IACvB,CAAC;IAED,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IAC3C,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,KAAsB,EACtB,MAAc,EACN,EAAE;IACV,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC3C,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACpC,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,MAAM,QAAQ,GAAG,KAAK,CAAC,cAAc,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACtD,MAAM,kBAAkB,GACrB,QAAQ,EAAE,aAA4C;QACtD,QAAQ,EAAE,QAAuC,CAAC;IAErD,IACE,kBAAkB;QAClB,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,kBAAkB,CAAC;YAClC,kBAAkB,CAAC,aAAa,KAAK,SAAS,CAAC;YAC/C,CAAC,CAAC,EAAE,CAAC,qBAAqB,CAAC,kBAAkB,CAAC;gBAC5C,EAAE,CAAC,mBAAmB,CAAC,kBAAkB,CAAC,CAAC;gBAC3C,kBAAkB,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,EACpD,CAAC;QACD,OAAO,oBAAoB,CAAC,QAAQ,CAAC,CAAC;IACxC,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF,4EAA4E;AAC5E,4DAA4D;AAC5D,4EAA4E;AAE5E,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,KAAsB,EACtB,MAAc,EACM,EAAE;IACtB,MAAM,QAAQ,GAAG,KAAK,CAAC,cAAc,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACtD,OAAO,QAAQ,EAAE,MAAM,CAAC;AAC1B,CAAC,CAAC;AAEF,4EAA4E;AAC5E,+DAA+D;AAC/D,4EAA4E;AAE5E,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,KAAsB,EACtB,MAAc,EACL,EAAE;IACX,MAAM,QAAQ,GAAG,KAAK,CAAC,cAAc,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACtD,IAAI,CAAC,QAAQ,EAAE,QAAQ;QAAE,OAAO,KAAK,CAAC;IAEtC,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAEzB,CAAC;IACF,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,cAAc,IAAI,QAAQ,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AAC3E,CAAC,CAAC;AAEF,4EAA4E;AAC5E,8CAA8C;AAC9C,4EAA4E;AAE5E,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAsB,EAAE,MAAc,EAAW,EAAE;IAC5E,MAAM,QAAQ,GAAG,KAAK,CAAC,cAAc,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACtD,IAAI,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC;IAE5B,MAAM,SAAS,GAAwB;QACrC,WAAW;QACX,OAAO;QACP,WAAW;QACX,MAAM;KACP,CAAC;IACF,OAAO,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAC3C,CAAC,CAAC;AAEF,4EAA4E;AAC5E,yDAAyD;AACzD,4EAA4E;AAE5E,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,KAAsB,EACtB,MAAc,EACL,EAAE;IACX,MAAM,QAAQ,GAAG,KAAK,CAAC,cAAc,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACtD,OAAO,QAAQ,EAAE,IAAI,KAAK,WAAW,CAAC;AACxC,CAAC,CAAC;AAEF,4EAA4E;AAC5E,4EAA4E;AAC5E,4EAA4E;AAE5E,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,KAAsB,EACtB,MAAc,EACL,EAAE;IACX,MAAM,QAAQ,GAAG,KAAK,CAAC,cAAc,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACtD,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,KAAK,CAAC;IAE7D,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAEb,CAAC;IACd,IAAI,CAAC,QAAQ,EAAE,IAAI;QAAE,OAAO,KAAK,CAAC;IAElC,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC;AAC1D,CAAC,CAAC;AAEF,4EAA4E;AAC5E,iEAAiE;AACjE,4EAA4E;AAE5E,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,KAAsB,EACtB,MAAc,EACL,EAAE;IACX,MAAM,QAAQ,GAAG,KAAK,CAAC,cAAc,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACtD,OAAO,QAAQ,EAAE,QAAQ,KAAK,SAAS,CAAC;AAC1C,CAAC,CAAC"}

package/dist/ir/type-system/inference-declarations.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Declaration Type Queries & Inspection Utilities (facade)
+ *
+ * Sub-modules:
+ * - inference-declarations-types.ts     : typeOfDecl, typeOfValueRead, kind checks
+ * - inference-declarations-overrides.ts : override checking, signature queries, typeFromSyntax
+ */
+export { typeOfDecl, typeOfValueRead, getFQNameOfDecl, hasTypeParameters, isTypeDecl, isInterfaceDecl, isTypeAliasToObjectLiteral, declHasTypeAnnotation, } from "./inference-declarations-types.js";
+export { signatureHasConditionalReturn, signatureHasVariadicTypeParams, checkTsClassMemberOverride, typeFromSyntax, } from "./inference-declarations-overrides.js";
+//# sourceMappingURL=inference-declarations.d.ts.map

package/dist/ir/type-system/inference-declarations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"inference-declarations.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/inference-declarations.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,UAAU,EACV,eAAe,EACf,eAAe,EACf,iBAAiB,EACjB,UAAU,EACV,eAAe,EACf,0BAA0B,EAC1B,qBAAqB,GACtB,MAAM,mCAAmC,CAAC;AAE3C,OAAO,EACL,6BAA6B,EAC7B,8BAA8B,EAC9B,0BAA0B,EAC1B,cAAc,GACf,MAAM,uCAAuC,CAAC"}

package/dist/ir/type-system/inference-declarations.js

@@ -0,0 +1,10 @@
+/**
+ * Declaration Type Queries & Inspection Utilities (facade)
+ *
+ * Sub-modules:
+ * - inference-declarations-types.ts     : typeOfDecl, typeOfValueRead, kind checks
+ * - inference-declarations-overrides.ts : override checking, signature queries, typeFromSyntax
+ */
+export { typeOfDecl, typeOfValueRead, getFQNameOfDecl, hasTypeParameters, isTypeDecl, isInterfaceDecl, isTypeAliasToObjectLiteral, declHasTypeAnnotation, } from "./inference-declarations-types.js";
+export { signatureHasConditionalReturn, signatureHasVariadicTypeParams, checkTsClassMemberOverride, typeFromSyntax, } from "./inference-declarations-overrides.js";
+//# sourceMappingURL=inference-declarations.js.map

package/dist/ir/type-system/inference-declarations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inference-declarations.js","sourceRoot":"","sources":["../../../src/ir/type-system/inference-declarations.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,UAAU,EACV,eAAe,EACf,eAAe,EACf,iBAAiB,EACjB,UAAU,EACV,eAAe,EACf,0BAA0B,EAC1B,qBAAqB,GACtB,MAAM,mCAAmC,CAAC;AAE3C,OAAO,EACL,6BAA6B,EAC7B,8BAA8B,EAC9B,0BAA0B,EAC1B,cAAc,GACf,MAAM,uCAAuC,CAAC"}

package/dist/ir/type-system/inference-expressions-infer.d.ts

@@ -0,0 +1,25 @@
+/**
+ * Expression Type Inference — inferExpressionType
+ *
+ * Deterministically infer an expression's type using only:
+ * - local lambda parameter environment
+ * - declaration types (typeOfDecl)
+ * - numeric literal lexeme rules
+ *
+ * DAG position: depends on inference-utilities, inference-member-resolution,
+ *               inference-initializers, inference-declarations
+ */
+import type { IrType } from "../types/index.js";
+import * as ts from "typescript";
+import type { TypeSystemState } from "./type-system-state.js";
+/**
+ * Deterministically infer an expression's type using only:
+ * - local lambda parameter environment
+ * - declaration types (typeOfDecl)
+ * - numeric literal lexeme rules
+ *
+ * This is intentionally small: it's used only to type lambda bodies for
+ * initializer-driven generic inference (e.g., `Enumerable.select(..., x => x * 2)`).
+ */
+export declare const inferExpressionType: (state: TypeSystemState, expr: ts.Expression, env: ReadonlyMap<string, IrType>) => IrType | undefined;
+//# sourceMappingURL=inference-expressions-infer.d.ts.map

package/dist/ir/type-system/inference-expressions-infer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"inference-expressions-infer.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/inference-expressions-infer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EACV,MAAM,EAGP,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAGjC,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AA6C9D;;;;;;;;GAQG;AACH,eAAO,MAAM,mBAAmB,GAC9B,OAAO,eAAe,EACtB,MAAM,EAAE,CAAC,UAAU,EACnB,KAAK,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,KAC/B,MAAM,GAAG,SAwbX,CAAC"}