@tsonic/frontend 0.0.74 → 0.0.75

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

@@ -0,0 +1,162 @@
+/**
+ * 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 { normalizedUnionType } from "../../../types/type-ops.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 const normalizeSystemInternalQualifiedName = (typeName) => {
+    const prefix = "System_Internal.";
+    if (!typeName.startsWith(prefix))
+        return typeName;
+    const inner = typeName.slice(prefix.length);
+    const mapped = (() => {
+        switch (inner) {
+            // TS primitives
+            case "Boolean":
+                return "boolean";
+            case "String":
+                return "string";
+            case "Char":
+                return "char";
+            // Distinct CLR numeric aliases (from @tsonic/core)
+            case "SByte":
+                return "sbyte";
+            case "Byte":
+                return "byte";
+            case "Int16":
+                return "short";
+            case "UInt16":
+                return "ushort";
+            case "Int32":
+                return "int";
+            case "UInt32":
+                return "uint";
+            case "Int64":
+                return "long";
+            case "UInt64":
+                return "ulong";
+            case "Int128":
+                return "int128";
+            case "UInt128":
+                return "uint128";
+            case "Half":
+                return "half";
+            case "Single":
+                return "float";
+            case "Double":
+                return "double";
+            case "Decimal":
+                return "decimal";
+            case "IntPtr":
+                return "nint";
+            case "UIntPtr":
+                return "nuint";
+            default:
+                return undefined;
+        }
+    })();
+    // If we don't recognize the alias, strip the namespace import prefix and
+    // keep the exported type name (e.g. System_Internal.Exception -> Exception).
+    return mapped ?? inner;
+};
+/**
+ * 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 const normalizeNamespaceAliasQualifiedName = (typeName) => {
+    const lastDot = typeName.lastIndexOf(".");
+    if (lastDot <= 0)
+        return typeName;
+    const prefix = typeName.slice(0, lastDot);
+    // Strip facade-local internal namespace alias: `Internal.Foo` → `Foo`.
+    if (prefix === "Internal") {
+        return typeName.slice(lastDot + 1);
+    }
+    // Only strip tsbindgen namespace-alias qualifiers (they contain underscores).
+    if (!prefix.includes("_"))
+        return typeName;
+    return typeName.slice(lastDot + 1);
+};
+export const normalizeExpandedAliasType = (type) => type.kind === "unionType" ? normalizedUnionType(type.types) : type;
+export const isSymbolTypeReferenceNode = (node) => ts.isTypeReferenceNode(node) &&
+    ts.isIdentifier(node.typeName) &&
+    node.typeName.text === "symbol";
+export const classifyDictionaryKeyTypeNode = (keyTypeNode, convertType, binding) => {
+    const keyNodes = ts.isUnionTypeNode(keyTypeNode)
+        ? keyTypeNode.types
+        : [keyTypeNode];
+    let sawString = false;
+    let sawNumber = false;
+    let sawSymbol = false;
+    for (const node of keyNodes) {
+        if (node.kind === ts.SyntaxKind.StringKeyword) {
+            sawString = true;
+            continue;
+        }
+        if (node.kind === ts.SyntaxKind.NumberKeyword) {
+            sawNumber = true;
+            continue;
+        }
+        if (node.kind === ts.SyntaxKind.SymbolKeyword ||
+            isSymbolTypeReferenceNode(node)) {
+            sawSymbol = true;
+            continue;
+        }
+        return undefined;
+    }
+    const distinctKinds = (sawString ? 1 : 0) + (sawNumber ? 1 : 0) + (sawSymbol ? 1 : 0);
+    if (distinctKinds === 0) {
+        return undefined;
+    }
+    if (distinctKinds > 1 || sawSymbol) {
+        return { kind: "referenceType", name: "object" };
+    }
+    if (sawNumber) {
+        return convertType(ts.factory.createKeywordTypeNode(ts.SyntaxKind.NumberKeyword), binding);
+    }
+    return convertType(ts.factory.createKeywordTypeNode(ts.SyntaxKind.StringKeyword), binding);
+};
+const structuralMembersCacheByBinding = new WeakMap();
+const typeAliasBodyCacheByBinding = new WeakMap();
+const typeAliasRecursionCacheByBinding = new WeakMap();
+export const getStructuralMembersCache = (binding) => {
+    let cache = structuralMembersCacheByBinding.get(binding);
+    if (!cache) {
+        cache = new Map();
+        structuralMembersCacheByBinding.set(binding, cache);
+    }
+    return cache;
+};
+export const getTypeAliasBodyCache = (binding) => {
+    let cache = typeAliasBodyCacheByBinding.get(binding);
+    if (!cache) {
+        cache = new Map();
+        typeAliasBodyCacheByBinding.set(binding, cache);
+    }
+    return cache;
+};
+export const getTypeAliasRecursionCache = (binding) => {
+    let cache = typeAliasRecursionCacheByBinding.get(binding);
+    if (!cache) {
+        cache = new Map();
+        typeAliasRecursionCacheByBinding.set(binding, cache);
+    }
+    return cache;
+};
+//# sourceMappingURL=references-normalize.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"references-normalize.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/references-normalize.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAGjE;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,oCAAoC,GAAG,CAClD,QAAgB,EACR,EAAE;IACV,MAAM,MAAM,GAAG,kBAAkB,CAAC;IAClC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC;QAAE,OAAO,QAAQ,CAAC;IAElD,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAG,CAAC,GAAG,EAAE;QACnB,QAAQ,KAAK,EAAE,CAAC;YACd,gBAAgB;YAChB,KAAK,SAAS;gBACZ,OAAO,SAAS,CAAC;YACnB,KAAK,QAAQ;gBACX,OAAO,QAAQ,CAAC;YAClB,KAAK,MAAM;gBACT,OAAO,MAAM,CAAC;YAEhB,mDAAmD;YACnD,KAAK,OAAO;gBACV,OAAO,OAAO,CAAC;YACjB,KAAK,MAAM;gBACT,OAAO,MAAM,CAAC;YAChB,KAAK,OAAO;gBACV,OAAO,OAAO,CAAC;YACjB,KAAK,QAAQ;gBACX,OAAO,QAAQ,CAAC;YAClB,KAAK,OAAO;gBACV,OAAO,KAAK,CAAC;YACf,KAAK,QAAQ;gBACX,OAAO,MAAM,CAAC;YAChB,KAAK,OAAO;gBACV,OAAO,MAAM,CAAC;YAChB,KAAK,QAAQ;gBACX,OAAO,OAAO,CAAC;YACjB,KAAK,QAAQ;gBACX,OAAO,QAAQ,CAAC;YAClB,KAAK,SAAS;gBACZ,OAAO,SAAS,CAAC;YACnB,KAAK,MAAM;gBACT,OAAO,MAAM,CAAC;YAChB,KAAK,QAAQ;gBACX,OAAO,OAAO,CAAC;YACjB,KAAK,QAAQ;gBACX,OAAO,QAAQ,CAAC;YAClB,KAAK,SAAS;gBACZ,OAAO,SAAS,CAAC;YACnB,KAAK,QAAQ;gBACX,OAAO,MAAM,CAAC;YAChB,KAAK,SAAS;gBACZ,OAAO,OAAO,CAAC;YAEjB;gBACE,OAAO,SAAS,CAAC;QACrB,CAAC;IACH,CAAC,CAAC,EAAE,CAAC;IAEL,yEAAyE;IACzE,6EAA6E;IAC7E,OAAO,MAAM,IAAI,KAAK,CAAC;AACzB,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,oCAAoC,GAAG,CAClD,QAAgB,EACR,EAAE;IACV,MAAM,OAAO,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAC1C,IAAI,OAAO,IAAI,CAAC;QAAE,OAAO,QAAQ,CAAC;IAElC,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IAC1C,uEAAuE;IACvE,IAAI,MAAM,KAAK,UAAU,EAAE,CAAC;QAC1B,OAAO,QAAQ,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;IACrC,CAAC;IACD,8EAA8E;IAC9E,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,QAAQ,CAAC;IAE3C,OAAO,QAAQ,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;AACrC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,IAAY,EAAU,EAAE,CACjE,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAErE,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,IAAiB,EAAW,EAAE,CACtE,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;IAC5B,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC;IAC9B,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC;AAElC,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,WAAwB,EACxB,WAA4D,EAC5D,OAAgB,EACI,EAAE;IACtB,MAAM,QAAQ,GAAG,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC;QAC9C,CAAC,CAAC,WAAW,CAAC,KAAK;QACnB,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IAElB,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,IAAI,SAAS,GAAG,KAAK,CAAC;IAEtB,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC;YAC9C,SAAS,GAAG,IAAI,CAAC;YACjB,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC;YAC9C,SAAS,GAAG,IAAI,CAAC;YACjB,SAAS;QACX,CAAC;QACD,IACE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YACzC,yBAAyB,CAAC,IAAI,CAAC,EAC/B,CAAC;YACD,SAAS,GAAG,IAAI,CAAC;YACjB,SAAS;QACX,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,aAAa,GACjB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAElE,IAAI,aAAa,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,aAAa,GAAG,CAAC,IAAI,SAAS,EAAE,CAAC;QACnC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACnD,CAAC;IAED,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,WAAW,CAChB,EAAE,CAAC,OAAO,CAAC,qBAAqB,CAAC,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,EAC7D,OAAO,CACR,CAAC;IACJ,CAAC;IAED,OAAO,WAAW,CAChB,EAAE,CAAC,OAAO,CAAC,qBAAqB,CAAC,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,EAC7D,OAAO,CACR,CAAC;AACJ,CAAC,CAAC;AAoBF,MAAM,+BAA+B,GAAG,IAAI,OAAO,EAGhD,CAAC;AAEJ,MAAM,2BAA2B,GAAG,IAAI,OAAO,EAA+B,CAAC;AAC/E,MAAM,gCAAgC,GAAG,IAAI,OAAO,EAGjD,CAAC;AAEJ,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,OAAgB,EACQ,EAAE;IAC1B,IAAI,KAAK,GAAG,+BAA+B,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACzD,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,KAAK,GAAG,IAAI,GAAG,EAGZ,CAAC;QACJ,+BAA+B,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,OAAgB,EAAsB,EAAE;IAC5E,IAAI,KAAK,GAAG,2BAA2B,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACrD,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,KAAK,GAAG,IAAI,GAAG,EAAkC,CAAC;QAClD,2BAA2B,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,OAAgB,EACS,EAAE;IAC3B,IAAI,KAAK,GAAG,gCAAgC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC1D,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,KAAK,GAAG,IAAI,GAAG,EAAmC,CAAC;QACnD,gCAAgC,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC"}

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

@@ -0,0 +1,52 @@
+/**
+ * Declaration file classification, bindings resolution, CLR identity,
+ * and type-alias erasure/recursion analysis helpers.
+ *
+ * Split from references-structural.ts for file-size compliance (< 500 LOC).
+ */
+import * as ts from "typescript";
+import type { DeclId } from "../../../type-system/types.js";
+import type { Binding } from "../../../binding/index.js";
+/**
+ * Check whether a declaration file is a Tsonic-generated bindings artifact.
+ *
+ * We only apply aggressive declaration-file type-alias erasure to these files.
+ * Airplane-grade rule: Never erase type aliases from tsbindgen-produced stdlib
+ * packages (e.g., @tsonic/dotnet, @tsonic/core). Those aliases often encode CLR
+ * nominal types (interfaces, delegates, indexers) and must remain NOMINAL.
+ */
+export declare const isTsonicBindingsDeclarationFile: (fileName: string) => boolean;
+export declare const isTsonicSourcePackageFile: (fileName: string) => boolean;
+export declare const shouldPreserveUserTypeAliasIdentity: (decl: ts.TypeAliasDeclaration) => boolean;
+export declare const resolveSourceClrIdentity: (declId: DeclId | undefined, binding: Binding) => string | undefined;
+/**
+ * Determine whether a TS-only type alias target is safe to erase to its underlying shape.
+ *
+ * Erase only aliases whose targets are semantically transparent for lowering:
+ * - references / arrays / primitive and literal aliases
+ * - callable aliases
+ * - intersections / indexed access / typeof / keyof / readonly-style wrappers
+ *
+ * Preserve aliases whose identity is required for stable lowering contracts:
+ * - object/type-literal aliases (these lower to stable emitted shapes)
+ * - union aliases (runtime-union/discriminant stability)
+ * - tuple aliases (tuple lowering stability)
+ * - mapped / conditional aliases (non-local shape selection)
+ */
+export declare const isSafeToEraseUserTypeAliasTarget: (node: ts.TypeNode) => boolean;
+export declare const isRecursiveUserTypeAliasDeclaration: (declId: number, declNode: ts.TypeAliasDeclaration, binding: Binding) => boolean;
+/**
+ * Check if a declaration should have structural members extracted.
+ *
+ * Only extract for:
+ * - Interfaces (InterfaceDeclaration)
+ * - Type aliases to object types (TypeAliasDeclaration with TypeLiteralNode)
+ *
+ * Do NOT extract for:
+ * - Classes (have implementation, not just shape)
+ * - Enums, namespaces
+ * - Library types (from node_modules or lib.*.d.ts)
+ * - Type aliases to primitives, unions, functions, etc.
+ */
+export declare const shouldExtractFromDeclaration: (decl: ts.Declaration) => boolean;
+//# sourceMappingURL=references-structural-bindings.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"references-structural-bindings.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/references-structural-bindings.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,+BAA+B,CAAC;AAI5D,OAAO,KAAK,EAAE,OAAO,EAAmB,MAAM,2BAA2B,CAAC;AAG1E;;;;;;;GAOG;AACH,eAAO,MAAM,+BAA+B,GAAI,UAAU,MAAM,KAAG,OAMlE,CAAC;AASF,eAAO,MAAM,yBAAyB,GAAI,UAAU,MAAM,KAAG,OA6B5D,CAAC;AAEF,eAAO,MAAM,mCAAmC,GAC9C,MAAM,EAAE,CAAC,oBAAoB,KAC5B,OAMF,CAAC;AAiEF,eAAO,MAAM,wBAAwB,GACnC,QAAQ,MAAM,GAAG,SAAS,EAC1B,SAAS,OAAO,KACf,MAAM,GAAG,SA8CX,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,gCAAgC,GAC3C,MAAM,EAAE,CAAC,QAAQ,KAChB,OAuCF,CAAC;AAEF,eAAO,MAAM,mCAAmC,GAC9C,QAAQ,MAAM,EACd,UAAU,EAAE,CAAC,oBAAoB,EACjC,SAAS,OAAO,KACf,OAmDF,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,4BAA4B,GAAI,MAAM,EAAE,CAAC,WAAW,KAAG,OAmDnE,CAAC"}

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

@@ -0,0 +1,295 @@
+/**
+ * Declaration file classification, bindings resolution, CLR identity,
+ * and type-alias erasure/recursion analysis helpers.
+ *
+ * Split from references-structural.ts for file-size compliance (< 500 LOC).
+ */
+import { existsSync, readFileSync } from "node:fs";
+import { dirname, join } from "node:path";
+import * as ts from "typescript";
+import { tsbindgenClrTypeNameToTsTypeName } from "../../../../tsbindgen/names.js";
+import { extractRawDotnetBindingTypes } from "../../../../program/dotnet-binding-payload.js";
+import { resolveContainingSourcePackageNamespace } from "../../../../program/source-file-identity.js";
+import { getTypeAliasRecursionCache } from "./references-normalize.js";
+/**
+ * Check whether a declaration file is a Tsonic-generated bindings artifact.
+ *
+ * We only apply aggressive declaration-file type-alias erasure to these files.
+ * Airplane-grade rule: Never erase type aliases from tsbindgen-produced stdlib
+ * packages (e.g., @tsonic/dotnet, @tsonic/core). Those aliases often encode CLR
+ * nominal types (interfaces, delegates, indexers) and must remain NOMINAL.
+ */
+export const isTsonicBindingsDeclarationFile = (fileName) => {
+    // Cross-platform: handle both POSIX and Windows paths.
+    return (fileName.includes("/tsonic/bindings/") ||
+        fileName.includes("\\tsonic\\bindings\\"));
+};
+const bindingAliasClrIdentityCache = new Map();
+const tsonicSourcePackageFileCache = new Map();
+export const isTsonicSourcePackageFile = (fileName) => {
+    const normalized = fileName.replace(/\\/g, "/");
+    const cached = tsonicSourcePackageFileCache.get(normalized);
+    if (cached !== undefined)
+        return cached;
+    let currentDir = dirname(fileName);
+    while (true) {
+        const manifestPath = join(currentDir, "tsonic.package.json");
+        if (existsSync(manifestPath)) {
+            try {
+                const parsed = JSON.parse(readFileSync(manifestPath, "utf-8"));
+                const isSourcePackage = parsed.kind === "tsonic-source-package";
+                tsonicSourcePackageFileCache.set(normalized, isSourcePackage);
+                return isSourcePackage;
+            }
+            catch {
+                tsonicSourcePackageFileCache.set(normalized, false);
+                return false;
+            }
+        }
+        const parentDir = dirname(currentDir);
+        if (parentDir === currentDir) {
+            tsonicSourcePackageFileCache.set(normalized, false);
+            return false;
+        }
+        currentDir = parentDir;
+    }
+};
+export const shouldPreserveUserTypeAliasIdentity = (decl) => {
+    const sourceFile = decl.getSourceFile();
+    return (!sourceFile.isDeclarationFile ||
+        isTsonicSourcePackageFile(sourceFile.fileName));
+};
+const findOwningBindingsJson = (fileName) => {
+    let currentDir = dirname(fileName);
+    while (true) {
+        const candidate = join(currentDir, "bindings.json");
+        if (existsSync(candidate))
+            return candidate;
+        const parentDir = dirname(currentDir);
+        if (parentDir === currentDir)
+            break;
+        currentDir = parentDir;
+    }
+    if (fileName.endsWith(".d.ts")) {
+        const baseName = fileName.slice(0, -".d.ts".length);
+        const lastSep = Math.max(baseName.lastIndexOf("/"), baseName.lastIndexOf("\\"));
+        const stem = lastSep >= 0 ? baseName.slice(lastSep + 1) : baseName;
+        if (stem.length > 0) {
+            const sibling = join(dirname(fileName), stem, "bindings.json");
+            if (existsSync(sibling))
+                return sibling;
+        }
+    }
+    return undefined;
+};
+const buildBindingAliasClrIdentityMap = (bindingsPath) => {
+    const cached = bindingAliasClrIdentityCache.get(bindingsPath);
+    if (cached)
+        return cached;
+    const aliasToClr = new Map();
+    try {
+        const raw = JSON.parse(readFileSync(bindingsPath, "utf-8"));
+        const types = extractRawDotnetBindingTypes(raw);
+        if (types) {
+            for (const type of types) {
+                if (!type || typeof type !== "object")
+                    continue;
+                const clrName = type.clrName;
+                if (typeof clrName !== "string" || clrName.trim().length === 0) {
+                    continue;
+                }
+                const tsAlias = tsbindgenClrTypeNameToTsTypeName(clrName);
+                const lastDot = clrName.lastIndexOf(".");
+                if (lastDot <= 0)
+                    continue;
+                const namespace = clrName.slice(0, lastDot);
+                aliasToClr.set(tsAlias, clrName);
+                aliasToClr.set(`${namespace}.${tsAlias}`, clrName);
+            }
+        }
+    }
+    catch {
+        // Fall through to the conservative fallback.
+    }
+    bindingAliasClrIdentityCache.set(bindingsPath, aliasToClr);
+    return aliasToClr;
+};
+export const resolveSourceClrIdentity = (declId, binding) => {
+    if (!declId)
+        return undefined;
+    const declInfo = binding
+        ._getHandleRegistry()
+        .getDecl(declId);
+    const declNode = (declInfo?.typeDeclNode ?? declInfo?.declNode);
+    if (!declNode)
+        return undefined;
+    const sourceFile = declNode.getSourceFile();
+    const fqName = declInfo?.fqName?.trim();
+    if (!fqName)
+        return undefined;
+    if (!sourceFile.isDeclarationFile &&
+        isTsonicSourcePackageFile(sourceFile.fileName) &&
+        !ts.isTypeAliasDeclaration(declNode)) {
+        const sourcePackageNamespace = resolveContainingSourcePackageNamespace(sourceFile.fileName);
+        if (sourcePackageNamespace) {
+            return `${sourcePackageNamespace}.${fqName}`;
+        }
+    }
+    if (!sourceFile.isDeclarationFile ||
+        isTsonicSourcePackageFile(sourceFile.fileName)) {
+        return undefined;
+    }
+    const bindingsPath = findOwningBindingsJson(sourceFile.fileName);
+    if (bindingsPath) {
+        const exactClrName = buildBindingAliasClrIdentityMap(bindingsPath).get(fqName);
+        return exactClrName ?? fqName;
+    }
+    if (fqName.includes(".")) {
+        return fqName;
+    }
+    return undefined;
+};
+/**
+ * Determine whether a TS-only type alias target is safe to erase to its underlying shape.
+ *
+ * Erase only aliases whose targets are semantically transparent for lowering:
+ * - references / arrays / primitive and literal aliases
+ * - callable aliases
+ * - intersections / indexed access / typeof / keyof / readonly-style wrappers
+ *
+ * Preserve aliases whose identity is required for stable lowering contracts:
+ * - object/type-literal aliases (these lower to stable emitted shapes)
+ * - union aliases (runtime-union/discriminant stability)
+ * - tuple aliases (tuple lowering stability)
+ * - mapped / conditional aliases (non-local shape selection)
+ */
+export const isSafeToEraseUserTypeAliasTarget = (node) => {
+    // Peel parentheses (e.g., type X = (Y))
+    while (ts.isParenthesizedTypeNode(node)) {
+        node = node.type;
+    }
+    if (ts.isTypeLiteralNode(node) ||
+        ts.isTupleTypeNode(node) ||
+        ts.isMappedTypeNode(node) ||
+        ts.isConditionalTypeNode(node)) {
+        return false;
+    }
+    return (ts.isTypeReferenceNode(node) ||
+        ts.isExpressionWithTypeArguments(node) ||
+        ts.isArrayTypeNode(node) ||
+        ts.isFunctionTypeNode(node) ||
+        ts.isConstructorTypeNode(node) ||
+        ts.isIntersectionTypeNode(node) ||
+        ts.isTypeOperatorNode(node) ||
+        ts.isIndexedAccessTypeNode(node) ||
+        ts.isLiteralTypeNode(node) ||
+        ts.isTypePredicateNode(node) ||
+        node.kind === ts.SyntaxKind.AnyKeyword ||
+        node.kind === ts.SyntaxKind.UnknownKeyword ||
+        node.kind === ts.SyntaxKind.NeverKeyword ||
+        node.kind === ts.SyntaxKind.VoidKeyword ||
+        node.kind === ts.SyntaxKind.UndefinedKeyword ||
+        node.kind === ts.SyntaxKind.NullKeyword ||
+        node.kind === ts.SyntaxKind.StringKeyword ||
+        node.kind === ts.SyntaxKind.NumberKeyword ||
+        node.kind === ts.SyntaxKind.BooleanKeyword ||
+        node.kind === ts.SyntaxKind.ObjectKeyword ||
+        node.kind === ts.SyntaxKind.SymbolKeyword ||
+        node.kind === ts.SyntaxKind.BigIntKeyword);
+};
+export const isRecursiveUserTypeAliasDeclaration = (declId, declNode, binding) => {
+    const recursionCache = getTypeAliasRecursionCache(binding);
+    const cached = recursionCache.get(declId);
+    if (cached === "in-progress") {
+        return true;
+    }
+    if (typeof cached === "boolean") {
+        return cached;
+    }
+    recursionCache.set(declId, "in-progress");
+    const registry = binding._getHandleRegistry();
+    let isRecursive = false;
+    const visit = (node) => {
+        if (isRecursive)
+            return;
+        if (ts.isTypeReferenceNode(node)) {
+            const referencedDecl = binding.resolveTypeReference(node);
+            if (referencedDecl) {
+                if (referencedDecl.id === declId) {
+                    isRecursive = true;
+                    return;
+                }
+                const referencedDeclInfo = registry.getDecl(referencedDecl);
+                const referencedNode = referencedDeclInfo?.declNode;
+                if (referencedNode &&
+                    ts.isTypeAliasDeclaration(referencedNode) &&
+                    shouldPreserveUserTypeAliasIdentity(referencedNode) &&
+                    isRecursiveUserTypeAliasDeclaration(referencedDecl.id, referencedNode, binding)) {
+                    isRecursive = true;
+                    return;
+                }
+            }
+        }
+        node.forEachChild(visit);
+    };
+    visit(declNode.type);
+    recursionCache.set(declId, isRecursive);
+    return isRecursive;
+};
+/**
+ * Check if a declaration should have structural members extracted.
+ *
+ * Only extract for:
+ * - Interfaces (InterfaceDeclaration)
+ * - Type aliases to object types (TypeAliasDeclaration with TypeLiteralNode)
+ *
+ * Do NOT extract for:
+ * - Classes (have implementation, not just shape)
+ * - Enums, namespaces
+ * - Library types (from node_modules or lib.*.d.ts)
+ * - Type aliases to primitives, unions, functions, etc.
+ */
+export const shouldExtractFromDeclaration = (decl) => {
+    const sourceFile = decl.getSourceFile();
+    const fileName = sourceFile.fileName;
+    const isSourceBindingsDecl = sourceFile.isDeclarationFile && isTsonicBindingsDeclarationFile(fileName);
+    const isSourcePackageFile = !sourceFile.isDeclarationFile && isTsonicSourcePackageFile(fileName);
+    // Skip external library types, but keep first-party/source-package bindings
+    // extractable even when they are installed under node_modules.
+    //
+    // This is required for the full installed-package class:
+    // - source-package callback/contextual typing
+    // - imported structural/container value recovery
+    // - sibling type closure across package boundaries
+    //
+    // Tsonic-generated bindings under node_modules are not "external libraries"
+    // in the tsbindgen sense; they are the authoritative first-party semantic
+    // surface and must preserve structural shape.
+    if ((!isSourceBindingsDecl &&
+        !isSourcePackageFile &&
+        fileName.includes("node_modules")) ||
+        fileName.includes("lib.") ||
+        (sourceFile.isDeclarationFile && !isSourceBindingsDecl)) {
+        return false;
+    }
+    // Only extract for interfaces
+    if (ts.isInterfaceDeclaration(decl)) {
+        return true;
+    }
+    // Only extract for type aliases that resolve to object types
+    if (ts.isTypeAliasDeclaration(decl)) {
+        // Check if the alias is to an object type (TypeLiteral)
+        return ts.isTypeLiteralNode(decl.type);
+    }
+    // Class instance members can participate in deterministic contextual typing
+    // even when the consuming module never imports the class directly (for example
+    // callback parameter types inferred from an imported query surface). Preserve
+    // the public instance shape so the soundness gate and member typing can see
+    // the real class members without weakening to `any`.
+    if (ts.isClassDeclaration(decl)) {
+        return true;
+    }
+    // Don't extract for enums, etc.
+    return false;
+};
+//# sourceMappingURL=references-structural-bindings.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"references-structural-bindings.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/references-structural-bindings.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,gCAAgC,EAAE,MAAM,gCAAgC,CAAC;AAClF,OAAO,EAAE,4BAA4B,EAAE,MAAM,+CAA+C,CAAC;AAC7F,OAAO,EAAE,uCAAuC,EAAE,MAAM,6CAA6C,CAAC;AAEtG,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AAEvE;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAAC,QAAgB,EAAW,EAAE;IAC3E,uDAAuD;IACvD,OAAO,CACL,QAAQ,CAAC,QAAQ,CAAC,mBAAmB,CAAC;QACtC,QAAQ,CAAC,QAAQ,CAAC,sBAAsB,CAAC,CAC1C,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,4BAA4B,GAAG,IAAI,GAAG,EAGzC,CAAC;AAEJ,MAAM,4BAA4B,GAAG,IAAI,GAAG,EAAmB,CAAC;AAEhE,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,QAAgB,EAAW,EAAE;IACrE,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,4BAA4B,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAC5D,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IAExC,IAAI,UAAU,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IACnC,OAAO,IAAI,EAAE,CAAC;QACZ,MAAM,YAAY,GAAG,IAAI,CAAC,UAAU,EAAE,qBAAqB,CAAC,CAAC;QAC7D,IAAI,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;YAC7B,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,YAAY,EAAE,OAAO,CAAC,CAE5D,CAAC;gBACF,MAAM,eAAe,GAAG,MAAM,CAAC,IAAI,KAAK,uBAAuB,CAAC;gBAChE,4BAA4B,CAAC,GAAG,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC;gBAC9D,OAAO,eAAe,CAAC;YACzB,CAAC;YAAC,MAAM,CAAC;gBACP,4BAA4B,CAAC,GAAG,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;gBACpD,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QAED,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;QACtC,IAAI,SAAS,KAAK,UAAU,EAAE,CAAC;YAC7B,4BAA4B,CAAC,GAAG,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;YACpD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,UAAU,GAAG,SAAS,CAAC;IACzB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,mCAAmC,GAAG,CACjD,IAA6B,EACpB,EAAE;IACX,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;IACxC,OAAO,CACL,CAAC,UAAU,CAAC,iBAAiB;QAC7B,yBAAyB,CAAC,UAAU,CAAC,QAAQ,CAAC,CAC/C,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAAC,QAAgB,EAAsB,EAAE;IACtE,IAAI,UAAU,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IACnC,OAAO,IAAI,EAAE,CAAC;QACZ,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC;QACpD,IAAI,UAAU,CAAC,SAAS,CAAC;YAAE,OAAO,SAAS,CAAC;QAE5C,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;QACtC,IAAI,SAAS,KAAK,UAAU;YAAE,MAAM;QACpC,UAAU,GAAG,SAAS,CAAC;IACzB,CAAC;IAED,IAAI,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACpD,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CACtB,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,EACzB,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAC3B,CAAC;QACF,MAAM,IAAI,GAAG,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;QACnE,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC;YAC/D,IAAI,UAAU,CAAC,OAAO,CAAC;gBAAE,OAAO,OAAO,CAAC;QAC1C,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,+BAA+B,GAAG,CACtC,YAAoB,EACS,EAAE;IAC/B,MAAM,MAAM,GAAG,4BAA4B,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IAC9D,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAE1B,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE7C,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,YAAY,EAAE,OAAO,CAAC,CAAY,CAAC;QACvE,MAAM,KAAK,GAAG,4BAA4B,CAAC,GAAG,CAAC,CAAC;QAChD,IAAI,KAAK,EAAE,CAAC;YACV,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;oBAAE,SAAS;gBAChD,MAAM,OAAO,GAAI,IAAuC,CAAC,OAAO,CAAC;gBACjE,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC/D,SAAS;gBACX,CAAC;gBAED,MAAM,OAAO,GAAG,gCAAgC,CAAC,OAAO,CAAC,CAAC;gBAC1D,MAAM,OAAO,GAAG,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;gBACzC,IAAI,OAAO,IAAI,CAAC;oBAAE,SAAS;gBAE3B,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;gBAC5C,UAAU,CAAC,GAAG,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;gBACjC,UAAU,CAAC,GAAG,CAAC,GAAG,SAAS,IAAI,OAAO,EAAE,EAAE,OAAO,CAAC,CAAC;YACrD,CAAC;QACH,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,6CAA6C;IAC/C,CAAC;IAED,4BAA4B,CAAC,GAAG,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;IAC3D,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,MAA0B,EAC1B,OAAgB,EACI,EAAE;IACtB,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,MAAM,QAAQ,GAAI,OAA2B;SAC1C,kBAAkB,EAAE;SACpB,OAAO,CAAC,MAAM,CAAC,CAAC;IACnB,MAAM,QAAQ,GAAG,CAAC,QAAQ,EAAE,YAAY,IAAI,QAAQ,EAAE,QAAQ,CAEjD,CAAC;IACd,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAChC,MAAM,UAAU,GAAG,QAAQ,CAAC,aAAa,EAAE,CAAC;IAE5C,MAAM,MAAM,GAAG,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IACxC,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAE9B,IACE,CAAC,UAAU,CAAC,iBAAiB;QAC7B,yBAAyB,CAAC,UAAU,CAAC,QAAQ,CAAC;QAC9C,CAAC,EAAE,CAAC,sBAAsB,CAAC,QAAQ,CAAC,EACpC,CAAC;QACD,MAAM,sBAAsB,GAAG,uCAAuC,CACpE,UAAU,CAAC,QAAQ,CACpB,CAAC;QACF,IAAI,sBAAsB,EAAE,CAAC;YAC3B,OAAO,GAAG,sBAAsB,IAAI,MAAM,EAAE,CAAC;QAC/C,CAAC;IACH,CAAC;IAED,IACE,CAAC,UAAU,CAAC,iBAAiB;QAC7B,yBAAyB,CAAC,UAAU,CAAC,QAAQ,CAAC,EAC9C,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,YAAY,GAAG,sBAAsB,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IACjE,IAAI,YAAY,EAAE,CAAC;QACjB,MAAM,YAAY,GAChB,+BAA+B,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC5D,OAAO,YAAY,IAAI,MAAM,CAAC;IAChC,CAAC;IAED,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACzB,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAC9C,IAAiB,EACR,EAAE;IACX,wCAAwC;IACxC,OAAO,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACnB,CAAC;IAED,IACE,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;QAC1B,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QACxB,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QACzB,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAC9B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,CACL,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;QAC5B,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC;QACtC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QACxB,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;QAC3B,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAC9B,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;QAC/B,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;QAC3B,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC;QAChC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;QAC1B,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;QAC5B,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU;QACtC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;QAC1C,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;QACxC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACvC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;QAC5C,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACvC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;QACzC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;QACzC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;QAC1C,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;QACzC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;QACzC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAC1C,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,mCAAmC,GAAG,CACjD,MAAc,EACd,QAAiC,EACjC,OAAgB,EACP,EAAE;IACX,MAAM,cAAc,GAAG,0BAA0B,CAAC,OAAO,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC1C,IAAI,MAAM,KAAK,aAAa,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,OAAO,MAAM,KAAK,SAAS,EAAE,CAAC;QAChC,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,cAAc,CAAC,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAI,OAA2B,CAAC,kBAAkB,EAAE,CAAC;IACnE,IAAI,WAAW,GAAG,KAAK,CAAC;IAExB,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,WAAW;YAAE,OAAO;QAExB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,MAAM,cAAc,GAAG,OAAO,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;YAC1D,IAAI,cAAc,EAAE,CAAC;gBACnB,IAAI,cAAc,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC;oBACjC,WAAW,GAAG,IAAI,CAAC;oBACnB,OAAO;gBACT,CAAC;gBAED,MAAM,kBAAkB,GAAG,QAAQ,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;gBAC5D,MAAM,cAAc,GAAG,kBAAkB,EAAE,QAE9B,CAAC;gBACd,IACE,cAAc;oBACd,EAAE,CAAC,sBAAsB,CAAC,cAAc,CAAC;oBACzC,mCAAmC,CAAC,cAAc,CAAC;oBACnD,mCAAmC,CACjC,cAAc,CAAC,EAAE,EACjB,cAAc,EACd,OAAO,CACR,EACD,CAAC;oBACD,WAAW,GAAG,IAAI,CAAC;oBACnB,OAAO;gBACT,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC,CAAC;IAEF,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACrB,cAAc,CAAC,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACxC,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,IAAoB,EAAW,EAAE;IAC5E,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;IACxC,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC;IACrC,MAAM,oBAAoB,GACxB,UAAU,CAAC,iBAAiB,IAAI,+BAA+B,CAAC,QAAQ,CAAC,CAAC;IAC5E,MAAM,mBAAmB,GACvB,CAAC,UAAU,CAAC,iBAAiB,IAAI,yBAAyB,CAAC,QAAQ,CAAC,CAAC;IAEvE,4EAA4E;IAC5E,+DAA+D;IAC/D,EAAE;IACF,yDAAyD;IACzD,8CAA8C;IAC9C,iDAAiD;IACjD,mDAAmD;IACnD,EAAE;IACF,4EAA4E;IAC5E,0EAA0E;IAC1E,8CAA8C;IAC9C,IACE,CAAC,CAAC,oBAAoB;QACpB,CAAC,mBAAmB;QACpB,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;QACpC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC;QACzB,CAAC,UAAU,CAAC,iBAAiB,IAAI,CAAC,oBAAoB,CAAC,EACvD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,8BAA8B;IAC9B,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,6DAA6D;IAC7D,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,wDAAwD;QACxD,OAAO,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC;IAED,4EAA4E;IAC5E,+EAA+E;IAC/E,8EAA8E;IAC9E,4EAA4E;IAC5E,qDAAqD;IACrD,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,gCAAgC;IAChC,OAAO,KAAK,CAAC;AACf,CAAC,CAAC"}

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

@@ -0,0 +1,55 @@
+/**
+ * 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 { IrType, IrDictionaryType, IrInterfaceMember } from "../../../types.js";
+import type { Binding } from "../../../binding/index.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 declare const extractStructuralMembersFromDeclarations: (declId: number | undefined, binding: Binding, convertType: (node: ts.TypeNode, binding: Binding) => IrType) => readonly IrInterfaceMember[] | 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 declare const tryConvertPureIndexSignatureToDictionary: (decl: ts.Declaration, convertType: (node: ts.TypeNode, binding: Binding) => IrType, binding: Binding) => IrDictionaryType | undefined;
+/**
+ * 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 declare const expandTypeAliasBody: (declId: number, declNode: ts.TypeAliasDeclaration, node: ts.TypeReferenceNode, binding: Binding, convertType: (node: ts.TypeNode, binding: Binding) => IrType) => IrType | undefined;
+//# sourceMappingURL=references-structural-members.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"references-structural-members.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/references-structural-members.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAGhF,OAAO,KAAK,EAAE,OAAO,EAAmB,MAAM,2BAA2B,CAAC;AAY1E;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,eAAO,MAAM,wCAAwC,GACnD,QAAQ,MAAM,GAAG,SAAS,EAC1B,SAAS,OAAO,EAChB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,KAAK,MAAM,KAC3D,SAAS,iBAAiB,EAAE,GAAG,SAoRjC,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,wCAAwC,GACnD,MAAM,EAAE,CAAC,WAAW,EACpB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,KAAK,MAAM,EAC5D,SAAS,OAAO,KACf,gBAAgB,GAAG,SAuCrB,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,mBAAmB,GAC9B,QAAQ,MAAM,EACd,UAAU,EAAE,CAAC,oBAAoB,EACjC,MAAM,EAAE,CAAC,iBAAiB,EAC1B,SAAS,OAAO,EAChB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,KAAK,MAAM,KAC3D,MAAM,GAAG,SAoDX,CAAC"}