@tsonic/frontend 0.0.14 → 0.0.16

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/{type-converter/patterns.js → syntax/binding-patterns.js}

@@ -1,11 +1,23 @@
 /**
- * Binding pattern converter - TypeScript patterns to IR patterns
+ * 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
+ * Convert TypeScript binding name to IR pattern.
+ * Optionally accepts a ProgramContext for expression conversion (defaults, etc.)
  */
-export const convertBindingName = (name) => {
+export const convertBindingName = (name, ctx) => {
     if (ts.isIdentifier(name)) {
         return {
             kind: "identifierPattern",
@@ -20,7 +32,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 && ctx
+                        ? convertExpression(elem.initializer, ctx, undefined)
+                        : undefined;
+                    return {
+                        pattern: convertBindingName(elem.name, ctx),
+                        defaultExpr,
+                        isRest: isRest || undefined,
+                    };
                 }
                 return undefined;
             }),
@@ -30,10 +50,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, ctx),
                 });
             }
             else {
@@ -44,11 +66,15 @@ export const convertBindingName = (name) => {
                     : 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),
+                    value: convertBindingName(elem.name, ctx),
                     shorthand: !elem.propertyName,
+                    defaultExpr,
                 });
             }
         });
@@ -63,4 +89,4 @@ export const convertBindingName = (name) => {
         name: "_unknown",
     };
 };
-//# sourceMappingURL=patterns.js.map
+//# 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 = "sample.ts") => {
+        const sourceFile = ts.createSourceFile(fileName, source, ts.ScriptTarget.ES2022, true, ts.ScriptKind.TS);
+        const compilerOptions = {
+            target: ts.ScriptTarget.ES2022,
+            module: ts.ModuleKind.NodeNext,
+            strict: true,
+            noEmit: true,
+        };
+        const host = ts.createCompilerHost(compilerOptions);
+        const originalGetSourceFile = host.getSourceFile;
+        host.getSourceFile = (name, languageVersionOrOptions, onError, shouldCreateNewSourceFile) => {
+            if (name === fileName) {
+                return sourceFile;
+            }
+            return originalGetSourceFile.call(host, name, languageVersionOrOptions, onError, shouldCreateNewSourceFile);
+        };
+        const program = ts.createProgram([fileName], compilerOptions, host);
+        const checker = program.getTypeChecker();
+        const testProgram = {
+            program,
+            checker,
+            options: {
+                projectRoot: process.cwd(),
+                sourceRoot: process.cwd(),
+                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 = `
+      import type { thisarg } from "@tsonic/core/lang.js";
+
+      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,WAAW,EAAE,EAAE;QACnE,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,eAAe,GAAuB;YAC1C,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM;YAC9B,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ;YAC9B,MAAM,EAAE,IAAI;YACZ,MAAM,EAAE,IAAI;SACb,CAAC;QAEF,MAAM,IAAI,GAAG,EAAE,CAAC,kBAAkB,CAAC,eAAe,CAAC,CAAC;QACpD,MAAM,qBAAqB,GAAG,IAAI,CAAC,aAAa,CAAC;QACjD,IAAI,CAAC,aAAa,GAAG,CACnB,IAAY,EACZ,wBAAsE,EACtE,OAAmC,EACnC,yBAAmC,EACnC,EAAE;YACF,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACtB,OAAO,UAAU,CAAC;YACpB,CAAC;YACD,OAAO,qBAAqB,CAAC,IAAI,CAC/B,IAAI,EACJ,IAAI,EACJ,wBAAwB,EACxB,OAAO,EACP,yBAAyB,CAC1B,CAAC;QACJ,CAAC,CAAC;QAEF,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAAC,CAAC,QAAQ,CAAC,EAAE,eAAe,EAAE,IAAI,CAAC,CAAC;QACpE,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;QAEzC,MAAM,WAAW,GAAG;YAClB,OAAO;YACP,OAAO;YACP,OAAO,EAAE;gBACP,WAAW,EAAE,OAAO,CAAC,GAAG,EAAE;gBAC1B,UAAU,EAAE,OAAO,CAAC,GAAG,EAAE;gBACzB,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-system/index.d.ts

@@ -0,0 +1,21 @@
+/**
+ * TypeAuthority — Single Source of Truth for All Type Queries
+ *
+ * ALICE'S SPEC (Phase 5): This is the ONLY public API for type operations.
+ * The public module is structurally incapable of supporting a parallel type system.
+ *
+ * INVARIANT: No ts.Type, ts.Symbol, or computed type APIs appear in this layer.
+ * INVARIANT: No raw structures (TypeNodes, declarations, registries) are exported.
+ * INVARIANT: All type information flows through semantic methods only.
+ *
+ * The Binding layer handles TS symbol resolution and produces opaque handles
+ * (DeclId, SignatureId, MemberId, TypeSyntaxId) that cross into this layer.
+ */
+import type { DeclId, SignatureId, MemberId, TypeSyntaxId, TypeResult, SignatureResult, MemberResult, PropertyInit, SyntaxPosition, TypeSubstitution, UtilityTypeName, ParameterMode } from "./types.js";
+export type { DeclId, SignatureId, MemberId, TypeSyntaxId };
+export type { TypeId } from "./internal/universe/types.js";
+export type { TypeResult, SignatureResult, MemberResult, PropertyInit, SyntaxPosition, TypeSubstitution, UtilityTypeName, ParameterMode, };
+export type { TypeAuthority, MemberRef, CallQuery, ResolvedCall, Site, } from "./type-system.js";
+export { makeDeclId, makeSignatureId, makeMemberId, makeTypeSyntaxId, typeOk, typeError, signatureOk, unknownType, neverType, voidType, anyType, } from "./types.js";
+export { BUILTIN_NOMINALS, poisonedCall, createTypeSystem, } from "./type-system.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EACV,MAAM,EACN,WAAW,EACX,QAAQ,EACR,YAAY,EACZ,UAAU,EACV,eAAe,EACf,YAAY,EACZ,YAAY,EACZ,cAAc,EACd,gBAAgB,EAChB,eAAe,EACf,aAAa,EACd,MAAM,YAAY,CAAC;AAMpB,YAAY,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC;AAG5D,YAAY,EAAE,MAAM,EAAE,MAAM,8BAA8B,CAAC;AAM3D,YAAY,EACV,UAAU,EACV,eAAe,EACf,YAAY,EACZ,YAAY,EACZ,cAAc,EACd,gBAAgB,EAChB,eAAe,EACf,aAAa,GACd,CAAC;AAGF,YAAY,EACV,aAAa,EACb,SAAS,EACT,SAAS,EACT,YAAY,EACZ,IAAI,GACL,MAAM,kBAAkB,CAAC;AAM1B,OAAO,EACL,UAAU,EACV,eAAe,EACf,YAAY,EACZ,gBAAgB,EAChB,MAAM,EACN,SAAS,EACT,WAAW,EACX,WAAW,EACX,SAAS,EACT,QAAQ,EACR,OAAO,GACR,MAAM,YAAY,CAAC;AAEpB,OAAO,EACL,gBAAgB,EAChB,YAAY,EACZ,gBAAgB,GACjB,MAAM,kBAAkB,CAAC"}

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

@@ -0,0 +1,43 @@
+/**
+ * TypeAuthority — Single Source of Truth for All Type Queries
+ *
+ * ALICE'S SPEC (Phase 5): This is the ONLY public API for type operations.
+ * The public module is structurally incapable of supporting a parallel type system.
+ *
+ * INVARIANT: No ts.Type, ts.Symbol, or computed type APIs appear in this layer.
+ * INVARIANT: No raw structures (TypeNodes, declarations, registries) are exported.
+ * INVARIANT: All type information flows through semantic methods only.
+ *
+ * The Binding layer handles TS symbol resolution and produces opaque handles
+ * (DeclId, SignatureId, MemberId, TypeSyntaxId) that cross into this layer.
+ */
+// ═══════════════════════════════════════════════════════════════════════════════
+// FACTORY FUNCTIONS — For handle creation and result construction
+// ═══════════════════════════════════════════════════════════════════════════════
+export { makeDeclId, makeSignatureId, makeMemberId, makeTypeSyntaxId, typeOk, typeError, signatureOk, unknownType, neverType, voidType, anyType, } from "./types.js";
+export { BUILTIN_NOMINALS, poisonedCall, createTypeSystem, } from "./type-system.js";
+// ═══════════════════════════════════════════════════════════════════════════════
+// INTERNAL TYPES — NOT EXPORTED
+// ═══════════════════════════════════════════════════════════════════════════════
+//
+// The following types are INTERNAL ONLY and must NOT be exported:
+// - TypeSystemDeps
+// - HandleRegistry
+// - DeclInfo, SignatureInfo, MemberInfo, TypeSyntaxInfo
+// - ParameterNode, TypeParameterNode
+// - SignatureTypePredicate
+// - DeclKind
+// - TypeSystemConfig
+// - TypeRegistryAPI, NominalEnvAPI
+// - RawSignatureInfo
+// - TypeSubstitutionMap (internal)
+// - MemberLookupResult (internal)
+//
+// These are defined in type-system/internal/* and imported only by:
+// - type-system implementation
+// - binding implementation
+//
+// ALICE'S SPEC: The public module is structurally incapable of supporting
+// a parallel type system. No raw structures. No escape hatches.
+// ═══════════════════════════════════════════════════════════════════════════════
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/ir/type-system/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAkDH,kFAAkF;AAClF,kEAAkE;AAClE,kFAAkF;AAElF,OAAO,EACL,UAAU,EACV,eAAe,EACf,YAAY,EACZ,gBAAgB,EAChB,MAAM,EACN,SAAS,EACT,WAAW,EACX,WAAW,EACX,SAAS,EACT,QAAQ,EACR,OAAO,GACR,MAAM,YAAY,CAAC;AAEpB,OAAO,EACL,gBAAgB,EAChB,YAAY,EACZ,gBAAgB,GACjB,MAAM,kBAAkB,CAAC;AAE1B,kFAAkF;AAClF,gCAAgC;AAChC,kFAAkF;AAClF,EAAE;AACF,kEAAkE;AAClE,mBAAmB;AACnB,mBAAmB;AACnB,wDAAwD;AACxD,qCAAqC;AACrC,2BAA2B;AAC3B,aAAa;AACb,qBAAqB;AACrB,mCAAmC;AACnC,qBAAqB;AACrB,mCAAmC;AACnC,kCAAkC;AAClC,EAAE;AACF,oEAAoE;AACpE,+BAA+B;AAC/B,2BAA2B;AAC3B,EAAE;AACF,0EAA0E;AAC1E,gEAAgE;AAChE,kFAAkF"}

package/dist/ir/type-system/internal/handle-types.d.ts

@@ -0,0 +1,105 @@
+/**
+ * Internal Handle Types — NOT FOR PUBLIC EXPORT
+ *
+ * ALICE'S SPEC: These types are INTERNAL ONLY.
+ * They may contain raw TypeNodes (as unknown) for internal use.
+ * They must NOT be exported from type-system/index.ts.
+ *
+ * Allowed importers:
+ * - ir/type-system/**
+ * - ir/binding/**
+ */
+import type { DeclId, SignatureId, MemberId, TypeSyntaxId, ParameterMode } from "../types.js";
+/**
+ * Handle registry — maps opaque handles to their underlying data.
+ *
+ * INTERNAL ONLY. Not exported from public API.
+ */
+export interface HandleRegistry {
+    getDecl(id: DeclId): DeclInfo | undefined;
+    getSignature(id: SignatureId): SignatureInfo | undefined;
+    getMember(id: MemberId): MemberInfo | undefined;
+    getTypeSyntax(id: TypeSyntaxId): TypeSyntaxInfo | undefined;
+}
+/**
+ * Type syntax info stored in the handle registry.
+ */
+export interface TypeSyntaxInfo {
+    readonly typeNode: unknown;
+}
+/**
+ * Captured class member names for override detection.
+ * Pure data — no TS nodes.
+ */
+export interface ClassMemberNames {
+    readonly methods: ReadonlySet<string>;
+    readonly properties: ReadonlySet<string>;
+}
+/**
+ * Declaration info stored in the handle registry.
+ */
+export interface DeclInfo {
+    readonly typeNode?: unknown;
+    readonly kind: DeclKind;
+    readonly fqName?: string;
+    readonly declNode?: unknown;
+    /**
+     * When a symbol merges a value and a type declaration under the same name
+     * (common in tsbindgen facades), Binding stores both so type conversion can
+     * prefer the correct declaration in type contexts.
+     */
+    readonly typeDeclNode?: unknown;
+    readonly valueDeclNode?: unknown;
+    readonly classMemberNames?: ClassMemberNames;
+}
+export type DeclKind = "variable" | "function" | "class" | "interface" | "typeAlias" | "enum" | "parameter" | "property" | "method";
+/**
+ * Signature info stored in the handle registry.
+ */
+export interface SignatureInfo {
+    readonly parameters: readonly ParameterNode[];
+    readonly returnTypeNode?: unknown;
+    readonly typeParameters?: readonly TypeParameterNode[];
+    /**
+     * Declaring type simple TS name (e.g., "Box" not "Test.Box").
+     * TypeSystem uses UnifiedTypeCatalog.resolveTsName() to get CLR FQ name.
+     */
+    readonly declaringTypeTsName?: string;
+    readonly declaringMemberName?: string;
+    readonly typePredicate?: SignatureTypePredicate;
+}
+/**
+ * Type predicate extracted from signature's return type.
+ */
+export type SignatureTypePredicate = {
+    readonly kind: "param";
+    readonly parameterName: string;
+    readonly parameterIndex: number;
+    readonly targetTypeNode: unknown;
+} | {
+    readonly kind: "this";
+    readonly targetTypeNode: unknown;
+};
+export interface ParameterNode {
+    readonly name: string;
+    readonly typeNode?: unknown;
+    readonly isOptional: boolean;
+    readonly isRest: boolean;
+    readonly mode?: ParameterMode;
+}
+export interface TypeParameterNode {
+    readonly name: string;
+    readonly constraintNode?: unknown;
+    readonly defaultNode?: unknown;
+}
+/**
+ * Member info stored in the handle registry.
+ */
+export interface MemberInfo {
+    readonly name: string;
+    readonly declNode?: unknown;
+    readonly typeNode?: unknown;
+    readonly isOptional: boolean;
+    readonly isReadonly: boolean;
+}
+//# sourceMappingURL=handle-types.d.ts.map

package/dist/ir/type-system/internal/handle-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"handle-types.d.ts","sourceRoot":"","sources":["../../../../src/ir/type-system/internal/handle-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EACV,MAAM,EACN,WAAW,EACX,QAAQ,EACR,YAAY,EACZ,aAAa,EACd,MAAM,aAAa,CAAC;AAMrB;;;;GAIG;AACH,MAAM,WAAW,cAAc;IAC7B,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS,CAAC;IAC1C,YAAY,CAAC,EAAE,EAAE,WAAW,GAAG,aAAa,GAAG,SAAS,CAAC;IACzD,SAAS,CAAC,EAAE,EAAE,QAAQ,GAAG,UAAU,GAAG,SAAS,CAAC;IAChD,aAAa,CAAC,EAAE,EAAE,YAAY,GAAG,cAAc,GAAG,SAAS,CAAC;CAC7D;AAMD;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAC1C;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B;;;;OAIG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;CAC9C;AAED,MAAM,MAAM,QAAQ,GAChB,UAAU,GACV,UAAU,GACV,OAAO,GACP,WAAW,GACX,WAAW,GACX,MAAM,GACN,WAAW,GACX,UAAU,GACV,QAAQ,CAAC;AAEb;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,UAAU,EAAE,SAAS,aAAa,EAAE,CAAC;IAC9C,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAClC,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACvD;;;OAGG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,aAAa,CAAC,EAAE,sBAAsB,CAAC;CACjD;AAED;;GAEG;AACH,MAAM,MAAM,sBAAsB,GAC9B;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;CAClC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;CAClC,CAAC;AAEN,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC;CAC/B;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAClC,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;CAC9B"}

package/dist/ir/type-system/internal/handle-types.js

@@ -0,0 +1,13 @@
+/**
+ * Internal Handle Types — NOT FOR PUBLIC EXPORT
+ *
+ * ALICE'S SPEC: These types are INTERNAL ONLY.
+ * They may contain raw TypeNodes (as unknown) for internal use.
+ * They must NOT be exported from type-system/index.ts.
+ *
+ * Allowed importers:
+ * - ir/type-system/**
+ * - ir/binding/**
+ */
+export {};
+//# sourceMappingURL=handle-types.js.map

package/dist/ir/type-system/internal/handle-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"handle-types.js","sourceRoot":"","sources":["../../../../src/ir/type-system/internal/handle-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG"}