@tsonic/frontend 0.0.14 → 0.0.15

package/dist/ir/converters/statements/declarations/functions.d.ts

@@ -3,8 +3,9 @@
  */
 import * as ts from "typescript";
 import { IrFunctionDeclaration } from "../../../types.js";
+import type { ProgramContext } from "../../../program-context.js";
 /**
  * Convert function declaration
  */
-export declare const convertFunctionDeclaration: (node: ts.FunctionDeclaration, checker: ts.TypeChecker) => IrFunctionDeclaration | null;
+export declare const convertFunctionDeclaration: (node: ts.FunctionDeclaration, ctx: ProgramContext) => IrFunctionDeclaration | null;
 //# sourceMappingURL=functions.d.ts.map

package/dist/ir/converters/statements/declarations/functions.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"functions.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/functions.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAS1D;;GAEG;AACH,eAAO,MAAM,0BAA0B,GACrC,MAAM,EAAE,CAAC,mBAAmB,EAC5B,SAAS,EAAE,CAAC,WAAW,KACtB,qBAAqB,GAAG,IAkB1B,CAAC"}
+{"version":3,"file":"functions.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/functions.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAO1D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAElE;;GAEG;AACH,eAAO,MAAM,0BAA0B,GACrC,MAAM,EAAE,CAAC,mBAAmB,EAC5B,KAAK,cAAc,KAClB,qBAAqB,GAAG,IAyB1B,CAAC"}

package/dist/ir/converters/statements/declarations/functions.js

@@ -2,23 +2,28 @@
  * Function declaration converter
  */
 import * as ts from "typescript";
-import { convertType } from "../../../type-converter.js";
 import { convertBlockStatement } from "../control.js";
 import { hasExportModifier, convertTypeParameters, convertParameters, } from "../helpers.js";
 /**
  * Convert function declaration
  */
-export const convertFunctionDeclaration = (node, checker) => {
+export const convertFunctionDeclaration = (node, ctx) => {
     if (!node.name)
         return null;
+    // Get return type from declared annotation for contextual typing
+    // PHASE 4 (Alice's spec): Use captureTypeSyntax + typeFromSyntax
+    const returnType = node.type
+        ? ctx.typeSystem.typeFromSyntax(ctx.binding.captureTypeSyntax(node.type))
+        : undefined;
     return {
         kind: "functionDeclaration",
         name: node.name.text,
-        typeParameters: convertTypeParameters(node.typeParameters, checker),
-        parameters: convertParameters(node.parameters, checker),
-        returnType: node.type ? convertType(node.type, checker) : undefined,
+        typeParameters: convertTypeParameters(node.typeParameters, ctx),
+        parameters: convertParameters(node.parameters, ctx),
+        returnType,
+        // Pass return type to body for contextual typing of return statements
         body: node.body
-            ? convertBlockStatement(node.body, checker)
+            ? convertBlockStatement(node.body, ctx, returnType)
             : { kind: "blockStatement", statements: [] },
         isAsync: !!node.modifiers?.some((m) => m.kind === ts.SyntaxKind.AsyncKeyword),
         isGenerator: !!node.asteriskToken,

package/dist/ir/converters/statements/declarations/functions.js.map

@@ -1 +1 @@
-{"version":3,"file":"functions.js","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/functions.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AACzD,OAAO,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,EACL,iBAAiB,EACjB,qBAAqB,EACrB,iBAAiB,GAClB,MAAM,eAAe,CAAC;AAEvB;;GAEG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,IAA4B,EAC5B,OAAuB,EACO,EAAE;IAChC,IAAI,CAAC,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAE5B,OAAO;QACL,IAAI,EAAE,qBAAqB;QAC3B,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;QACpB,cAAc,EAAE,qBAAqB,CAAC,IAAI,CAAC,cAAc,EAAE,OAAO,CAAC;QACnE,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC;QACvD,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;QACnE,IAAI,EAAE,IAAI,CAAC,IAAI;YACb,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC;YAC3C,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,EAAE,EAAE;QAC9C,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAC7B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAC7C;QACD,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,aAAa;QACjC,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC;KACpC,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"functions.js","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/functions.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,EACL,iBAAiB,EACjB,qBAAqB,EACrB,iBAAiB,GAClB,MAAM,eAAe,CAAC;AAGvB;;GAEG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,IAA4B,EAC5B,GAAmB,EACW,EAAE;IAChC,IAAI,CAAC,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAE5B,iEAAiE;IACjE,iEAAiE;IACjE,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI;QAC1B,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzE,CAAC,CAAC,SAAS,CAAC;IAEd,OAAO;QACL,IAAI,EAAE,qBAAqB;QAC3B,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;QACpB,cAAc,EAAE,qBAAqB,CAAC,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC;QAC/D,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;QACnD,UAAU;QACV,sEAAsE;QACtE,IAAI,EAAE,IAAI,CAAC,IAAI;YACb,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,UAAU,CAAC;YACnD,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,EAAE,EAAE;QAC9C,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAC7B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAC7C;QACD,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,aAAa;QACjC,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC;KACpC,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/converters/statements/declarations/index.d.ts

@@ -1,7 +1,9 @@
 /**
  * Declaration converters - Public API
+ *
+ * Phase 5 Step 4: Registry singletons removed.
+ * All context now flows through ProgramContext.
  */
-export { setMetadataRegistry, setBindingRegistry } from "./registry.js";
 export { convertVariableStatement } from "./variables.js";
 export { convertFunctionDeclaration } from "./functions.js";
 export { convertClassDeclaration } from "./classes.js";

package/dist/ir/converters/statements/declarations/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACxE,OAAO,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAC;AAC1D,OAAO,EAAE,0BAA0B,EAAE,MAAM,gBAAgB,CAAC;AAC5D,OAAO,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAC;AACvD,OAAO,EACL,2BAA2B,EAC3B,sBAAsB,GACvB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AACpD,OAAO,EAAE,2BAA2B,EAAE,MAAM,mBAAmB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAC;AAC1D,OAAO,EAAE,0BAA0B,EAAE,MAAM,gBAAgB,CAAC;AAC5D,OAAO,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAC;AACvD,OAAO,EACL,2BAA2B,EAC3B,sBAAsB,GACvB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AACpD,OAAO,EAAE,2BAA2B,EAAE,MAAM,mBAAmB,CAAC"}

package/dist/ir/converters/statements/declarations/index.js

@@ -1,7 +1,9 @@
 /**
  * Declaration converters - Public API
+ *
+ * Phase 5 Step 4: Registry singletons removed.
+ * All context now flows through ProgramContext.
  */
-export { setMetadataRegistry, setBindingRegistry } from "./registry.js";
 export { convertVariableStatement } from "./variables.js";
 export { convertFunctionDeclaration } from "./functions.js";
 export { convertClassDeclaration } from "./classes.js";

package/dist/ir/converters/statements/declarations/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACxE,OAAO,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAC;AAC1D,OAAO,EAAE,0BAA0B,EAAE,MAAM,gBAAgB,CAAC;AAC5D,OAAO,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAC;AACvD,OAAO,EACL,2BAA2B,EAC3B,sBAAsB,GACvB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AACpD,OAAO,EAAE,2BAA2B,EAAE,MAAM,mBAAmB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAC;AAC1D,OAAO,EAAE,0BAA0B,EAAE,MAAM,gBAAgB,CAAC;AAC5D,OAAO,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAC;AACvD,OAAO,EACL,2BAA2B,EAC3B,sBAAsB,GACvB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AACpD,OAAO,EAAE,2BAA2B,EAAE,MAAM,mBAAmB,CAAC"}

package/dist/ir/converters/statements/declarations/interfaces.d.ts

@@ -3,14 +3,15 @@
  */
 import * as ts from "typescript";
 import { IrInterfaceDeclaration, IrInterfaceMember, IrTypeAliasDeclaration } from "../../../types.js";
+import type { ProgramContext } from "../../../program-context.js";
 /**
  * Convert interface member
  */
-export declare const convertInterfaceMember: (node: ts.TypeElement, checker: ts.TypeChecker) => IrInterfaceMember | null;
+export declare const convertInterfaceMember: (node: ts.TypeElement, ctx: ProgramContext) => IrInterfaceMember | null;
 /**
  * Convert interface declaration
  * Returns null for marker interfaces that should be filtered out.
  * Returns a type alias for index-signature-only interfaces (lowered to Dictionary).
  */
-export declare const convertInterfaceDeclaration: (node: ts.InterfaceDeclaration, checker: ts.TypeChecker) => IrInterfaceDeclaration | IrTypeAliasDeclaration | null;
+export declare const convertInterfaceDeclaration: (node: ts.InterfaceDeclaration, ctx: ProgramContext) => IrInterfaceDeclaration | IrTypeAliasDeclaration | null;
 //# sourceMappingURL=interfaces.d.ts.map

package/dist/ir/converters/statements/declarations/interfaces.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"interfaces.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/interfaces.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,sBAAsB,EACtB,iBAAiB,EACjB,sBAAsB,EAEvB,MAAM,mBAAmB,CAAC;AAS3B;;GAEG;AACH,eAAO,MAAM,sBAAsB,GACjC,MAAM,EAAE,CAAC,WAAW,EACpB,SAAS,EAAE,CAAC,WAAW,KACtB,iBAAiB,GAAG,IAwBtB,CAAC;AAyFF;;;;GAIG;AACH,eAAO,MAAM,2BAA2B,GACtC,MAAM,EAAE,CAAC,oBAAoB,EAC7B,SAAS,EAAE,CAAC,WAAW,KACtB,sBAAsB,GAAG,sBAAsB,GAAG,IA0DpD,CAAC"}
+{"version":3,"file":"interfaces.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/interfaces.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,sBAAsB,EACtB,iBAAiB,EACjB,sBAAsB,EAEvB,MAAM,mBAAmB,CAAC;AAO3B,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAElE;;GAEG;AACH,eAAO,MAAM,sBAAsB,GACjC,MAAM,EAAE,CAAC,WAAW,EACpB,KAAK,cAAc,KAClB,iBAAiB,GAAG,IA8BtB,CAAC;AA+FF;;;;GAIG;AACH,eAAO,MAAM,2BAA2B,GACtC,MAAM,EAAE,CAAC,oBAAoB,EAC7B,KAAK,cAAc,KAClB,sBAAsB,GAAG,sBAAsB,GAAG,IA4DpD,CAAC"}

package/dist/ir/converters/statements/declarations/interfaces.js

@@ -2,17 +2,16 @@
  * Interface declaration converter
  */
 import * as ts from "typescript";
-import { convertType } from "../../../type-converter.js";
 import { hasExportModifier, hasReadonlyModifier, convertTypeParameters, convertParameters, } from "../helpers.js";
 /**
  * Convert interface member
  */
-export const convertInterfaceMember = (node, checker) => {
+export const convertInterfaceMember = (node, ctx) => {
     if (ts.isPropertySignature(node) && node.type) {
         return {
             kind: "propertySignature",
             name: node.name && ts.isIdentifier(node.name) ? node.name.text : "[computed]",
-            type: convertType(node.type, checker),
+            type: ctx.typeSystem.typeFromSyntax(ctx.binding.captureTypeSyntax(node.type)),
             isOptional: !!node.questionToken,
             isReadonly: hasReadonlyModifier(node),
         };
@@ -21,19 +20,26 @@ export const convertInterfaceMember = (node, checker) => {
         return {
             kind: "methodSignature",
             name: node.name && ts.isIdentifier(node.name) ? node.name.text : "[computed]",
-            typeParameters: convertTypeParameters(node.typeParameters, checker),
-            parameters: convertParameters(node.parameters, checker),
-            returnType: node.type ? convertType(node.type, checker) : undefined,
+            typeParameters: convertTypeParameters(node.typeParameters, ctx),
+            parameters: convertParameters(node.parameters, ctx),
+            returnType: node.type
+                ? ctx.typeSystem.typeFromSyntax(ctx.binding.captureTypeSyntax(node.type))
+                : undefined,
         };
     }
     return null;
 };
 /**
- * Check if a type reference is the struct marker
+ * Check if a type reference is the struct marker.
+ * DETERMINISTIC: Uses only the AST expression text, not TypeScript type resolution.
  */
-const isStructMarker = (typeRef, checker) => {
-    const symbol = checker.getSymbolAtLocation(typeRef.expression);
-    return symbol?.escapedName === "struct" || symbol?.escapedName === "Struct";
+const isStructMarker = (typeRef) => {
+    // Check the expression directly - it should be an identifier named "struct" or "Struct"
+    if (ts.isIdentifier(typeRef.expression)) {
+        const name = typeRef.expression.text;
+        return name === "struct" || name === "Struct";
+    }
+    return false;
 };
 /**
  * Check if an interface has only index signatures (no property/method members).
@@ -44,7 +50,7 @@ const isStructMarker = (typeRef, checker) => {
  *
  * These should be lowered to type aliases for Dictionary<K, V>.
  */
-const extractIndexSignatureOnlyInterface = (node, checker) => {
+const extractIndexSignatureOnlyInterface = (node, ctx) => {
     const members = node.members;
     // Must have exactly one member
     if (members.length !== 1) {
@@ -59,7 +65,7 @@ const extractIndexSignatureOnlyInterface = (node, checker) => {
     if (!param || !param.type) {
         return undefined;
     }
-    const keyType = convertType(param.type, checker);
+    const keyType = ctx.typeSystem.typeFromSyntax(ctx.binding.captureTypeSyntax(param.type));
     // Only allow string or number keys (enforced by TSN7413)
     if (keyType.kind !== "primitiveType" ||
         (keyType.name !== "string" && keyType.name !== "number")) {
@@ -69,7 +75,7 @@ const extractIndexSignatureOnlyInterface = (node, checker) => {
     if (!member.type) {
         return undefined;
     }
-    const valueType = convertType(member.type, checker);
+    const valueType = ctx.typeSystem.typeFromSyntax(ctx.binding.captureTypeSyntax(member.type));
     return { keyType, valueType };
 };
 /**
@@ -97,18 +103,18 @@ const isMarkerInterface = (node) => {
  * Returns null for marker interfaces that should be filtered out.
  * Returns a type alias for index-signature-only interfaces (lowered to Dictionary).
  */
-export const convertInterfaceDeclaration = (node, checker) => {
+export const convertInterfaceDeclaration = (node, ctx) => {
     // Filter out marker interfaces completely
     if (isMarkerInterface(node)) {
         return null;
     }
     // Check for index-signature-only interface → lower to type alias for dictionary
-    const dictInfo = extractIndexSignatureOnlyInterface(node, checker);
+    const dictInfo = extractIndexSignatureOnlyInterface(node, ctx);
     if (dictInfo) {
         return {
             kind: "typeAliasDeclaration",
             name: node.name.text,
-            typeParameters: convertTypeParameters(node.typeParameters, checker),
+            typeParameters: convertTypeParameters(node.typeParameters, ctx),
             type: {
                 kind: "dictionaryType",
                 keyType: dictInfo.keyType,
@@ -123,15 +129,15 @@ export const convertInterfaceDeclaration = (node, checker) => {
     const extendsClause = node.heritageClauses?.find((h) => h.token === ts.SyntaxKind.ExtendsKeyword);
     const extendsTypes = extendsClause?.types
         .filter((t) => {
-        if (isStructMarker(t, checker)) {
+        if (isStructMarker(t)) {
             isStruct = true;
             return false; // Remove marker from extends
         }
         return true;
     })
-        .map((t) => convertType(t, checker)) ?? [];
+        .map((t) => ctx.typeSystem.typeFromSyntax(ctx.binding.captureTypeSyntax(t))) ?? [];
     const allMembers = node.members
-        .map((m) => convertInterfaceMember(m, checker))
+        .map((m) => convertInterfaceMember(m, ctx))
         .filter((m) => m !== null);
     // Filter out __brand property if this is a struct
     const finalMembers = isStruct
@@ -140,7 +146,7 @@ export const convertInterfaceDeclaration = (node, checker) => {
     return {
         kind: "interfaceDeclaration",
         name: node.name.text,
-        typeParameters: convertTypeParameters(node.typeParameters, checker),
+        typeParameters: convertTypeParameters(node.typeParameters, ctx),
         extends: extendsTypes,
         members: finalMembers,
         isExported: hasExportModifier(node),

package/dist/ir/converters/statements/declarations/interfaces.js.map

@@ -1 +1 @@
-{"version":3,"file":"interfaces.js","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/interfaces.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAOjC,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AACzD,OAAO,EACL,iBAAiB,EACjB,mBAAmB,EACnB,qBAAqB,EACrB,iBAAiB,GAClB,MAAM,eAAe,CAAC;AAEvB;;GAEG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAoB,EACpB,OAAuB,EACG,EAAE;IAC5B,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAC9C,OAAO;YACL,IAAI,EAAE,mBAAmB;YACzB,IAAI,EACF,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY;YACzE,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC;YACrC,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,aAAa;YAChC,UAAU,EAAE,mBAAmB,CAAC,IAAI,CAAC;SACtC,CAAC;IACJ,CAAC;IAED,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO;YACL,IAAI,EAAE,iBAAiB;YACvB,IAAI,EACF,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY;YACzE,cAAc,EAAE,qBAAqB,CAAC,IAAI,CAAC,cAAc,EAAE,OAAO,CAAC;YACnE,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC;YACvD,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;SACpE,CAAC;IACJ,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,cAAc,GAAG,CACrB,OAAuC,EACvC,OAAuB,EACd,EAAE;IACX,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAC/D,OAAO,MAAM,EAAE,WAAW,KAAK,QAAQ,IAAI,MAAM,EAAE,WAAW,KAAK,QAAQ,CAAC;AAC9E,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,kCAAkC,GAAG,CACzC,IAA6B,EAC7B,OAAuB,EAC6B,EAAE;IACtD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;IAE7B,+BAA+B;IAC/B,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IAC1B,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,2BAA2B,CAAC,MAAM,CAAC,EAAE,CAAC;QACvD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,sDAAsD;IACtD,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IACnC,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAC1B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAEjD,yDAAyD;IACzD,IACE,OAAO,CAAC,IAAI,KAAK,eAAe;QAChC,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,EACxD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,qBAAqB;IACrB,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,SAAS,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAEpD,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;AAChC,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,iBAAiB,GAAG,CAAC,IAA6B,EAAW,EAAE;IACnE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAC5B,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3C,OAAO,KAAK,CAAC;IACf,CAAC;IAED,4CAA4C;IAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;IAC7B,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IAC1B,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,EAAE,CAAC;QAC/C,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,UAAU,GACd,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IACtE,OAAO,UAAU,KAAK,SAAS,CAAC;AAClC,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,IAA6B,EAC7B,OAAuB,EACiC,EAAE;IAC1D,0CAA0C;IAC1C,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,gFAAgF;IAChF,MAAM,QAAQ,GAAG,kCAAkC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACnE,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO;YACL,IAAI,EAAE,sBAAsB;YAC5B,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;YACpB,cAAc,EAAE,qBAAqB,CAAC,IAAI,CAAC,cAAc,EAAE,OAAO,CAAC;YACnE,IAAI,EAAE;gBACJ,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EAAE,QAAQ,CAAC,OAAO;gBACzB,SAAS,EAAE,QAAQ,CAAC,SAAS;aAC9B;YACD,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC;YACnC,QAAQ,EAAE,KAAK;SAChB,CAAC;IACJ,CAAC;IACD,yCAAyC;IACzC,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,MAAM,aAAa,GAAG,IAAI,CAAC,eAAe,EAAE,IAAI,CAC9C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc,CAChD,CAAC;IACF,MAAM,YAAY,GAChB,aAAa,EAAE,KAAK;SACjB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QACZ,IAAI,cAAc,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC;YAC/B,QAAQ,GAAG,IAAI,CAAC;YAChB,OAAO,KAAK,CAAC,CAAC,6BAA6B;QAC7C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;SACD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;IAE/C,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO;SAC5B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,sBAAsB,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;SAC9C,MAAM,CAAC,CAAC,CAAC,EAA0B,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;IAErD,kDAAkD;IAClD,MAAM,YAAY,GAAG,QAAQ;QAC3B,CAAC,CAAC,UAAU,CAAC,MAAM,CACf,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAC9D;QACH,CAAC,CAAC,UAAU,CAAC;IAEf,OAAO;QACL,IAAI,EAAE,sBAAsB;QAC5B,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;QACpB,cAAc,EAAE,qBAAqB,CAAC,IAAI,CAAC,cAAc,EAAE,OAAO,CAAC;QACnE,OAAO,EAAE,YAAY;QACrB,OAAO,EAAE,YAAY;QACrB,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC;QACnC,QAAQ;KACT,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"interfaces.js","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/interfaces.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAOjC,OAAO,EACL,iBAAiB,EACjB,mBAAmB,EACnB,qBAAqB,EACrB,iBAAiB,GAClB,MAAM,eAAe,CAAC;AAGvB;;GAEG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAoB,EACpB,GAAmB,EACO,EAAE;IAC5B,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAC9C,OAAO;YACL,IAAI,EAAE,mBAAmB;YACzB,IAAI,EACF,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY;YACzE,IAAI,EAAE,GAAG,CAAC,UAAU,CAAC,cAAc,CACjC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CACzC;YACD,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,aAAa;YAChC,UAAU,EAAE,mBAAmB,CAAC,IAAI,CAAC;SACtC,CAAC;IACJ,CAAC;IAED,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO;YACL,IAAI,EAAE,iBAAiB;YACvB,IAAI,EACF,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY;YACzE,cAAc,EAAE,qBAAqB,CAAC,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC;YAC/D,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;YACnD,UAAU,EAAE,IAAI,CAAC,IAAI;gBACnB,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,cAAc,CAC3B,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CACzC;gBACH,CAAC,CAAC,SAAS;SACd,CAAC;IACJ,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,cAAc,GAAG,CAAC,OAAuC,EAAW,EAAE;IAC1E,wFAAwF;IACxF,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC;QACrC,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ,CAAC;IAChD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,kCAAkC,GAAG,CACzC,IAA6B,EAC7B,GAAmB,EACiC,EAAE;IACtD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;IAE7B,+BAA+B;IAC/B,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IAC1B,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,2BAA2B,CAAC,MAAM,CAAC,EAAE,CAAC;QACvD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,sDAAsD;IACtD,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IACnC,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAC1B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,OAAO,GAAG,GAAG,CAAC,UAAU,CAAC,cAAc,CAC3C,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,CAC1C,CAAC;IAEF,yDAAyD;IACzD,IACE,OAAO,CAAC,IAAI,KAAK,eAAe;QAChC,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,EACxD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,qBAAqB;IACrB,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,SAAS,GAAG,GAAG,CAAC,UAAU,CAAC,cAAc,CAC7C,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,CAAC,CAC3C,CAAC;IAEF,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;AAChC,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,iBAAiB,GAAG,CAAC,IAA6B,EAAW,EAAE;IACnE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAC5B,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3C,OAAO,KAAK,CAAC;IACf,CAAC;IAED,4CAA4C;IAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;IAC7B,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IAC1B,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,EAAE,CAAC;QAC/C,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,UAAU,GACd,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IACtE,OAAO,UAAU,KAAK,SAAS,CAAC;AAClC,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,IAA6B,EAC7B,GAAmB,EACqC,EAAE;IAC1D,0CAA0C;IAC1C,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,gFAAgF;IAChF,MAAM,QAAQ,GAAG,kCAAkC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC/D,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO;YACL,IAAI,EAAE,sBAAsB;YAC5B,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;YACpB,cAAc,EAAE,qBAAqB,CAAC,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC;YAC/D,IAAI,EAAE;gBACJ,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EAAE,QAAQ,CAAC,OAAO;gBACzB,SAAS,EAAE,QAAQ,CAAC,SAAS;aAC9B;YACD,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC;YACnC,QAAQ,EAAE,KAAK;SAChB,CAAC;IACJ,CAAC;IACD,yCAAyC;IACzC,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,MAAM,aAAa,GAAG,IAAI,CAAC,eAAe,EAAE,IAAI,CAC9C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc,CAChD,CAAC;IACF,MAAM,YAAY,GAChB,aAAa,EAAE,KAAK;SACjB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QACZ,IAAI,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;YACtB,QAAQ,GAAG,IAAI,CAAC;YAChB,OAAO,KAAK,CAAC,CAAC,6BAA6B;QAC7C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;SACD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACT,GAAG,CAAC,UAAU,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAChE,IAAI,EAAE,CAAC;IAEZ,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO;SAC5B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,sBAAsB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;SAC1C,MAAM,CAAC,CAAC,CAAC,EAA0B,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;IAErD,kDAAkD;IAClD,MAAM,YAAY,GAAG,QAAQ;QAC3B,CAAC,CAAC,UAAU,CAAC,MAAM,CACf,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAC9D;QACH,CAAC,CAAC,UAAU,CAAC;IAEf,OAAO;QACL,IAAI,EAAE,sBAAsB;QAC5B,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;QACpB,cAAc,EAAE,qBAAqB,CAAC,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC;QAC/D,OAAO,EAAE,YAAY;QACrB,OAAO,EAAE,YAAY;QACrB,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC;QACnC,QAAQ;KACT,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/converters/statements/declarations/registry.d.ts

@@ -1,8 +1,29 @@
 /**
  * Metadata and binding registry management
+ *
+ * Provides module-level singletons for:
+ * - DotnetMetadataRegistry: .NET metadata for imported types
+ * - BindingRegistry: CLR bindings from tsbindgen
+ * - TypeRegistry: AST-based type declarations (opaque, set by orchestrator)
+ * - NominalEnv: Inheritance chain substitution (opaque, set by orchestrator)
+ *
+ * ALICE'S SPEC: This module does NOT import internal types.
+ * TypeRegistry and NominalEnv are stored as opaque values.
+ * Only the orchestrator (which IS allowed to import internals) knows the actual types.
  */
 import { DotnetMetadataRegistry } from "../../../../dotnet-metadata.js";
 import { BindingRegistry } from "../../../../program/bindings.js";
+import type { TypeSystem } from "../../../type-system/type-system.js";
+/**
+ * Opaque type for TypeRegistry (internal type-system implementation detail)
+ * The orchestrator sets and retrieves these; converters should use TypeSystem instead.
+ */
+type OpaqueTypeRegistry = unknown;
+/**
+ * Opaque type for NominalEnv (internal type-system implementation detail)
+ * The orchestrator sets and retrieves these; converters should use TypeSystem instead.
+ */
+type OpaqueNominalEnv = unknown;
 /**
  * Set the metadata registry for this compilation
  * Called once at the start of IR building
@@ -21,4 +42,55 @@ export declare const setBindingRegistry: (registry: BindingRegistry) => void;
  * Get the current binding registry
  */
 export declare const getBindingRegistry: () => BindingRegistry;
+/**
+ * Set the type registry for this compilation (opaque)
+ * Called once at the start of IR building by orchestrator
+ *
+ * ALICE'S SPEC: Parameter is opaque. Orchestrator passes actual TypeRegistry.
+ */
+export declare const setTypeRegistry: (registry: OpaqueTypeRegistry) => void;
+/**
+ * Internal accessor for TypeSystem construction only.
+ * NOT for use in converters - use TypeSystem methods instead.
+ *
+ * ALICE'S SPEC: Returns opaque value. Orchestrator casts to actual type.
+ */
+export declare const _internalGetTypeRegistry: () => OpaqueTypeRegistry | undefined;
+/**
+ * Set the nominal env for this compilation (opaque)
+ * Called once at the start of IR building by orchestrator
+ *
+ * ALICE'S SPEC: Parameter is opaque. Orchestrator passes actual NominalEnv.
+ */
+export declare const setNominalEnv: (env: OpaqueNominalEnv) => void;
+/**
+ * Internal accessor for TypeSystem construction only.
+ * NOT for use in converters - use TypeSystem methods instead.
+ *
+ * ALICE'S SPEC: Returns opaque value. Orchestrator casts to actual type.
+ */
+export declare const _internalGetNominalEnv: () => OpaqueNominalEnv | undefined;
+/**
+ * Set the TypeSystem for this compilation.
+ * Called once at the start of IR building, after TypeRegistry and NominalEnv are created.
+ *
+ * This is the ONLY way to set the global TypeSystem. All converters should
+ * eventually receive TypeSystem as a parameter, but during migration they
+ * can access it via getTypeSystem().
+ */
+export declare const setTypeSystem: (ts: TypeSystem) => void;
+/**
+ * Get the current TypeSystem.
+ * Returns undefined if not yet initialized.
+ *
+ * During Step 7 migration, converters can use this to access TypeSystem
+ * before they are fully migrated to receive it as a parameter.
+ */
+export declare const getTypeSystem: () => TypeSystem | undefined;
+/**
+ * Clear type registry, nominal env, and TypeSystem.
+ * Called between compilations to prevent stale data.
+ */
+export declare const clearTypeRegistries: () => void;
+export {};
 //# sourceMappingURL=registry.d.ts.map

package/dist/ir/converters/statements/declarations/registry.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/registry.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAclE;;;GAGG;AACH,eAAO,MAAM,mBAAmB,GAAI,UAAU,sBAAsB,KAAG,IAEtE,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,mBAAmB,QAAO,sBACpB,CAAC;AAEpB;;;GAGG;AACH,eAAO,MAAM,kBAAkB,GAAI,UAAU,eAAe,KAAG,IAE9D,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,kBAAkB,QAAO,eAAmC,CAAC"}
+{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAClE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qCAAqC,CAAC;AAEtE;;;GAGG;AACH,KAAK,kBAAkB,GAAG,OAAO,CAAC;AAElC;;;GAGG;AACH,KAAK,gBAAgB,GAAG,OAAO,CAAC;AAuChC;;;GAGG;AACH,eAAO,MAAM,mBAAmB,GAAI,UAAU,sBAAsB,KAAG,IAEtE,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,mBAAmB,QAAO,sBACpB,CAAC;AAEpB;;;GAGG;AACH,eAAO,MAAM,kBAAkB,GAAI,UAAU,eAAe,KAAG,IAE9D,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,kBAAkB,QAAO,eAAmC,CAAC;AAE1E;;;;;GAKG;AACH,eAAO,MAAM,eAAe,GAAI,UAAU,kBAAkB,KAAG,IAE9D,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,wBAAwB,QAAO,kBAAkB,GAAG,SAClD,CAAC;AAEhB;;;;;GAKG;AACH,eAAO,MAAM,aAAa,GAAI,KAAK,gBAAgB,KAAG,IAErD,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,sBAAsB,QAAO,gBAAgB,GAAG,SAChD,CAAC;AAEd;;;;;;;GAOG;AACH,eAAO,MAAM,aAAa,GAAI,IAAI,UAAU,KAAG,IAE9C,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,aAAa,QAAO,UAAU,GAAG,SAAwB,CAAC;AAEvE;;;GAGG;AACH,eAAO,MAAM,mBAAmB,QAAO,IAItC,CAAC"}

package/dist/ir/converters/statements/declarations/registry.js

@@ -1,5 +1,15 @@
 /**
  * Metadata and binding registry management
+ *
+ * Provides module-level singletons for:
+ * - DotnetMetadataRegistry: .NET metadata for imported types
+ * - BindingRegistry: CLR bindings from tsbindgen
+ * - TypeRegistry: AST-based type declarations (opaque, set by orchestrator)
+ * - NominalEnv: Inheritance chain substitution (opaque, set by orchestrator)
+ *
+ * ALICE'S SPEC: This module does NOT import internal types.
+ * TypeRegistry and NominalEnv are stored as opaque values.
+ * Only the orchestrator (which IS allowed to import internals) knows the actual types.
  */
 import { DotnetMetadataRegistry } from "../../../../dotnet-metadata.js";
 import { BindingRegistry } from "../../../../program/bindings.js";
@@ -13,6 +23,28 @@ let _metadataRegistry = new DotnetMetadataRegistry();
  * Set once at the start of compilation via setBindingRegistry()
  */
 let _bindingRegistry = new BindingRegistry();
+/**
+ * Module-level type registry singleton (opaque)
+ * Set once at the start of compilation via setTypeRegistry()
+ * Used for AST-based type declaration lookups (deterministic typing)
+ *
+ * ALICE'S SPEC: Stored as opaque value. Only orchestrator knows actual type.
+ */
+let _typeRegistry = undefined;
+/**
+ * Module-level nominal env singleton (opaque)
+ * Set once at the start of compilation via setNominalEnv()
+ * Used for inheritance chain substitution (deterministic typing)
+ *
+ * ALICE'S SPEC: Stored as opaque value. Only orchestrator knows actual type.
+ */
+let _nominalEnv = undefined;
+/**
+ * Module-level TypeSystem singleton
+ * Set once at the start of compilation via setTypeSystem()
+ * This is the single source of truth for all type queries (Alice's spec)
+ */
+let _typeSystem = undefined;
 /**
  * Set the metadata registry for this compilation
  * Called once at the start of IR building
@@ -35,4 +67,64 @@ export const setBindingRegistry = (registry) => {
  * Get the current binding registry
  */
 export const getBindingRegistry = () => _bindingRegistry;
+/**
+ * Set the type registry for this compilation (opaque)
+ * Called once at the start of IR building by orchestrator
+ *
+ * ALICE'S SPEC: Parameter is opaque. Orchestrator passes actual TypeRegistry.
+ */
+export const setTypeRegistry = (registry) => {
+    _typeRegistry = registry;
+};
+/**
+ * Internal accessor for TypeSystem construction only.
+ * NOT for use in converters - use TypeSystem methods instead.
+ *
+ * ALICE'S SPEC: Returns opaque value. Orchestrator casts to actual type.
+ */
+export const _internalGetTypeRegistry = () => _typeRegistry;
+/**
+ * Set the nominal env for this compilation (opaque)
+ * Called once at the start of IR building by orchestrator
+ *
+ * ALICE'S SPEC: Parameter is opaque. Orchestrator passes actual NominalEnv.
+ */
+export const setNominalEnv = (env) => {
+    _nominalEnv = env;
+};
+/**
+ * Internal accessor for TypeSystem construction only.
+ * NOT for use in converters - use TypeSystem methods instead.
+ *
+ * ALICE'S SPEC: Returns opaque value. Orchestrator casts to actual type.
+ */
+export const _internalGetNominalEnv = () => _nominalEnv;
+/**
+ * Set the TypeSystem for this compilation.
+ * Called once at the start of IR building, after TypeRegistry and NominalEnv are created.
+ *
+ * This is the ONLY way to set the global TypeSystem. All converters should
+ * eventually receive TypeSystem as a parameter, but during migration they
+ * can access it via getTypeSystem().
+ */
+export const setTypeSystem = (ts) => {
+    _typeSystem = ts;
+};
+/**
+ * Get the current TypeSystem.
+ * Returns undefined if not yet initialized.
+ *
+ * During Step 7 migration, converters can use this to access TypeSystem
+ * before they are fully migrated to receive it as a parameter.
+ */
+export const getTypeSystem = () => _typeSystem;
+/**
+ * Clear type registry, nominal env, and TypeSystem.
+ * Called between compilations to prevent stale data.
+ */
+export const clearTypeRegistries = () => {
+    _typeRegistry = undefined;
+    _nominalEnv = undefined;
+    _typeSystem = undefined;
+};
 //# sourceMappingURL=registry.js.map

package/dist/ir/converters/statements/declarations/registry.js.map

@@ -1 +1 @@
-{"version":3,"file":"registry.js","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/registry.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAElE;;;GAGG;AACH,IAAI,iBAAiB,GAA2B,IAAI,sBAAsB,EAAE,CAAC;AAE7E;;;GAGG;AACH,IAAI,gBAAgB,GAAoB,IAAI,eAAe,EAAE,CAAC;AAE9D;;;GAGG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,QAAgC,EAAQ,EAAE;IAC5E,iBAAiB,GAAG,QAAQ,CAAC;AAC/B,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,GAA2B,EAAE,CAC9D,iBAAiB,CAAC;AAEpB;;;GAGG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,QAAyB,EAAQ,EAAE;IACpE,gBAAgB,GAAG,QAAQ,CAAC;AAC9B,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,GAAoB,EAAE,CAAC,gBAAgB,CAAC"}
+{"version":3,"file":"registry.js","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAelE;;;GAGG;AACH,IAAI,iBAAiB,GAA2B,IAAI,sBAAsB,EAAE,CAAC;AAE7E;;;GAGG;AACH,IAAI,gBAAgB,GAAoB,IAAI,eAAe,EAAE,CAAC;AAE9D;;;;;;GAMG;AACH,IAAI,aAAa,GAAmC,SAAS,CAAC;AAE9D;;;;;;GAMG;AACH,IAAI,WAAW,GAAiC,SAAS,CAAC;AAE1D;;;;GAIG;AACH,IAAI,WAAW,GAA2B,SAAS,CAAC;AAEpD;;;GAGG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,QAAgC,EAAQ,EAAE;IAC5E,iBAAiB,GAAG,QAAQ,CAAC;AAC/B,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,GAA2B,EAAE,CAC9D,iBAAiB,CAAC;AAEpB;;;GAGG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,QAAyB,EAAQ,EAAE;IACpE,gBAAgB,GAAG,QAAQ,CAAC;AAC9B,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,GAAoB,EAAE,CAAC,gBAAgB,CAAC;AAE1E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,QAA4B,EAAQ,EAAE;IACpE,aAAa,GAAG,QAAQ,CAAC;AAC3B,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,GAAmC,EAAE,CAC3E,aAAa,CAAC;AAEhB;;;;;GAKG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,GAAqB,EAAQ,EAAE;IAC3D,WAAW,GAAG,GAAG,CAAC;AACpB,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,GAAiC,EAAE,CACvE,WAAW,CAAC;AAEd;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,EAAc,EAAQ,EAAE;IACpD,WAAW,GAAG,EAAE,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,GAA2B,EAAE,CAAC,WAAW,CAAC;AAEvE;;;GAGG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,GAAS,EAAE;IAC5C,aAAa,GAAG,SAAS,CAAC;IAC1B,WAAW,GAAG,SAAS,CAAC;IACxB,WAAW,GAAG,SAAS,CAAC;AAC1B,CAAC,CAAC"}

package/dist/ir/converters/statements/declarations/type-aliases.d.ts

@@ -3,6 +3,7 @@
  */
 import * as ts from "typescript";
 import { IrStatement } from "../../../types.js";
+import type { ProgramContext } from "../../../program-context.js";
 /**
  * Convert type alias declaration.
  *
@@ -11,5 +12,5 @@ import { IrStatement } from "../../../types.js";
  *
  * @returns Array of statements: [synthetic interfaces..., type alias]
  */
-export declare const convertTypeAliasDeclaration: (node: ts.TypeAliasDeclaration, checker: ts.TypeChecker) => readonly IrStatement[];
+export declare const convertTypeAliasDeclaration: (node: ts.TypeAliasDeclaration, ctx: ProgramContext) => readonly IrStatement[];
 //# sourceMappingURL=type-aliases.d.ts.map

package/dist/ir/converters/statements/declarations/type-aliases.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"type-aliases.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/type-aliases.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,WAAW,EAA0B,MAAM,mBAAmB,CAAC;AAKxE;;;;;;;GAOG;AACH,eAAO,MAAM,2BAA2B,GACtC,MAAM,EAAE,CAAC,oBAAoB,EAC7B,SAAS,EAAE,CAAC,WAAW,KACtB,SAAS,WAAW,EAetB,CAAC"}
+{"version":3,"file":"type-aliases.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/type-aliases.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,WAAW,EAA0B,MAAM,mBAAmB,CAAC;AAGxE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAElE;;;;;;;GAOG;AACH,eAAO,MAAM,2BAA2B,GACtC,MAAM,EAAE,CAAC,oBAAoB,EAC7B,KAAK,cAAc,KAClB,SAAS,WAAW,EAkBtB,CAAC"}

package/dist/ir/converters/statements/declarations/type-aliases.js

@@ -1,7 +1,6 @@
 /**
  * Type alias declaration converter
  */
-import { convertType } from "../../../type-converter.js";
 import { hasExportModifier, convertTypeParameters } from "../helpers.js";
 import { processTypeAliasForSynthetics } from "../../synthetic-types.js";
 /**
@@ -12,12 +11,15 @@ import { processTypeAliasForSynthetics } from "../../synthetic-types.js";
  *
  * @returns Array of statements: [synthetic interfaces..., type alias]
  */
-export const convertTypeAliasDeclaration = (node, checker) => {
+export const convertTypeAliasDeclaration = (node, ctx) => {
+    // PHASE 4 (Alice's spec): Use captureTypeSyntax + typeFromSyntax
+    // This replaces the deprecated convertTypeNode pattern.
+    const typeSyntaxId = ctx.binding.captureTypeSyntax(node.type);
     const baseAlias = {
         kind: "typeAliasDeclaration",
         name: node.name.text,
-        typeParameters: convertTypeParameters(node.typeParameters, checker),
-        type: convertType(node.type, checker),
+        typeParameters: convertTypeParameters(node.typeParameters, ctx),
+        type: ctx.typeSystem.typeFromSyntax(typeSyntaxId),
         isExported: hasExportModifier(node),
         isStruct: false, // Type aliases are not structs by default
     };

package/dist/ir/converters/statements/declarations/type-aliases.js.map

@@ -1 +1 @@
-{"version":3,"file":"type-aliases.js","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/type-aliases.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AACzD,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AACzE,OAAO,EAAE,6BAA6B,EAAE,MAAM,0BAA0B,CAAC;AAEzE;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,IAA6B,EAC7B,OAAuB,EACC,EAAE;IAC1B,MAAM,SAAS,GAA2B;QACxC,IAAI,EAAE,sBAAsB;QAC5B,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;QACpB,cAAc,EAAE,qBAAqB,CAAC,IAAI,CAAC,cAAc,EAAE,OAAO,CAAC;QACnE,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC;QACrC,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC;QACnC,QAAQ,EAAE,KAAK,EAAE,0CAA0C;KAC5D,CAAC;IAEF,mEAAmE;IACnE,MAAM,MAAM,GAAG,6BAA6B,CAAC,SAAS,CAAC,CAAC;IAExD,oEAAoE;IACpE,OAAO,CAAC,GAAG,MAAM,CAAC,mBAAmB,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;AAC3D,CAAC,CAAC"}
+{"version":3,"file":"type-aliases.js","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/type-aliases.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AACzE,OAAO,EAAE,6BAA6B,EAAE,MAAM,0BAA0B,CAAC;AAGzE;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,IAA6B,EAC7B,GAAmB,EACK,EAAE;IAC1B,iEAAiE;IACjE,wDAAwD;IACxD,MAAM,YAAY,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,MAAM,SAAS,GAA2B;QACxC,IAAI,EAAE,sBAAsB;QAC5B,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;QACpB,cAAc,EAAE,qBAAqB,CAAC,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC;QAC/D,IAAI,EAAE,GAAG,CAAC,UAAU,CAAC,cAAc,CAAC,YAAY,CAAC;QACjD,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC;QACnC,QAAQ,EAAE,KAAK,EAAE,0CAA0C;KAC5D,CAAC;IAEF,mEAAmE;IACnE,MAAM,MAAM,GAAG,6BAA6B,CAAC,SAAS,CAAC,CAAC;IAExD,oEAAoE;IACpE,OAAO,CAAC,GAAG,MAAM,CAAC,mBAAmB,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;AAC3D,CAAC,CAAC"}

package/dist/ir/converters/statements/declarations/variables.d.ts

@@ -3,8 +3,18 @@
  */
 import * as ts from "typescript";
 import { IrVariableDeclaration } from "../../../types.js";
+import type { ProgramContext } from "../../../program-context.js";
 /**
  * Convert variable statement
+ *
+ * Passes the LHS type annotation (if present) to the initializer conversion
+ * for deterministic contextual typing. This ensures that:
+ * - `const a: number[] = [1,2,3]` produces `double[]` not `int[]`
+ * - `const x: int = 5` produces `int` not `double`
+ *
+ * For module-level variables (without explicit annotation), we infer the type
+ * from TypeScript and pass it as expectedType to ensure consistent typing
+ * between the variable declaration and its initializer.
  */
-export declare const convertVariableStatement: (node: ts.VariableStatement, checker: ts.TypeChecker) => IrVariableDeclaration;
+export declare const convertVariableStatement: (node: ts.VariableStatement, ctx: ProgramContext) => IrVariableDeclaration;
 //# sourceMappingURL=variables.d.ts.map

package/dist/ir/converters/statements/declarations/variables.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"variables.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/variables.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AA6B1D;;GAEG;AACH,eAAO,MAAM,wBAAwB,GACnC,MAAM,EAAE,CAAC,iBAAiB,EAC1B,SAAS,EAAE,CAAC,WAAW,KACtB,qBAmBF,CAAC"}
+{"version":3,"file":"variables.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/variables.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,qBAAqB,EAAwB,MAAM,mBAAmB,CAAC;AAIhF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AA0GlE;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,wBAAwB,GACnC,MAAM,EAAE,CAAC,iBAAiB,EAC1B,KAAK,cAAc,KAClB,qBA+CF,CAAC"}