@tsonic/frontend 0.0.73 → 0.0.75

package/dist/ir/type-system/internal/type-converter/mapped-utility-expansion.js

@@ -0,0 +1,334 @@
+/**
+ * Mapped utility type expansion — Partial, Required, Readonly, Pick, Omit
+ *
+ * Contains EXPANDABLE_UTILITY_TYPES, isExpandableUtilityType, type parameter
+ * checking, member extraction, key extraction, and expandUtilityType.
+ *
+ * DETERMINISTIC IR TYPING (INV-0 compliant):
+ * These utility types are expanded using AST-based analysis only.
+ */
+import * as ts from "typescript";
+/**
+ * Set of supported mapped utility types that can be expanded
+ */
+export const EXPANDABLE_UTILITY_TYPES = new Set([
+    "Partial",
+    "Required",
+    "Readonly",
+    "Pick",
+    "Omit",
+]);
+/**
+ * Check if a type name is an expandable utility type
+ */
+export const isExpandableUtilityType = (name) => EXPANDABLE_UTILITY_TYPES.has(name);
+/**
+ * Check if a TypeNode is a type parameter reference (symbol-based, INV-0 compliant)
+ */
+export const isTypeParameterNode = (node, binding) => {
+    if (!ts.isTypeReferenceNode(node))
+        return false;
+    if (!ts.isIdentifier(node.typeName))
+        return false;
+    // Use Binding to resolve the type reference
+    const declId = binding.resolveTypeReference(node);
+    if (!declId)
+        return false;
+    const declInfo = binding
+        ._getHandleRegistry()
+        .getDecl(declId);
+    if (!declInfo)
+        return false;
+    // Check if the declaration is a type parameter
+    const decl = declInfo.declNode;
+    return decl ? ts.isTypeParameterDeclaration(decl) : false;
+};
+/**
+ * Check if a TypeNode recursively contains type parameters.
+ * Uses symbol-based checks only (INV-0 compliant).
+ */
+export const typeNodeContainsTypeParameter = (node, binding) => {
+    if (isTypeParameterNode(node, binding)) {
+        return true;
+    }
+    if (ts.isUnionTypeNode(node)) {
+        return node.types.some((t) => typeNodeContainsTypeParameter(t, binding));
+    }
+    if (ts.isIntersectionTypeNode(node)) {
+        return node.types.some((t) => typeNodeContainsTypeParameter(t, binding));
+    }
+    if (ts.isArrayTypeNode(node)) {
+        return typeNodeContainsTypeParameter(node.elementType, binding);
+    }
+    if (ts.isTypeReferenceNode(node) && node.typeArguments) {
+        return node.typeArguments.some((t) => typeNodeContainsTypeParameter(t, binding));
+    }
+    return false;
+};
+const isInternalMarkerMemberName = (name) => name === "__brand" ||
+    name.startsWith("__tsonic_type_") ||
+    name.startsWith("__tsonic_iface_") ||
+    name.startsWith("__tsonic_binding_alias_");
+/**
+ * Extract members from an interface or type alias declaration (AST-based).
+ * Used for utility type expansion.
+ */
+const extractMembersFromDeclaration = (decl, binding, convertType) => {
+    // Get type elements from declaration
+    const typeElements = ts.isInterfaceDeclaration(decl)
+        ? decl.members
+        : ts.isTypeAliasDeclaration(decl) && ts.isTypeLiteralNode(decl.type)
+            ? decl.type.members
+            : undefined;
+    if (!typeElements) {
+        return null;
+    }
+    // Check for index signatures - can't expand these
+    for (const member of typeElements) {
+        if (ts.isIndexSignatureDeclaration(member)) {
+            return null;
+        }
+    }
+    const members = [];
+    for (const member of typeElements) {
+        if (ts.isPropertySignature(member)) {
+            const propName = ts.isIdentifier(member.name)
+                ? member.name.text
+                : ts.isStringLiteral(member.name)
+                    ? member.name.text
+                    : undefined;
+            if (!propName || !member.type || isInternalMarkerMemberName(propName)) {
+                continue; // Skip computed keys or untyped properties
+            }
+            const isOptional = !!member.questionToken;
+            const isReadonly = member.modifiers?.some((m) => m.kind === ts.SyntaxKind.ReadonlyKeyword) ?? false;
+            members.push({
+                kind: "propertySignature",
+                name: propName,
+                type: convertType(member.type, binding),
+                isOptional,
+                isReadonly,
+            });
+        }
+        if (ts.isMethodSignature(member)) {
+            const methodName = ts.isIdentifier(member.name)
+                ? member.name.text
+                : ts.isStringLiteral(member.name)
+                    ? member.name.text
+                    : undefined;
+            if (!methodName || isInternalMarkerMemberName(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,
+            });
+        }
+    }
+    return members.length > 0 ? members : null;
+};
+/**
+ * Extract literal keys from a TypeNode (AST-based).
+ * Returns null if the type contains non-literal constituents or is a type parameter.
+ */
+const extractLiteralKeysFromTypeNode = (node, binding) => {
+    // Check for type parameter
+    if (isTypeParameterNode(node, binding)) {
+        return null;
+    }
+    // Handle string literal: "foo"
+    if (ts.isLiteralTypeNode(node) && ts.isStringLiteral(node.literal)) {
+        return new Set([node.literal.text]);
+    }
+    // Handle number literal: 1
+    if (ts.isLiteralTypeNode(node) && ts.isNumericLiteral(node.literal)) {
+        return new Set([node.literal.text]);
+    }
+    // Handle union: "a" | "b" | "c"
+    if (ts.isUnionTypeNode(node)) {
+        const keys = new Set();
+        for (const member of node.types) {
+            if (ts.isLiteralTypeNode(member)) {
+                if (ts.isStringLiteral(member.literal)) {
+                    keys.add(member.literal.text);
+                }
+                else if (ts.isNumericLiteral(member.literal)) {
+                    keys.add(member.literal.text);
+                }
+                else {
+                    return null; // Non-string/number literal
+                }
+            }
+            else {
+                return null; // Non-literal in union
+            }
+        }
+        return keys;
+    }
+    // String keyword - infinite set, can't expand
+    if (node.kind === ts.SyntaxKind.StringKeyword) {
+        return null;
+    }
+    // Number keyword - infinite set, can't expand
+    if (node.kind === ts.SyntaxKind.NumberKeyword) {
+        return null;
+    }
+    return null; // Not supported
+};
+/**
+ * Expand a mapped utility type to an IrObjectType.
+ *
+ * DETERMINISTIC IR TYPING (INV-0 compliant):
+ * Uses AST-based analysis only.
+ */
+export const expandUtilityType = (node, typeName, binding, convertType) => {
+    const debug = !!process.env.DEBUG_UTILITY;
+    if (debug)
+        console.log(`[UTILITY] Expanding ${typeName}`);
+    const typeArgs = node.typeArguments;
+    if (!typeArgs || typeArgs.length === 0) {
+        if (debug)
+            console.log(`[UTILITY] No type args`);
+        return null;
+    }
+    // Get the target type argument (first argument for all mapped utilities)
+    const targetArg = typeArgs[0];
+    if (!targetArg) {
+        if (debug)
+            console.log(`[UTILITY] No target arg`);
+        return null;
+    }
+    // Check if target is a type parameter (can't expand generics)
+    if (isTypeParameterNode(targetArg, binding)) {
+        if (debug)
+            console.log(`[UTILITY] Target is type param`);
+        return null;
+    }
+    // For Pick/Omit, check if the keys argument is a type parameter
+    if ((typeName === "Pick" || typeName === "Omit") && typeArgs.length >= 2) {
+        const keysArg = typeArgs[1];
+        if (keysArg && isTypeParameterNode(keysArg, binding)) {
+            if (debug)
+                console.log(`[UTILITY] Keys is type param`);
+            return null;
+        }
+    }
+    // Get base members - either from declaration or from recursive expansion
+    let baseMembers = null;
+    // Get the target type's declaration
+    if (!ts.isTypeReferenceNode(targetArg)) {
+        if (debug)
+            console.log(`[UTILITY] Target not TypeRef: ${ts.SyntaxKind[targetArg.kind]}`);
+        return null;
+    }
+    const targetName = ts.isIdentifier(targetArg.typeName)
+        ? targetArg.typeName.text
+        : undefined;
+    if (!targetName) {
+        if (debug)
+            console.log(`[UTILITY] No target name`);
+        return null;
+    }
+    if (debug)
+        console.log(`[UTILITY] Target: ${targetName}`);
+    // Check if target is itself a utility type (nested utility types)
+    if (isExpandableUtilityType(targetName) && targetArg.typeArguments?.length) {
+        // Recursively expand the inner utility type first
+        const innerExpanded = expandUtilityType(targetArg, targetName, binding, convertType);
+        if (innerExpanded) {
+            if (debug)
+                console.log(`[UTILITY] Recursively expanded ${targetName}, got ${innerExpanded.members.length} members`);
+            baseMembers = innerExpanded.members;
+        }
+        else {
+            if (debug)
+                console.log(`[UTILITY] Recursive expansion of ${targetName} failed`);
+            return null;
+        }
+    }
+    else {
+        // Not a utility type, resolve from declaration using Binding
+        const declId = binding.resolveTypeReference(targetArg);
+        if (!declId) {
+            if (debug)
+                console.log(`[UTILITY] No DeclId for ${targetName}`);
+            return null;
+        }
+        const declInfo = binding
+            ._getHandleRegistry()
+            .getDecl(declId);
+        if (!declInfo?.declNode) {
+            if (debug)
+                console.log(`[UTILITY] No declaration for ${targetName}`);
+            return null;
+        }
+        const decl = declInfo.declNode;
+        if (debug)
+            console.log(`[UTILITY] Found declaration: ${ts.SyntaxKind[decl.kind]}`);
+        // Check if it's an interface or type alias
+        if (!ts.isInterfaceDeclaration(decl) && !ts.isTypeAliasDeclaration(decl)) {
+            if (debug)
+                console.log(`[UTILITY] No interface/type alias decl`);
+            return null;
+        }
+        // Extract members from declaration (AST-based)
+        baseMembers = extractMembersFromDeclaration(decl, binding, convertType);
+        if (!baseMembers) {
+            if (debug)
+                console.log(`[UTILITY] extractMembersFromDeclaration returned null`);
+            return null;
+        }
+        if (debug)
+            console.log(`[UTILITY] Extracted ${baseMembers.length} members`);
+    }
+    if (!baseMembers) {
+        return null;
+    }
+    // Handle Pick/Omit - filter members by keys
+    if (typeName === "Pick" || typeName === "Omit") {
+        const keysArg = typeArgs[1];
+        if (!keysArg) {
+            return null;
+        }
+        const keys = extractLiteralKeysFromTypeNode(keysArg, binding);
+        if (!keys) {
+            return null; // Can't extract literal keys
+        }
+        const filteredMembers = baseMembers.filter((m) => {
+            const include = typeName === "Pick" ? keys.has(m.name) : !keys.has(m.name);
+            return include;
+        });
+        return { kind: "objectType", members: filteredMembers };
+    }
+    // Apply Partial/Required/Readonly transformations
+    const transformedMembers = baseMembers.map((m) => {
+        if (m.kind === "propertySignature") {
+            const isOptional = typeName === "Partial"
+                ? true
+                : typeName === "Required"
+                    ? false
+                    : m.isOptional;
+            const isReadonly = typeName === "Readonly" ? true : m.isReadonly;
+            return {
+                ...m,
+                isOptional,
+                isReadonly,
+            };
+        }
+        return m;
+    });
+    return { kind: "objectType", members: transformedMembers };
+};
+//# sourceMappingURL=mapped-utility-expansion.js.map

package/dist/ir/type-system/internal/type-converter/mapped-utility-expansion.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mapped-utility-expansion.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/mapped-utility-expansion.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAIjC;;GAEG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,GAAG,CAAC;IAC9C,SAAS;IACT,UAAU;IACV,UAAU;IACV,MAAM;IACN,MAAM;CACP,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,IAAY,EAAW,EAAE,CAC/D,wBAAwB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAErC;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAiB,EACjB,OAAgB,EACP,EAAE;IACX,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAChD,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC;IAElD,4CAA4C;IAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAClD,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAE1B,MAAM,QAAQ,GAAI,OAA2B;SAC1C,kBAAkB,EAAE;SACpB,OAAO,CAAC,MAAM,CAAC,CAAC;IACnB,IAAI,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC;IAE5B,+CAA+C;IAC/C,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAsC,CAAC;IAC7D,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AAC5D,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,IAAiB,EACjB,OAAgB,EACP,EAAE;IACX,IAAI,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;QACvC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,6BAA6B,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;IAC3E,CAAC;IAED,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,6BAA6B,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;IAC3E,CAAC;IAED,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO,6BAA6B,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAClE,CAAC;IAED,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;QACvD,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CACnC,6BAA6B,CAAC,CAAC,EAAE,OAAO,CAAC,CAC1C,CAAC;IACJ,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CAAC,IAAY,EAAW,EAAE,CAC3D,IAAI,KAAK,SAAS;IAClB,IAAI,CAAC,UAAU,CAAC,gBAAgB,CAAC;IACjC,IAAI,CAAC,UAAU,CAAC,iBAAiB,CAAC;IAClC,IAAI,CAAC,UAAU,CAAC,yBAAyB,CAAC,CAAC;AAE7C;;;GAGG;AACH,MAAM,6BAA6B,GAAG,CACpC,IAAoB,EACpB,OAAgB,EAChB,WAA4D,EACvB,EAAE;IACvC,qCAAqC;IACrC,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;IAEhB,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,kDAAkD;IAClD,KAAK,MAAM,MAAM,IAAI,YAAY,EAAE,CAAC;QAClC,IAAI,EAAE,CAAC,2BAA2B,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3C,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAwB,EAAE,CAAC;IAExC,KAAK,MAAM,MAAM,IAAI,YAAY,EAAE,CAAC;QAClC,IAAI,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,EAAE,CAAC;YACnC,MAAM,QAAQ,GAAG,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC;gBAC3C,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI;gBAClB,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC;oBAC/B,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI;oBAClB,CAAC,CAAC,SAAS,CAAC;YAEhB,IAAI,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,0BAA0B,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACtE,SAAS,CAAC,2CAA2C;YACvD,CAAC;YAED,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC;YAC1C,MAAM,UAAU,GACd,MAAM,CAAC,SAAS,EAAE,IAAI,CACpB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAChD,IAAI,KAAK,CAAC;YAEb,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,mBAAmB;gBACzB,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC;gBACvC,UAAU;gBACV,UAAU;aACX,CAAC,CAAC;QACL,CAAC;QAED,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,CAAC;YACjC,MAAM,UAAU,GAAG,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC;gBAC7C,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI;gBAClB,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC;oBAC/B,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI;oBAClB,CAAC,CAAC,SAAS,CAAC;YAEhB,IAAI,CAAC,UAAU,IAAI,0BAA0B,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC1D,SAAS,CAAC,qBAAqB;YACjC,CAAC;YAED,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,iBAAiB;gBACvB,IAAI,EAAE,UAAU;gBAChB,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;oBACnD,IAAI,EAAE,WAAoB;oBAC1B,OAAO,EAAE;wBACP,IAAI,EAAE,mBAA4B;wBAClC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,KAAK,EAAE;qBACpE;oBACD,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;oBAC/D,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa;oBACjC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,cAAc;oBAC9B,OAAO,EAAE,OAAgB;iBAC1B,CAAC,CAAC;gBACH,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;aACxE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;AAC7C,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,8BAA8B,GAAG,CACrC,IAAiB,EACjB,OAAgB,EACI,EAAE;IACtB,2BAA2B;IAC3B,IAAI,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;QACvC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,+BAA+B;IAC/B,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACnE,OAAO,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IACtC,CAAC;IAED,2BAA2B;IAC3B,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACpE,OAAO,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IACtC,CAAC;IAED,gCAAgC;IAChC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAChC,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,CAAC;gBACjC,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;oBACvC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBAChC,CAAC;qBAAM,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;oBAC/C,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBAChC,CAAC;qBAAM,CAAC;oBACN,OAAO,IAAI,CAAC,CAAC,4BAA4B;gBAC3C,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,OAAO,IAAI,CAAC,CAAC,uBAAuB;YACtC,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,8CAA8C;IAC9C,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC;QAC9C,OAAO,IAAI,CAAC;IACd,CAAC;IAED,8CAA8C;IAC9C,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC;QAC9C,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,IAAI,CAAC,CAAC,gBAAgB;AAC/B,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,IAA0B,EAC1B,QAAgB,EAChB,OAAgB,EAChB,WAA4D,EACvC,EAAE;IACvB,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC;IAC1C,IAAI,KAAK;QAAE,OAAO,CAAC,GAAG,CAAC,uBAAuB,QAAQ,EAAE,CAAC,CAAC;IAE1D,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC;IACpC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvC,IAAI,KAAK;YAAE,OAAO,CAAC,GAAG,CAAC,wBAAwB,CAAC,CAAC;QACjD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,yEAAyE;IACzE,MAAM,SAAS,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC9B,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,IAAI,KAAK;YAAE,OAAO,CAAC,GAAG,CAAC,yBAAyB,CAAC,CAAC;QAClD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,8DAA8D;IAC9D,IAAI,mBAAmB,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,CAAC;QAC5C,IAAI,KAAK;YAAE,OAAO,CAAC,GAAG,CAAC,gCAAgC,CAAC,CAAC;QACzD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,gEAAgE;IAChE,IAAI,CAAC,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACzE,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,OAAO,IAAI,mBAAmB,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;YACrD,IAAI,KAAK;gBAAE,OAAO,CAAC,GAAG,CAAC,8BAA8B,CAAC,CAAC;YACvD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,yEAAyE;IACzE,IAAI,WAAW,GAAwC,IAAI,CAAC;IAE5D,oCAAoC;IACpC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;QACvC,IAAI,KAAK;YACP,OAAO,CAAC,GAAG,CACT,iCAAiC,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CACjE,CAAC;QACJ,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,UAAU,GAAG,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,QAAQ,CAAC;QACpD,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI;QACzB,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,IAAI,KAAK;YAAE,OAAO,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAC;QACnD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,KAAK;QAAE,OAAO,CAAC,GAAG,CAAC,qBAAqB,UAAU,EAAE,CAAC,CAAC;IAE1D,kEAAkE;IAClE,IAAI,uBAAuB,CAAC,UAAU,CAAC,IAAI,SAAS,CAAC,aAAa,EAAE,MAAM,EAAE,CAAC;QAC3E,kDAAkD;QAClD,MAAM,aAAa,GAAG,iBAAiB,CACrC,SAAS,EACT,UAAU,EACV,OAAO,EACP,WAAW,CACZ,CAAC;QACF,IAAI,aAAa,EAAE,CAAC;YAClB,IAAI,KAAK;gBACP,OAAO,CAAC,GAAG,CACT,kCAAkC,UAAU,SAAS,aAAa,CAAC,OAAO,CAAC,MAAM,UAAU,CAC5F,CAAC;YACJ,WAAW,GAAG,aAAa,CAAC,OAAO,CAAC;QACtC,CAAC;aAAM,CAAC;YACN,IAAI,KAAK;gBACP,OAAO,CAAC,GAAG,CAAC,oCAAoC,UAAU,SAAS,CAAC,CAAC;YACvE,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;SAAM,CAAC;QACN,6DAA6D;QAC7D,MAAM,MAAM,GAAG,OAAO,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAC;QACvD,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,IAAI,KAAK;gBAAE,OAAO,CAAC,GAAG,CAAC,2BAA2B,UAAU,EAAE,CAAC,CAAC;YAChE,OAAO,IAAI,CAAC;QACd,CAAC;QAED,MAAM,QAAQ,GAAI,OAA2B;aAC1C,kBAAkB,EAAE;aACpB,OAAO,CAAC,MAAM,CAAC,CAAC;QACnB,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC;YACxB,IAAI,KAAK;gBAAE,OAAO,CAAC,GAAG,CAAC,gCAAgC,UAAU,EAAE,CAAC,CAAC;YACrE,OAAO,IAAI,CAAC;QACd,CAAC;QAED,MAAM,IAAI,GAAG,QAAQ,CAAC,QAA0B,CAAC;QACjD,IAAI,KAAK;YACP,OAAO,CAAC,GAAG,CAAC,gCAAgC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAE1E,2CAA2C;QAC3C,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;YACzE,IAAI,KAAK;gBAAE,OAAO,CAAC,GAAG,CAAC,wCAAwC,CAAC,CAAC;YACjE,OAAO,IAAI,CAAC;QACd,CAAC;QAED,+CAA+C;QAC/C,WAAW,GAAG,6BAA6B,CAAC,IAAI,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;QACxE,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,IAAI,KAAK;gBACP,OAAO,CAAC,GAAG,CAAC,uDAAuD,CAAC,CAAC;YACvE,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,KAAK;YAAE,OAAO,CAAC,GAAG,CAAC,uBAAuB,WAAW,CAAC,MAAM,UAAU,CAAC,CAAC;IAC9E,CAAC;IAED,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,4CAA4C;IAC5C,IAAI,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QAC/C,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,OAAO,IAAI,CAAC;QACd,CAAC;QAED,MAAM,IAAI,GAAG,8BAA8B,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAC9D,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,IAAI,CAAC,CAAC,6BAA6B;QAC5C,CAAC;QAED,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;YAC/C,MAAM,OAAO,GACX,QAAQ,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC7D,OAAO,OAAO,CAAC;QACjB,CAAC,CAAC,CAAC;QAEH,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC;IAC1D,CAAC;IAED,kDAAkD;IAClD,MAAM,kBAAkB,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAqB,EAAE;QAClE,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACnC,MAAM,UAAU,GACd,QAAQ,KAAK,SAAS;gBACpB,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC,QAAQ,KAAK,UAAU;oBACvB,CAAC,CAAC,KAAK;oBACP,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;YACrB,MAAM,UAAU,GAAG,QAAQ,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;YAEjE,OAAO;gBACL,GAAG,CAAC;gBACJ,UAAU;gBACV,UAAU;aACX,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC,CAAC,CAAC;IAEH,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,kBAAkB,EAAE,CAAC;AAC7D,CAAC,CAAC"}

package/dist/ir/type-system/internal/type-converter/mapped-utility-record.d.ts

@@ -0,0 +1,27 @@
+/**
+ * Record type expansion and type assignability helpers.
+ *
+ * Contains expandRecordType for expanding Record<K, T> to IrObjectType,
+ * flattenUnionIrType, and isProvablyAssignable.
+ */
+import * as ts from "typescript";
+import { IrType, IrObjectType } from "../../../types.js";
+import type { Binding } from "../../../binding/index.js";
+/**
+ * Expand Record<K, T> to IrObjectType when K is a finite set of literal keys.
+ *
+ * DETERMINISTIC IR TYPING (INV-0 compliant):
+ * Uses AST-based analysis only. Extracts literal keys from TypeNode,
+ * not from ts.Type.
+ *
+ * Gating conditions:
+ * - Returns null if K contains type parameters (generic context)
+ * - Returns null if K is string or number (should remain IrDictionaryType)
+ * - Returns null if K contains non-literal types
+ */
+export declare const expandRecordType: (node: ts.TypeReferenceNode, binding: Binding, convertType: (node: ts.TypeNode, binding: Binding) => IrType) => IrObjectType | null;
+type TriBool = true | false | null;
+export declare const flattenUnionIrType: (type: IrType) => readonly IrType[];
+export declare const isProvablyAssignable: (source: IrType, target: IrType) => TriBool;
+export {};
+//# sourceMappingURL=mapped-utility-record.d.ts.map

package/dist/ir/type-system/internal/type-converter/mapped-utility-record.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mapped-utility-record.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/mapped-utility-record.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,YAAY,EAAuB,MAAM,mBAAmB,CAAC;AAC9E,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,2BAA2B,CAAC;AAMzD;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,gBAAgB,GAC3B,MAAM,EAAE,CAAC,iBAAiB,EAC1B,SAAS,OAAO,EAChB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,KAAK,MAAM,KAC3D,YAAY,GAAG,IA4CjB,CAAC;AAyDF,KAAK,OAAO,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,CAAC;AAEnC,eAAO,MAAM,kBAAkB,GAAI,MAAM,MAAM,KAAG,SAAS,MAAM,EAShE,CAAC;AAEF,eAAO,MAAM,oBAAoB,GAC/B,QAAQ,MAAM,EACd,QAAQ,MAAM,KACb,OAuDF,CAAC"}

package/dist/ir/type-system/internal/type-converter/mapped-utility-record.js

@@ -0,0 +1,174 @@
+/**
+ * Record type expansion and type assignability helpers.
+ *
+ * Contains expandRecordType for expanding Record<K, T> to IrObjectType,
+ * flattenUnionIrType, and isProvablyAssignable.
+ */
+import * as ts from "typescript";
+import { isTypeParameterNode, typeNodeContainsTypeParameter, } from "./mapped-utility-expansion.js";
+/**
+ * Expand Record<K, T> to IrObjectType when K is a finite set of literal keys.
+ *
+ * DETERMINISTIC IR TYPING (INV-0 compliant):
+ * Uses AST-based analysis only. Extracts literal keys from TypeNode,
+ * not from ts.Type.
+ *
+ * Gating conditions:
+ * - Returns null if K contains type parameters (generic context)
+ * - Returns null if K is string or number (should remain IrDictionaryType)
+ * - Returns null if K contains non-literal types
+ */
+export const expandRecordType = (node, binding, convertType) => {
+    const typeArgs = node.typeArguments;
+    if (!typeArgs || typeArgs.length !== 2) {
+        return null;
+    }
+    const keyTypeNode = typeArgs[0];
+    const valueTypeNode = typeArgs[1];
+    if (!keyTypeNode || !valueTypeNode) {
+        return null;
+    }
+    // Check for type parameters in key (AST-based)
+    if (typeNodeContainsTypeParameter(keyTypeNode, binding)) {
+        return null;
+    }
+    // Check for type parameters in value (AST-based)
+    if (typeNodeContainsTypeParameter(valueTypeNode, binding)) {
+        return null;
+    }
+    // Try to extract finite literal keys (AST-based)
+    const literalKeys = extractLiteralKeysFromTypeNode(keyTypeNode, binding);
+    if (literalKeys === null || literalKeys.size === 0) {
+        // Not a finite set of literals - use IrDictionaryType
+        return null;
+    }
+    // Convert the value type
+    const irValueType = convertType(valueTypeNode, binding);
+    // Build IrObjectType with a property for each key
+    // Prefix numeric keys with '_' to make them valid C# identifiers
+    const members = Array.from(literalKeys).map((key) => ({
+        kind: "propertySignature",
+        name: /^\d/.test(key) ? `_${key}` : key,
+        type: irValueType,
+        isOptional: false,
+        isReadonly: false,
+    }));
+    return { kind: "objectType", members };
+};
+/**
+ * Extract literal keys from a TypeNode (AST-based).
+ * Returns null if the type contains non-literal constituents or is a type parameter.
+ */
+const extractLiteralKeysFromTypeNode = (node, binding) => {
+    // Check for type parameter
+    if (isTypeParameterNode(node, binding)) {
+        return null;
+    }
+    // Handle string literal: "foo"
+    if (ts.isLiteralTypeNode(node) && ts.isStringLiteral(node.literal)) {
+        return new Set([node.literal.text]);
+    }
+    // Handle number literal: 1
+    if (ts.isLiteralTypeNode(node) && ts.isNumericLiteral(node.literal)) {
+        return new Set([node.literal.text]);
+    }
+    // Handle union: "a" | "b" | "c"
+    if (ts.isUnionTypeNode(node)) {
+        const keys = new Set();
+        for (const member of node.types) {
+            if (ts.isLiteralTypeNode(member)) {
+                if (ts.isStringLiteral(member.literal)) {
+                    keys.add(member.literal.text);
+                }
+                else if (ts.isNumericLiteral(member.literal)) {
+                    keys.add(member.literal.text);
+                }
+                else {
+                    return null; // Non-string/number literal
+                }
+            }
+            else {
+                return null; // Non-literal in union
+            }
+        }
+        return keys;
+    }
+    // String keyword - infinite set, can't expand
+    if (node.kind === ts.SyntaxKind.StringKeyword) {
+        return null;
+    }
+    // Number keyword - infinite set, can't expand
+    if (node.kind === ts.SyntaxKind.NumberKeyword) {
+        return null;
+    }
+    return null; // Not supported
+};
+export const flattenUnionIrType = (type) => {
+    if (type.kind === "neverType")
+        return [];
+    if (type.kind !== "unionType")
+        return [type];
+    const flat = [];
+    for (const t of type.types) {
+        flat.push(...flattenUnionIrType(t));
+    }
+    return flat;
+};
+export const isProvablyAssignable = (source, target) => {
+    // Union target: assignable if assignable to any constituent
+    if (target.kind === "unionType") {
+        let sawUnknown = false;
+        for (const t of target.types) {
+            const res = isProvablyAssignable(source, t);
+            if (res === true)
+                return true;
+            if (res === null)
+                sawUnknown = true;
+        }
+        return sawUnknown ? null : false;
+    }
+    // Top types
+    if (target.kind === "anyType")
+        return true;
+    if (target.kind === "unknownType")
+        return true;
+    // Bottom
+    if (target.kind === "neverType")
+        return source.kind === "neverType";
+    if (source.kind === "neverType")
+        return true;
+    // Exact literals
+    if (source.kind === "literalType" && target.kind === "literalType") {
+        return source.value === target.value;
+    }
+    // Primitive <-> primitive
+    if (source.kind === "primitiveType" && target.kind === "primitiveType") {
+        return source.name === target.name;
+    }
+    // Literal -> primitive
+    if (source.kind === "literalType" && target.kind === "primitiveType") {
+        switch (typeof source.value) {
+            case "string":
+                return target.name === "string";
+            case "number":
+                // Numeric literal types are always assignable to `number`.
+                // Assignability to `int` is intentionally left unknown here (range-dependent).
+                if (target.name === "number")
+                    return true;
+                if (target.name === "int")
+                    return null;
+                return false;
+            case "boolean":
+                return target.name === "boolean";
+            default:
+                return null;
+        }
+    }
+    // Primitive -> literal is never provable (would require narrowing)
+    if (source.kind === "primitiveType" && target.kind === "literalType") {
+        return false;
+    }
+    // Other kinds (reference types, functions, objects, etc.) require richer typing.
+    return null;
+};
+//# sourceMappingURL=mapped-utility-record.js.map

package/dist/ir/type-system/internal/type-converter/mapped-utility-record.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mapped-utility-record.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/mapped-utility-record.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAGjC,OAAO,EACL,mBAAmB,EACnB,6BAA6B,GAC9B,MAAM,+BAA+B,CAAC;AAEvC;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,IAA0B,EAC1B,OAAgB,EAChB,WAA4D,EACvC,EAAE;IACvB,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC;IACpC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,WAAW,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IAChC,MAAM,aAAa,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IAElC,IAAI,CAAC,WAAW,IAAI,CAAC,aAAa,EAAE,CAAC;QACnC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,+CAA+C;IAC/C,IAAI,6BAA6B,CAAC,WAAW,EAAE,OAAO,CAAC,EAAE,CAAC;QACxD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,iDAAiD;IACjD,IAAI,6BAA6B,CAAC,aAAa,EAAE,OAAO,CAAC,EAAE,CAAC;QAC1D,OAAO,IAAI,CAAC;IACd,CAAC;IAED,iDAAiD;IACjD,MAAM,WAAW,GAAG,8BAA8B,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IACzE,IAAI,WAAW,KAAK,IAAI,IAAI,WAAW,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACnD,sDAAsD;QACtD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,yBAAyB;IACzB,MAAM,WAAW,GAAG,WAAW,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;IAExD,kDAAkD;IAClD,iEAAiE;IACjE,MAAM,OAAO,GAA0B,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAC3E,IAAI,EAAE,mBAA4B;QAClC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG;QACvC,IAAI,EAAE,WAAW;QACjB,UAAU,EAAE,KAAK;QACjB,UAAU,EAAE,KAAK;KAClB,CAAC,CAAC,CAAC;IAEJ,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC;AACzC,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,8BAA8B,GAAG,CACrC,IAAiB,EACjB,OAAgB,EACI,EAAE;IACtB,2BAA2B;IAC3B,IAAI,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;QACvC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,+BAA+B;IAC/B,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACnE,OAAO,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IACtC,CAAC;IAED,2BAA2B;IAC3B,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACpE,OAAO,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IACtC,CAAC;IAED,gCAAgC;IAChC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAChC,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,CAAC;gBACjC,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;oBACvC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBAChC,CAAC;qBAAM,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;oBAC/C,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBAChC,CAAC;qBAAM,CAAC;oBACN,OAAO,IAAI,CAAC,CAAC,4BAA4B;gBAC3C,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,OAAO,IAAI,CAAC,CAAC,uBAAuB;YACtC,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,8CAA8C;IAC9C,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC;QAC9C,OAAO,IAAI,CAAC;IACd,CAAC;IAED,8CAA8C;IAC9C,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC;QAC9C,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,IAAI,CAAC,CAAC,gBAAgB;AAC/B,CAAC,CAAC;AAIF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,IAAY,EAAqB,EAAE;IACpE,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,EAAE,CAAC;IACzC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAE7C,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,MAAc,EACd,MAAc,EACL,EAAE;IACX,4DAA4D;IAC5D,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAChC,IAAI,UAAU,GAAG,KAAK,CAAC;QACvB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAC7B,MAAM,GAAG,GAAG,oBAAoB,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YAC5C,IAAI,GAAG,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAC9B,IAAI,GAAG,KAAK,IAAI;gBAAE,UAAU,GAAG,IAAI,CAAC;QACtC,CAAC;QACD,OAAO,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;IACnC,CAAC;IAED,YAAY;IACZ,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC3C,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO,IAAI,CAAC;IAE/C,SAAS;IACT,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,MAAM,CAAC,IAAI,KAAK,WAAW,CAAC;IACpE,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAE7C,iBAAiB;IACjB,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACnE,OAAO,MAAM,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK,CAAC;IACvC,CAAC;IAED,0BAA0B;IAC1B,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACvE,OAAO,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC;IACrC,CAAC;IAED,uBAAuB;IACvB,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACrE,QAAQ,OAAO,MAAM,CAAC,KAAK,EAAE,CAAC;YAC5B,KAAK,QAAQ;gBACX,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC;YAClC,KAAK,QAAQ;gBACX,2DAA2D;gBAC3D,+EAA+E;gBAC/E,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ;oBAAE,OAAO,IAAI,CAAC;gBAC1C,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK;oBAAE,OAAO,IAAI,CAAC;gBACvC,OAAO,KAAK,CAAC;YACf,KAAK,SAAS;gBACZ,OAAO,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC;YACnC;gBACE,OAAO,IAAI,CAAC;QAChB,CAAC;IACH,CAAC;IAED,mEAAmE;IACnE,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACrE,OAAO,KAAK,CAAC;IACf,CAAC;IAED,iFAAiF;IACjF,OAAO,IAAI,CAAC;AACd,CAAC,CAAC"}

package/dist/ir/type-system/internal/type-converter/mapped-utility-types.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Mapped utility type expansion (facade)
+ *
+ * Sub-modules:
+ * - mapped-utility-expansion.ts : Partial, Required, Readonly, Pick, Omit expansion
+ * - mapped-utility-record.ts    : Record expansion, assignability helpers
+ */
+export { EXPANDABLE_UTILITY_TYPES, isExpandableUtilityType, isTypeParameterNode, typeNodeContainsTypeParameter, expandUtilityType, } from "./mapped-utility-expansion.js";
+export { expandRecordType, flattenUnionIrType, isProvablyAssignable, } from "./mapped-utility-record.js";
+//# sourceMappingURL=mapped-utility-types.d.ts.map

package/dist/ir/type-system/internal/type-converter/mapped-utility-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mapped-utility-types.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/mapped-utility-types.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,wBAAwB,EACxB,uBAAuB,EACvB,mBAAmB,EACnB,6BAA6B,EAC7B,iBAAiB,GAClB,MAAM,+BAA+B,CAAC;AAEvC,OAAO,EACL,gBAAgB,EAChB,kBAAkB,EAClB,oBAAoB,GACrB,MAAM,4BAA4B,CAAC"}

package/dist/ir/type-system/internal/type-converter/mapped-utility-types.js

@@ -0,0 +1,10 @@
+/**
+ * Mapped utility type expansion (facade)
+ *
+ * Sub-modules:
+ * - mapped-utility-expansion.ts : Partial, Required, Readonly, Pick, Omit expansion
+ * - mapped-utility-record.ts    : Record expansion, assignability helpers
+ */
+export { EXPANDABLE_UTILITY_TYPES, isExpandableUtilityType, isTypeParameterNode, typeNodeContainsTypeParameter, expandUtilityType, } from "./mapped-utility-expansion.js";
+export { expandRecordType, flattenUnionIrType, isProvablyAssignable, } from "./mapped-utility-record.js";
+//# sourceMappingURL=mapped-utility-types.js.map

package/dist/ir/type-system/internal/type-converter/mapped-utility-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mapped-utility-types.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/mapped-utility-types.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,wBAAwB,EACxB,uBAAuB,EACvB,mBAAmB,EACnB,6BAA6B,EAC7B,iBAAiB,GAClB,MAAM,+BAA+B,CAAC;AAEvC,OAAO,EACL,gBAAgB,EAChB,kBAAkB,EAClB,oBAAoB,GACrB,MAAM,4BAA4B,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"objects.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/objects.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,MAAM,EACN,YAAY,EACZ,gBAAgB,EAKjB,MAAM,mBAAmB,CAAC;AAE3B,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,2BAA2B,CAAC;AAEzD;;;;;;;;GAQG;AACH,eAAO,MAAM,iBAAiB,GAC5B,MAAM,EAAE,CAAC,eAAe,EACxB,SAAS,OAAO,EAChB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,KAAK,MAAM,KAC3D,YAAY,GAAG,gBAqEjB,CAAC"}
+{"version":3,"file":"objects.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/objects.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,MAAM,EACN,YAAY,EACZ,gBAAgB,EAKjB,MAAM,mBAAmB,CAAC;AAG3B,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,2BAA2B,CAAC;AAEzD;;;;;;;;GAQG;AACH,eAAO,MAAM,iBAAiB,GAC5B,MAAM,EAAE,CAAC,eAAe,EACxB,SAAS,OAAO,EAChB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,KAAK,MAAM,KAC3D,YAAY,GAAG,gBAuEjB,CAAC"}

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

@@ -6,6 +6,7 @@
  */
 import * as ts from "typescript";
 import { convertBindingName } from "../../../syntax/binding-patterns.js";
+import { tryResolveDeterministicPropertyName } from "../../../syntax/property-names.js";
 /**
  * Convert TypeScript object literal type to IR type.
  *
@@ -44,11 +45,13 @@ export const convertObjectType = (node, binding, convertType) => {
     const members = [];
     node.members.forEach((member) => {
         if (ts.isPropertySignature(member) && member.type) {
+            const memberName = tryResolveDeterministicPropertyName(member.name);
+            if (!memberName) {
+                return;
+            }
             const propSig = {
                 kind: "propertySignature",
-                name: member.name && ts.isIdentifier(member.name)
-                    ? member.name.text
-                    : "[computed]",
+                name: memberName,
                 type: convertType(member.type, binding),
                 isOptional: !!member.questionToken,
                 isReadonly: !!member.modifiers?.some((m) => m.kind === ts.SyntaxKind.ReadonlyKeyword),
@@ -56,11 +59,13 @@ export const convertObjectType = (node, binding, convertType) => {
             members.push(propSig);
         }
         else if (ts.isMethodSignature(member)) {
+            const memberName = tryResolveDeterministicPropertyName(member.name);
+            if (!memberName) {
+                return;
+            }
             const methSig = {
                 kind: "methodSignature",
-                name: member.name && ts.isIdentifier(member.name)
-                    ? member.name.text
-                    : "[computed]",
+                name: memberName,
                 parameters: convertTypeParameters(member.parameters, binding, convertType),
                 returnType: member.type ? convertType(member.type, binding) : undefined,
             };