@tsonic/frontend 0.0.74 → 0.0.75

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

@@ -0,0 +1,334 @@
+/**
+ * Structural member extraction from type declarations,
+ * index-signature dictionary conversion, and type-alias body expansion.
+ *
+ * Split from references-structural.ts for file-size compliance (< 500 LOC).
+ */
+import * as ts from "typescript";
+import { substituteIrType } from "../../../types/ir-substitution.js";
+import { CLR_PRIMITIVE_TYPE_SET, getClrPrimitiveType } from "./primitives.js";
+import { tryResolveDeterministicPropertyName } from "../../../syntax/property-names.js";
+import { isOverloadStubImplementation } from "../../../syntax/overload-stubs.js";
+import { classifyDictionaryKeyTypeNode, normalizeExpandedAliasType, getStructuralMembersCache, getTypeAliasBodyCache, } from "./references-normalize.js";
+import { shouldExtractFromDeclaration } from "./references-structural-bindings.js";
+import { expandDirectAliasSyntax } from "./direct-alias-expansion.js";
+/**
+ * Extract structural members from type declarations (AST-based).
+ *
+ * DETERMINISTIC IR TYPING (INV-0 compliant):
+ * Uses AST nodes directly instead of ts.Type computation.
+ * Gets TypeNodes from declarations, not from getTypeOfSymbolAtLocation.
+ *
+ * Used to populate structuralMembers on referenceType for interfaces, object type aliases,
+ * and public instance class surfaces.
+ * This enables TSN5110 validation for object literal properties against expected types,
+ * and preserves deterministic member typing for nominal classes used structurally across
+ * callback/contextual-typing boundaries.
+ *
+ * Safety guards:
+ * - Only extracts for interfaces/type-aliases/public instance classes (not enums/lib types)
+ * - Uses cache to prevent infinite recursion on recursive types
+ * - Skips unsupported keys instead of bailing entirely
+ * - Returns undefined for index signatures (can't fully represent)
+ *
+ * @param declId - The DeclId for the type (from Binding.resolveTypeReference)
+ * @param binding - The Binding layer for symbol resolution
+ * @param convertType - Function to convert nested types
+ * @returns Structural members or undefined if extraction fails/skipped
+ */
+export const extractStructuralMembersFromDeclarations = (declId, binding, convertType) => {
+    if (declId === undefined) {
+        return undefined;
+    }
+    // Check cache first (handles recursion)
+    const structuralMembersCache = getStructuralMembersCache(binding);
+    const cached = structuralMembersCache.get(declId);
+    if (cached === "in-progress") {
+        // Recursive reference - return undefined to break cycle
+        return undefined;
+    }
+    if (cached !== undefined) {
+        return cached === null ? undefined : cached;
+    }
+    // Get declaration info from HandleRegistry
+    const registry = binding._getHandleRegistry();
+    const declInfo = registry.getDecl({ id: declId, __brand: "DeclId" });
+    if (!declInfo?.declNode) {
+        structuralMembersCache.set(declId, null);
+        return undefined;
+    }
+    const decl = declInfo.declNode;
+    // Check if this declaration should have structural members extracted
+    if (!shouldExtractFromDeclaration(decl)) {
+        structuralMembersCache.set(declId, null);
+        return undefined;
+    }
+    // Mark as in-progress before recursing.
+    structuralMembersCache.set(declId, "in-progress");
+    try {
+        const members = [];
+        const accessorGroups = new Map();
+        const getModifiers = (node) => ts.canHaveModifiers(node) ? ts.getModifiers(node) : undefined;
+        const hasModifier = (modifiers, kind) => modifiers?.some((m) => m.kind === kind) ?? false;
+        const isPublicInstanceClassMember = (member) => {
+            if (ts.isConstructorDeclaration(member))
+                return false;
+            const modifiers = getModifiers(member);
+            if (hasModifier(modifiers, ts.SyntaxKind.StaticKeyword)) {
+                return false;
+            }
+            if (hasModifier(modifiers, ts.SyntaxKind.PrivateKeyword) ||
+                hasModifier(modifiers, ts.SyntaxKind.ProtectedKeyword)) {
+                return false;
+            }
+            if ("name" in member &&
+                member.name &&
+                ts.isPrivateIdentifier(member.name)) {
+                return false;
+            }
+            return true;
+        };
+        const getMemberName = (name) => tryResolveDeterministicPropertyName(name);
+        // Get the member source (interface members, type literal members, or class members)
+        const typeElements = ts.isInterfaceDeclaration(decl)
+            ? decl.members
+            : ts.isTypeAliasDeclaration(decl) && ts.isTypeLiteralNode(decl.type)
+                ? decl.type.members
+                : ts.isClassDeclaration(decl)
+                    ? decl.members
+                    : undefined;
+        if (!typeElements) {
+            structuralMembersCache.set(declId, null);
+            return undefined;
+        }
+        // Check for index signatures - can't fully represent these structurally
+        for (const member of typeElements) {
+            if (ts.isIndexSignatureDeclaration(member)) {
+                structuralMembersCache.set(declId, null);
+                return undefined;
+            }
+        }
+        // Extract members from AST (TypeNodes directly)
+        for (const member of typeElements) {
+            if (ts.isGetAccessorDeclaration(member) ||
+                ts.isSetAccessorDeclaration(member)) {
+                if (ts.isClassDeclaration(decl) &&
+                    !isPublicInstanceClassMember(member)) {
+                    continue;
+                }
+                const accessorName = getMemberName(member.name);
+                if (!accessorName ||
+                    accessorName.startsWith("__tsonic_type_") ||
+                    accessorName.startsWith("__tsonic_binding_alias_")) {
+                    continue;
+                }
+                const existing = accessorGroups.get(accessorName) ?? {};
+                if (ts.isGetAccessorDeclaration(member)) {
+                    existing.getter = member;
+                }
+                else {
+                    existing.setter = member;
+                }
+                accessorGroups.set(accessorName, existing);
+                continue;
+            }
+            // Property signature / declaration
+            if (ts.isPropertySignature(member) || ts.isPropertyDeclaration(member)) {
+                if (ts.isPropertyDeclaration(member) &&
+                    !isPublicInstanceClassMember(member)) {
+                    continue;
+                }
+                const propName = getMemberName(member.name);
+                if (!propName ||
+                    propName.startsWith("__tsonic_type_") ||
+                    propName.startsWith("__tsonic_binding_alias_")) {
+                    continue; // Skip computed/symbol keys
+                }
+                const isOptional = !!member.questionToken;
+                const isReadonly = hasModifier(getModifiers(member), ts.SyntaxKind.ReadonlyKeyword);
+                // DETERMINISTIC: Get type from TypeNode in declaration
+                const declTypeNode = member.type;
+                if (!declTypeNode) {
+                    continue; // Skip properties without type annotation
+                }
+                // Check for CLR primitive type aliases
+                if (ts.isTypeReferenceNode(declTypeNode)) {
+                    const typeName = ts.isIdentifier(declTypeNode.typeName)
+                        ? declTypeNode.typeName.text
+                        : undefined;
+                    if (typeName && CLR_PRIMITIVE_TYPE_SET.has(typeName)) {
+                        // Resolve to check it comes from @tsonic/core (symbol-based, allowed)
+                        // Use Binding to resolve the type reference
+                        const typeRefDeclId = binding.resolveTypeReference(declTypeNode);
+                        if (typeRefDeclId) {
+                            const typeRefDeclInfo = registry.getDecl(typeRefDeclId);
+                            const refDeclNode = typeRefDeclInfo?.declNode;
+                            const refSourceFile = refDeclNode?.getSourceFile();
+                            if (refSourceFile?.fileName.includes("@tsonic/core")) {
+                                members.push({
+                                    kind: "propertySignature",
+                                    name: propName,
+                                    type: getClrPrimitiveType(typeName),
+                                    isOptional,
+                                    isReadonly,
+                                });
+                                continue;
+                            }
+                        }
+                    }
+                }
+                // Convert the TypeNode to IrType
+                members.push({
+                    kind: "propertySignature",
+                    name: propName,
+                    type: convertType(declTypeNode, binding),
+                    isOptional,
+                    isReadonly,
+                });
+            }
+            // Method signature / declaration
+            if (ts.isMethodSignature(member) || ts.isMethodDeclaration(member)) {
+                if (ts.isMethodDeclaration(member) &&
+                    !isPublicInstanceClassMember(member)) {
+                    continue;
+                }
+                if (ts.isMethodDeclaration(member) &&
+                    isOverloadStubImplementation(member)) {
+                    continue;
+                }
+                const methodName = getMemberName(member.name);
+                if (!methodName) {
+                    continue; // Skip computed keys
+                }
+                members.push({
+                    kind: "methodSignature",
+                    name: methodName,
+                    parameters: member.parameters.map((param, index) => ({
+                        kind: "parameter",
+                        pattern: {
+                            kind: "identifierPattern",
+                            name: ts.isIdentifier(param.name)
+                                ? param.name.text
+                                : `arg${index}`,
+                        },
+                        type: param.type ? convertType(param.type, binding) : undefined,
+                        isOptional: !!param.questionToken,
+                        isRest: !!param.dotDotDotToken,
+                        passing: "value",
+                    })),
+                    returnType: member.type
+                        ? convertType(member.type, binding)
+                        : undefined,
+                });
+            }
+        }
+        for (const [memberName, pair] of accessorGroups) {
+            const getterTypeNode = pair.getter?.type;
+            const setterTypeNode = pair.setter?.parameters[0]?.type;
+            const propertyTypeNode = getterTypeNode ?? setterTypeNode;
+            if (!propertyTypeNode) {
+                continue;
+            }
+            members.push({
+                kind: "propertySignature",
+                name: memberName,
+                type: convertType(propertyTypeNode, binding),
+                isOptional: false,
+                isReadonly: !!pair.getter && !pair.setter,
+            });
+        }
+        const result = members.length > 0 ? members : undefined;
+        structuralMembersCache.set(declId, result ?? null);
+        return result;
+    }
+    catch {
+        // On any error, settle cache to null (not extractable)
+        structuralMembersCache.set(declId, null);
+        return undefined;
+    }
+};
+/**
+ * Try to convert a pure index-signature interface/type alias to dictionaryType.
+ *
+ * This supports idiomatic TS dictionary surfaces:
+ *   interface MetricsTotals { [metric: string]: int }
+ *   type MetricsTotals = { [metric: string]: int }
+ *
+ * Without this, computed access `totals["pageviews"]` is misclassified as
+ * a CLR indexer and fails numeric proof (TSN5107). This is not a workaround:
+ * index-signature-only shapes are structural dictionaries and should compile
+ * to `Dictionary<K, V>` / `Record<K, V>` behavior.
+ */
+export const tryConvertPureIndexSignatureToDictionary = (decl, convertType, binding) => {
+    const typeElements = ts.isInterfaceDeclaration(decl)
+        ? decl.members
+        : ts.isTypeAliasDeclaration(decl) && ts.isTypeLiteralNode(decl.type)
+            ? decl.type.members
+            : undefined;
+    if (!typeElements)
+        return undefined;
+    const indexSignatures = typeElements.filter(ts.isIndexSignatureDeclaration);
+    const otherMembers = typeElements.filter((m) => !ts.isIndexSignatureDeclaration(m));
+    if (indexSignatures.length === 0 || otherMembers.length > 0) {
+        return undefined;
+    }
+    const indexSig = indexSignatures[0];
+    const keyParam = indexSig?.parameters[0];
+    const keyTypeNode = keyParam?.type;
+    const keyType = (() => {
+        if (!keyTypeNode) {
+            return { kind: "primitiveType", name: "string" };
+        }
+        return (classifyDictionaryKeyTypeNode(keyTypeNode, convertType, binding) ?? {
+            kind: "primitiveType",
+            name: "string",
+        });
+    })();
+    const valueType = indexSig?.type
+        ? convertType(indexSig.type, binding)
+        : { kind: "anyType" };
+    return {
+        kind: "dictionaryType",
+        keyType,
+        valueType,
+    };
+};
+/**
+ * Expand a type alias body with optional type-parameter substitution.
+ *
+ * Shared helper used by both declaration-file alias erasure and user-defined
+ * type alias erasure paths in convertTypeReference.
+ */
+export const expandTypeAliasBody = (declId, declNode, node, binding, convertType) => {
+    const directExpanded = expandDirectAliasSyntax(declNode, node, binding, convertType);
+    if (directExpanded) {
+        return normalizeExpandedAliasType(directExpanded);
+    }
+    const key = declId;
+    const typeAliasBodyCache = getTypeAliasBodyCache(binding);
+    const cached = typeAliasBodyCache.get(key);
+    if (cached === "in-progress") {
+        return undefined;
+    }
+    const base = cached ??
+        (() => {
+            typeAliasBodyCache.set(key, "in-progress");
+            const converted = convertType(declNode.type, binding);
+            typeAliasBodyCache.set(key, converted);
+            return converted;
+        })();
+    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(base, subst) : base);
+    }
+    return normalizeExpandedAliasType(base);
+};
+//# sourceMappingURL=references-structural-members.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"references-structural-members.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/references-structural-members.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AACrE,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAE9E,OAAO,EAAE,mCAAmC,EAAE,MAAM,mCAAmC,CAAC;AACxF,OAAO,EAAE,4BAA4B,EAAE,MAAM,mCAAmC,CAAC;AACjF,OAAO,EACL,6BAA6B,EAC7B,0BAA0B,EAC1B,yBAAyB,EACzB,qBAAqB,GACtB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,4BAA4B,EAAE,MAAM,qCAAqC,CAAC;AACnF,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AAEtE;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,CAAC,MAAM,wCAAwC,GAAG,CACtD,MAA0B,EAC1B,OAAgB,EAChB,WAA4D,EAClB,EAAE;IAC5C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,wCAAwC;IACxC,MAAM,sBAAsB,GAAG,yBAAyB,CAAC,OAAO,CAAC,CAAC;IAClE,MAAM,MAAM,GAAG,sBAAsB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAClD,IAAI,MAAM,KAAK,aAAa,EAAE,CAAC;QAC7B,wDAAwD;QACxD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;IAC9C,CAAC;IAED,2CAA2C;IAC3C,MAAM,QAAQ,GAAI,OAA2B,CAAC,kBAAkB,EAAE,CAAC;IACnE,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAW,CAAC,CAAC;IAC9E,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC;QACxB,sBAAsB,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACzC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,IAAI,GAAG,QAAQ,CAAC,QAA0B,CAAC;IAEjD,qEAAqE;IACrE,IAAI,CAAC,4BAA4B,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,sBAAsB,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACzC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,wCAAwC;IACxC,sBAAsB,CAAC,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAElD,IAAI,CAAC;QACH,MAAM,OAAO,GAAwB,EAAE,CAAC;QACxC,MAAM,cAAc,GAAG,IAAI,GAAG,EAM3B,CAAC;QAEJ,MAAM,YAAY,GAAG,CACnB,IAAa,EAC2B,EAAE,CAC1C,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAEhE,MAAM,WAAW,GAAG,CAClB,SAAiD,EACjD,IAAmB,EACV,EAAE,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,KAAK,CAAC;QAE/D,MAAM,2BAA2B,GAAG,CAAC,MAAuB,EAAW,EAAE;YACvE,IAAI,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC;gBAAE,OAAO,KAAK,CAAC;YACtD,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;YACvC,IAAI,WAAW,CAAC,SAAS,EAAE,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,CAAC;gBACxD,OAAO,KAAK,CAAC;YACf,CAAC;YACD,IACE,WAAW,CAAC,SAAS,EAAE,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC;gBACpD,WAAW,CAAC,SAAS,EAAE,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAAC,EACtD,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC;YACD,IACE,MAAM,IAAI,MAAM;gBAChB,MAAM,CAAC,IAAI;gBACX,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,EACnC,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC;QAEF,MAAM,aAAa,GAAG,CACpB,IAAwD,EACpC,EAAE,CAAC,mCAAmC,CAAC,IAAI,CAAC,CAAC;QAEnE,oFAAoF;QACpF,MAAM,YAAY,GAAG,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;YAClD,CAAC,CAAC,IAAI,CAAC,OAAO;YACd,CAAC,CAAC,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC;gBAClE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO;gBACnB,CAAC,CAAC,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;oBAC3B,CAAC,CAAC,IAAI,CAAC,OAAO;oBACd,CAAC,CAAC,SAAS,CAAC;QAElB,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,sBAAsB,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;YACzC,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,wEAAwE;QACxE,KAAK,MAAM,MAAM,IAAI,YAAY,EAAE,CAAC;YAClC,IAAI,EAAE,CAAC,2BAA2B,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC3C,sBAAsB,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;gBACzC,OAAO,SAAS,CAAC;YACnB,CAAC;QACH,CAAC;QAED,gDAAgD;QAChD,KAAK,MAAM,MAAM,IAAI,YAAY,EAAE,CAAC;YAClC,IACE,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC;gBACnC,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC,EACnC,CAAC;gBACD,IACE,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;oBAC3B,CAAC,2BAA2B,CAAC,MAAM,CAAC,EACpC,CAAC;oBACD,SAAS;gBACX,CAAC;gBAED,MAAM,YAAY,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBAEhD,IACE,CAAC,YAAY;oBACb,YAAY,CAAC,UAAU,CAAC,gBAAgB,CAAC;oBACzC,YAAY,CAAC,UAAU,CAAC,yBAAyB,CAAC,EAClD,CAAC;oBACD,SAAS;gBACX,CAAC;gBAED,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;gBACxD,IAAI,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC,EAAE,CAAC;oBACxC,QAAQ,CAAC,MAAM,GAAG,MAAM,CAAC;gBAC3B,CAAC;qBAAM,CAAC;oBACN,QAAQ,CAAC,MAAM,GAAG,MAAM,CAAC;gBAC3B,CAAC;gBACD,cAAc,CAAC,GAAG,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;gBAC3C,SAAS;YACX,CAAC;YAED,mCAAmC;YACnC,IAAI,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,EAAE,CAAC;gBACvE,IACE,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;oBAChC,CAAC,2BAA2B,CAAC,MAAM,CAAC,EACpC,CAAC;oBACD,SAAS;gBACX,CAAC;gBAED,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBAE5C,IACE,CAAC,QAAQ;oBACT,QAAQ,CAAC,UAAU,CAAC,gBAAgB,CAAC;oBACrC,QAAQ,CAAC,UAAU,CAAC,yBAAyB,CAAC,EAC9C,CAAC;oBACD,SAAS,CAAC,4BAA4B;gBACxC,CAAC;gBAED,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC;gBAC1C,MAAM,UAAU,GAAG,WAAW,CAC5B,YAAY,CAAC,MAAM,CAAC,EACpB,EAAE,CAAC,UAAU,CAAC,eAAe,CAC9B,CAAC;gBAEF,uDAAuD;gBACvD,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC;gBACjC,IAAI,CAAC,YAAY,EAAE,CAAC;oBAClB,SAAS,CAAC,0CAA0C;gBACtD,CAAC;gBAED,uCAAuC;gBACvC,IAAI,EAAE,CAAC,mBAAmB,CAAC,YAAY,CAAC,EAAE,CAAC;oBACzC,MAAM,QAAQ,GAAG,EAAE,CAAC,YAAY,CAAC,YAAY,CAAC,QAAQ,CAAC;wBACrD,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI;wBAC5B,CAAC,CAAC,SAAS,CAAC;oBACd,IAAI,QAAQ,IAAI,sBAAsB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;wBACrD,sEAAsE;wBACtE,4CAA4C;wBAC5C,MAAM,aAAa,GAAG,OAAO,CAAC,oBAAoB,CAAC,YAAY,CAAC,CAAC;wBACjE,IAAI,aAAa,EAAE,CAAC;4BAClB,MAAM,eAAe,GAAG,QAAQ,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;4BACxD,MAAM,WAAW,GAAG,eAAe,EAAE,QAExB,CAAC;4BACd,MAAM,aAAa,GAAG,WAAW,EAAE,aAAa,EAAE,CAAC;4BACnD,IAAI,aAAa,EAAE,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;gCACrD,OAAO,CAAC,IAAI,CAAC;oCACX,IAAI,EAAE,mBAAmB;oCACzB,IAAI,EAAE,QAAQ;oCACd,IAAI,EAAE,mBAAmB,CAAC,QAA0B,CAAC;oCACrD,UAAU;oCACV,UAAU;iCACX,CAAC,CAAC;gCACH,SAAS;4BACX,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;gBAED,iCAAiC;gBACjC,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,WAAW,CAAC,YAAY,EAAE,OAAO,CAAC;oBACxC,UAAU;oBACV,UAAU;iBACX,CAAC,CAAC;YACL,CAAC;YAED,iCAAiC;YACjC,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,EAAE,CAAC;gBACnE,IACE,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC;oBAC9B,CAAC,2BAA2B,CAAC,MAAM,CAAC,EACpC,CAAC;oBACD,SAAS;gBACX,CAAC;gBACD,IACE,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC;oBAC9B,4BAA4B,CAAC,MAAM,CAAC,EACpC,CAAC;oBACD,SAAS;gBACX,CAAC;gBAED,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBAE9C,IAAI,CAAC,UAAU,EAAE,CAAC;oBAChB,SAAS,CAAC,qBAAqB;gBACjC,CAAC;gBAED,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,iBAAiB;oBACvB,IAAI,EAAE,UAAU;oBAChB,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;wBACnD,IAAI,EAAE,WAAoB;wBAC1B,OAAO,EAAE;4BACP,IAAI,EAAE,mBAA4B;4BAClC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC;gCAC/B,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI;gCACjB,CAAC,CAAC,MAAM,KAAK,EAAE;yBAClB;wBACD,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;wBAC/D,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa;wBACjC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,cAAc;wBAC9B,OAAO,EAAE,OAAgB;qBAC1B,CAAC,CAAC;oBACH,UAAU,EAAE,MAAM,CAAC,IAAI;wBACrB,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC;wBACnC,CAAC,CAAC,SAAS;iBACd,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,KAAK,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,cAAc,EAAE,CAAC;YAChD,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC;YACzC,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;YACxD,MAAM,gBAAgB,GAAG,cAAc,IAAI,cAAc,CAAC;YAE1D,IAAI,CAAC,gBAAgB,EAAE,CAAC;gBACtB,SAAS;YACX,CAAC;YAED,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,mBAAmB;gBACzB,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,WAAW,CAAC,gBAAgB,EAAE,OAAO,CAAC;gBAC5C,UAAU,EAAE,KAAK;gBACjB,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,MAAM;aAC1C,CAAC,CAAC;QACL,CAAC;QAED,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;QACxD,sBAAsB,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,IAAI,IAAI,CAAC,CAAC;QACnD,OAAO,MAAM,CAAC;IAChB,CAAC;IAAC,MAAM,CAAC;QACP,uDAAuD;QACvD,sBAAsB,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACzC,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,wCAAwC,GAAG,CACtD,IAAoB,EACpB,WAA4D,EAC5D,OAAgB,EACc,EAAE;IAChC,MAAM,YAAY,GAAG,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;QAClD,CAAC,CAAC,IAAI,CAAC,OAAO;QACd,CAAC,CAAC,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC;YAClE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO;YACnB,CAAC,CAAC,SAAS,CAAC;IAChB,IAAI,CAAC,YAAY;QAAE,OAAO,SAAS,CAAC;IAEpC,MAAM,eAAe,GAAG,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC,2BAA2B,CAAC,CAAC;IAC5E,MAAM,YAAY,GAAG,YAAY,CAAC,MAAM,CACtC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,2BAA2B,CAAC,CAAC,CAAC,CAC1C,CAAC;IACF,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5D,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,QAAQ,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IACpC,MAAM,QAAQ,GAAG,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;IACzC,MAAM,WAAW,GAAG,QAAQ,EAAE,IAAI,CAAC;IACnC,MAAM,OAAO,GAAW,CAAC,GAAG,EAAE;QAC5B,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD,CAAC;QACD,OAAO,CACL,6BAA6B,CAAC,WAAW,EAAE,WAAW,EAAE,OAAO,CAAC,IAAI;YAClE,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;SACf,CACF,CAAC;IACJ,CAAC,CAAC,EAAE,CAAC;IACL,MAAM,SAAS,GAAG,QAAQ,EAAE,IAAI;QAC9B,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;QACrC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAkB,EAAE,CAAC;IAEjC,OAAO;QACL,IAAI,EAAE,gBAAgB;QACtB,OAAO;QACP,SAAS;KACV,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,MAAc,EACd,QAAiC,EACjC,IAA0B,EAC1B,OAAgB,EAChB,WAA4D,EACxC,EAAE;IACtB,MAAM,cAAc,GAAG,uBAAuB,CAC5C,QAAQ,EACR,IAAI,EACJ,OAAO,EACP,WAAW,CACZ,CAAC;IACF,IAAI,cAAc,EAAE,CAAC;QACnB,OAAO,0BAA0B,CAAC,cAAc,CAAC,CAAC;IACpD,CAAC;IAED,MAAM,GAAG,GAAG,MAAM,CAAC;IACnB,MAAM,kBAAkB,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC;IAC1D,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAE3C,IAAI,MAAM,KAAK,aAAa,EAAE,CAAC;QAC7B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,IAAI,GACR,MAAM;QACN,CAAC,GAAG,EAAE;YACJ,kBAAkB,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;YAC3C,MAAM,SAAS,GAAG,WAAW,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACtD,kBAAkB,CAAC,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;YACvC,OAAO,SAAS,CAAC;QACnB,CAAC,CAAC,EAAE,CAAC;IAEP,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;IACF,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;IAEF,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;QACxC,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;YACD,MAAM,IAAI,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;YAChC,MAAM,GAAG,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;YAC3B,IAAI,IAAI,IAAI,GAAG;gBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACxC,CAAC;QACD,OAAO,0BAA0B,CAC/B,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CACtD,CAAC;IACJ,CAAC;IAED,OAAO,0BAA0B,CAAC,IAAI,CAAC,CAAC;AAC1C,CAAC,CAAC"}

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

@@ -0,0 +1,12 @@
+/**
+ * Structural member extraction and type-alias analysis — Facade
+ *
+ * Re-exports from sub-modules:
+ * - references-structural-bindings: declaration file classification, bindings
+ *     resolution, type-alias identity/erasure/recursion analysis
+ * - references-structural-members: structural member extraction from declarations,
+ *     index signature → dictionary conversion, type alias body expansion
+ */
+export { isTsonicBindingsDeclarationFile, isTsonicSourcePackageFile, shouldPreserveUserTypeAliasIdentity, resolveSourceClrIdentity, isSafeToEraseUserTypeAliasTarget, isRecursiveUserTypeAliasDeclaration, shouldExtractFromDeclaration, } from "./references-structural-bindings.js";
+export { extractStructuralMembersFromDeclarations, tryConvertPureIndexSignatureToDictionary, expandTypeAliasBody, } from "./references-structural-members.js";
+//# sourceMappingURL=references-structural.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"references-structural.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/references-structural.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EACL,+BAA+B,EAC/B,yBAAyB,EACzB,mCAAmC,EACnC,wBAAwB,EACxB,gCAAgC,EAChC,mCAAmC,EACnC,4BAA4B,GAC7B,MAAM,qCAAqC,CAAC;AAE7C,OAAO,EACL,wCAAwC,EACxC,wCAAwC,EACxC,mBAAmB,GACpB,MAAM,oCAAoC,CAAC"}

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

@@ -0,0 +1,12 @@
+/**
+ * Structural member extraction and type-alias analysis — Facade
+ *
+ * Re-exports from sub-modules:
+ * - references-structural-bindings: declaration file classification, bindings
+ *     resolution, type-alias identity/erasure/recursion analysis
+ * - references-structural-members: structural member extraction from declarations,
+ *     index signature → dictionary conversion, type alias body expansion
+ */
+export { isTsonicBindingsDeclarationFile, isTsonicSourcePackageFile, shouldPreserveUserTypeAliasIdentity, resolveSourceClrIdentity, isSafeToEraseUserTypeAliasTarget, isRecursiveUserTypeAliasDeclaration, shouldExtractFromDeclaration, } from "./references-structural-bindings.js";
+export { extractStructuralMembersFromDeclarations, tryConvertPureIndexSignatureToDictionary, expandTypeAliasBody, } from "./references-structural-members.js";
+//# sourceMappingURL=references-structural.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"references-structural.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/references-structural.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EACL,+BAA+B,EAC/B,yBAAyB,EACzB,mCAAmC,EACnC,wBAAwB,EACxB,gCAAgC,EAChC,mCAAmC,EACnC,4BAA4B,GAC7B,MAAM,qCAAqC,CAAC;AAE7C,OAAO,EACL,wCAAwC,EACxC,wCAAwC,EACxC,mBAAmB,GACpB,MAAM,oCAAoC,CAAC"}

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

@@ -1,12 +1,11 @@
 /**
- * Reference type conversion
+ * Reference type conversion (facade)
+ *
+ * Sub-modules:
+ * - references-converter.ts : main convertTypeReference entry point
+ * - references-alias.ts     : type alias declaration handling
+ * - references-normalize.ts : normalization helpers, key classification, caches
+ * - references-structural.ts: structural extraction, declaration analysis, bindings
  */
-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;
+export { convertTypeReference } from "./references-converter.js";
 //# sourceMappingURL=references.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"references.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/references.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,MAAM,EAAuC,MAAM,mBAAmB,CAAC;AAmBhF,OAAO,KAAK,EAAE,OAAO,EAAmB,MAAM,2BAA2B,CAAC;AA8nB1E;;;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,MA2kBF,CAAC"}
+{"version":3,"file":"references.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/references.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC"}