@tsonic/frontend 0.0.62 → 0.0.64

package/dist/ir/type-system/internal/universe/clr-type-parser.test.js

@@ -0,0 +1,55 @@
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import * as ts from "typescript";
+import { dtsTypeNodeToIrType } from "./clr-type-parser.js";
+const parseAliasTypeNode = (source, aliasName) => {
+    const sf = ts.createSourceFile("test.d.ts", source, ts.ScriptTarget.ES2022, true, ts.ScriptKind.TS);
+    for (const stmt of sf.statements) {
+        if (ts.isTypeAliasDeclaration(stmt) && stmt.name.text === aliasName) {
+            return stmt.type;
+        }
+    }
+    throw new Error(`Type alias '${aliasName}' not found`);
+};
+describe("clr-type-parser d.ts utility typing", () => {
+    const inScopeTypeParams = new Set();
+    const tsNameToTypeId = new Map();
+    it("converts Record<string, unknown> to dictionaryType", () => {
+        const typeNode = parseAliasTypeNode(`type X = Record<string, unknown>;`, "X");
+        const result = dtsTypeNodeToIrType(typeNode, inScopeTypeParams, tsNameToTypeId);
+        expect(result).to.deep.equal({
+            kind: "dictionaryType",
+            keyType: { kind: "primitiveType", name: "string" },
+            valueType: { kind: "unknownType" },
+        });
+    });
+    it("converts Record<number, string> to dictionaryType", () => {
+        const typeNode = parseAliasTypeNode(`type X = Record<number, string>;`, "X");
+        const result = dtsTypeNodeToIrType(typeNode, inScopeTypeParams, tsNameToTypeId);
+        expect(result).to.deep.equal({
+            kind: "dictionaryType",
+            keyType: { kind: "primitiveType", name: "number" },
+            valueType: { kind: "primitiveType", name: "string" },
+        });
+    });
+    it("converts Record<string | symbol, unknown> to object-key dictionaryType", () => {
+        const typeNode = parseAliasTypeNode(`type X = Record<string | symbol, unknown>;`, "X");
+        const result = dtsTypeNodeToIrType(typeNode, inScopeTypeParams, tsNameToTypeId);
+        expect(result).to.deep.equal({
+            kind: "dictionaryType",
+            keyType: { kind: "referenceType", name: "object" },
+            valueType: { kind: "unknownType" },
+        });
+    });
+    it("falls back to referenceType for unsupported Record key types", () => {
+        const typeNode = parseAliasTypeNode(`type X<K extends string> = Record<K, number>;`, "X");
+        const result = dtsTypeNodeToIrType(typeNode, inScopeTypeParams, tsNameToTypeId);
+        expect(result.kind).to.equal("referenceType");
+        if (result.kind !== "referenceType") {
+            throw new Error("Expected referenceType fallback");
+        }
+        expect(result.name).to.equal("Record");
+        expect(result.typeArguments?.length).to.equal(2);
+    });
+});
+//# sourceMappingURL=clr-type-parser.test.js.map

package/dist/ir/type-system/internal/universe/clr-type-parser.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"clr-type-parser.test.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/universe/clr-type-parser.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAE3D,MAAM,kBAAkB,GAAG,CAAC,MAAc,EAAE,SAAiB,EAAe,EAAE;IAC5E,MAAM,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAC5B,WAAW,EACX,MAAM,EACN,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,EAAE,CACjB,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;QACjC,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACpE,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB,CAAC;IACH,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,eAAe,SAAS,aAAa,CAAC,CAAC;AACzD,CAAC,CAAC;AAEF,QAAQ,CAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC5C,MAAM,cAAc,GAAG,IAAI,GAAG,EAAE,CAAC;IAEjC,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,QAAQ,GAAG,kBAAkB,CACjC,mCAAmC,EACnC,GAAG,CACJ,CAAC;QACF,MAAM,MAAM,GAAG,mBAAmB,CAChC,QAAQ,EACR,iBAAiB,EACjB,cAAc,CACf,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC3B,IAAI,EAAE,gBAAgB;YACtB,OAAO,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YAClD,SAAS,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE;SACnC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,QAAQ,GAAG,kBAAkB,CACjC,kCAAkC,EAClC,GAAG,CACJ,CAAC;QACF,MAAM,MAAM,GAAG,mBAAmB,CAChC,QAAQ,EACR,iBAAiB,EACjB,cAAc,CACf,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC3B,IAAI,EAAE,gBAAgB;YACtB,OAAO,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YAClD,SAAS,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;SACrD,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,QAAQ,GAAG,kBAAkB,CACjC,4CAA4C,EAC5C,GAAG,CACJ,CAAC;QACF,MAAM,MAAM,GAAG,mBAAmB,CAChC,QAAQ,EACR,iBAAiB,EACjB,cAAc,CACf,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC3B,IAAI,EAAE,gBAAgB;YACtB,OAAO,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;YAClD,SAAS,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE;SACnC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,QAAQ,GAAG,kBAAkB,CACjC,+CAA+C,EAC/C,GAAG,CACJ,CAAC;QACF,MAAM,MAAM,GAAG,mBAAmB,CAChC,QAAQ,EACR,iBAAiB,EACjB,cAAc,CACf,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QAC9C,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACpC,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;QACrD,CAAC;QACD,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/ir/type-system/internal/universe/index.d.ts

@@ -18,7 +18,7 @@ export { makeTypeId, parseStableId, PRIMITIVE_TO_STABLE_ID, STABLE_ID_TO_PRIMITI
 export { loadClrCatalog, loadSinglePackageBindings, getTypeByStableId, getTypeByTsName, getTypeByClrName, getMemberByTsName, } from "./clr-catalog.js";
 export { buildUnifiedUniverse, normalizePrimitiveToTypeId, getTypeId, lookupMemberWithInheritance, getMemberDeclaredType, } from "./unified-universe.js";
 export type { AliasTable } from "./alias-table.js";
-export { buildAliasTable, resolveAlias, isKnownAlias, isStdlibTypeName, getPrimitiveNames, getGlobalNames, normalizeToClrName, getInstanceInterfaceName, PRIMITIVE_TO_CLR_FQ, GLOBALS_TO_CLR_FQ, } from "./alias-table.js";
+export { buildAliasTable, resolveAlias, isKnownAlias, isStdlibTypeName, getPrimitiveNames, getGlobalNames, normalizeToClrName, getInstanceInterfaceName, } from "./alias-table.js";
 export type { ResolutionResult, ResolutionWithCollector, BatchResolutionResult, StdlibValidationResult, } from "./resolution.js";
 export { resolveTypeName, tryResolveTypeName, resolveTypeNamePure, resolveTypeNames, validateStdlibTypes, } from "./resolution.js";
 export type { SourceCatalogConfig, SourceCatalogResult, } from "./source-catalog.js";

package/dist/ir/type-system/internal/universe/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/universe/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAMH,YAAY,EACV,MAAM,EACN,YAAY,EACZ,WAAW,EACX,UAAU,EACV,kBAAkB,EAClB,YAAY,EACZ,WAAW,EACX,UAAU,EACV,oBAAoB,EACpB,cAAc,EACd,aAAa,EACb,gBAAgB,EAChB,UAAU,EACV,mBAAmB,EACnB,kBAAkB,EAClB,eAAe,EACf,iBAAiB,EACjB,mBAAmB,EACnB,gBAAgB,EAChB,sBAAsB,EACtB,eAAe,GAChB,MAAM,YAAY,CAAC;AAEpB,OAAO,EACL,UAAU,EACV,aAAa,EACb,sBAAsB,EACtB,sBAAsB,GACvB,MAAM,YAAY,CAAC;AAMpB,OAAO,EACL,cAAc,EACd,yBAAyB,EACzB,iBAAiB,EACjB,eAAe,EACf,gBAAgB,EAChB,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAM1B,OAAO,EACL,oBAAoB,EACpB,0BAA0B,EAC1B,SAAS,EACT,2BAA2B,EAC3B,qBAAqB,GACtB,MAAM,uBAAuB,CAAC;AAM/B,YAAY,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEnD,OAAO,EACL,eAAe,EACf,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,iBAAiB,EACjB,cAAc,EACd,kBAAkB,EAClB,wBAAwB,EAExB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAM1B,YAAY,EACV,gBAAgB,EAChB,uBAAuB,EACvB,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EACL,eAAe,EACf,kBAAkB,EAClB,mBAAmB,EACnB,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,iBAAiB,CAAC;AAMzB,YAAY,EACV,mBAAmB,EACnB,mBAAmB,GACpB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/universe/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAMH,YAAY,EACV,MAAM,EACN,YAAY,EACZ,WAAW,EACX,UAAU,EACV,kBAAkB,EAClB,YAAY,EACZ,WAAW,EACX,UAAU,EACV,oBAAoB,EACpB,cAAc,EACd,aAAa,EACb,gBAAgB,EAChB,UAAU,EACV,mBAAmB,EACnB,kBAAkB,EAClB,eAAe,EACf,iBAAiB,EACjB,mBAAmB,EACnB,gBAAgB,EAChB,sBAAsB,EACtB,eAAe,GAChB,MAAM,YAAY,CAAC;AAEpB,OAAO,EACL,UAAU,EACV,aAAa,EACb,sBAAsB,EACtB,sBAAsB,GACvB,MAAM,YAAY,CAAC;AAMpB,OAAO,EACL,cAAc,EACd,yBAAyB,EACzB,iBAAiB,EACjB,eAAe,EACf,gBAAgB,EAChB,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAM1B,OAAO,EACL,oBAAoB,EACpB,0BAA0B,EAC1B,SAAS,EACT,2BAA2B,EAC3B,qBAAqB,GACtB,MAAM,uBAAuB,CAAC;AAM/B,YAAY,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEnD,OAAO,EACL,eAAe,EACf,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,iBAAiB,EACjB,cAAc,EACd,kBAAkB,EAClB,wBAAwB,GACzB,MAAM,kBAAkB,CAAC;AAM1B,YAAY,EACV,gBAAgB,EAChB,uBAAuB,EACvB,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EACL,eAAe,EACf,kBAAkB,EAClB,mBAAmB,EACnB,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,iBAAiB,CAAC;AAMzB,YAAY,EACV,mBAAmB,EACnB,mBAAmB,GACpB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC"}

package/dist/ir/type-system/internal/universe/index.js

@@ -22,9 +22,7 @@ export { loadClrCatalog, loadSinglePackageBindings, getTypeByStableId, getTypeBy
 // UNIFIED UNIVERSE
 // ═══════════════════════════════════════════════════════════════════════════
 export { buildUnifiedUniverse, normalizePrimitiveToTypeId, getTypeId, lookupMemberWithInheritance, getMemberDeclaredType, } from "./unified-universe.js";
-export { buildAliasTable, resolveAlias, isKnownAlias, isStdlibTypeName, getPrimitiveNames, getGlobalNames, normalizeToClrName, getInstanceInterfaceName, 
-// Backward compatibility (deprecated - use normalizeToClrName instead)
-PRIMITIVE_TO_CLR_FQ, GLOBALS_TO_CLR_FQ, } from "./alias-table.js";
+export { buildAliasTable, resolveAlias, isKnownAlias, isStdlibTypeName, getPrimitiveNames, getGlobalNames, normalizeToClrName, getInstanceInterfaceName, } from "./alias-table.js";
 export { resolveTypeName, tryResolveTypeName, resolveTypeNamePure, resolveTypeNames, validateStdlibTypes, } from "./resolution.js";
 export { buildSourceCatalog, shouldIncludeFile } from "./source-catalog.js";
 //# sourceMappingURL=index.js.map

package/dist/ir/type-system/internal/universe/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/universe/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AA8BH,OAAO,EACL,UAAU,EACV,aAAa,EACb,sBAAsB,EACtB,sBAAsB,GACvB,MAAM,YAAY,CAAC;AAEpB,8EAA8E;AAC9E,cAAc;AACd,8EAA8E;AAE9E,OAAO,EACL,cAAc,EACd,yBAAyB,EACzB,iBAAiB,EACjB,eAAe,EACf,gBAAgB,EAChB,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAE1B,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E,OAAO,EACL,oBAAoB,EACpB,0BAA0B,EAC1B,SAAS,EACT,2BAA2B,EAC3B,qBAAqB,GACtB,MAAM,uBAAuB,CAAC;AAQ/B,OAAO,EACL,eAAe,EACf,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,iBAAiB,EACjB,cAAc,EACd,kBAAkB,EAClB,wBAAwB;AACxB,uEAAuE;AACvE,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAa1B,OAAO,EACL,eAAe,EACf,kBAAkB,EAClB,mBAAmB,EACnB,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,iBAAiB,CAAC;AAWzB,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/universe/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AA8BH,OAAO,EACL,UAAU,EACV,aAAa,EACb,sBAAsB,EACtB,sBAAsB,GACvB,MAAM,YAAY,CAAC;AAEpB,8EAA8E;AAC9E,cAAc;AACd,8EAA8E;AAE9E,OAAO,EACL,cAAc,EACd,yBAAyB,EACzB,iBAAiB,EACjB,eAAe,EACf,gBAAgB,EAChB,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAE1B,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E,OAAO,EACL,oBAAoB,EACpB,0BAA0B,EAC1B,SAAS,EACT,2BAA2B,EAC3B,qBAAqB,GACtB,MAAM,uBAAuB,CAAC;AAQ/B,OAAO,EACL,eAAe,EACf,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,iBAAiB,EACjB,cAAc,EACd,kBAAkB,EAClB,wBAAwB,GACzB,MAAM,kBAAkB,CAAC;AAa1B,OAAO,EACL,eAAe,EACf,kBAAkB,EAClB,mBAAmB,EACnB,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,iBAAiB,CAAC;AAWzB,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC"}

package/dist/ir/type-system/internal/universe/unified-universe.test.js

@@ -44,6 +44,7 @@ describe("buildUnifiedUniverse", () => {
         const catalog = buildUnifiedUniverse(makeRegistry(entry), emptyAssemblyCatalog(), "project");
         const fooId = catalog.resolveTsName("Foo");
         expect(fooId).to.not.equal(undefined);
+        // eslint-disable-next-line @typescript-eslint/no-non-null-assertion
         const member = catalog.getMember(fooId, "count");
         expect(member?.type?.kind).to.equal("unionType");
         if (member?.type?.kind === "unionType") {
@@ -76,6 +77,7 @@ describe("buildUnifiedUniverse", () => {
         const catalog = buildUnifiedUniverse(makeRegistry(entry), emptyAssemblyCatalog(), "project");
         const fooId = catalog.resolveTsName("Foo");
         expect(fooId).to.not.equal(undefined);
+        // eslint-disable-next-line @typescript-eslint/no-non-null-assertion
         const member = catalog.getMember(fooId, "count");
         expect(member?.type?.kind).to.equal("unionType");
         if (member?.type?.kind === "unionType") {

package/dist/ir/type-system/internal/universe/unified-universe.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"unified-universe.test.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/universe/unified-universe.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAQ7D,MAAM,oBAAoB,GAAG,GAAwB,EAAE,CAAC,CAAC;IACvD,OAAO,EAAE,IAAI,GAAG,EAAE;IAClB,cAAc,EAAE,IAAI,GAAG,EAAE;IACzB,eAAe,EAAE,IAAI,GAAG,EAAE;IAC1B,kBAAkB,EAAE,IAAI,GAAG,EAAE;CAC9B,CAAC,CAAC;AAEH,MAAM,YAAY,GAAG,CAAC,KAAwB,EAAgB,EAAE,CAAC,CAAC;IAChE,cAAc,EAAE,CAAC,MAAM,EAAE,EAAE,CACzB,MAAM,KAAK,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS;IACzD,mBAAmB,EAAE,CAAC,UAAU,EAAE,EAAE,CAClC,UAAU,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS;IAC/C,SAAS,EAAE,CAAC,UAAU,EAAE,EAAE,CACxB,UAAU,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC,SAAS;IAClE,aAAa,EAAE,CAAC,SAAS,EAAE,UAAU,EAAE,EAAE;QACvC,IAAI,SAAS,KAAK,KAAK,CAAC,kBAAkB;YAAE,OAAO,SAAS,CAAC;QAC7D,OAAO,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC;IAC7C,CAAC;IACD,gBAAgB,EAAE,CAAC,SAAS,EAAE,EAAE,CAC9B,SAAS,KAAK,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE;IAC9D,eAAe,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC;IACjD,OAAO,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,KAAK,KAAK,CAAC,kBAAkB;CACzD,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG,CACrB,IAAwB,EACxB,UAAmB,EACP,EAAE,CAAC,CAAC;IAChB,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,OAAO;IACb,IAAI;IACJ,UAAU;IACV,UAAU,EAAE,KAAK;CAClB,CAAC,CAAC;AAEH,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,KAAK,GAAsB;YAC/B,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,KAAK;YACX,kBAAkB,EAAE,WAAW;YAC/B,cAAc,EAAE,EAAE;YAClB,OAAO,EAAE,IAAI,GAAG,CAAC;gBACf;oBACE,OAAO;oBACP,cAAc,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAW,EAAE,IAAI,CAAC;iBACtE;aACF,CAAC;YACF,QAAQ,EAAE,EAAE;SACb,CAAC;QAEF,MAAM,OAAO,GAAG,oBAAoB,CAClC,YAAY,CAAC,KAAK,CAAC,EACnB,oBAAoB,EAAE,EACtB,SAAS,CACV,CAAC;QACF,MAAM,KAAK,GAAG,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;QAC3C,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACtC,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,KAAM,EAAE,OAAO,CAAC,CAAC;QAClD,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QACjD,IAAI,MAAM,EAAE,IAAI,EAAE,IAAI,KAAK,WAAW,EAAE,CAAC;YACvC,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CACzC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAC5D,CAAC;YACF,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CACnC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,CACtD,CAAC;YACF,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACpC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAChC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,KAAK,GAAsB;YAC/B,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,KAAK;YACX,kBAAkB,EAAE,WAAW;YAC/B,cAAc,EAAE,EAAE;YAClB,OAAO,EAAE,IAAI,GAAG,CAAC;gBACf;oBACE,OAAO;oBACP,cAAc,CACZ;wBACE,IAAI,EAAE,WAAW;wBACjB,KAAK,EAAE;4BACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;4BACtC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;yBAC7C;qBACF,EACD,IAAI,CACL;iBACF;aACF,CAAC;YACF,QAAQ,EAAE,EAAE;SACb,CAAC;QAEF,MAAM,OAAO,GAAG,oBAAoB,CAClC,YAAY,CAAC,KAAK,CAAC,EACnB,oBAAoB,EAAE,EACtB,SAAS,CACV,CAAC;QACF,MAAM,KAAK,GAAG,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;QAC3C,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACtC,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,KAAM,EAAE,OAAO,CAAC,CAAC;QAClD,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QACjD,IAAI,MAAM,EAAE,IAAI,EAAE,IAAI,KAAK,WAAW,EAAE,CAAC;YACvC,MAAM,cAAc,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAC7C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAC5D,CAAC,MAAM,CAAC;YACT,MAAM,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACrC,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"unified-universe.test.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/universe/unified-universe.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAQ7D,MAAM,oBAAoB,GAAG,GAAwB,EAAE,CAAC,CAAC;IACvD,OAAO,EAAE,IAAI,GAAG,EAAE;IAClB,cAAc,EAAE,IAAI,GAAG,EAAE;IACzB,eAAe,EAAE,IAAI,GAAG,EAAE;IAC1B,kBAAkB,EAAE,IAAI,GAAG,EAAE;CAC9B,CAAC,CAAC;AAEH,MAAM,YAAY,GAAG,CAAC,KAAwB,EAAgB,EAAE,CAAC,CAAC;IAChE,cAAc,EAAE,CAAC,MAAM,EAAE,EAAE,CACzB,MAAM,KAAK,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS;IACzD,mBAAmB,EAAE,CAAC,UAAU,EAAE,EAAE,CAClC,UAAU,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS;IAC/C,SAAS,EAAE,CAAC,UAAU,EAAE,EAAE,CACxB,UAAU,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC,SAAS;IAClE,aAAa,EAAE,CAAC,SAAS,EAAE,UAAU,EAAE,EAAE;QACvC,IAAI,SAAS,KAAK,KAAK,CAAC,kBAAkB;YAAE,OAAO,SAAS,CAAC;QAC7D,OAAO,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC;IAC7C,CAAC;IACD,gBAAgB,EAAE,CAAC,SAAS,EAAE,EAAE,CAC9B,SAAS,KAAK,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE;IAC9D,eAAe,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC;IACjD,OAAO,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,KAAK,KAAK,CAAC,kBAAkB;CACzD,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG,CACrB,IAAwB,EACxB,UAAmB,EACP,EAAE,CAAC,CAAC;IAChB,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,OAAO;IACb,IAAI;IACJ,UAAU;IACV,UAAU,EAAE,KAAK;CAClB,CAAC,CAAC;AAEH,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,KAAK,GAAsB;YAC/B,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,KAAK;YACX,kBAAkB,EAAE,WAAW;YAC/B,cAAc,EAAE,EAAE;YAClB,OAAO,EAAE,IAAI,GAAG,CAAC;gBACf;oBACE,OAAO;oBACP,cAAc,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAW,EAAE,IAAI,CAAC;iBACtE;aACF,CAAC;YACF,QAAQ,EAAE,EAAE;SACb,CAAC;QAEF,MAAM,OAAO,GAAG,oBAAoB,CAClC,YAAY,CAAC,KAAK,CAAC,EACnB,oBAAoB,EAAE,EACtB,SAAS,CACV,CAAC;QACF,MAAM,KAAK,GAAG,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;QAC3C,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACtC,oEAAoE;QACpE,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,KAAM,EAAE,OAAO,CAAC,CAAC;QAClD,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QACjD,IAAI,MAAM,EAAE,IAAI,EAAE,IAAI,KAAK,WAAW,EAAE,CAAC;YACvC,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CACzC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAC5D,CAAC;YACF,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CACnC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,CACtD,CAAC;YACF,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACpC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAChC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,KAAK,GAAsB;YAC/B,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,KAAK;YACX,kBAAkB,EAAE,WAAW;YAC/B,cAAc,EAAE,EAAE;YAClB,OAAO,EAAE,IAAI,GAAG,CAAC;gBACf;oBACE,OAAO;oBACP,cAAc,CACZ;wBACE,IAAI,EAAE,WAAW;wBACjB,KAAK,EAAE;4BACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;4BACtC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;yBAC7C;qBACF,EACD,IAAI,CACL;iBACF;aACF,CAAC;YACF,QAAQ,EAAE,EAAE;SACb,CAAC;QAEF,MAAM,OAAO,GAAG,oBAAoB,CAClC,YAAY,CAAC,KAAK,CAAC,EACnB,oBAAoB,EAAE,EACtB,SAAS,CACV,CAAC;QACF,MAAM,KAAK,GAAG,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;QAC3C,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACtC,oEAAoE;QACpE,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,KAAM,EAAE,OAAO,CAAC,CAAC;QAClD,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QACjD,IAAI,MAAM,EAAE,IAAI,EAAE,IAAI,KAAK,WAAW,EAAE,CAAC;YACvC,MAAM,cAAc,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAC7C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAC5D,CAAC,MAAM,CAAC;YACT,MAAM,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACrC,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

@@ -0,0 +1,69 @@
+/**
+ * TypeSystem Call Resolution — Signature Extraction, Type ID Attachment, and Call Resolution
+ *
+ * Handles call resolution, signature extraction, type ID attachment, and structural member lookup.
+ *
+ * DAG position: depends on type-system-state and type-system-relations
+ */
+import type { IrType, IrFunctionType, IrParameter, IrInterfaceMember, IrTypeParameter } from "../types/index.js";
+import type { TypeParameterInfo, SignatureId } from "./types.js";
+import type { MethodSignatureEntry } from "./internal/universe/types.js";
+import type { TypeSystemState, CallQuery, ResolvedCall, RawSignatureInfo, TypeSubstitutionMap, Site } from "./type-system-state.js";
+/**
+ * Get or compute raw signature info from SignatureId.
+ * Caches the result for subsequent calls.
+ */
+export declare const getRawSignature: (state: TypeSystemState, sigId: SignatureId) => RawSignatureInfo | undefined;
+/**
+ * Attach canonical TypeIds to IR types where possible.
+ *
+ * This keeps nominal identity stable throughout the pipeline and enables
+ * emit-time resolution without relying on string name matching.
+ */
+export declare const attachParameterTypeIds: (state: TypeSystemState, p: IrParameter) => IrParameter;
+export declare const attachTypeParameterTypeIds: (state: TypeSystemState, tp: IrTypeParameter) => IrTypeParameter;
+export declare const attachInterfaceMemberTypeIds: (state: TypeSystemState, m: IrInterfaceMember) => IrInterfaceMember;
+export declare const attachTypeIds: (state: TypeSystemState, type: IrType) => IrType;
+/**
+ * Deterministic type syntax conversion with canonical TypeId attachment.
+ *
+ * The underlying converter is syntax-only; this wrapper re-attaches the
+ * nominal identity from the UnifiedUniverse so downstream passes (including
+ * the emitter) can resolve CLR types without re-driving a parallel lookup.
+ */
+export declare const convertTypeNode: (state: TypeSystemState, node: unknown) => IrType;
+/**
+ * Convert a nominal CLR delegate type to an IrFunctionType by reading its Invoke signature.
+ *
+ * This is used for deterministic lambda typing when the expected type is a delegate
+ * (e.g., custom delegates from CLR metadata).
+ */
+export declare const delegateToFunctionType: (state: TypeSystemState, type: IrType) => IrFunctionType | undefined;
+/**
+ * Look up a member on a structural (object) type.
+ */
+export declare const lookupStructuralMember: (state: TypeSystemState, type: IrType, memberName: string, site?: Site) => IrType;
+/**
+ * Compute receiver substitution for a method call.
+ *
+ * Given a receiver type (e.g., Array<string>) and a declaring type's TS name,
+ * computes the substitution map for class type parameters.
+ *
+ * Phase 6: Uses TypeId-based NominalEnv.getInstantiation().
+ */
+export declare const computeReceiverSubstitution: (state: TypeSystemState, receiverType: IrType, declaringTypeTsName: string, _declaringMemberName: string) => TypeSubstitutionMap | undefined;
+/**
+ * Deterministic type argument inference from call-site arguments.
+ *
+ * Walks parameter and argument shapes without ambiguity.
+ */
+export declare const inferMethodTypeArgsFromArguments: (state: TypeSystemState, methodTypeParams: readonly TypeParameterInfo[], parameterTypes: readonly (IrType | undefined)[], argTypes: readonly (IrType | undefined)[]) => Map<string, IrType> | undefined;
+export declare const mapEntriesEqual: (left: ReadonlyMap<string, IrType>, right: ReadonlyMap<string, IrType>) => boolean;
+export declare const collectExpectedReturnCandidates: (state: TypeSystemState, type: IrType) => readonly IrType[];
+export declare const containsMethodTypeParameter: (type: IrType, unresolved: ReadonlySet<string>) => boolean;
+export declare const normalizeCatalogTsName: (name: string) => string;
+export declare const isArityCompatible: (signature: MethodSignatureEntry, argumentCount: number) => boolean;
+export declare const scoreSignatureMatch: (state: TypeSystemState, parameterTypes: readonly (IrType | undefined)[], argTypes: readonly (IrType | undefined)[], argumentCount: number) => number;
+export declare const tryResolveCallFromUnifiedCatalog: (state: TypeSystemState, declaringTypeTsName: string, declaringMemberName: string, query: CallQuery) => ResolvedCall | undefined;
+export declare const resolveCall: (state: TypeSystemState, query: CallQuery) => ResolvedCall;
+//# sourceMappingURL=type-system-call-resolution.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"type-system-call-resolution.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/type-system-call-resolution.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EACV,MAAM,EACN,cAAc,EACd,WAAW,EACX,iBAAiB,EAEjB,eAAe,EAChB,MAAM,mBAAmB,CAAC;AAO3B,OAAO,KAAK,EAAE,iBAAiB,EAAiB,WAAW,EAAE,MAAM,YAAY,CAAC;AAEhF,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACzE,OAAO,KAAK,EACV,eAAe,EACf,SAAS,EACT,YAAY,EACZ,gBAAgB,EAEhB,mBAAmB,EACnB,IAAI,EACL,MAAM,wBAAwB,CAAC;AAgBhC;;;GAGG;AACH,eAAO,MAAM,eAAe,GAC1B,OAAO,eAAe,EACtB,OAAO,WAAW,KACjB,gBAAgB,GAAG,SA2GrB,CAAC;AAMF;;;;;GAKG;AACH,eAAO,MAAM,sBAAsB,GACjC,OAAO,eAAe,EACtB,GAAG,WAAW,KACb,WAGD,CAAC;AAEH,eAAO,MAAM,0BAA0B,GACrC,OAAO,eAAe,EACtB,IAAI,eAAe,KAClB,eAOD,CAAC;AAEH,eAAO,MAAM,4BAA4B,GACvC,OAAO,eAAe,EACtB,GAAG,iBAAiB,KACnB,iBAaF,CAAC;AAEF,eAAO,MAAM,aAAa,GAAI,OAAO,eAAe,EAAE,MAAM,MAAM,KAAG,MAuEpE,CAAC;AAMF;;;;;;GAMG;AACH,eAAO,MAAM,eAAe,GAC1B,OAAO,eAAe,EACtB,MAAM,OAAO,KACZ,MAEF,CAAC;AAMF;;;;;GAKG;AACH,eAAO,MAAM,sBAAsB,GACjC,OAAO,eAAe,EACtB,MAAM,MAAM,KACX,cAAc,GAAG,SAmEnB,CAAC;AAMF;;GAEG;AACH,eAAO,MAAM,sBAAsB,GACjC,OAAO,eAAe,EACtB,MAAM,MAAM,EACZ,YAAY,MAAM,EAClB,OAAO,IAAI,KACV,MA+DF,CAAC;AAMF;;;;;;;GAOG;AACH,eAAO,MAAM,2BAA2B,GACtC,OAAO,eAAe,EACtB,cAAc,MAAM,EACpB,qBAAqB,MAAM,EAC3B,sBAAsB,MAAM,KAC3B,mBAAmB,GAAG,SAYxB,CAAC;AAMF;;;;GAIG;AACH,eAAO,MAAM,gCAAgC,GAC3C,OAAO,eAAe,EACtB,kBAAkB,SAAS,iBAAiB,EAAE,EAC9C,gBAAgB,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,EAC/C,UAAU,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,KACxC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAkRxB,CAAC;AAMF,eAAO,MAAM,eAAe,GAC1B,MAAM,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,EACjC,OAAO,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,KACjC,OAOF,CAAC;AAMF,eAAO,MAAM,+BAA+B,GAC1C,OAAO,eAAe,EACtB,MAAM,MAAM,KACX,SAAS,MAAM,EAyDjB,CAAC;AAMF,eAAO,MAAM,2BAA2B,GACtC,MAAM,MAAM,EACZ,YAAY,WAAW,CAAC,MAAM,CAAC,KAC9B,OAgDF,CAAC;AAMF,eAAO,MAAM,sBAAsB,GAAI,MAAM,MAAM,KAAG,MAMrD,CAAC;AAMF,eAAO,MAAM,iBAAiB,GAC5B,WAAW,oBAAoB,EAC/B,eAAe,MAAM,KACpB,OAyBF,CAAC;AAMF,eAAO,MAAM,mBAAmB,GAC9B,OAAO,eAAe,EACtB,gBAAgB,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,EAC/C,UAAU,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,EACzC,eAAe,MAAM,KACpB,MA+BF,CAAC;AAMF,eAAO,MAAM,gCAAgC,GAC3C,OAAO,eAAe,EACtB,qBAAqB,MAAM,EAC3B,qBAAqB,MAAM,EAC3B,OAAO,SAAS,KACf,YAAY,GAAG,SAiLjB,CAAC;AAMF,eAAO,MAAM,WAAW,GACtB,OAAO,eAAe,EACtB,OAAO,SAAS,KACf,YA4XF,CAAC"}