@tsonic/frontend 0.0.13 → 0.0.15

package/dist/ir/statement-converter.js

@@ -1,6 +1,8 @@
 /**
  * Statement converter - TypeScript AST to IR statements
  * Main dispatcher - delegates to specialized modules
+ *
+ * Phase 5 Step 4: Uses ProgramContext instead of global singletons.
  */
 import * as ts from "typescript";
 import { convertExpression } from "./expression-converter.js";
@@ -17,62 +19,67 @@ const isAmbientDeclaration = (node) => {
 };
 /**
  * Main statement converter dispatcher
+ *
+ * @param ctx - ProgramContext for TypeSystem and binding access
+ * @param expectedReturnType - Return type from enclosing function for contextual typing.
+ *                             Pass `undefined` explicitly when not inside a function.
  */
-export const convertStatement = (node, checker) => {
+export const convertStatement = (node, ctx, expectedReturnType) => {
     // Skip ambient (declare) declarations - they're type-only
     if (isAmbientDeclaration(node)) {
         return null;
     }
     if (ts.isVariableStatement(node)) {
-        return convertVariableStatement(node, checker);
+        return convertVariableStatement(node, ctx);
     }
     if (ts.isFunctionDeclaration(node)) {
-        return convertFunctionDeclaration(node, checker);
+        return convertFunctionDeclaration(node, ctx);
     }
     if (ts.isClassDeclaration(node)) {
-        return convertClassDeclaration(node, checker);
+        return convertClassDeclaration(node, ctx);
     }
     if (ts.isInterfaceDeclaration(node)) {
-        return convertInterfaceDeclaration(node, checker);
+        return convertInterfaceDeclaration(node, ctx);
     }
     if (ts.isEnumDeclaration(node)) {
-        return convertEnumDeclaration(node, checker);
+        return convertEnumDeclaration(node, ctx);
     }
     // Type alias declarations may return multiple statements (synthetic interfaces + alias)
     if (ts.isTypeAliasDeclaration(node)) {
-        return convertTypeAliasDeclaration(node, checker);
+        return convertTypeAliasDeclaration(node, ctx);
     }
     if (ts.isExpressionStatement(node)) {
         return {
             kind: "expressionStatement",
-            expression: convertExpression(node.expression, checker),
+            expression: convertExpression(node.expression, ctx, undefined),
         };
     }
     if (ts.isReturnStatement(node)) {
         return {
             kind: "returnStatement",
+            // Pass function return type for contextual typing of return expression
             expression: node.expression
-                ? convertExpression(node.expression, checker)
+                ? convertExpression(node.expression, ctx, expectedReturnType)
                 : undefined,
         };
     }
     if (ts.isIfStatement(node)) {
-        return convertIfStatement(node, checker);
+        return convertIfStatement(node, ctx, expectedReturnType);
     }
     if (ts.isWhileStatement(node)) {
-        return convertWhileStatement(node, checker);
+        return convertWhileStatement(node, ctx, expectedReturnType);
     }
     if (ts.isForStatement(node)) {
-        return convertForStatement(node, checker);
+        return convertForStatement(node, ctx, expectedReturnType);
     }
     if (ts.isForOfStatement(node)) {
-        return convertForOfStatement(node, checker);
+        return convertForOfStatement(node, ctx, expectedReturnType);
     }
     if (ts.isForInStatement(node)) {
-        return convertForInStatement(node, checker);
+        return convertForInStatement(node, ctx, expectedReturnType);
     }
     if (ts.isSwitchStatement(node)) {
-        return convertSwitchStatement(node, checker);
+        return convertSwitchStatement(node, ctx, expectedReturnType);
     }
     if (ts.isThrowStatement(node)) {
         if (!node.expression) {
@@ -80,14 +87,14 @@ export const convertStatement = (node, checker) => {
         }
         return {
             kind: "throwStatement",
-            expression: convertExpression(node.expression, checker),
+            expression: convertExpression(node.expression, ctx, undefined),
         };
     }
     if (ts.isTryStatement(node)) {
-        return convertTryStatement(node, checker);
+        return convertTryStatement(node, ctx, expectedReturnType);
     }
     if (ts.isBlock(node)) {
-        return convertBlockStatement(node, checker);
+        return convertBlockStatement(node, ctx, expectedReturnType);
     }
     if (ts.isBreakStatement(node)) {
         return {
@@ -123,9 +130,13 @@ export const flattenStatementResult = (result) => {
 /**
  * Convert a statement and return a single statement (for contexts where arrays not expected).
  * Type aliases inside control flow will return the first statement (usually the only one).
+ *
+ * @param ctx - ProgramContext for TypeSystem and binding access
+ * @param expectedReturnType - Return type from enclosing function for contextual typing.
+ *                             Must be passed through for return statements in nested blocks.
  */
-export const convertStatementSingle = (node, checker) => {
-    const result = convertStatement(node, checker);
+export const convertStatementSingle = (node, ctx, expectedReturnType) => {
+    const result = convertStatement(node, ctx, expectedReturnType);
     if (result === null) {
         return null;
     }
@@ -140,5 +151,4 @@ export const convertStatementSingle = (node, checker) => {
 // Re-export commonly used functions for backward compatibility
 export { convertBlockStatement } from "./converters/statements/control.js";
 export { convertParameters } from "./converters/statements/helpers.js";
-export { setMetadataRegistry, setBindingRegistry, } from "./converters/statements/declarations.js";
 //# sourceMappingURL=statement-converter.js.map

package/dist/ir/statement-converter.js.map

@@ -1 +1 @@
-{"version":3,"file":"statement-converter.js","sourceRoot":"","sources":["../../src/ir/statement-converter.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAE9D,6CAA6C;AAC7C,OAAO,EACL,wBAAwB,EACxB,0BAA0B,EAC1B,uBAAuB,EACvB,2BAA2B,EAC3B,sBAAsB,EACtB,2BAA2B,GAC5B,MAAM,yCAAyC,CAAC;AAEjD,OAAO,EACL,kBAAkB,EAClB,qBAAqB,EACrB,mBAAmB,EACnB,qBAAqB,EACrB,qBAAqB,EACrB,sBAAsB,EACtB,mBAAmB,EACnB,qBAAqB,GACtB,MAAM,oCAAoC,CAAC;AAW5C;;;GAGG;AACH,MAAM,oBAAoB,GAAG,CAAC,IAAa,EAAW,EAAE;IACtD,MAAM,aAAa,GAAG,EAAE,CAAC,wBAAwB,CAAC,IAAsB,CAAC,CAAC;IAC1E,OAAO,CAAC,CAAC,CAAC,aAAa,GAAG,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;AACtD,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,IAAa,EACb,OAAuB,EACC,EAAE;IAC1B,0DAA0D;IAC1D,IAAI,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,OAAO,wBAAwB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,CAAC;IACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,OAAO,0BAA0B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACnD,CAAC;IACD,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,OAAO,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAChD,CAAC;IACD,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,OAAO,2BAA2B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACpD,CAAC;IACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,sBAAsB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC/C,CAAC;IACD,wFAAwF;IACxF,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,OAAO,2BAA2B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACpD,CAAC;IACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,OAAO;YACL,IAAI,EAAE,qBAAqB;YAC3B,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC;SACxD,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO;YACL,IAAI,EAAE,iBAAiB;YACvB,UAAU,EAAE,IAAI,CAAC,UAAU;gBACzB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC;gBAC7C,CAAC,CAAC,SAAS;SACd,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,OAAO,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC3C,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,qBAAqB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC9C,CAAC;IACD,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,OAAO,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,qBAAqB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC9C,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,qBAAqB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC9C,CAAC;IACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,sBAAsB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;YACrB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO;YACL,IAAI,EAAE,gBAAgB;YACtB,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC;SACxD,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,OAAO,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,OAAO,qBAAqB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC9C,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO;YACL,IAAI,EAAE,gBAAgB;YACtB,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI;SACxB,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,OAAO;YACL,IAAI,EAAE,mBAAmB;YACzB,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI;SACxB,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC;IACpC,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,MAA8B,EACN,EAAE;IAC1B,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,6DAA6D;IAC7D,OAAO,CAAC,MAAqB,CAAC,CAAC;AACjC,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAa,EACb,OAAuB,EACH,EAAE;IACtB,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC/C,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,wDAAwD;QACxD,iEAAiE;QACjE,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;IAC3B,CAAC;IACD,6DAA6D;IAC7D,OAAO,MAAqB,CAAC;AAC/B,CAAC,CAAC;AAEF,+DAA+D;AAC/D,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,iBAAiB,EAAE,MAAM,oCAAoC,CAAC;AACvE,OAAO,EACL,mBAAmB,EACnB,kBAAkB,GACnB,MAAM,yCAAyC,CAAC"}
+{"version":3,"file":"statement-converter.js","sourceRoot":"","sources":["../../src/ir/statement-converter.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAG9D,6CAA6C;AAC7C,OAAO,EACL,wBAAwB,EACxB,0BAA0B,EAC1B,uBAAuB,EACvB,2BAA2B,EAC3B,sBAAsB,EACtB,2BAA2B,GAC5B,MAAM,yCAAyC,CAAC;AAEjD,OAAO,EACL,kBAAkB,EAClB,qBAAqB,EACrB,mBAAmB,EACnB,qBAAqB,EACrB,qBAAqB,EACrB,sBAAsB,EACtB,mBAAmB,EACnB,qBAAqB,GACtB,MAAM,oCAAoC,CAAC;AAW5C;;;GAGG;AACH,MAAM,oBAAoB,GAAG,CAAC,IAAa,EAAW,EAAE;IACtD,MAAM,aAAa,GAAG,EAAE,CAAC,wBAAwB,CAAC,IAAsB,CAAC,CAAC;IAC1E,OAAO,CAAC,CAAC,CAAC,aAAa,GAAG,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;AACtD,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,IAAa,EACb,GAAmB,EACnB,kBAAsC,EACd,EAAE;IAC1B,0DAA0D;IAC1D,IAAI,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,OAAO,wBAAwB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC7C,CAAC;IACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,OAAO,0BAA0B,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,OAAO,uBAAuB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,OAAO,2BAA2B,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAChD,CAAC;IACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,sBAAsB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC3C,CAAC;IACD,wFAAwF;IACxF,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,OAAO,2BAA2B,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAChD,CAAC;IACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,OAAO;YACL,IAAI,EAAE,qBAAqB;YAC3B,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC;SAC/D,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO;YACL,IAAI,EAAE,iBAAiB;YACvB,uEAAuE;YACvE,UAAU,EAAE,IAAI,CAAC,UAAU;gBACzB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,kBAAkB,CAAC;gBAC7D,CAAC,CAAC,SAAS;SACd,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,OAAO,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;IAC3D,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,qBAAqB,CAAC,IAAI,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,OAAO,mBAAmB,CAAC,IAAI,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;IAC5D,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,qBAAqB,CAAC,IAAI,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,qBAAqB,CAAC,IAAI,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,sBAAsB,CAAC,IAAI,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;IAC/D,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;YACrB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO;YACL,IAAI,EAAE,gBAAgB;YACtB,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC;SAC/D,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,OAAO,mBAAmB,CAAC,IAAI,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;IAC5D,CAAC;IACD,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,OAAO,qBAAqB,CAAC,IAAI,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO;YACL,IAAI,EAAE,gBAAgB;YACtB,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI;SACxB,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,OAAO;YACL,IAAI,EAAE,mBAAmB;YACzB,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI;SACxB,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC;IACpC,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,MAA8B,EACN,EAAE;IAC1B,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,6DAA6D;IAC7D,OAAO,CAAC,MAAqB,CAAC,CAAC;AACjC,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAa,EACb,GAAmB,EACnB,kBAA2B,EACP,EAAE;IACtB,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;IAC/D,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,wDAAwD;QACxD,iEAAiE;QACjE,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;IAC3B,CAAC;IACD,6DAA6D;IAC7D,OAAO,MAAqB,CAAC;AAC/B,CAAC,CAAC;AAEF,+DAA+D;AAC/D,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,iBAAiB,EAAE,MAAM,oCAAoC,CAAC"}

package/dist/ir/syntax/binding-patterns.d.ts

@@ -0,0 +1,22 @@
+/**
+ * Binding Pattern Converter — TypeScript patterns to IR patterns
+ *
+ * ALICE'S SPEC: This is SYNTAX → IR conversion, NOT type logic.
+ * It must NOT depend on TypeSystem, TypeRegistry, or NominalEnv.
+ *
+ * Converts:
+ * - Identifier patterns: `x`
+ * - Array patterns: `[a, b, ...rest]`
+ * - Object patterns: `{ x, y: z, ...rest }`
+ *
+ * Phase 5 Step 4: Uses ProgramContext for expression conversion.
+ */
+import * as ts from "typescript";
+import { IrPattern } from "../types/helpers.js";
+import type { ProgramContext } from "../program-context.js";
+/**
+ * Convert TypeScript binding name to IR pattern.
+ * Optionally accepts a ProgramContext for expression conversion (defaults, etc.)
+ */
+export declare const convertBindingName: (name: ts.BindingName, ctx?: ProgramContext) => IrPattern;
+//# sourceMappingURL=binding-patterns.d.ts.map

package/dist/ir/syntax/binding-patterns.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"binding-patterns.d.ts","sourceRoot":"","sources":["../../../src/ir/syntax/binding-patterns.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,SAAS,EAGV,MAAM,qBAAqB,CAAC;AAE7B,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAE5D;;;GAGG;AACH,eAAO,MAAM,kBAAkB,GAC7B,MAAM,EAAE,CAAC,WAAW,EACpB,MAAM,cAAc,KACnB,SAgFF,CAAC"}

package/dist/ir/syntax/binding-patterns.js

@@ -0,0 +1,92 @@
+/**
+ * Binding Pattern Converter — TypeScript patterns to IR patterns
+ *
+ * ALICE'S SPEC: This is SYNTAX → IR conversion, NOT type logic.
+ * It must NOT depend on TypeSystem, TypeRegistry, or NominalEnv.
+ *
+ * Converts:
+ * - Identifier patterns: `x`
+ * - Array patterns: `[a, b, ...rest]`
+ * - Object patterns: `{ x, y: z, ...rest }`
+ *
+ * Phase 5 Step 4: Uses ProgramContext for expression conversion.
+ */
+import * as ts from "typescript";
+import { convertExpression } from "../expression-converter.js";
+/**
+ * Convert TypeScript binding name to IR pattern.
+ * Optionally accepts a ProgramContext for expression conversion (defaults, etc.)
+ */
+export const convertBindingName = (name, ctx) => {
+    if (ts.isIdentifier(name)) {
+        return {
+            kind: "identifierPattern",
+            name: name.text,
+        };
+    }
+    if (ts.isArrayBindingPattern(name)) {
+        return {
+            kind: "arrayPattern",
+            elements: name.elements.map((elem) => {
+                if (ts.isOmittedExpression(elem)) {
+                    return undefined; // Hole in array pattern
+                }
+                if (ts.isBindingElement(elem)) {
+                    const isRest = !!elem.dotDotDotToken;
+                    const defaultExpr = elem.initializer && ctx
+                        ? convertExpression(elem.initializer, ctx, undefined)
+                        : undefined;
+                    return {
+                        pattern: convertBindingName(elem.name, ctx),
+                        defaultExpr,
+                        isRest: isRest || undefined,
+                    };
+                }
+                return undefined;
+            }),
+        };
+    }
+    if (ts.isObjectBindingPattern(name)) {
+        const properties = [];
+        name.elements.forEach((elem) => {
+            if (elem.dotDotDotToken) {
+                // Rest property: { ...rest }
+                // Note: restShapeMembers and restSynthTypeName are computed later
+                // during rest type synthesis pass
+                properties.push({
+                    kind: "rest",
+                    pattern: convertBindingName(elem.name, ctx),
+                });
+            }
+            else {
+                const key = elem.propertyName
+                    ? ts.isIdentifier(elem.propertyName)
+                        ? elem.propertyName.text
+                        : elem.propertyName.getText()
+                    : ts.isIdentifier(elem.name)
+                        ? elem.name.text
+                        : "[computed]";
+                const defaultExpr = elem.initializer && ctx
+                    ? convertExpression(elem.initializer, ctx, undefined)
+                    : undefined;
+                properties.push({
+                    kind: "property",
+                    key,
+                    value: convertBindingName(elem.name, ctx),
+                    shorthand: !elem.propertyName,
+                    defaultExpr,
+                });
+            }
+        });
+        return {
+            kind: "objectPattern",
+            properties,
+        };
+    }
+    // Default to identifier pattern (should not reach here normally)
+    return {
+        kind: "identifierPattern",
+        name: "_unknown",
+    };
+};
+//# sourceMappingURL=binding-patterns.js.map

package/dist/ir/syntax/binding-patterns.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"binding-patterns.js","sourceRoot":"","sources":["../../../src/ir/syntax/binding-patterns.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAMjC,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAG/D;;;GAGG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAoB,EACpB,GAAoB,EACT,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,GAAG;wBACrB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,EAAE,SAAS,CAAC;wBACrD,CAAC,CAAC,SAAS,CAAC;oBAEhB,OAAO;wBACL,OAAO,EAAE,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;wBAC3C,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,GAAG,CAAC;iBAC5C,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,GAAG;oBACrB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,EAAE,SAAS,CAAC;oBACrD,CAAC,CAAC,SAAS,CAAC;gBAEhB,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,UAAU;oBAChB,GAAG;oBACH,KAAK,EAAE,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;oBACzC,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/thisarg-inference.test.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Tests for `thisarg<T>` typing behavior.
+ *
+ * `thisarg<T>` is a TS-only marker for C# extension method receiver parameters.
+ * It must erase to T for call resolution and generic inference.
+ */
+export {};
+//# sourceMappingURL=thisarg-inference.test.d.ts.map

package/dist/ir/thisarg-inference.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"thisarg-inference.test.d.ts","sourceRoot":"","sources":["../../src/ir/thisarg-inference.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG"}

package/dist/ir/thisarg-inference.test.js

@@ -0,0 +1,94 @@
+/**
+ * Tests for `thisarg<T>` typing behavior.
+ *
+ * `thisarg<T>` is a TS-only marker for C# extension method receiver parameters.
+ * It must erase to T for call resolution and generic inference.
+ */
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import * as ts from "typescript";
+import { buildIrModule } from "./builder.js";
+import { createProgramContext } from "./program-context.js";
+import { DotnetMetadataRegistry } from "../dotnet-metadata.js";
+import { BindingRegistry } from "../program/bindings.js";
+import { createClrBindingsResolver } from "../resolver/clr-bindings-resolver.js";
+import { createBinding } from "./binding/index.js";
+describe("thisarg<T> typing", () => {
+    const createTestProgram = (source, fileName = "/test/sample.ts") => {
+        const sourceFile = ts.createSourceFile(fileName, source, ts.ScriptTarget.ES2022, true, ts.ScriptKind.TS);
+        const program = ts.createProgram([fileName], {
+            target: ts.ScriptTarget.ES2022,
+            module: ts.ModuleKind.ES2022,
+        }, {
+            getSourceFile: (name) => (name === fileName ? sourceFile : undefined),
+            writeFile: () => { },
+            getCurrentDirectory: () => "/test",
+            getDirectories: () => [],
+            fileExists: () => true,
+            readFile: () => source,
+            getCanonicalFileName: (f) => f,
+            useCaseSensitiveFileNames: () => true,
+            getNewLine: () => "\n",
+            getDefaultLibFileName: (_options) => "lib.d.ts",
+        });
+        const checker = program.getTypeChecker();
+        const testProgram = {
+            program,
+            checker,
+            options: {
+                projectRoot: "/test",
+                sourceRoot: "/test",
+                rootNamespace: "TestApp",
+                strict: true,
+            },
+            sourceFiles: [sourceFile],
+            declarationSourceFiles: [],
+            metadata: new DotnetMetadataRegistry(),
+            bindings: new BindingRegistry(),
+            clrResolver: createClrBindingsResolver("/test"),
+            binding: createBinding(checker),
+        };
+        const options = { sourceRoot: "/test", rootNamespace: "TestApp" };
+        const ctx = createProgramContext(testProgram, options);
+        return { testProgram, ctx, options };
+    };
+    it("erases thisarg<T> so generic call inference succeeds", () => {
+        const source = `
+      type thisarg<T> = T;
+
+      export function id<T>(x: thisarg<T>): T {
+        return x;
+      }
+
+      export function test(): string {
+        return id("hello");
+      }
+    `;
+        const { testProgram, ctx, options } = createTestProgram(source);
+        const sourceFile = testProgram.sourceFiles[0];
+        if (!sourceFile)
+            throw new Error("Failed to create source file");
+        const result = buildIrModule(sourceFile, testProgram, options, ctx);
+        expect(result.ok).to.equal(true);
+        if (!result.ok)
+            return;
+        const module = result.value;
+        const testFn = module.body.find((stmt) => stmt.kind === "functionDeclaration" && stmt.name === "test");
+        if (!testFn || testFn.kind !== "functionDeclaration") {
+            throw new Error("Expected function declaration 'test'");
+        }
+        const returnStmt = testFn.body.statements.find((s) => s.kind === "returnStatement");
+        if (!returnStmt || returnStmt.kind !== "returnStatement") {
+            throw new Error("Expected return statement in test()");
+        }
+        const callExpr = returnStmt.expression;
+        if (!callExpr || callExpr.kind !== "call") {
+            throw new Error("Expected call expression in return statement");
+        }
+        expect(callExpr.inferredType).to.deep.equal({
+            kind: "primitiveType",
+            name: "string",
+        });
+    });
+});
+//# sourceMappingURL=thisarg-inference.test.js.map

package/dist/ir/thisarg-inference.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"thisarg-inference.test.js","sourceRoot":"","sources":["../../src/ir/thisarg-inference.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,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,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAC/D,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,yBAAyB,EAAE,MAAM,sCAAsC,CAAC;AACjF,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAEnD,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,MAAM,iBAAiB,GAAG,CAAC,MAAc,EAAE,QAAQ,GAAG,iBAAiB,EAAE,EAAE;QACzE,MAAM,UAAU,GAAG,EAAE,CAAC,gBAAgB,CACpC,QAAQ,EACR,MAAM,EACN,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,EAAE,CACjB,CAAC;QAEF,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAC9B,CAAC,QAAQ,CAAC,EACV;YACE,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM;YAC9B,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM;SAC7B,EACD;YACE,aAAa,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;YACrE,SAAS,EAAE,GAAG,EAAE,GAAE,CAAC;YACnB,mBAAmB,EAAE,GAAG,EAAE,CAAC,OAAO;YAClC,cAAc,EAAE,GAAG,EAAE,CAAC,EAAE;YACxB,UAAU,EAAE,GAAG,EAAE,CAAC,IAAI;YACtB,QAAQ,EAAE,GAAG,EAAE,CAAC,MAAM;YACtB,oBAAoB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC9B,yBAAyB,EAAE,GAAG,EAAE,CAAC,IAAI;YACrC,UAAU,EAAE,GAAG,EAAE,CAAC,IAAI;YACtB,qBAAqB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU;SAChD,CACF,CAAC;QAEF,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;QAEzC,MAAM,WAAW,GAAG;YAClB,OAAO;YACP,OAAO;YACP,OAAO,EAAE;gBACP,WAAW,EAAE,OAAO;gBACpB,UAAU,EAAE,OAAO;gBACnB,aAAa,EAAE,SAAS;gBACxB,MAAM,EAAE,IAAI;aACb;YACD,WAAW,EAAE,CAAC,UAAU,CAAC;YACzB,sBAAsB,EAAE,EAAE;YAC1B,QAAQ,EAAE,IAAI,sBAAsB,EAAE;YACtC,QAAQ,EAAE,IAAI,eAAe,EAAE;YAC/B,WAAW,EAAE,yBAAyB,CAAC,OAAO,CAAC;YAC/C,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC;SAChC,CAAC;QAEF,MAAM,OAAO,GAAG,EAAE,UAAU,EAAE,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC;QAClE,MAAM,GAAG,GAAG,oBAAoB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;QAEvD,OAAO,EAAE,WAAW,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;IACvC,CAAC,CAAC;IAEF,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,MAAM,GAAG;;;;;;;;;;KAUd,CAAC;QAEF,MAAM,EAAE,WAAW,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;QAChE,MAAM,UAAU,GAAG,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAI,CAAC,UAAU;YAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;QAEjE,MAAM,MAAM,GAAG,aAAa,CAAC,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;QACpE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,CAAC,MAAM,CAAC,EAAE;YAAE,OAAO;QAEvB,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC;QAC5B,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAC7B,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,CACtE,CAAC;QACF,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YACrD,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;QAC1D,CAAC;QAED,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAC5C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,iBAAiB,CACpC,CAAC;QACF,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YACzD,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;QACzD,CAAC;QAED,MAAM,QAAQ,GAAG,UAAU,CAAC,UAAU,CAAC;QACvC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC1C,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;QAClE,CAAC;QAED,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC1C,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ;SACf,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/ir/type-converter.d.ts

@@ -1,6 +1,9 @@
 /**
  * Type converter - TypeScript types to IR types
- * Main dispatcher - re-exports from type-converter/ subdirectory
+ * Main dispatcher - re-exports from type-system/internal/type-converter/
+ *
+ * NOTE: type-converter is now part of type-system internals per Alice's spec.
+ * These files are allowed to use HandleRegistry since they're inside type-system.
  */
-export { convertType, convertFunctionType, convertObjectType, convertBindingName, inferType, convertTsTypeToIr, inferLambdaParamTypes, type LambdaParamInferenceResult, } from "./type-converter/index.js";
+export { convertType, convertFunctionType, convertObjectType, convertBindingName, inferLambdaParamTypes, type LambdaParamInferenceResult, } from "./type-system/internal/type-converter/index.js";
 //# sourceMappingURL=type-converter.d.ts.map

package/dist/ir/type-converter.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"type-converter.d.ts","sourceRoot":"","sources":["../../src/ir/type-converter.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,WAAW,EACX,mBAAmB,EACnB,iBAAiB,EACjB,kBAAkB,EAClB,SAAS,EACT,iBAAiB,EACjB,qBAAqB,EACrB,KAAK,0BAA0B,GAChC,MAAM,2BAA2B,CAAC"}
+{"version":3,"file":"type-converter.d.ts","sourceRoot":"","sources":["../../src/ir/type-converter.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,WAAW,EACX,mBAAmB,EACnB,iBAAiB,EACjB,kBAAkB,EAClB,qBAAqB,EACrB,KAAK,0BAA0B,GAChC,MAAM,gDAAgD,CAAC"}

package/dist/ir/type-converter.js

@@ -1,6 +1,9 @@
 /**
  * Type converter - TypeScript types to IR types
- * Main dispatcher - re-exports from type-converter/ subdirectory
+ * Main dispatcher - re-exports from type-system/internal/type-converter/
+ *
+ * NOTE: type-converter is now part of type-system internals per Alice's spec.
+ * These files are allowed to use HandleRegistry since they're inside type-system.
  */
-export { convertType, convertFunctionType, convertObjectType, convertBindingName, inferType, convertTsTypeToIr, inferLambdaParamTypes, } from "./type-converter/index.js";
+export { convertType, convertFunctionType, convertObjectType, convertBindingName, inferLambdaParamTypes, } from "./type-system/internal/type-converter/index.js";
 //# sourceMappingURL=type-converter.js.map

package/dist/ir/type-converter.js.map

@@ -1 +1 @@
-{"version":3,"file":"type-converter.js","sourceRoot":"","sources":["../../src/ir/type-converter.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,WAAW,EACX,mBAAmB,EACnB,iBAAiB,EACjB,kBAAkB,EAClB,SAAS,EACT,iBAAiB,EACjB,qBAAqB,GAEtB,MAAM,2BAA2B,CAAC"}
+{"version":3,"file":"type-converter.js","sourceRoot":"","sources":["../../src/ir/type-converter.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,WAAW,EACX,mBAAmB,EACnB,iBAAiB,EACjB,kBAAkB,EAClB,qBAAqB,GAEtB,MAAM,gDAAgD,CAAC"}

package/dist/ir/type-system/core.d.ts

@@ -0,0 +1,29 @@
+/**
+ * TypeSystem Core Implementation
+ *
+ * Implements the TypeSystem interface using TypeRegistry, NominalEnv,
+ * and HandleRegistry. This is the single source of truth for all type queries.
+ *
+ * INVARIANT INV-0: No ts.Type or computed type APIs are used here.
+ * All type information comes from:
+ * 1. HandleRegistry (declaration TypeNodes from Binding layer)
+ * 2. TypeRegistry (nominal type declarations)
+ * 3. NominalEnv (inheritance chain + substitution)
+ */
+import type { Binding } from "../binding/index.js";
+import type { TypeRegistry } from "./internal/type-registry.js";
+import type { NominalEnv, ConvertTypeFn } from "./internal/nominal-env.js";
+import type { TypeSystem } from "./index.js";
+import type { HandleRegistry } from "./internal/handle-types.js";
+export interface TypeSystemConfig {
+    readonly registry: TypeRegistry;
+    readonly nominalEnv: NominalEnv;
+    readonly handleRegistry: HandleRegistry;
+    readonly convertTypeNode: ConvertTypeFn;
+    readonly binding: Binding;
+}
+/**
+ * Create a TypeSystem instance.
+ */
+export declare const createTypeSystem: (config: TypeSystemConfig) => TypeSystem;
+//# sourceMappingURL=core.d.ts.map

package/dist/ir/type-system/core.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"core.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/core.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAGH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AASnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,KAAK,EACV,UAAU,EACV,aAAa,EAEd,MAAM,2BAA2B,CAAC;AACnC,OAAO,KAAK,EACV,UAAU,EAWX,MAAM,YAAY,CAAC;AAEpB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAejE,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,QAAQ,CAAC,cAAc,EAAE,cAAc,CAAC;IACxC,QAAQ,CAAC,eAAe,EAAE,aAAa,CAAC;IACxC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B;AAED;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAAI,QAAQ,gBAAgB,KAAG,UAoZ3D,CAAC"}