@tsonic/frontend 0.0.74 → 0.0.75

package/dist/ir/type-system/internal/type-converter/references-alias.js

@@ -0,0 +1,267 @@
+/**
+ * Type alias declaration handling for reference type conversion.
+ *
+ * Handles function type aliases, declaration-file alias erasure,
+ * user-defined type alias expansion, and tsbindgen facade conditional types.
+ */
+import * as ts from "typescript";
+import { stampRuntimeUnionAliasCarrier } from "../../../types.js";
+import { substituteIrType } from "../../../types/ir-substitution.js";
+import { convertFunctionType } from "./functions.js";
+import { normalizeSystemInternalQualifiedName, normalizeNamespaceAliasQualifiedName, normalizeExpandedAliasType, getTypeAliasBodyCache, } from "./references-normalize.js";
+import { resolveContainingSourcePackageNamespace, resolveContainingSourcePackageStableFilePath, } from "../../../../program/source-file-identity.js";
+import { isTsonicBindingsDeclarationFile, isSafeToEraseUserTypeAliasTarget, isTsonicSourcePackageFile, isRecursiveUserTypeAliasDeclaration, shouldPreserveUserTypeAliasIdentity, expandTypeAliasBody, } from "./references-structural.js";
+import { expandDirectAliasSyntax } from "./direct-alias-expansion.js";
+export const entityNameToText = (entityName) => ts.isIdentifier(entityName)
+    ? entityName.text
+    : `${entityNameToText(entityName.left)}.${entityName.right.text}`;
+const unwrapParenthesizedTypeNode = (node) => {
+    let current = node;
+    while (ts.isParenthesizedTypeNode(current)) {
+        current = current.type;
+    }
+    return current;
+};
+const isDirectUnionTypeAliasDeclaration = (node) => ts.isUnionTypeNode(unwrapParenthesizedTypeNode(node.type));
+const sourceObjectAliasExpansionStack = new WeakSet();
+const safeGetSourceFile = (node) => {
+    try {
+        const sourceFile = node.getSourceFile?.();
+        return sourceFile?.statements ? sourceFile : undefined;
+    }
+    catch {
+        return undefined;
+    }
+};
+const buildSourceObjectAliasReference = (node, typeName, declNode, binding, convertType) => {
+    if (typeName.includes(".")) {
+        return undefined;
+    }
+    const sourceDecl = declNode;
+    const sourceFile = safeGetSourceFile(sourceDecl);
+    if (!sourceFile ||
+        sourceFile.isDeclarationFile ||
+        !isTsonicSourcePackageFile(sourceFile.fileName)) {
+        return undefined;
+    }
+    const aliasBody = unwrapParenthesizedTypeNode(sourceDecl.type);
+    if (!ts.isTypeLiteralNode(aliasBody)) {
+        return undefined;
+    }
+    const refTypeArgs = (node.typeArguments ?? []).map((typeArgument) => convertType(typeArgument, binding));
+    const aliasName = sourceDecl.name.text;
+    const sourcePackageNamespace = resolveContainingSourcePackageNamespace(sourceFile.fileName);
+    const stableSourceFilePath = resolveContainingSourcePackageStableFilePath(sourceFile.fileName) ??
+        sourceFile.fileName.replace(/\\/g, "/");
+    const resolvedClrType = sourcePackageNamespace
+        ? `${sourcePackageNamespace}.${aliasName}__Alias`
+        : undefined;
+    const referenceBase = {
+        kind: "referenceType",
+        name: aliasName,
+        ...(refTypeArgs.length > 0 ? { typeArguments: refTypeArgs } : {}),
+        resolvedClrType,
+        ...(resolvedClrType
+            ? {
+                typeId: {
+                    stableId: `source-alias:${stableSourceFilePath}#${aliasName}`,
+                    clrName: resolvedClrType,
+                    assemblyName: sourcePackageNamespace ?? "source",
+                    tsName: aliasName,
+                },
+            }
+            : {}),
+    };
+    if (sourceObjectAliasExpansionStack.has(sourceDecl)) {
+        return referenceBase;
+    }
+    sourceObjectAliasExpansionStack.add(sourceDecl);
+    const convertedBody = (() => {
+        try {
+            return convertType(aliasBody, binding);
+        }
+        finally {
+            sourceObjectAliasExpansionStack.delete(sourceDecl);
+        }
+    })();
+    if (convertedBody.kind !== "objectType") {
+        return undefined;
+    }
+    const aliasTypeParams = (sourceDecl.typeParameters ?? []).map((typeParameter) => typeParameter.name.text);
+    const substitutedBody = aliasTypeParams.length > 0 && refTypeArgs.length > 0
+        ? (() => {
+            const substitution = new Map();
+            for (let index = 0; index < Math.min(aliasTypeParams.length, refTypeArgs.length); index++) {
+                const name = aliasTypeParams[index];
+                const argument = refTypeArgs[index];
+                if (name && argument) {
+                    substitution.set(name, argument);
+                }
+            }
+            const substituted = substitution.size > 0
+                ? substituteIrType(convertedBody, substitution)
+                : convertedBody;
+            return substituted.kind === "objectType"
+                ? substituted
+                : convertedBody;
+        })()
+        : convertedBody;
+    return {
+        ...referenceBase,
+        structuralMembers: substitutedBody.members,
+    };
+};
+/**
+ * Handle type alias declarations during reference type conversion.
+ *
+ * Returns an IrType if the alias was handled, or undefined to fall through
+ * to the default reference type path.
+ */
+export const handleTypeAliasDeclaration = (node, typeName, declId, declInfo, declNode, binding, convertType) => {
+    const stampSourceAliasCarrier = (type) => {
+        if (declNode.getSourceFile().isDeclarationFile) {
+            return type;
+        }
+        const fullyQualifiedName = binding.getFullyQualifiedName(declId) ?? declNode.name.text;
+        return stampRuntimeUnionAliasCarrier(type, {
+            aliasName: declNode.name.text,
+            fullyQualifiedName,
+            typeParameters: (declNode.typeParameters ?? []).map((tp) => tp.name.text),
+            typeArguments: (node.typeArguments ?? []).map((typeArgument) => convertType(typeArgument, binding)),
+        });
+    };
+    const convertFunctionAliasBody = (functionTypeNode) => {
+        const fnType = convertFunctionType(functionTypeNode, binding, convertType);
+        const aliasTypeParams = (declNode.typeParameters ?? []).map((tp) => tp.name.text);
+        const refTypeArgs = (node.typeArguments ?? []).map((t) => convertType(t, binding));
+        if (aliasTypeParams.length > 0 && refTypeArgs.length > 0) {
+            const subst = new Map();
+            for (let i = 0; i < Math.min(aliasTypeParams.length, refTypeArgs.length); i++) {
+                const name = aliasTypeParams[i];
+                const arg = refTypeArgs[i];
+                if (name && arg)
+                    subst.set(name, arg);
+            }
+            return normalizeExpandedAliasType(subst.size > 0 ? substituteIrType(fnType, subst) : fnType);
+        }
+        return normalizeExpandedAliasType(fnType);
+    };
+    // tsbindgen extension method wrapper types erasure
+    if (declNode.name.text.startsWith("ExtensionMethods_") &&
+        node.typeArguments?.length === 1) {
+        const shape = node.typeArguments[0];
+        return shape ? convertType(shape, binding) : { kind: "unknownType" };
+    }
+    if (ts.isFunctionTypeNode(declNode.type)) {
+        // CLR delegate types are NOMINAL in C#.
+        if (declNode.getSourceFile().isDeclarationFile) {
+            if (isTsonicBindingsDeclarationFile(declNode.getSourceFile().fileName) &&
+                !declInfo.valueDeclNode) {
+                return convertFunctionAliasBody(declNode.type);
+            }
+            // Fall through to the referenceType emission.
+        }
+        else {
+            return convertFunctionAliasBody(declNode.type);
+        }
+    }
+    if (isDirectUnionTypeAliasDeclaration(declNode)) {
+        const preserveAliasIdentity = shouldPreserveUserTypeAliasIdentity(declNode);
+        if (preserveAliasIdentity && !declNode.getSourceFile().isDeclarationFile) {
+            return undefined;
+        }
+        const recursive = isRecursiveUserTypeAliasDeclaration(declId.id, declNode, binding);
+        if (!declInfo.valueDeclNode && !recursive) {
+            const expanded = expandTypeAliasBody(declId.id, declNode, node, binding, convertType);
+            if (expanded) {
+                return preserveAliasIdentity
+                    ? stampSourceAliasCarrier(expanded)
+                    : expanded;
+            }
+        }
+        if (preserveAliasIdentity) {
+            return undefined;
+        }
+    }
+    if (!declNode.getSourceFile().isDeclarationFile) {
+        const sourceObjectAlias = buildSourceObjectAliasReference(node, typeName, declNode, binding, convertType);
+        if (sourceObjectAlias) {
+            return sourceObjectAlias;
+        }
+    }
+    // Declaration-file type-only alias erasure
+    if (declNode.getSourceFile().isDeclarationFile &&
+        isTsonicBindingsDeclarationFile(declNode.getSourceFile().fileName) &&
+        !declInfo.valueDeclNode &&
+        !ts.isConditionalTypeNode(declNode.type)) {
+        const expanded = expandTypeAliasBody(declId.id, declNode, node, binding, convertType);
+        if (expanded)
+            return expanded;
+    }
+    // User-defined type aliases are TS-only and have no CLR identity.
+    if (!declNode.getSourceFile().isDeclarationFile) {
+        const directExpanded = expandDirectAliasSyntax(declNode, node, binding, convertType);
+        if (directExpanded) {
+            return stampSourceAliasCarrier(normalizeExpandedAliasType(directExpanded));
+        }
+    }
+    if (!declNode.getSourceFile().isDeclarationFile &&
+        isSafeToEraseUserTypeAliasTarget(declNode.type) &&
+        !isRecursiveUserTypeAliasDeclaration(declId.id, declNode, binding)) {
+        const key = declId.id;
+        const typeAliasBodyCache = getTypeAliasBodyCache(binding);
+        const cached = typeAliasBodyCache.get(key);
+        if (cached !== "in-progress") {
+            const expanded = expandTypeAliasBody(declId.id, declNode, node, binding, convertType);
+            if (expanded)
+                return stampSourceAliasCarrier(expanded);
+        }
+    }
+    // tsbindgen facade type families: conditional type aliases
+    if (node.typeArguments &&
+        node.typeArguments.length > 0 &&
+        declNode.typeParameters &&
+        declNode.typeParameters.length === 1) {
+        const param = declNode.typeParameters[0];
+        const hasTsbindgenDefaultSentinel = !!param &&
+            !!param.default &&
+            ts.isTypeReferenceNode(param.default) &&
+            entityNameToText(param.default.typeName) === "__";
+        if (hasTsbindgenDefaultSentinel &&
+            ts.isConditionalTypeNode(declNode.type)) {
+            const expected = `${typeName}_${node.typeArguments.length}`;
+            let found;
+            const visit = (t) => {
+                if (found)
+                    return;
+                if (ts.isTypeReferenceNode(t)) {
+                    const raw = entityNameToText(t.typeName);
+                    const normalized = normalizeNamespaceAliasQualifiedName(normalizeSystemInternalQualifiedName(raw));
+                    if (normalized === expected) {
+                        found = normalized;
+                    }
+                    return;
+                }
+                if (ts.isConditionalTypeNode(t)) {
+                    visit(t.trueType);
+                    visit(t.falseType);
+                    return;
+                }
+                if (ts.isParenthesizedTypeNode(t)) {
+                    visit(t.type);
+                }
+            };
+            visit(declNode.type);
+            if (found) {
+                return {
+                    kind: "referenceType",
+                    name: found,
+                    typeArguments: node.typeArguments.map((t) => convertType(t, binding)),
+                };
+            }
+        }
+    }
+    // Not handled - fall through to default path
+    return undefined;
+};
+//# sourceMappingURL=references-alias.js.map

package/dist/ir/type-system/internal/type-converter/references-alias.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"references-alias.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/references-alias.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,6BAA6B,EAAE,MAAM,mBAAmB,CAAC;AAClE,OAAO,EAAE,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AACrE,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAGrD,OAAO,EACL,oCAAoC,EACpC,oCAAoC,EACpC,0BAA0B,EAC1B,qBAAqB,GACtB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,uCAAuC,EACvC,4CAA4C,GAC7C,MAAM,6CAA6C,CAAC;AACrD,OAAO,EACL,+BAA+B,EAC/B,gCAAgC,EAChC,yBAAyB,EACzB,mCAAmC,EACnC,mCAAmC,EACnC,mBAAmB,GACpB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AAEtE,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,UAAyB,EAAU,EAAE,CACpE,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC;IACzB,CAAC,CAAC,UAAU,CAAC,IAAI;IACjB,CAAC,CAAC,GAAG,gBAAgB,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;AAEtE,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,+BAA+B,GAAG,IAAI,OAAO,EAA2B,CAAC;AAE/E,MAAM,iBAAiB,GAAG,CAAC,IAAa,EAA6B,EAAE;IACrE,IAAI,CAAC;QACH,MAAM,UAAU,GACd,IACD,CAAC,aAAa,EAAE,EAAE,CAAC;QACpB,OAAO,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;IACzD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,+BAA+B,GAAG,CACtC,IAA0B,EAC1B,QAAgB,EAChB,QAAiC,EACjC,OAAgB,EAChB,WAA4D,EACxC,EAAE;IACtB,IAAI,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,QAAQ,CAAC;IAC5B,MAAM,UAAU,GAAG,iBAAiB,CAAC,UAAU,CAAC,CAAC;IACjD,IACE,CAAC,UAAU;QACX,UAAU,CAAC,iBAAiB;QAC5B,CAAC,yBAAyB,CAAC,UAAU,CAAC,QAAQ,CAAC,EAC/C,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,SAAS,GAAG,2BAA2B,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAC/D,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC,EAAE,CAAC;QACrC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,WAAW,GAAG,CAAC,IAAI,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CAClE,WAAW,CAAC,YAAY,EAAE,OAAO,CAAC,CACnC,CAAC;IACF,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;IACvC,MAAM,sBAAsB,GAAG,uCAAuC,CACpE,UAAU,CAAC,QAAQ,CACpB,CAAC;IACF,MAAM,oBAAoB,GACxB,4CAA4C,CAAC,UAAU,CAAC,QAAQ,CAAC;QACjE,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC1C,MAAM,eAAe,GAAG,sBAAsB;QAC5C,CAAC,CAAC,GAAG,sBAAsB,IAAI,SAAS,SAAS;QACjD,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,aAAa,GAA+C;QAChE,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,SAAS;QACf,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjE,eAAe;QACf,GAAG,CAAC,eAAe;YACjB,CAAC,CAAC;gBACE,MAAM,EAAE;oBACN,QAAQ,EAAE,gBAAgB,oBAAoB,IAAI,SAAS,EAAE;oBAC7D,OAAO,EAAE,eAAe;oBACxB,YAAY,EAAE,sBAAsB,IAAI,QAAQ;oBAChD,MAAM,EAAE,SAAS;iBAClB;aACF;YACH,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;IAEF,IAAI,+BAA+B,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QACpD,OAAO,aAAa,CAAC;IACvB,CAAC;IAED,+BAA+B,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAChD,MAAM,aAAa,GAAG,CAAC,GAAG,EAAE;QAC1B,IAAI,CAAC;YACH,OAAO,WAAW,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QACzC,CAAC;gBAAS,CAAC;YACT,+BAA+B,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QACrD,CAAC;IACH,CAAC,CAAC,EAAE,CAAC;IACL,IAAI,aAAa,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACxC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,eAAe,GAAG,CAAC,UAAU,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC,GAAG,CAC3D,CAAC,aAAa,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAC3C,CAAC;IACF,MAAM,eAAe,GACnB,eAAe,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC;QAClD,CAAC,CAAC,CAAC,GAAG,EAAE;YACJ,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;YAC/C,KACE,IAAI,KAAK,GAAG,CAAC,EACb,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,eAAe,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,EAC5D,KAAK,EAAE,EACP,CAAC;gBACD,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;gBACpC,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;gBACpC,IAAI,IAAI,IAAI,QAAQ,EAAE,CAAC;oBACrB,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBACnC,CAAC;YACH,CAAC;YAED,MAAM,WAAW,GACf,YAAY,CAAC,IAAI,GAAG,CAAC;gBACnB,CAAC,CAAC,gBAAgB,CAAC,aAAa,EAAE,YAAY,CAAC;gBAC/C,CAAC,CAAC,aAAa,CAAC;YACpB,OAAO,WAAW,CAAC,IAAI,KAAK,YAAY;gBACtC,CAAC,CAAC,WAAW;gBACb,CAAC,CAAC,aAAa,CAAC;QACtB,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,aAAa,CAAC;IAEpB,OAAO;QACL,GAAG,aAAa;QAChB,iBAAiB,EAAE,eAAe,CAAC,OAAO;KAC3C,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,IAA0B,EAC1B,QAAgB,EAChB,MAAc,EACd,QAEC,EACD,QAAiC,EACjC,OAAgB,EAChB,WAA4D,EACxC,EAAE;IACtB,MAAM,uBAAuB,GAAG,CAAC,IAAY,EAAU,EAAE;QACvD,IAAI,QAAQ,CAAC,aAAa,EAAE,CAAC,iBAAiB,EAAE,CAAC;YAC/C,OAAO,IAAI,CAAC;QACd,CAAC;QAED,MAAM,kBAAkB,GACtB,OAAO,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;QAE9D,OAAO,6BAA6B,CAAC,IAAI,EAAE;YACzC,SAAS,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI;YAC7B,kBAAkB;YAClB,cAAc,EAAE,CAAC,QAAQ,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;YACzE,aAAa,EAAE,CAAC,IAAI,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CAC7D,WAAW,CAAC,YAAY,EAAE,OAAO,CAAC,CACnC;SACF,CAAC,CAAC;IACL,CAAC,CAAC;IAEF,MAAM,wBAAwB,GAAG,CAC/B,gBAAqC,EAC7B,EAAE;QACV,MAAM,MAAM,GAAG,mBAAmB,CAAC,gBAAgB,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;QAE3E,MAAM,eAAe,GAAG,CAAC,QAAQ,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC,GAAG,CACzD,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CACrB,CAAC;QACF,MAAM,WAAW,GAAG,CAAC,IAAI,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACvD,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,CACxB,CAAC;QAEF,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;YACxC,KACE,IAAI,CAAC,GAAG,CAAC,EACT,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,eAAe,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,EACxD,CAAC,EAAE,EACH,CAAC;gBACD,MAAM,IAAI,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;gBAChC,MAAM,GAAG,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;gBAC3B,IAAI,IAAI,IAAI,GAAG;oBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACxC,CAAC;YAED,OAAO,0BAA0B,CAC/B,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAC1D,CAAC;QACJ,CAAC;QAED,OAAO,0BAA0B,CAAC,MAAM,CAAC,CAAC;IAC5C,CAAC,CAAC;IAEF,mDAAmD;IACnD,IACE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,mBAAmB,CAAC;QAClD,IAAI,CAAC,aAAa,EAAE,MAAM,KAAK,CAAC,EAChC,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QACpC,OAAO,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;IACvE,CAAC;IAED,IAAI,EAAE,CAAC,kBAAkB,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACzC,wCAAwC;QACxC,IAAI,QAAQ,CAAC,aAAa,EAAE,CAAC,iBAAiB,EAAE,CAAC;YAC/C,IACE,+BAA+B,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC;gBAClE,CAAC,QAAQ,CAAC,aAAa,EACvB,CAAC;gBACD,OAAO,wBAAwB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACjD,CAAC;YACD,8CAA8C;QAChD,CAAC;aAAM,CAAC;YACN,OAAO,wBAAwB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;IAED,IAAI,iCAAiC,CAAC,QAAQ,CAAC,EAAE,CAAC;QAChD,MAAM,qBAAqB,GAAG,mCAAmC,CAAC,QAAQ,CAAC,CAAC;QAC5E,IAAI,qBAAqB,IAAI,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC,iBAAiB,EAAE,CAAC;YACzE,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,SAAS,GAAG,mCAAmC,CACnD,MAAM,CAAC,EAAE,EACT,QAAQ,EACR,OAAO,CACR,CAAC;QACF,IAAI,CAAC,QAAQ,CAAC,aAAa,IAAI,CAAC,SAAS,EAAE,CAAC;YAC1C,MAAM,QAAQ,GAAG,mBAAmB,CAClC,MAAM,CAAC,EAAE,EACT,QAAQ,EACR,IAAI,EACJ,OAAO,EACP,WAAW,CACZ,CAAC;YACF,IAAI,QAAQ,EAAE,CAAC;gBACb,OAAO,qBAAqB;oBAC1B,CAAC,CAAC,uBAAuB,CAAC,QAAQ,CAAC;oBACnC,CAAC,CAAC,QAAQ,CAAC;YACf,CAAC;QACH,CAAC;QAED,IAAI,qBAAqB,EAAE,CAAC;YAC1B,OAAO,SAAS,CAAC;QACnB,CAAC;IACH,CAAC;IAED,IAAI,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC,iBAAiB,EAAE,CAAC;QAChD,MAAM,iBAAiB,GAAG,+BAA+B,CACvD,IAAI,EACJ,QAAQ,EACR,QAAQ,EACR,OAAO,EACP,WAAW,CACZ,CAAC;QACF,IAAI,iBAAiB,EAAE,CAAC;YACtB,OAAO,iBAAiB,CAAC;QAC3B,CAAC;IACH,CAAC;IAED,2CAA2C;IAC3C,IACE,QAAQ,CAAC,aAAa,EAAE,CAAC,iBAAiB;QAC1C,+BAA+B,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC;QAClE,CAAC,QAAQ,CAAC,aAAa;QACvB,CAAC,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC,IAAI,CAAC,EACxC,CAAC;QACD,MAAM,QAAQ,GAAG,mBAAmB,CAClC,MAAM,CAAC,EAAE,EACT,QAAQ,EACR,IAAI,EACJ,OAAO,EACP,WAAW,CACZ,CAAC;QACF,IAAI,QAAQ;YAAE,OAAO,QAAQ,CAAC;IAChC,CAAC;IAED,kEAAkE;IAClE,IAAI,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC,iBAAiB,EAAE,CAAC;QAChD,MAAM,cAAc,GAAG,uBAAuB,CAC5C,QAAQ,EACR,IAAI,EACJ,OAAO,EACP,WAAW,CACZ,CAAC;QACF,IAAI,cAAc,EAAE,CAAC;YACnB,OAAO,uBAAuB,CAC5B,0BAA0B,CAAC,cAAc,CAAC,CAC3C,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IACE,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC,iBAAiB;QAC3C,gCAAgC,CAAC,QAAQ,CAAC,IAAI,CAAC;QAC/C,CAAC,mCAAmC,CAAC,MAAM,CAAC,EAAE,EAAE,QAAQ,EAAE,OAAO,CAAC,EAClE,CAAC;QACD,MAAM,GAAG,GAAG,MAAM,CAAC,EAAE,CAAC;QACtB,MAAM,kBAAkB,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC;QAC1D,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAE3C,IAAI,MAAM,KAAK,aAAa,EAAE,CAAC;YAC7B,MAAM,QAAQ,GAAG,mBAAmB,CAClC,MAAM,CAAC,EAAE,EACT,QAAQ,EACR,IAAI,EACJ,OAAO,EACP,WAAW,CACZ,CAAC;YACF,IAAI,QAAQ;gBAAE,OAAO,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QACzD,CAAC;IACH,CAAC;IAED,2DAA2D;IAC3D,IACE,IAAI,CAAC,aAAa;QAClB,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;QAC7B,QAAQ,CAAC,cAAc;QACvB,QAAQ,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC,EACpC,CAAC;QACD,MAAM,KAAK,GAAG,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,2BAA2B,GAC/B,CAAC,CAAC,KAAK;YACP,CAAC,CAAC,KAAK,CAAC,OAAO;YACf,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,OAAO,CAAC;YACrC,gBAAgB,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC;QAEpD,IACE,2BAA2B;YAC3B,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC,IAAI,CAAC,EACvC,CAAC;YACD,MAAM,QAAQ,GAAG,GAAG,QAAQ,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC;YAC5D,IAAI,KAAyB,CAAC;YAE9B,MAAM,KAAK,GAAG,CAAC,CAAc,EAAQ,EAAE;gBACrC,IAAI,KAAK;oBAAE,OAAO;gBAElB,IAAI,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC9B,MAAM,GAAG,GAAG,gBAAgB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;oBACzC,MAAM,UAAU,GAAG,oCAAoC,CACrD,oCAAoC,CAAC,GAAG,CAAC,CAC1C,CAAC;oBACF,IAAI,UAAU,KAAK,QAAQ,EAAE,CAAC;wBAC5B,KAAK,GAAG,UAAU,CAAC;oBACrB,CAAC;oBACD,OAAO;gBACT,CAAC;gBAED,IAAI,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC,EAAE,CAAC;oBAChC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;oBAClB,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;oBACnB,OAAO;gBACT,CAAC;gBAED,IAAI,EAAE,CAAC,uBAAuB,CAAC,CAAC,CAAC,EAAE,CAAC;oBAClC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAChB,CAAC;YACH,CAAC,CAAC;YAEF,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YAErB,IAAI,KAAK,EAAE,CAAC;gBACV,OAAO;oBACL,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,KAAK;oBACX,aAAa,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;iBACtE,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,6CAA6C;IAC7C,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}

package/dist/ir/type-system/internal/type-converter/references-converter.d.ts

@@ -0,0 +1,16 @@
+/**
+ * Reference type converter — main convertTypeReference entry point.
+ *
+ * Handles primitive checks, Array/ReadonlyArray, conditional utilities,
+ * Record expansion, mapped utilities, CLR erasure wrappers, parameter
+ * modifiers, and delegates to alias/declaration body handling.
+ */
+import * as ts from "typescript";
+import { IrType } from "../../../types.js";
+import type { Binding } from "../../../binding/index.js";
+/**
+ * Convert TypeScript type reference to IR type
+ * Handles both primitive type names and user-defined types
+ */
+export declare const convertTypeReference: (node: ts.TypeReferenceNode, binding: Binding, convertType: (node: ts.TypeNode, binding: Binding) => IrType) => IrType;
+//# sourceMappingURL=references-converter.d.ts.map

package/dist/ir/type-system/internal/type-converter/references-converter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"references-converter.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/references-converter.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,MAAM,EAAoB,MAAM,mBAAmB,CAAC;AAkB7D,OAAO,KAAK,EAAE,OAAO,EAAmB,MAAM,2BAA2B,CAAC;AAgB1E;;;GAGG;AACH,eAAO,MAAM,oBAAoB,GAC/B,MAAM,EAAE,CAAC,iBAAiB,EAC1B,SAAS,OAAO,EAChB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,KAAK,MAAM,KAC3D,MA8PF,CAAC"}

package/dist/ir/type-system/internal/type-converter/references-converter.js

@@ -0,0 +1,203 @@
+/**
+ * Reference type converter — main convertTypeReference entry point.
+ *
+ * Handles primitive checks, Array/ReadonlyArray, conditional utilities,
+ * Record expansion, mapped utilities, CLR erasure wrappers, parameter
+ * modifiers, and delegates to alias/declaration body handling.
+ */
+import * as ts from "typescript";
+import { buildSubstitutionFromExplicitTypeArgs, substituteIrType, } from "../../../types/ir-substitution.js";
+import { isPrimitiveTypeName, getPrimitiveType, isClrPrimitiveTypeName, getClrPrimitiveType, } from "./primitives.js";
+import { isExpandableUtilityType, expandUtilityType, isExpandableConditionalUtilityType, expandConditionalUtilityType, expandRecordType, } from "./utility-types.js";
+import { normalizeSystemInternalQualifiedName, normalizeNamespaceAliasQualifiedName, classifyDictionaryKeyTypeNode, } from "./references-normalize.js";
+import { extractStructuralMembersFromDeclarations, resolveSourceClrIdentity, tryConvertPureIndexSignatureToDictionary, } from "./references-structural.js";
+import { handleTypeAliasDeclaration, entityNameToText, } from "./references-alias.js";
+/**
+ * Convert TypeScript type reference to IR type
+ * Handles both primitive type names and user-defined types
+ */
+export const convertTypeReference = (node, binding, convertType) => {
+    const rawTypeName = entityNameToText(node.typeName);
+    const typeName = normalizeNamespaceAliasQualifiedName(normalizeSystemInternalQualifiedName(rawTypeName));
+    // Check for primitive type names
+    if (isPrimitiveTypeName(typeName)) {
+        return getPrimitiveType(typeName);
+    }
+    // Check for CLR primitive type names (e.g., int from @tsonic/core)
+    if (isClrPrimitiveTypeName(typeName)) {
+        return getClrPrimitiveType(typeName);
+    }
+    // Check for expandable conditional utility types (NonNullable, Exclude, Extract)
+    if (isExpandableConditionalUtilityType(typeName) &&
+        node.typeArguments?.length) {
+        const expanded = expandConditionalUtilityType(node, typeName, binding, convertType);
+        if (expanded)
+            return expanded;
+    }
+    // Check for Record<K, V> utility type
+    const typeArgsForRecord = node.typeArguments;
+    const keyTypeNode = typeArgsForRecord?.[0];
+    const valueTypeNode = typeArgsForRecord?.[1];
+    if (typeName === "Record" && keyTypeNode && valueTypeNode) {
+        const expandedRecord = expandRecordType(node, binding, convertType);
+        if (expandedRecord)
+            return expandedRecord;
+        const keyType = classifyDictionaryKeyTypeNode(keyTypeNode, convertType, binding);
+        if (keyType) {
+            const valueType = convertType(valueTypeNode, binding);
+            return {
+                kind: "dictionaryType",
+                keyType,
+                valueType,
+            };
+        }
+    }
+    // Check for expandable utility types (Partial, Required, Readonly, Pick, Omit)
+    if (isExpandableUtilityType(typeName) && node.typeArguments?.length) {
+        const expanded = expandUtilityType(node, typeName, binding, convertType);
+        if (expanded)
+            return expanded;
+    }
+    // tsbindgen's `CLROf<T>` is a conditional type used to coerce ergonomic primitives
+    if (typeName === "CLROf" && node.typeArguments?.length === 1) {
+        const inner = node.typeArguments[0];
+        return inner ? convertType(inner, binding) : { kind: "unknownType" };
+    }
+    // `thisarg<T>` is a TS-only marker
+    if (typeName === "thisarg" && node.typeArguments?.length === 1) {
+        const inner = node.typeArguments[0];
+        return inner ? convertType(inner, binding) : { kind: "unknownType" };
+    }
+    // `field<T>` is a TS-only marker
+    if (typeName === "field" && node.typeArguments?.length === 1) {
+        const inner = node.typeArguments[0];
+        return inner ? convertType(inner, binding) : { kind: "unknownType" };
+    }
+    // `Rewrap<TReceiver, TNewShape>` erases to the new shape
+    if (typeName === "Rewrap" && node.typeArguments?.length === 2) {
+        const newShape = node.typeArguments[1];
+        return newShape ? convertType(newShape, binding) : { kind: "unknownType" };
+    }
+    // Handle parameter passing modifiers: out<T>, ref<T>, inref<T>
+    if ((typeName === "out" || typeName === "ref" || typeName === "inref") &&
+        node.typeArguments &&
+        node.typeArguments.length === 1) {
+        const innerTypeArg = node.typeArguments[0];
+        if (!innerTypeArg) {
+            return { kind: "anyType" };
+        }
+        return {
+            kind: "referenceType",
+            name: typeName,
+            typeArguments: [convertType(innerTypeArg, binding)],
+        };
+    }
+    // DETERMINISTIC: Check if this is a type parameter or type alias using Binding
+    const declId = binding.resolveTypeReference(node);
+    let resolvedDeclNode;
+    if (declId) {
+        const declInfo = binding
+            ._getHandleRegistry()
+            .getDecl(declId);
+        if (declInfo) {
+            const declNode = (declInfo.typeDeclNode ?? declInfo.declNode);
+            resolvedDeclNode = declNode;
+            if (declNode && ts.isTypeParameterDeclaration(declNode)) {
+                return { kind: "typeParameterType", name: typeName };
+            }
+            // ExtensionMethods import specifier erasure
+            if (declNode &&
+                ts.isImportSpecifier(declNode) &&
+                (declNode.propertyName ?? declNode.name).text === "ExtensionMethods" &&
+                node.typeArguments?.length === 1) {
+                const shape = node.typeArguments[0];
+                return shape ? convertType(shape, binding) : { kind: "unknownType" };
+            }
+            // Pure index-signature interface/type alias: treat as dictionaryType.
+            const pureIndexSigDict = declNode
+                ? tryConvertPureIndexSignatureToDictionary(declNode, convertType, binding)
+                : undefined;
+            if (pureIndexSigDict) {
+                return pureIndexSigDict;
+            }
+            // Type alias declarations require special handling
+            if (declNode && ts.isTypeAliasDeclaration(declNode)) {
+                const aliasResult = handleTypeAliasDeclaration(node, typeName, declId, declInfo, declNode, binding, convertType);
+                if (aliasResult)
+                    return aliasResult;
+            }
+        }
+    }
+    // Extract structural members from declarations (AST-based)
+    const structuralMembers = extractStructuralMembersFromDeclarations(declId?.id, binding, convertType);
+    const convertedTypeArguments = node.typeArguments?.map((t) => convertType(t, binding));
+    // Use resolved symbol name to keep IR nominal identity stable
+    const resolvedName = (() => {
+        if (!declId)
+            return typeName;
+        const declInfo = binding
+            ._getHandleRegistry()
+            .getDecl(declId);
+        return declInfo?.fqName ?? typeName;
+    })();
+    const resolvedClrType = resolveSourceClrIdentity(declId, binding);
+    // ExtensionMethods wrapper erasure for resolved names
+    if ((resolvedName.startsWith("ExtensionMethods_") ||
+        resolvedName === "ExtensionMethods") &&
+        node.typeArguments?.length === 1) {
+        const shape = node.typeArguments[0];
+        return shape ? convertType(shape, binding) : { kind: "unknownType" };
+    }
+    const substitutedStructuralMembers = (() => {
+        if (!structuralMembers || structuralMembers.length === 0) {
+            return structuralMembers;
+        }
+        const declaringType = resolvedDeclNode &&
+            (ts.isClassDeclaration(resolvedDeclNode) ||
+                ts.isInterfaceDeclaration(resolvedDeclNode) ||
+                ts.isTypeAliasDeclaration(resolvedDeclNode))
+            ? resolvedDeclNode
+            : undefined;
+        const formalTypeParameters = declaringType?.typeParameters?.map((parameter) => parameter.name.text) ??
+            [];
+        const substitution = convertedTypeArguments && convertedTypeArguments.length > 0
+            ? buildSubstitutionFromExplicitTypeArgs(convertedTypeArguments, formalTypeParameters)
+            : undefined;
+        if (!substitution || substitution.size === 0) {
+            return structuralMembers;
+        }
+        const substitutedType = substituteIrType({
+            kind: "referenceType",
+            name: resolvedName,
+            typeArguments: convertedTypeArguments,
+            structuralMembers,
+        }, substitution);
+        return substitutedType.kind === "referenceType"
+            ? substitutedType.structuralMembers
+            : structuralMembers;
+    })();
+    const firstTypeArg = node.typeArguments?.[0];
+    const isConcreteClassReference = !!resolvedDeclNode &&
+        (ts.isClassDeclaration(resolvedDeclNode) ||
+            ts.isClassExpression(resolvedDeclNode));
+    if (!isConcreteClassReference &&
+        (typeName === "Array" || typeName === "ReadonlyArray") &&
+        firstTypeArg) {
+        return {
+            kind: "arrayType",
+            elementType: convertType(firstTypeArg, binding),
+            origin: "explicit",
+        };
+    }
+    // Reference type (user-defined or library)
+    return {
+        kind: "referenceType",
+        name: resolvedName,
+        typeArguments: convertedTypeArguments,
+        resolvedClrType,
+        ...(substitutedStructuralMembers
+            ? { structuralMembers: substitutedStructuralMembers }
+            : {}),
+    };
+};
+//# sourceMappingURL=references-converter.js.map

package/dist/ir/type-system/internal/type-converter/references-converter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"references-converter.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/references-converter.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EACL,qCAAqC,EACrC,gBAAgB,GACjB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,mBAAmB,EACnB,gBAAgB,EAChB,sBAAsB,EACtB,mBAAmB,GACpB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,kCAAkC,EAClC,4BAA4B,EAC5B,gBAAgB,GACjB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EACL,oCAAoC,EACpC,oCAAoC,EACpC,6BAA6B,GAC9B,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,wCAAwC,EACxC,wBAAwB,EACxB,wCAAwC,GACzC,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,0BAA0B,EAC1B,gBAAgB,GACjB,MAAM,uBAAuB,CAAC;AAE/B;;;GAGG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAA0B,EAC1B,OAAgB,EAChB,WAA4D,EACpD,EAAE;IACV,MAAM,WAAW,GAAG,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACpD,MAAM,QAAQ,GAAG,oCAAoC,CACnD,oCAAoC,CAAC,WAAW,CAAC,CAClD,CAAC;IAEF,iCAAiC;IACjC,IAAI,mBAAmB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClC,OAAO,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IACpC,CAAC;IAED,mEAAmE;IACnE,IAAI,sBAAsB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrC,OAAO,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IACvC,CAAC;IAED,iFAAiF;IACjF,IACE,kCAAkC,CAAC,QAAQ,CAAC;QAC5C,IAAI,CAAC,aAAa,EAAE,MAAM,EAC1B,CAAC;QACD,MAAM,QAAQ,GAAG,4BAA4B,CAC3C,IAAI,EACJ,QAAQ,EACR,OAAO,EACP,WAAW,CACZ,CAAC;QACF,IAAI,QAAQ;YAAE,OAAO,QAAQ,CAAC;IAChC,CAAC;IAED,sCAAsC;IACtC,MAAM,iBAAiB,GAAG,IAAI,CAAC,aAAa,CAAC;IAC7C,MAAM,WAAW,GAAG,iBAAiB,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3C,MAAM,aAAa,GAAG,iBAAiB,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7C,IAAI,QAAQ,KAAK,QAAQ,IAAI,WAAW,IAAI,aAAa,EAAE,CAAC;QAC1D,MAAM,cAAc,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;QACpE,IAAI,cAAc;YAAE,OAAO,cAAc,CAAC;QAE1C,MAAM,OAAO,GAAG,6BAA6B,CAC3C,WAAW,EACX,WAAW,EACX,OAAO,CACR,CAAC;QACF,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,SAAS,GAAG,WAAW,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;YAEtD,OAAO;gBACL,IAAI,EAAE,gBAAgB;gBACtB,OAAO;gBACP,SAAS;aACU,CAAC;QACxB,CAAC;IACH,CAAC;IAED,+EAA+E;IAC/E,IAAI,uBAAuB,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,aAAa,EAAE,MAAM,EAAE,CAAC;QACpE,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;QACzE,IAAI,QAAQ;YAAE,OAAO,QAAQ,CAAC;IAChC,CAAC;IAED,mFAAmF;IACnF,IAAI,QAAQ,KAAK,OAAO,IAAI,IAAI,CAAC,aAAa,EAAE,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7D,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QACpC,OAAO,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;IACvE,CAAC;IAED,mCAAmC;IACnC,IAAI,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,aAAa,EAAE,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/D,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QACpC,OAAO,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;IACvE,CAAC;IAED,iCAAiC;IACjC,IAAI,QAAQ,KAAK,OAAO,IAAI,IAAI,CAAC,aAAa,EAAE,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7D,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QACpC,OAAO,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;IACvE,CAAC;IAED,yDAAyD;IACzD,IAAI,QAAQ,KAAK,QAAQ,IAAI,IAAI,CAAC,aAAa,EAAE,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9D,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QACvC,OAAO,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;IAC7E,CAAC;IAED,+DAA+D;IAC/D,IACE,CAAC,QAAQ,KAAK,KAAK,IAAI,QAAQ,KAAK,KAAK,IAAI,QAAQ,KAAK,OAAO,CAAC;QAClE,IAAI,CAAC,aAAa;QAClB,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAC/B,CAAC;QACD,MAAM,YAAY,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC7B,CAAC;QACD,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;YACd,aAAa,EAAE,CAAC,WAAW,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;SACpD,CAAC;IACJ,CAAC;IAED,+EAA+E;IAC/E,MAAM,MAAM,GAAG,OAAO,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAClD,IAAI,gBAA4C,CAAC;IACjD,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,QAAQ,GAAI,OAA2B;aAC1C,kBAAkB,EAAE;aACpB,OAAO,CAAC,MAAM,CAAC,CAAC;QACnB,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,QAAQ,GAAG,CAAC,QAAQ,CAAC,YAAY,IAAI,QAAQ,CAAC,QAAQ,CAE/C,CAAC;YACd,gBAAgB,GAAG,QAAQ,CAAC;YAC5B,IAAI,QAAQ,IAAI,EAAE,CAAC,0BAA0B,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACxD,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YACvD,CAAC;YAED,4CAA4C;YAC5C,IACE,QAAQ;gBACR,EAAE,CAAC,iBAAiB,CAAC,QAAQ,CAAC;gBAC9B,CAAC,QAAQ,CAAC,YAAY,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,kBAAkB;gBACpE,IAAI,CAAC,aAAa,EAAE,MAAM,KAAK,CAAC,EAChC,CAAC;gBACD,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;gBACpC,OAAO,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;YACvE,CAAC;YAED,sEAAsE;YACtE,MAAM,gBAAgB,GAAG,QAAQ;gBAC/B,CAAC,CAAC,wCAAwC,CACtC,QAAQ,EACR,WAAW,EACX,OAAO,CACR;gBACH,CAAC,CAAC,SAAS,CAAC;YACd,IAAI,gBAAgB,EAAE,CAAC;gBACrB,OAAO,gBAAgB,CAAC;YAC1B,CAAC;YAED,mDAAmD;YACnD,IAAI,QAAQ,IAAI,EAAE,CAAC,sBAAsB,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACpD,MAAM,WAAW,GAAG,0BAA0B,CAC5C,IAAI,EACJ,QAAQ,EACR,MAAM,EACN,QAAQ,EACR,QAAQ,EACR,OAAO,EACP,WAAW,CACZ,CAAC;gBACF,IAAI,WAAW;oBAAE,OAAO,WAAW,CAAC;YACtC,CAAC;QACH,CAAC;IACH,CAAC;IAED,2DAA2D;IAC3D,MAAM,iBAAiB,GAAG,wCAAwC,CAChE,MAAM,EAAE,EAAE,EACV,OAAO,EACP,WAAW,CACZ,CAAC;IACF,MAAM,sBAAsB,GAAG,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC3D,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,CACxB,CAAC;IAEF,8DAA8D;IAC9D,MAAM,YAAY,GAAG,CAAC,GAAG,EAAE;QACzB,IAAI,CAAC,MAAM;YAAE,OAAO,QAAQ,CAAC;QAC7B,MAAM,QAAQ,GAAI,OAA2B;aAC1C,kBAAkB,EAAE;aACpB,OAAO,CAAC,MAAM,CAAC,CAAC;QACnB,OAAO,QAAQ,EAAE,MAAM,IAAI,QAAQ,CAAC;IACtC,CAAC,CAAC,EAAE,CAAC;IACL,MAAM,eAAe,GAAG,wBAAwB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAElE,sDAAsD;IACtD,IACE,CAAC,YAAY,CAAC,UAAU,CAAC,mBAAmB,CAAC;QAC3C,YAAY,KAAK,kBAAkB,CAAC;QACtC,IAAI,CAAC,aAAa,EAAE,MAAM,KAAK,CAAC,EAChC,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QACpC,OAAO,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;IACvE,CAAC;IAED,MAAM,4BAA4B,GAAG,CAAC,GAAG,EAAE;QACzC,IAAI,CAAC,iBAAiB,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzD,OAAO,iBAAiB,CAAC;QAC3B,CAAC;QAED,MAAM,aAAa,GACjB,gBAAgB;YAChB,CAAC,EAAE,CAAC,kBAAkB,CAAC,gBAAgB,CAAC;gBACtC,EAAE,CAAC,sBAAsB,CAAC,gBAAgB,CAAC;gBAC3C,EAAE,CAAC,sBAAsB,CAAC,gBAAgB,CAAC,CAAC;YAC5C,CAAC,CAAC,gBAAgB;YAClB,CAAC,CAAC,SAAS,CAAC;QAChB,MAAM,oBAAoB,GACxB,aAAa,EAAE,cAAc,EAAE,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;YACtE,EAAE,CAAC;QACL,MAAM,YAAY,GAChB,sBAAsB,IAAI,sBAAsB,CAAC,MAAM,GAAG,CAAC;YACzD,CAAC,CAAC,qCAAqC,CACnC,sBAAsB,EACtB,oBAAoB,CACrB;YACH,CAAC,CAAC,SAAS,CAAC;QAChB,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YAC7C,OAAO,iBAAiB,CAAC;QAC3B,CAAC;QAED,MAAM,eAAe,GAAG,gBAAgB,CACtC;YACE,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,YAAY;YAClB,aAAa,EAAE,sBAAsB;YACrC,iBAAiB;SAClB,EACD,YAAY,CACb,CAAC;QACF,OAAO,eAAe,CAAC,IAAI,KAAK,eAAe;YAC7C,CAAC,CAAC,eAAe,CAAC,iBAAiB;YACnC,CAAC,CAAC,iBAAiB,CAAC;IACxB,CAAC,CAAC,EAAE,CAAC;IAEL,MAAM,YAAY,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7C,MAAM,wBAAwB,GAC5B,CAAC,CAAC,gBAAgB;QAClB,CAAC,EAAE,CAAC,kBAAkB,CAAC,gBAAgB,CAAC;YACtC,EAAE,CAAC,iBAAiB,CAAC,gBAAgB,CAAC,CAAC,CAAC;IAE5C,IACE,CAAC,wBAAwB;QACzB,CAAC,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,eAAe,CAAC;QACtD,YAAY,EACZ,CAAC;QACD,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE,WAAW,CAAC,YAAY,EAAE,OAAO,CAAC;YAC/C,MAAM,EAAE,UAAU;SACnB,CAAC;IACJ,CAAC;IAED,2CAA2C;IAC3C,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,YAAY;QAClB,aAAa,EAAE,sBAAsB;QACrC,eAAe;QACf,GAAG,CAAC,4BAA4B;YAC9B,CAAC,CAAC,EAAE,iBAAiB,EAAE,4BAA4B,EAAE;YACrD,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/type-system/internal/type-converter/references-normalize.d.ts

@@ -0,0 +1,49 @@
+/**
+ * Reference type normalization helpers, key classification, and per-binding caches.
+ *
+ * Split from references.ts for file-size compliance (< 800 LOC).
+ */
+import * as ts from "typescript";
+import { IrType, IrInterfaceMember } from "../../../types.js";
+import type { Binding } from "../../../binding/index.js";
+/**
+ * tsbindgen emits qualified names for core System primitives inside internal
+ * extension bucket signatures, e.g. `System_Internal.Boolean`.
+ *
+ * For IR purposes these must canonicalize to the compiler's surface primitive
+ * / numeric alias names so:
+ * - deterministic lambda typing can use `boolean`/`int` etc
+ * - the IR soundness gate does not treat these as unresolved reference types
+ *
+ * This is NOT a workaround: it is the correct boundary translation from the
+ * tsbindgen surface name to Tsonic's canonical IR type names.
+ */
+export declare const normalizeSystemInternalQualifiedName: (typeName: string) => string;
+/**
+ * tsbindgen extension bucket files import namespaces as `System_Collections_Generic`, etc,
+ * then reference types via qualified names like `System_Collections_Generic.List_1`.
+ *
+ * For IR purposes we must canonicalize these to their simple TS export names
+ * (e.g., `List_1`) so they resolve through the binding registry.
+ */
+export declare const normalizeNamespaceAliasQualifiedName: (typeName: string) => string;
+export declare const normalizeExpandedAliasType: (type: IrType) => IrType;
+export declare const isSymbolTypeReferenceNode: (node: ts.TypeNode) => boolean;
+export declare const classifyDictionaryKeyTypeNode: (keyTypeNode: ts.TypeNode, convertType: (node: ts.TypeNode, binding: Binding) => IrType, binding: Binding) => IrType | undefined;
+/**
+ * Per-binding caches for structural extraction and alias-body expansion.
+ *
+ * Airplane-grade determinism requirement:
+ * - Cache lifetime MUST be scoped to one compilation context.
+ * - DeclId numeric handles are stable only within a binding universe.
+ * - Cross-program cache reuse can silently miscompile types.
+ *
+ * We use WeakMap<Binding, ...> to isolate caches per program/binding graph.
+ */
+export type StructuralMembersCache = Map<number, readonly IrInterfaceMember[] | null | "in-progress">;
+export type TypeAliasBodyCache = Map<number, IrType | "in-progress">;
+export type TypeAliasRecursionCache = Map<number, boolean | "in-progress">;
+export declare const getStructuralMembersCache: (binding: Binding) => StructuralMembersCache;
+export declare const getTypeAliasBodyCache: (binding: Binding) => TypeAliasBodyCache;
+export declare const getTypeAliasRecursionCache: (binding: Binding) => TypeAliasRecursionCache;
+//# sourceMappingURL=references-normalize.d.ts.map

package/dist/ir/type-system/internal/type-converter/references-normalize.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"references-normalize.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/references-normalize.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAE9D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,2BAA2B,CAAC;AAEzD;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,oCAAoC,GAC/C,UAAU,MAAM,KACf,MAyDF,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,oCAAoC,GAC/C,UAAU,MAAM,KACf,MAaF,CAAC;AAEF,eAAO,MAAM,0BAA0B,GAAI,MAAM,MAAM,KAAG,MACU,CAAC;AAErE,eAAO,MAAM,yBAAyB,GAAI,MAAM,EAAE,CAAC,QAAQ,KAAG,OAG7B,CAAC;AAElC,eAAO,MAAM,6BAA6B,GACxC,aAAa,EAAE,CAAC,QAAQ,EACxB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,KAAK,MAAM,EAC5D,SAAS,OAAO,KACf,MAAM,GAAG,SAkDX,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,MAAM,sBAAsB,GAAG,GAAG,CACtC,MAAM,EACN,SAAS,iBAAiB,EAAE,GAAG,IAAI,GAAG,aAAa,CACpD,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,aAAa,CAAC,CAAC;AACrE,MAAM,MAAM,uBAAuB,GAAG,GAAG,CAAC,MAAM,EAAE,OAAO,GAAG,aAAa,CAAC,CAAC;AAa3E,eAAO,MAAM,yBAAyB,GACpC,SAAS,OAAO,KACf,sBAUF,CAAC;AAEF,eAAO,MAAM,qBAAqB,GAAI,SAAS,OAAO,KAAG,kBAOxD,CAAC;AAEF,eAAO,MAAM,0BAA0B,GACrC,SAAS,OAAO,KACf,uBAOF,CAAC"}