@tsonic/frontend 0.0.13 → 0.0.15

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

@@ -0,0 +1 @@
+{"version":3,"file":"inference.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/inference.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,KAAK,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,2BAA2B,CAAC;AAEzD;;;;GAIG;AACH,MAAM,MAAM,0BAA0B,GAAG;IACvC,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC;IACrD,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;CAC/B,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,qBAAqB,GAChC,OAAO,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,kBAAkB,EAC/C,UAAU,OAAO,KAChB,0BAA0B,GAAG,SAO/B,CAAC"}

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

@@ -0,0 +1,32 @@
+/**
+ * Type inference - Deterministic IR typing for lambda parameters
+ *
+ * IMPORTANT: Contextual type inference has been removed for INV-0 compliance.
+ * Lambda parameter types must now come from:
+ * 1. Explicit type annotations on parameters
+ * 2. ExpectedType threaded from call argument position
+ *
+ * The banned APIs (getContextualType, getTypeOfSymbolAtLocation, typeToTypeNode)
+ * are no longer used here. All typing is deterministic.
+ */
+/**
+ * Infer parameter types for a lambda (arrow function or function expression).
+ *
+ * DETERMINISTIC IR TYPING (INV-0 compliant):
+ * This function no longer uses contextual type inference from TypeScript.
+ * Lambda parameter types are determined by:
+ * 1. Explicit type annotations on parameters → handled by param.type
+ * 2. ExpectedType threaded from call argument position → handled by calls.ts
+ *
+ * Returns undefined to indicate that no contextual inference is performed.
+ * The caller (expression converter) will use expectedType from the call site.
+ */
+export const inferLambdaParamTypes = (_node, _binding) => {
+    // Contextual inference removed for deterministic IR typing (INV-0).
+    // Lambda params receive types via:
+    // 1. Explicit type annotations on parameters
+    // 2. ExpectedType threaded from call argument position (calls.ts:664-684)
+    // TSN5202 catches missing types during validation.
+    return undefined;
+};
+//# sourceMappingURL=inference.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"inference.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/inference.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAgBH;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,KAA+C,EAC/C,QAAiB,EACuB,EAAE;IAC1C,oEAAoE;IACpE,mCAAmC;IACnC,6CAA6C;IAC7C,0EAA0E;IAC1E,mDAAmD;IACnD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}

package/dist/ir/{type-converter → type-system/internal/type-converter}/literals.d.ts

@@ -2,7 +2,7 @@
  * Literal type conversion
  */
 import * as ts from "typescript";
-import { IrType } from "../types.js";
+import { IrType } from "../../../types.js";
 /**
  * Convert TypeScript literal type to IR literal type
  */

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

@@ -0,0 +1 @@
+{"version":3,"file":"literals.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/literals.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAE3C;;GAEG;AACH,eAAO,MAAM,kBAAkB,GAAI,MAAM,EAAE,CAAC,eAAe,KAAG,MA8B7D,CAAC"}

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

@@ -0,0 +1 @@
+{"version":3,"file":"literals.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/literals.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAGjC;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,IAAwB,EAAU,EAAE;IACrE,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;IAE7B,IAAI,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC;QAChC,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC;IACtD,CAAC;IAED,IAAI,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC;QACjC,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;IAC9D,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;QAC/C,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAC9C,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,EAAE,CAAC;QAChD,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IAC/C,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;QAC/C,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACjD,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EAAE,CAAC;QACpD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IACtD,CAAC;IAED,6DAA6D;IAC7D,yDAAyD;IACzD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AAC7B,CAAC,CAAC"}

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

@@ -0,0 +1,20 @@
+/**
+ * Object/interface type conversion
+ *
+ * Phase 5 Step 4: Uses local parameter helper (no ProgramContext dependency).
+ * Type conversion should NOT depend on statement conversion.
+ */
+import * as ts from "typescript";
+import { IrType, IrObjectType, IrDictionaryType } from "../../../types.js";
+import type { Binding } from "../../../binding/index.js";
+/**
+ * Convert TypeScript object literal type to IR type.
+ *
+ * Returns IrDictionaryType for pure index signature types like:
+ * - `{ [k: string]: T }`
+ * - `{ [k: number]: T }`
+ *
+ * Returns IrObjectType for regular object types with named members.
+ */
+export declare const convertObjectType: (node: ts.TypeLiteralNode, binding: Binding, convertType: (node: ts.TypeNode, binding: Binding) => IrType) => IrObjectType | IrDictionaryType;
+//# sourceMappingURL=objects.d.ts.map

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

@@ -0,0 +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"}

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

@@ -1,8 +1,11 @@
 /**
  * Object/interface type conversion
+ *
+ * Phase 5 Step 4: Uses local parameter helper (no ProgramContext dependency).
+ * Type conversion should NOT depend on statement conversion.
  */
 import * as ts from "typescript";
-import { convertParameters as convertParametersFromStatement } from "../statement-converter.js";
+import { convertBindingName } from "../../../syntax/binding-patterns.js";
 /**
  * Convert TypeScript object literal type to IR type.
  *
@@ -12,7 +15,7 @@ import { convertParameters as convertParametersFromStatement } from "../statemen
  *
  * Returns IrObjectType for regular object types with named members.
  */
-export const convertObjectType = (node, checker, convertType) => {
+export const convertObjectType = (node, binding, convertType) => {
     // Check for pure index signature type (no other members)
     const indexSignatures = node.members.filter(ts.isIndexSignatureDeclaration);
     const otherMembers = node.members.filter((m) => !ts.isIndexSignatureDeclaration(m));
@@ -29,7 +32,7 @@ export const convertObjectType = (node, checker, convertType) => {
         // Determine value type - use anyType as marker if not specified
         // The IR soundness gate will catch this and emit TSN7414
         const valueType = indexSig.type
-            ? convertType(indexSig.type, checker)
+            ? convertType(indexSig.type, binding)
             : { kind: "anyType" };
         return {
             kind: "dictionaryType",
@@ -46,7 +49,7 @@ export const convertObjectType = (node, checker, convertType) => {
                 name: member.name && ts.isIdentifier(member.name)
                     ? member.name.text
                     : "[computed]",
-                type: convertType(member.type, checker),
+                type: convertType(member.type, binding),
                 isOptional: !!member.questionToken,
                 isReadonly: !!member.modifiers?.some((m) => m.kind === ts.SyntaxKind.ReadonlyKeyword),
             };
@@ -58,8 +61,8 @@ export const convertObjectType = (node, checker, convertType) => {
                 name: member.name && ts.isIdentifier(member.name)
                     ? member.name.text
                     : "[computed]",
-                parameters: convertParametersFromStatement(member.parameters, checker),
-                returnType: member.type ? convertType(member.type, checker) : undefined,
+                parameters: convertTypeParameters(member.parameters, binding, convertType),
+                returnType: member.type ? convertType(member.type, binding) : undefined,
             };
             members.push(methSig);
         }
@@ -80,4 +83,51 @@ const convertKeyType = (typeNode) => {
     // Fallback to string for other cases
     return { kind: "primitiveType", name: "string" };
 };
+/**
+ * Convert parameters for method signatures (no initializers, no ProgramContext).
+ *
+ * This is used for MethodSignature in type contexts.
+ * Unlike statement-converter's convertParameters, this:
+ * - Does NOT convert initializers (type signatures don't have them)
+ * - Does NOT require ProgramContext
+ * - Takes a convertType function for type node conversion
+ */
+const convertTypeParameters = (parameters, binding, convertType) => {
+    return parameters.map((param) => {
+        let passing = "value";
+        let actualType = param.type;
+        // Detect ref<T>, out<T>, in<T>, inref<T> wrapper types
+        if (param.type &&
+            ts.isTypeReferenceNode(param.type) &&
+            ts.isIdentifier(param.type.typeName)) {
+            const typeName = param.type.typeName.text;
+            if ((typeName === "ref" ||
+                typeName === "out" ||
+                typeName === "in" ||
+                typeName === "inref") &&
+                param.type.typeArguments &&
+                param.type.typeArguments.length > 0) {
+                // Set passing mode (both "in" and "inref" map to C# "in")
+                passing =
+                    typeName === "in" || typeName === "inref"
+                        ? "in"
+                        : typeName;
+                // Extract wrapped type
+                actualType = param.type.typeArguments[0];
+            }
+        }
+        // Convert type if present
+        const paramType = actualType ? convertType(actualType, binding) : undefined;
+        return {
+            kind: "parameter",
+            pattern: convertBindingName(param.name),
+            type: paramType,
+            // Type signatures don't have initializers
+            initializer: undefined,
+            isOptional: !!param.questionToken,
+            isRest: !!param.dotDotDotToken,
+            passing,
+        };
+    });
+};
 //# sourceMappingURL=objects.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"objects.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/objects.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAUjC,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AAGzE;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,IAAwB,EACxB,OAAgB,EAChB,WAA4D,EAC3B,EAAE;IACnC,yDAAyD;IACzD,MAAM,eAAe,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,2BAA2B,CAAC,CAAC;IAC5E,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CACtC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,2BAA2B,CAAC,CAAC,CAAC,CAC1C,CAAC;IAEF,+DAA+D;IAC/D,MAAM,aAAa,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,aAAa,KAAK,SAAS,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7D,gFAAgF;QAChF,MAAM,QAAQ,GAAG,aAAa,CAAC;QAC/B,MAAM,QAAQ,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAExC,yCAAyC;QACzC,MAAM,OAAO,GAAW,QAAQ,EAAE,IAAI;YACpC,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC/B,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QAE9C,gEAAgE;QAChE,yDAAyD;QACzD,MAAM,SAAS,GAAW,QAAQ,CAAC,IAAI;YACrC,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;YACrC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAExB,OAAO;YACL,IAAI,EAAE,gBAAgB;YACtB,OAAO;YACP,SAAS;SACV,CAAC;IACJ,CAAC;IAED,yCAAyC;IACzC,MAAM,OAAO,GAAwB,EAAE,CAAC;IAExC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE;QAC9B,IAAI,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YAClD,MAAM,OAAO,GAAwB;gBACnC,IAAI,EAAE,mBAAmB;gBACzB,IAAI,EACF,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC;oBACzC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI;oBAClB,CAAC,CAAC,YAAY;gBAClB,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC;gBACvC,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,aAAa;gBAClC,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,CAClC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAChD;aACF,CAAC;YACF,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACxB,CAAC;aAAM,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,CAAC;YACxC,MAAM,OAAO,GAAsB;gBACjC,IAAI,EAAE,iBAAiB;gBACvB,IAAI,EACF,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC;oBACzC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI;oBAClB,CAAC,CAAC,YAAY;gBAClB,UAAU,EAAE,qBAAqB,CAC/B,MAAM,CAAC,UAAU,EACjB,OAAO,EACP,WAAW,CACZ;gBACD,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;aACxE,CAAC;YACF,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACxB,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC;AACzC,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,cAAc,GAAG,CAAC,QAAqB,EAAU,EAAE;IACvD,IAAI,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC;QAClD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACnD,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC;QAClD,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACnD,CAAC;IACD,qCAAqC;IACrC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACnD,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,qBAAqB,GAAG,CAC5B,UAAiD,EACjD,OAAgB,EAChB,WAA4D,EACpC,EAAE;IAC1B,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAC9B,IAAI,OAAO,GAAmC,OAAO,CAAC;QACtD,IAAI,UAAU,GAA4B,KAAK,CAAC,IAAI,CAAC;QAErD,uDAAuD;QACvD,IACE,KAAK,CAAC,IAAI;YACV,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,IAAI,CAAC;YAClC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,EACpC,CAAC;YACD,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC1C,IACE,CAAC,QAAQ,KAAK,KAAK;gBACjB,QAAQ,KAAK,KAAK;gBAClB,QAAQ,KAAK,IAAI;gBACjB,QAAQ,KAAK,OAAO,CAAC;gBACvB,KAAK,CAAC,IAAI,CAAC,aAAa;gBACxB,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EACnC,CAAC;gBACD,0DAA0D;gBAC1D,OAAO;oBACL,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,OAAO;wBACvC,CAAC,CAAC,IAAI;wBACN,CAAC,CAAE,QAA0B,CAAC;gBAClC,uBAAuB;gBACvB,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;YAC3C,CAAC;QACH,CAAC;QAED,0BAA0B;QAC1B,MAAM,SAAS,GAAG,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAE5E,OAAO;YACL,IAAI,EAAE,WAAoB;YAC1B,OAAO,EAAE,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC;YACvC,IAAI,EAAE,SAAS;YACf,0CAA0C;YAC1C,WAAW,EAAE,SAAS;YACtB,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa;YACjC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,cAAc;YAC9B,OAAO;SACR,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC"}

package/dist/ir/{type-converter → type-system/internal/type-converter}/orchestrator.d.ts

@@ -2,11 +2,12 @@
  * Type conversion orchestrator
  */
 import * as ts from "typescript";
-import { IrType, IrFunctionType, IrObjectType, IrDictionaryType, IrTupleType } from "../types.js";
+import { IrType, IrFunctionType, IrObjectType, IrDictionaryType, IrTupleType } from "../../../types.js";
+import type { Binding } from "../../../binding/index.js";
 /**
  * Convert TypeScript type node to IR type
  */
-export declare const convertType: (typeNode: ts.TypeNode, checker: ts.TypeChecker) => IrType;
+export declare const convertType: (typeNode: ts.TypeNode, binding: Binding) => IrType;
 export { convertFunctionType } from "./functions.js";
 export { convertObjectType } from "./objects.js";
 export type { IrFunctionType, IrObjectType, IrDictionaryType, IrTupleType };

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

@@ -0,0 +1 @@
+{"version":3,"file":"orchestrator.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/orchestrator.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,MAAM,EACN,cAAc,EACd,YAAY,EACZ,gBAAgB,EAChB,WAAW,EACZ,MAAM,mBAAmB,CAAC;AAW3B,OAAO,KAAK,EAAE,OAAO,EAAmB,MAAM,2BAA2B,CAAC;AAE1E;;GAEG;AACH,eAAO,MAAM,WAAW,GACtB,UAAU,EAAE,CAAC,QAAQ,EACrB,SAAS,OAAO,KACf,MA8JF,CAAC;AAGF,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAGjD,YAAY,EAAE,cAAc,EAAE,YAAY,EAAE,gBAAgB,EAAE,WAAW,EAAE,CAAC"}

package/dist/ir/{type-converter → type-system/internal/type-converter}/orchestrator.js

@@ -12,10 +12,38 @@ import { convertLiteralType } from "./literals.js";
 /**
  * Convert TypeScript type node to IR type
  */
-export const convertType = (typeNode, checker) => {
+export const convertType = (typeNode, binding) => {
+    // Heritage clause type syntax (`extends Foo<T>`, `implements Bar<U>`) is represented
+    // as ExpressionWithTypeArguments in the TS AST. This must be treated like a normal
+    // type reference so NominalEnv can compute substitution through inheritance chains.
+    if (ts.isExpressionWithTypeArguments(typeNode)) {
+        const name = (() => {
+            const expr = typeNode.expression;
+            if (ts.isIdentifier(expr))
+                return expr.text;
+            if (ts.isPropertyAccessExpression(expr)) {
+                const parts = [];
+                let current = expr;
+                while (ts.isPropertyAccessExpression(current)) {
+                    parts.unshift(current.name.text);
+                    current = current.expression;
+                }
+                if (ts.isIdentifier(current)) {
+                    parts.unshift(current.text);
+                    return parts.join(".");
+                }
+            }
+            return expr.getText();
+        })();
+        return {
+            kind: "referenceType",
+            name,
+            typeArguments: typeNode.typeArguments?.map((t) => convertType(t, binding)),
+        };
+    }
     // Type references (including primitive type names)
     if (ts.isTypeReferenceNode(typeNode)) {
-        return convertTypeReference(typeNode, checker, convertType);
+        return convertTypeReference(typeNode, binding, convertType);
     }
     // Primitive keywords
     const primitiveType = convertPrimitiveKeyword(typeNode.kind);
@@ -24,7 +52,7 @@ export const convertType = (typeNode, checker) => {
     }
     // Array types
     if (ts.isArrayTypeNode(typeNode)) {
-        return convertArrayType(typeNode, checker, convertType);
+        return convertArrayType(typeNode, binding, convertType);
     }
     // Tuple types
     if (ts.isTupleTypeNode(typeNode)) {
@@ -33,7 +61,7 @@ export const convertType = (typeNode, checker) => {
         if (hasRest) {
             // If tuple is just [...T[]] (pure variadic), treat as array type
             // If tuple has both fixed and rest elements, fall through to anyType
-            // (TODO: add proper diagnostic for mixed variadic tuples)
+            // Mixed variadic tuples are intentionally unsupported (IR gate emits TSN7414).
             const firstElement = typeNode.elements[0];
             if (typeNode.elements.length === 1 &&
                 firstElement &&
@@ -42,7 +70,7 @@ export const convertType = (typeNode, checker) => {
                     // [...T[]] → T[]
                     return {
                         kind: "arrayType",
-                        elementType: convertType(firstElement.type.elementType, checker),
+                        elementType: convertType(firstElement.type.elementType, binding),
                         origin: "explicit",
                     };
                 }
@@ -53,27 +81,27 @@ export const convertType = (typeNode, checker) => {
         const elementTypes = typeNode.elements.map((element) => {
             // Handle named tuple elements (e.g., [name: string, age: number])
             if (ts.isNamedTupleMember(element)) {
-                return convertType(element.type, checker);
+                return convertType(element.type, binding);
             }
-            return convertType(element, checker);
+            return convertType(element, binding);
         });
         return { kind: "tupleType", elementTypes };
     }
     // Function types
     if (ts.isFunctionTypeNode(typeNode)) {
-        return convertFunctionType(typeNode, checker, convertType);
+        return convertFunctionType(typeNode, binding, convertType);
     }
     // Object/interface types
     if (ts.isTypeLiteralNode(typeNode)) {
-        return convertObjectType(typeNode, checker, convertType);
+        return convertObjectType(typeNode, binding, convertType);
     }
     // Union types
     if (ts.isUnionTypeNode(typeNode)) {
-        return convertUnionType(typeNode, checker, convertType);
+        return convertUnionType(typeNode, binding, convertType);
     }
     // Intersection types
     if (ts.isIntersectionTypeNode(typeNode)) {
-        return convertIntersectionType(typeNode, checker, convertType);
+        return convertIntersectionType(typeNode, binding, convertType);
     }
     // Literal types
     if (ts.isLiteralTypeNode(typeNode)) {
@@ -81,7 +109,7 @@ export const convertType = (typeNode, checker) => {
     }
     // Parenthesized types
     if (ts.isParenthesizedTypeNode(typeNode)) {
-        return convertType(typeNode.type, checker);
+        return convertType(typeNode.type, binding);
     }
     // Type predicate return types: (x is T) has no direct C# type-level equivalent.
     // MVP: lower to boolean so we can emit valid C# and avoid anyType/ICE.
@@ -89,18 +117,32 @@ export const convertType = (typeNode, checker) => {
         return { kind: "primitiveType", name: "boolean" };
     }
     // TypeQuery: typeof X - resolve to the type of the referenced value
+    // DETERMINISTIC: Get type from declaration's TypeNode, not TS inference
     if (ts.isTypeQueryNode(typeNode)) {
-        // Get the type of the referenced expression
-        const symbol = checker.getSymbolAtLocation(typeNode.exprName);
-        if (symbol) {
-            const type = checker.getTypeOfSymbolAtLocation(symbol, typeNode.exprName);
-            // Convert the resolved type
-            const typeNodeResolved = checker.typeToTypeNode(type, typeNode, ts.NodeBuilderFlags.None);
-            if (typeNodeResolved && !ts.isTypeQueryNode(typeNodeResolved)) {
-                return convertType(typeNodeResolved, checker);
+        // Resolve the expression name to its declaration using Binding
+        // For simple identifiers, use resolveIdentifier. For qualified names,
+        // we need to traverse the AST to find the declaration.
+        const exprName = typeNode.exprName;
+        if (ts.isIdentifier(exprName)) {
+            const declId = binding.resolveIdentifier(exprName);
+            if (declId) {
+                const declInfo = binding
+                    ._getHandleRegistry()
+                    .getDecl(declId);
+                // If we have a type node from the declaration, convert it
+                if (declInfo?.typeNode) {
+                    return convertType(declInfo.typeNode, binding);
+                }
+                // For classes/interfaces, return a referenceType with the name
+                if (declInfo?.kind === "class" || declInfo?.kind === "interface") {
+                    return { kind: "referenceType", name: exprName.text };
+                }
+                // For functions, we can't easily construct a function type without
+                // access to the declaration node itself, so fall through to anyType
             }
         }
-        // Fallback: use anyType as marker - IR soundness gate will emit TSN7414
+        // For qualified names (A.B.C), fall through to anyType
+        // Qualified name typeof is intentionally unsupported here (IR gate emits TSN7414).
         return { kind: "anyType" };
     }
     // Default: use anyType as marker for unsupported types

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

@@ -0,0 +1 @@
+{"version":3,"file":"orchestrator.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/orchestrator.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAQjC,OAAO,EAAE,uBAAuB,EAAE,MAAM,iBAAiB,CAAC;AAC1D,OAAO,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AACvD,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACjD,OAAO,EACL,gBAAgB,EAChB,uBAAuB,GACxB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAGnD;;GAEG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,QAAqB,EACrB,OAAgB,EACR,EAAE;IACV,qFAAqF;IACrF,mFAAmF;IACnF,oFAAoF;IACpF,IAAI,EAAE,CAAC,6BAA6B,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/C,MAAM,IAAI,GAAG,CAAC,GAAG,EAAE;YACjB,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,CAAC;YAEjC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC,IAAI,CAAC;YAE5C,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxC,MAAM,KAAK,GAAa,EAAE,CAAC;gBAC3B,IAAI,OAAO,GAAkB,IAAI,CAAC;gBAElC,OAAO,EAAE,CAAC,0BAA0B,CAAC,OAAO,CAAC,EAAE,CAAC;oBAC9C,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACjC,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;gBAC/B,CAAC;gBAED,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC;oBAC7B,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;oBAC5B,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACzB,CAAC;YACH,CAAC;YAED,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC;QACxB,CAAC,CAAC,EAAE,CAAC;QAEL,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,IAAI;YACJ,aAAa,EAAE,QAAQ,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;SAC3E,CAAC;IACJ,CAAC;IAED,mDAAmD;IACnD,IAAI,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrC,OAAO,oBAAoB,CAAC,QAAQ,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;IAC9D,CAAC;IAED,qBAAqB;IACrB,MAAM,aAAa,GAAG,uBAAuB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC7D,IAAI,aAAa,EAAE,CAAC;QAClB,OAAO,aAAa,CAAC;IACvB,CAAC;IAED,cAAc;IACd,IAAI,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjC,OAAO,gBAAgB,CAAC,QAAQ,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;IAC1D,CAAC;IAED,cAAc;IACd,IAAI,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjC,iEAAiE;QACjE,MAAM,OAAO,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC;QAErE,IAAI,OAAO,EAAE,CAAC;YACZ,iEAAiE;YACjE,qEAAqE;YACrE,+EAA+E;YAC/E,MAAM,YAAY,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC3C,IACE,QAAQ,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;gBAC9B,YAAY;gBACZ,EAAE,CAAC,cAAc,CAAC,YAAY,CAAC,EAC/B,CAAC;gBACD,IAAI,EAAE,CAAC,eAAe,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC1C,iBAAiB;oBACjB,OAAO;wBACL,IAAI,EAAE,WAAW;wBACjB,WAAW,EAAE,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC;wBAChE,MAAM,EAAE,UAAU;qBACnB,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,gEAAgE;YAChE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC7B,CAAC;QAED,MAAM,YAAY,GAAG,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;YACrD,kEAAkE;YAClE,IAAI,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC,EAAE,CAAC;gBACnC,OAAO,WAAW,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAC5C,CAAC;YACD,OAAO,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACvC,CAAC,CAAC,CAAC;QACH,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,YAAY,EAAiB,CAAC;IAC5D,CAAC;IAED,iBAAiB;IACjB,IAAI,EAAE,CAAC,kBAAkB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpC,OAAO,mBAAmB,CAAC,QAAQ,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;IAC7D,CAAC;IAED,yBAAyB;IACzB,IAAI,EAAE,CAAC,iBAAiB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACnC,OAAO,iBAAiB,CAAC,QAAQ,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;IAC3D,CAAC;IAED,cAAc;IACd,IAAI,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjC,OAAO,gBAAgB,CAAC,QAAQ,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;IAC1D,CAAC;IAED,qBAAqB;IACrB,IAAI,EAAE,CAAC,sBAAsB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxC,OAAO,uBAAuB,CAAC,QAAQ,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;IACjE,CAAC;IAED,gBAAgB;IAChB,IAAI,EAAE,CAAC,iBAAiB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACnC,OAAO,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IACtC,CAAC;IAED,sBAAsB;IACtB,IAAI,EAAE,CAAC,uBAAuB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzC,OAAO,WAAW,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC7C,CAAC;IAED,gFAAgF;IAChF,uEAAuE;IACvE,IAAI,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACpD,CAAC;IAED,oEAAoE;IACpE,wEAAwE;IACxE,IAAI,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjC,+DAA+D;QAC/D,sEAAsE;QACtE,uDAAuD;QACvD,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC;QACnC,IAAI,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC9B,MAAM,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;YACnD,IAAI,MAAM,EAAE,CAAC;gBACX,MAAM,QAAQ,GAAI,OAA2B;qBAC1C,kBAAkB,EAAE;qBACpB,OAAO,CAAC,MAAM,CAAC,CAAC;gBACnB,0DAA0D;gBAC1D,IAAI,QAAQ,EAAE,QAAQ,EAAE,CAAC;oBACvB,OAAO,WAAW,CAAC,QAAQ,CAAC,QAAuB,EAAE,OAAO,CAAC,CAAC;gBAChE,CAAC;gBACD,+DAA+D;gBAC/D,IAAI,QAAQ,EAAE,IAAI,KAAK,OAAO,IAAI,QAAQ,EAAE,IAAI,KAAK,WAAW,EAAE,CAAC;oBACjE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC;gBACxD,CAAC;gBACD,mEAAmE;gBACnE,oEAAoE;YACtE,CAAC;QACF,CAAC;QACD,uDAAuD;QACvD,mFAAmF;QACnF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IAC7B,CAAC;IAEF,uDAAuD;IACvD,yDAAyD;IACzD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AAC7B,CAAC,CAAC;AAEF,8DAA8D;AAC9D,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC"}

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

@@ -0,0 +1,12 @@
+/**
+ * Binding pattern converter - TypeScript patterns to IR patterns
+ */
+import * as ts from "typescript";
+import { IrPattern } from "../../../types/helpers.js";
+import type { Binding } from "../../../binding/index.js";
+/**
+ * Convert TypeScript binding name to IR pattern.
+ * Optionally accepts a Binding for expression conversion (defaults, etc.)
+ */
+export declare const convertBindingName: (name: ts.BindingName, binding?: Binding) => IrPattern;
+//# sourceMappingURL=patterns.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"patterns.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/patterns.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,SAAS,EAGV,MAAM,2BAA2B,CAAC;AAEnC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,2BAA2B,CAAC;AAEzD;;;GAGG;AACH,eAAO,MAAM,kBAAkB,GAC7B,MAAM,EAAE,CAAC,WAAW,EACpB,UAAU,OAAO,KAChB,SAgFF,CAAC"}

package/dist/ir/{type-converter → type-system/internal/type-converter}/patterns.js

@@ -2,10 +2,12 @@
  * Binding pattern converter - TypeScript patterns to IR patterns
  */
 import * as ts from "typescript";
+import { convertExpression } from "../../../expression-converter.js";
 /**
- * Convert TypeScript binding name to IR pattern
+ * Convert TypeScript binding name to IR pattern.
+ * Optionally accepts a Binding for expression conversion (defaults, etc.)
  */
-export const convertBindingName = (name) => {
+export const convertBindingName = (name, binding) => {
     if (ts.isIdentifier(name)) {
         return {
             kind: "identifierPattern",
@@ -20,7 +22,15 @@ export const convertBindingName = (name) => {
                     return undefined; // Hole in array pattern
                 }
                 if (ts.isBindingElement(elem)) {
-                    return convertBindingName(elem.name);
+                    const isRest = !!elem.dotDotDotToken;
+                    const defaultExpr = elem.initializer && binding
+                        ? convertExpression(elem.initializer, binding, undefined)
+                        : undefined;
+                    return {
+                        pattern: convertBindingName(elem.name, binding),
+                        defaultExpr,
+                        isRest: isRest || undefined,
+                    };
                 }
                 return undefined;
             }),
@@ -30,10 +40,12 @@ export const convertBindingName = (name) => {
         const properties = [];
         name.elements.forEach((elem) => {
             if (elem.dotDotDotToken) {
-                // Rest property
+                // Rest property: { ...rest }
+                // Note: restShapeMembers and restSynthTypeName are computed later
+                // during rest type synthesis pass
                 properties.push({
                     kind: "rest",
-                    pattern: convertBindingName(elem.name),
+                    pattern: convertBindingName(elem.name, binding),
                 });
             }
             else {
@@ -44,11 +56,15 @@ export const convertBindingName = (name) => {
                     : ts.isIdentifier(elem.name)
                         ? elem.name.text
                         : "[computed]";
+                const defaultExpr = elem.initializer && binding
+                    ? convertExpression(elem.initializer, binding, undefined)
+                    : undefined;
                 properties.push({
                     kind: "property",
                     key,
-                    value: convertBindingName(elem.name),
+                    value: convertBindingName(elem.name, binding),
                     shorthand: !elem.propertyName,
+                    defaultExpr,
                 });
             }
         });

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

@@ -0,0 +1 @@
+{"version":3,"file":"patterns.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/patterns.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAMjC,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AAGrE;;;GAGG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAoB,EACpB,OAAiB,EACN,EAAE;IACb,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,OAAO;YACL,IAAI,EAAE,mBAAmB;YACzB,IAAI,EAAE,IAAI,CAAC,IAAI;SAChB,CAAC;IACJ,CAAC;IAED,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,OAAO;YACL,IAAI,EAAE,cAAc;YACpB,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAqC,EAAE;gBACtE,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;oBACjC,OAAO,SAAS,CAAC,CAAC,wBAAwB;gBAC5C,CAAC;gBACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC9B,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC;oBACrC,MAAM,WAAW,GACf,IAAI,CAAC,WAAW,IAAI,OAAO;wBACzB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,SAAS,CAAC;wBACzD,CAAC,CAAC,SAAS,CAAC;oBAEhB,OAAO;wBACL,OAAO,EAAE,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC;wBAC/C,WAAW;wBACX,MAAM,EAAE,MAAM,IAAI,SAAS;qBAC5B,CAAC;gBACJ,CAAC;gBACD,OAAO,SAAS,CAAC;YACnB,CAAC,CAAC;SACH,CAAC;IACJ,CAAC;IAED,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,MAAM,UAAU,GAA8B,EAAE,CAAC;QAEjD,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;YAC7B,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;gBACxB,6BAA6B;gBAC7B,kEAAkE;gBAClE,kCAAkC;gBAClC,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,MAAM;oBACZ,OAAO,EAAE,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC;iBAChD,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY;oBAC3B,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,YAAY,CAAC;wBAClC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI;wBACxB,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE;oBAC/B,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;wBAC1B,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;wBAChB,CAAC,CAAC,YAAY,CAAC;gBAEnB,MAAM,WAAW,GACf,IAAI,CAAC,WAAW,IAAI,OAAO;oBACzB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,SAAS,CAAC;oBACzD,CAAC,CAAC,SAAS,CAAC;gBAEhB,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,UAAU;oBAChB,GAAG;oBACH,KAAK,EAAE,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC;oBAC7C,SAAS,EAAE,CAAC,IAAI,CAAC,YAAY;oBAC7B,WAAW;iBACZ,CAAC,CAAC;YACL,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,UAAU;SACX,CAAC;IACJ,CAAC;IAED,iEAAiE;IACjE,OAAO;QACL,IAAI,EAAE,mBAAmB;QACzB,IAAI,EAAE,UAAU;KACjB,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/{type-converter → type-system/internal/type-converter}/primitives.d.ts

@@ -7,7 +7,7 @@
  * These are distinct types, not decorated versions of each other.
  */
 import * as ts from "typescript";
-import { IrType, IrPrimitiveType } from "../types.js";
+import { IrType, IrPrimitiveType } from "../../../types.js";
 /**
  * CLR numeric type names from @tsonic/core.
  * When user writes `: int`, it becomes primitiveType(name="int"), NOT referenceType.

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

@@ -0,0 +1 @@
+{"version":3,"file":"primitives.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/primitives.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAE5D;;;;;;GAMG;AACH,eAAO,MAAM,sBAAsB,aAAmB,CAAC;AAEvD;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAAI,MAAM,EAAE,CAAC,UAAU,KAAG,MAAM,GAAG,IA4BtE,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,mBAAmB,GAC9B,UAAU,MAAM,KACf,QAAQ,IAAI,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,MAAM,GAAG,WAIzD,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,sBAAsB,GAAI,UAAU,MAAM,KAAG,QAAQ,IAAI,KAErE,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAC3B,UAAU,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,MAAM,GAAG,WAAW,KAC/D,eAKF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,mBAAmB,GAAI,UAAU,KAAK,KAAG,eAKrD,CAAC"}

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

@@ -0,0 +1 @@
+{"version":3,"file":"primitives.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/primitives.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAGjC;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;AAEvD;;GAEG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,IAAmB,EAAiB,EAAE;IAC5E,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC9B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC9B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;YAC/B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QACpD,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAC5B,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QACjD,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;YACjC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QACtD,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAC5B,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;QAC9B,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU;YAC3B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC7B,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;YAC/B,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;QACjC,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;YAC7B,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QAC/B,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC9B,gEAAgE;YAChE,sDAAsD;YACtD,6DAA6D;YAC7D,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC;QACtE;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,QAAgB,EACoD,EAAE;IACtE,OAAO,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,QAAQ,CAClE,QAAQ,CACT,CAAC;AACJ,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,QAAgB,EAAqB,EAAE;IAC5E,OAAO,sBAAsB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;AAC9C,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,QAAgE,EAC/C,EAAE;IACnB,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,QAAQ;KACf,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,QAAe,EAAmB,EAAE;IACtE,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,QAAQ;KACf,CAAC;AACJ,CAAC,CAAC"}

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

@@ -2,10 +2,11 @@
  * Reference type conversion
  */
 import * as ts from "typescript";
-import { IrType } from "../types.js";
+import { IrType } from "../../../types.js";
+import type { Binding } from "../../../binding/index.js";
 /**
  * Convert TypeScript type reference to IR type
  * Handles both primitive type names and user-defined types
  */
-export declare const convertTypeReference: (node: ts.TypeReferenceNode, checker: ts.TypeChecker, convertType: (node: ts.TypeNode, checker: ts.TypeChecker) => IrType) => IrType;
+export declare const convertTypeReference: (node: ts.TypeReferenceNode, binding: Binding, convertType: (node: ts.TypeNode, binding: Binding) => IrType) => IrType;
 //# sourceMappingURL=references.d.ts.map

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

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