@tsonic/frontend 0.0.14 → 0.0.16

package/dist/ir/bindings-disambiguation.test.js

@@ -0,0 +1,416 @@
+/**
+ * Regression tests for CLR member binding disambiguation.
+ *
+ * Critical case: multiple tsbindgen namespaces can export the same TS type alias
+ * (e.g., `Server`), but with different CLR declaring types and member casing.
+ *
+ * Tsonic must not guess CLR member names via naming policy in these cases.
+ * It must use the correct tsbindgen bindings determined by the TS declaration source.
+ */
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import * as ts from "typescript";
+import * as fs from "node:fs";
+import * as os from "node:os";
+import * as path from "node:path";
+import { buildIr, 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("CLR member binding disambiguation", () => {
+    it("should disambiguate collisions by nearest bindings.json (Server.listen)", () => {
+        const tmpRoot = fs.mkdtempSync(path.join(os.tmpdir(), "tsonic-bindings-disambiguation-"));
+        const dtsDir = path.join(tmpRoot, "nodejs.Http", "internal");
+        fs.mkdirSync(dtsDir, { recursive: true });
+        const bindingsJsonPath = path.join(tmpRoot, "nodejs.Http", "bindings.json");
+        fs.writeFileSync(bindingsJsonPath, JSON.stringify({
+            namespace: "nodejs.Http",
+            types: [
+                {
+                    tsEmitName: "Server",
+                    clrName: "nodejs.Http.Server",
+                },
+            ],
+        }, null, 2), "utf8");
+        const dtsFileName = path.join(dtsDir, "index.d.ts");
+        const dtsSource = `
+      declare interface Server$instance {
+        listen(port: number, callback: () => void): void;
+      }
+      declare type Server = Server$instance;
+    `;
+        const fileName = path.join(tmpRoot, "sample.ts");
+        const source = `
+      export function test(server: Server): void {
+        server.listen(3000, () => {});
+      }
+    `;
+        const libFileName = path.join(tmpRoot, "lib.d.ts");
+        const libSource = `
+      interface Function {}
+      interface Object {}
+      interface String {}
+      interface Boolean {}
+      interface Number {}
+      interface IArguments {}
+      type PropertyKey = string | number | symbol;
+    `;
+        const sourceFile = ts.createSourceFile(fileName, source, ts.ScriptTarget.ES2022, true, ts.ScriptKind.TS);
+        const dtsFile = ts.createSourceFile(dtsFileName, dtsSource, ts.ScriptTarget.ES2022, true, ts.ScriptKind.TS);
+        const libFile = ts.createSourceFile(libFileName, libSource, ts.ScriptTarget.ES2022, true, ts.ScriptKind.TS);
+        const fileMap = new Map([
+            [fileName, sourceFile],
+            [dtsFileName, dtsFile],
+            [libFileName, libFile],
+        ]);
+        const program = ts.createProgram([fileName, dtsFileName], {
+            target: ts.ScriptTarget.ES2022,
+            module: ts.ModuleKind.ES2022,
+        }, {
+            getSourceFile: (name) => fileMap.get(name),
+            writeFile: () => { },
+            getCurrentDirectory: () => tmpRoot,
+            getDirectories: () => [],
+            fileExists: (name) => fileMap.has(name),
+            readFile: (name) => fileMap.get(name)?.text,
+            getCanonicalFileName: (f) => f,
+            useCaseSensitiveFileNames: () => true,
+            getNewLine: () => "\n",
+            getDefaultLibFileName: () => libFileName,
+        });
+        const checker = program.getTypeChecker();
+        const bindings = new BindingRegistry();
+        bindings.addBindings("/test/nodejs-http.json", {
+            namespace: "nodejs.Http",
+            types: [
+                {
+                    clrName: "nodejs.Http.Server",
+                    tsEmitName: "Server",
+                    assemblyName: "nodejs",
+                    methods: [
+                        {
+                            clrName: "listen",
+                            tsEmitName: "listen",
+                            normalizedSignature: "listen|(System.Int32,System.Action):nodejs.Http.Server|static=false",
+                            parameterCount: 2,
+                            declaringClrType: "nodejs.Http.Server",
+                            declaringAssemblyName: "nodejs",
+                        },
+                    ],
+                    properties: [],
+                    fields: [],
+                },
+            ],
+        });
+        // Collision: another namespace also exports a `Server.listen`, but the CLR member
+        // name casing differs (Listen vs listen). Tsonic must select the correct one
+        // using the declaration source file's nearest bindings.json.
+        bindings.addBindings("/test/nodejs.json", {
+            namespace: "nodejs",
+            types: [
+                {
+                    clrName: "nodejs.Server",
+                    tsEmitName: "Server",
+                    assemblyName: "nodejs",
+                    methods: [
+                        {
+                            clrName: "Listen",
+                            tsEmitName: "listen",
+                            normalizedSignature: "Listen|(System.Int32,System.Action):nodejs.Server|static=false",
+                            parameterCount: 2,
+                            declaringClrType: "nodejs.Server",
+                            declaringAssemblyName: "nodejs",
+                        },
+                    ],
+                    properties: [],
+                    fields: [],
+                },
+            ],
+        });
+        const testProgram = {
+            program,
+            checker,
+            options: {
+                projectRoot: tmpRoot,
+                sourceRoot: tmpRoot,
+                rootNamespace: "TestApp",
+                strict: true,
+            },
+            sourceFiles: [sourceFile],
+            declarationSourceFiles: [dtsFile],
+            metadata: new DotnetMetadataRegistry(),
+            bindings,
+            clrResolver: createClrBindingsResolver(tmpRoot),
+            binding: createBinding(checker),
+        };
+        const ctx = createProgramContext(testProgram, {
+            sourceRoot: tmpRoot,
+            rootNamespace: "TestApp",
+        });
+        const irResult = buildIrModule(sourceFile, testProgram, testProgram.options, ctx);
+        if (!irResult.ok) {
+            console.error("IR build failed:", irResult.error);
+            throw new Error(`IR build MUST succeed for disambiguation test, got: ${JSON.stringify(irResult.error)}`);
+        }
+        const overloads = bindings.getMemberOverloads("Server", "listen");
+        expect(overloads?.length).to.equal(2, "Test setup must have two Server.listen overload targets");
+        const funcDecl = irResult.value.body[0];
+        if (funcDecl?.kind !== "functionDeclaration") {
+            throw new Error("Expected function declaration");
+        }
+        const exprStmt = funcDecl.body.statements[0];
+        if (exprStmt?.kind !== "expressionStatement") {
+            throw new Error("Expected expression statement");
+        }
+        const callExpr = exprStmt.expression;
+        if (callExpr.kind !== "call") {
+            throw new Error("Expected call expression");
+        }
+        const callee = callExpr.callee;
+        if (callee.kind !== "memberAccess") {
+            throw new Error("Expected member access callee");
+        }
+        expect(callee.memberBinding, "Member binding must be resolved").to.not.equal(undefined);
+        expect(callee.memberBinding?.type).to.equal("nodejs.Http.Server");
+        expect(callee.memberBinding?.member).to.equal("listen");
+    });
+    it("should fail compilation when collisions cannot be disambiguated (airplane-grade)", () => {
+        const tmpRoot = fs.mkdtempSync(path.join(os.tmpdir(), "tsonic-bindings-disambiguation-"));
+        const dtsDir = path.join(tmpRoot, "nodejs.Http", "internal");
+        fs.mkdirSync(dtsDir, { recursive: true });
+        // Intentionally incorrect bindings.json: the declaring type ("Server") is missing.
+        // This makes overload disambiguation impossible.
+        const bindingsJsonPath = path.join(tmpRoot, "nodejs.Http", "bindings.json");
+        fs.writeFileSync(bindingsJsonPath, JSON.stringify({
+            namespace: "nodejs.Http",
+            types: [
+                {
+                    tsEmitName: "NotServer",
+                    clrName: "nodejs.Http.NotServer",
+                },
+            ],
+        }, null, 2), "utf8");
+        const dtsFileName = path.join(dtsDir, "index.d.ts");
+        const dtsSource = `
+      declare interface Server$instance {
+        listen(port: number, callback: () => void): void;
+      }
+      declare type Server = Server$instance;
+    `;
+        const fileName = path.join(tmpRoot, "sample.ts");
+        const source = `
+      export function test(server: Server): void {
+        server.listen(3000, () => {});
+      }
+    `;
+        const libFileName = path.join(tmpRoot, "lib.d.ts");
+        const libSource = `
+      interface Function {}
+      interface Object {}
+      interface String {}
+      interface Boolean {}
+      interface Number {}
+      interface IArguments {}
+      type PropertyKey = string | number | symbol;
+    `;
+        const sourceFile = ts.createSourceFile(fileName, source, ts.ScriptTarget.ES2022, true, ts.ScriptKind.TS);
+        const dtsFile = ts.createSourceFile(dtsFileName, dtsSource, ts.ScriptTarget.ES2022, true, ts.ScriptKind.TS);
+        const libFile = ts.createSourceFile(libFileName, libSource, ts.ScriptTarget.ES2022, true, ts.ScriptKind.TS);
+        const fileMap = new Map([
+            [fileName, sourceFile],
+            [dtsFileName, dtsFile],
+            [libFileName, libFile],
+        ]);
+        const program = ts.createProgram([fileName, dtsFileName], {
+            target: ts.ScriptTarget.ES2022,
+            module: ts.ModuleKind.ES2022,
+        }, {
+            getSourceFile: (name) => fileMap.get(name),
+            writeFile: () => { },
+            getCurrentDirectory: () => tmpRoot,
+            getDirectories: () => [],
+            fileExists: (name) => fileMap.has(name),
+            readFile: (name) => fileMap.get(name)?.text,
+            getCanonicalFileName: (f) => f,
+            useCaseSensitiveFileNames: () => true,
+            getNewLine: () => "\n",
+            getDefaultLibFileName: () => libFileName,
+        });
+        const checker = program.getTypeChecker();
+        const bindings = new BindingRegistry();
+        bindings.addBindings("/test/nodejs-http.json", {
+            namespace: "nodejs.Http",
+            types: [
+                {
+                    clrName: "nodejs.Http.Server",
+                    tsEmitName: "Server",
+                    assemblyName: "nodejs",
+                    methods: [
+                        {
+                            clrName: "listen",
+                            tsEmitName: "listen",
+                            normalizedSignature: "listen|(System.Int32,System.Action):nodejs.Http.Server|static=false",
+                            parameterCount: 2,
+                            declaringClrType: "nodejs.Http.Server",
+                            declaringAssemblyName: "nodejs",
+                        },
+                    ],
+                    properties: [],
+                    fields: [],
+                },
+            ],
+        });
+        bindings.addBindings("/test/nodejs.json", {
+            namespace: "nodejs",
+            types: [
+                {
+                    clrName: "nodejs.Server",
+                    tsEmitName: "Server",
+                    assemblyName: "nodejs",
+                    methods: [
+                        {
+                            clrName: "Listen",
+                            tsEmitName: "listen",
+                            normalizedSignature: "Listen|(System.Int32,System.Action):nodejs.Server|static=false",
+                            parameterCount: 2,
+                            declaringClrType: "nodejs.Server",
+                            declaringAssemblyName: "nodejs",
+                        },
+                    ],
+                    properties: [],
+                    fields: [],
+                },
+            ],
+        });
+        const testProgram = {
+            program,
+            checker,
+            options: {
+                projectRoot: tmpRoot,
+                sourceRoot: tmpRoot,
+                rootNamespace: "TestApp",
+                strict: true,
+            },
+            sourceFiles: [sourceFile],
+            declarationSourceFiles: [dtsFile],
+            metadata: new DotnetMetadataRegistry(),
+            bindings,
+            clrResolver: createClrBindingsResolver(tmpRoot),
+            binding: createBinding(checker),
+        };
+        const irResult = buildIr(testProgram, {
+            sourceRoot: tmpRoot,
+            rootNamespace: "TestApp",
+        });
+        expect(irResult.ok, "IR build must fail on ambiguous CLR bindings").to.equal(false);
+        if (irResult.ok)
+            return;
+        const codes = irResult.error.map((d) => d.code);
+        expect(codes).to.include("TSN4003");
+    });
+    it("should fail compilation when a CLR-declared member has no binding (airplane-grade)", () => {
+        const tmpRoot = fs.mkdtempSync(path.join(os.tmpdir(), "tsonic-bindings-disambiguation-"));
+        const dtsDir = path.join(tmpRoot, "nodejs.Http", "internal");
+        fs.mkdirSync(dtsDir, { recursive: true });
+        const bindingsJsonPath = path.join(tmpRoot, "nodejs.Http", "bindings.json");
+        fs.writeFileSync(bindingsJsonPath, JSON.stringify({
+            namespace: "nodejs.Http",
+            types: [
+                {
+                    tsEmitName: "Server",
+                    clrName: "nodejs.Http.Server",
+                },
+            ],
+        }, null, 2), "utf8");
+        const dtsFileName = path.join(dtsDir, "index.d.ts");
+        const dtsSource = `
+      declare interface Server$instance {
+        listen(port: number, callback: () => void): void;
+      }
+      declare type Server = Server$instance;
+    `;
+        const fileName = path.join(tmpRoot, "sample.ts");
+        const source = `
+      export function test(server: Server): void {
+        server.listen(3000, () => {});
+      }
+    `;
+        const libFileName = path.join(tmpRoot, "lib.d.ts");
+        const libSource = `
+      interface Function {}
+      interface Object {}
+      interface String {}
+      interface Boolean {}
+      interface Number {}
+      interface IArguments {}
+      type PropertyKey = string | number | symbol;
+    `;
+        const sourceFile = ts.createSourceFile(fileName, source, ts.ScriptTarget.ES2022, true, ts.ScriptKind.TS);
+        const dtsFile = ts.createSourceFile(dtsFileName, dtsSource, ts.ScriptTarget.ES2022, true, ts.ScriptKind.TS);
+        const libFile = ts.createSourceFile(libFileName, libSource, ts.ScriptTarget.ES2022, true, ts.ScriptKind.TS);
+        const fileMap = new Map([
+            [fileName, sourceFile],
+            [dtsFileName, dtsFile],
+            [libFileName, libFile],
+        ]);
+        const program = ts.createProgram([fileName, dtsFileName], {
+            target: ts.ScriptTarget.ES2022,
+            module: ts.ModuleKind.ES2022,
+        }, {
+            getSourceFile: (name) => fileMap.get(name),
+            writeFile: () => { },
+            getCurrentDirectory: () => tmpRoot,
+            getDirectories: () => [],
+            fileExists: (name) => fileMap.has(name),
+            readFile: (name) => fileMap.get(name)?.text,
+            getCanonicalFileName: (f) => f,
+            useCaseSensitiveFileNames: () => true,
+            getNewLine: () => "\n",
+            getDefaultLibFileName: () => libFileName,
+        });
+        const checker = program.getTypeChecker();
+        const bindings = new BindingRegistry();
+        // NOTE: Intentionally omit the `listen` member from bindings to simulate missing bindings.
+        bindings.addBindings("/test/nodejs-http.json", {
+            namespace: "nodejs.Http",
+            types: [
+                {
+                    clrName: "nodejs.Http.Server",
+                    tsEmitName: "Server",
+                    assemblyName: "nodejs",
+                    methods: [],
+                    properties: [],
+                    fields: [],
+                },
+            ],
+        });
+        const testProgram = {
+            program,
+            checker,
+            options: {
+                projectRoot: tmpRoot,
+                sourceRoot: tmpRoot,
+                rootNamespace: "TestApp",
+                strict: true,
+            },
+            sourceFiles: [sourceFile],
+            declarationSourceFiles: [dtsFile],
+            metadata: new DotnetMetadataRegistry(),
+            bindings,
+            clrResolver: createClrBindingsResolver(tmpRoot),
+            binding: createBinding(checker),
+        };
+        const irResult = buildIr(testProgram, {
+            sourceRoot: tmpRoot,
+            rootNamespace: "TestApp",
+        });
+        expect(irResult.ok, "IR build must fail on missing CLR bindings").to.equal(false);
+        if (irResult.ok)
+            return;
+        const codes = irResult.error.map((d) => d.code);
+        expect(codes).to.include("TSN4004");
+    });
+});
+//# sourceMappingURL=bindings-disambiguation.test.js.map

package/dist/ir/bindings-disambiguation.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bindings-disambiguation.test.js","sourceRoot":"","sources":["../../src/ir/bindings-disambiguation.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;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,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AACtD,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,mCAAmC,EAAE,GAAG,EAAE;IACjD,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,OAAO,GAAG,EAAE,CAAC,WAAW,CAC5B,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,iCAAiC,CAAC,CAC1D,CAAC;QAEF,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,aAAa,EAAE,UAAU,CAAC,CAAC;QAC7D,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAE1C,MAAM,gBAAgB,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,aAAa,EAAE,eAAe,CAAC,CAAC;QAC5E,EAAE,CAAC,aAAa,CACd,gBAAgB,EAChB,IAAI,CAAC,SAAS,CACZ;YACE,SAAS,EAAE,aAAa;YACxB,KAAK,EAAE;gBACL;oBACE,UAAU,EAAE,QAAQ;oBACpB,OAAO,EAAE,oBAAoB;iBAC9B;aACF;SACF,EACD,IAAI,EACJ,CAAC,CACF,EACD,MAAM,CACP,CAAC;QAEF,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;QACpD,MAAM,SAAS,GAAG;;;;;KAKjB,CAAC;QAEF,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;QACjD,MAAM,MAAM,GAAG;;;;KAId,CAAC;QAEF,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;QACnD,MAAM,SAAS,GAAG;;;;;;;;KAQjB,CAAC;QAEF,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;QACF,MAAM,OAAO,GAAG,EAAE,CAAC,gBAAgB,CACjC,WAAW,EACX,SAAS,EACT,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,EAAE,CACjB,CAAC;QACF,MAAM,OAAO,GAAG,EAAE,CAAC,gBAAgB,CACjC,WAAW,EACX,SAAS,EACT,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,EAAE,CACjB,CAAC;QAEF,MAAM,OAAO,GAAG,IAAI,GAAG,CAAwB;YAC7C,CAAC,QAAQ,EAAE,UAAU,CAAC;YACtB,CAAC,WAAW,EAAE,OAAO,CAAC;YACtB,CAAC,WAAW,EAAE,OAAO,CAAC;SACvB,CAAC,CAAC;QAEH,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAC9B,CAAC,QAAQ,EAAE,WAAW,CAAC,EACvB;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,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAC1C,SAAS,EAAE,GAAG,EAAE,GAAE,CAAC;YACnB,mBAAmB,EAAE,GAAG,EAAE,CAAC,OAAO;YAClC,cAAc,EAAE,GAAG,EAAE,CAAC,EAAE;YACxB,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YACvC,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI;YAC3C,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,GAAG,EAAE,CAAC,WAAW;SACzC,CACF,CAAC;QAEF,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;QAEzC,MAAM,QAAQ,GAAG,IAAI,eAAe,EAAE,CAAC;QACvC,QAAQ,CAAC,WAAW,CAAC,wBAAwB,EAAE;YAC7C,SAAS,EAAE,aAAa;YACxB,KAAK,EAAE;gBACL;oBACE,OAAO,EAAE,oBAAoB;oBAC7B,UAAU,EAAE,QAAQ;oBACpB,YAAY,EAAE,QAAQ;oBACtB,OAAO,EAAE;wBACP;4BACE,OAAO,EAAE,QAAQ;4BACjB,UAAU,EAAE,QAAQ;4BACpB,mBAAmB,EAAE,qEAAqE;4BAC1F,cAAc,EAAE,CAAC;4BACjB,gBAAgB,EAAE,oBAAoB;4BACtC,qBAAqB,EAAE,QAAQ;yBAChC;qBACF;oBACD,UAAU,EAAE,EAAE;oBACd,MAAM,EAAE,EAAE;iBACX;aACF;SACF,CAAC,CAAC;QAEH,kFAAkF;QAClF,6EAA6E;QAC7E,6DAA6D;QAC7D,QAAQ,CAAC,WAAW,CAAC,mBAAmB,EAAE;YACxC,SAAS,EAAE,QAAQ;YACnB,KAAK,EAAE;gBACL;oBACE,OAAO,EAAE,eAAe;oBACxB,UAAU,EAAE,QAAQ;oBACpB,YAAY,EAAE,QAAQ;oBACtB,OAAO,EAAE;wBACP;4BACE,OAAO,EAAE,QAAQ;4BACjB,UAAU,EAAE,QAAQ;4BACpB,mBAAmB,EAAE,gEAAgE;4BACrF,cAAc,EAAE,CAAC;4BACjB,gBAAgB,EAAE,eAAe;4BACjC,qBAAqB,EAAE,QAAQ;yBAChC;qBACF;oBACD,UAAU,EAAE,EAAE;oBACd,MAAM,EAAE,EAAE;iBACX;aACF;SACF,CAAC,CAAC;QAEH,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,CAAC,OAAO,CAAC;YACjC,QAAQ,EAAE,IAAI,sBAAsB,EAAE;YACtC,QAAQ;YACR,WAAW,EAAE,yBAAyB,CAAC,OAAO,CAAC;YAC/C,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC;SAChC,CAAC;QAEF,MAAM,GAAG,GAAG,oBAAoB,CAAC,WAAW,EAAE;YAC5C,UAAU,EAAE,OAAO;YACnB,aAAa,EAAE,SAAS;SACzB,CAAC,CAAC;QAEH,MAAM,QAAQ,GAAG,aAAa,CAAC,UAAU,EAAE,WAAW,EAAE,WAAW,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAClF,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;YACjB,OAAO,CAAC,KAAK,CAAC,kBAAkB,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;YAClD,MAAM,IAAI,KAAK,CACb,uDAAuD,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CACxF,CAAC;QACJ,CAAC;QAED,MAAM,SAAS,GAAG,QAAQ,CAAC,kBAAkB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAClE,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAChC,CAAC,EACD,yDAAyD,CAC1D,CAAC;QAEF,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACxC,IAAI,QAAQ,EAAE,IAAI,KAAK,qBAAqB,EAAE,CAAC;YAC7C,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;QACnD,CAAC;QAED,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAI,QAAQ,EAAE,IAAI,KAAK,qBAAqB,EAAE,CAAC;YAC7C,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;QACnD,CAAC;QAED,MAAM,QAAQ,GAAG,QAAQ,CAAC,UAAU,CAAC;QACrC,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC7B,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;QAC9C,CAAC;QAED,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;QAC/B,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;YACnC,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;QACnD,CAAC;QAED,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,iCAAiC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAC1E,SAAS,CACV,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC;QAClE,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kFAAkF,EAAE,GAAG,EAAE;QAC1F,MAAM,OAAO,GAAG,EAAE,CAAC,WAAW,CAC5B,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,iCAAiC,CAAC,CAC1D,CAAC;QAEF,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,aAAa,EAAE,UAAU,CAAC,CAAC;QAC7D,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAE1C,mFAAmF;QACnF,iDAAiD;QACjD,MAAM,gBAAgB,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,aAAa,EAAE,eAAe,CAAC,CAAC;QAC5E,EAAE,CAAC,aAAa,CACd,gBAAgB,EAChB,IAAI,CAAC,SAAS,CACZ;YACE,SAAS,EAAE,aAAa;YACxB,KAAK,EAAE;gBACL;oBACE,UAAU,EAAE,WAAW;oBACvB,OAAO,EAAE,uBAAuB;iBACjC;aACF;SACF,EACD,IAAI,EACJ,CAAC,CACF,EACD,MAAM,CACP,CAAC;QAEF,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;QACpD,MAAM,SAAS,GAAG;;;;;KAKjB,CAAC;QAEF,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;QACjD,MAAM,MAAM,GAAG;;;;KAId,CAAC;QAEF,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;QACnD,MAAM,SAAS,GAAG;;;;;;;;KAQjB,CAAC;QAEF,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;QACF,MAAM,OAAO,GAAG,EAAE,CAAC,gBAAgB,CACjC,WAAW,EACX,SAAS,EACT,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,EAAE,CACjB,CAAC;QACF,MAAM,OAAO,GAAG,EAAE,CAAC,gBAAgB,CACjC,WAAW,EACX,SAAS,EACT,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,EAAE,CACjB,CAAC;QAEF,MAAM,OAAO,GAAG,IAAI,GAAG,CAAwB;YAC7C,CAAC,QAAQ,EAAE,UAAU,CAAC;YACtB,CAAC,WAAW,EAAE,OAAO,CAAC;YACtB,CAAC,WAAW,EAAE,OAAO,CAAC;SACvB,CAAC,CAAC;QAEH,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAC9B,CAAC,QAAQ,EAAE,WAAW,CAAC,EACvB;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,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAC1C,SAAS,EAAE,GAAG,EAAE,GAAE,CAAC;YACnB,mBAAmB,EAAE,GAAG,EAAE,CAAC,OAAO;YAClC,cAAc,EAAE,GAAG,EAAE,CAAC,EAAE;YACxB,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YACvC,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI;YAC3C,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,GAAG,EAAE,CAAC,WAAW;SACzC,CACF,CAAC;QAEF,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;QAEzC,MAAM,QAAQ,GAAG,IAAI,eAAe,EAAE,CAAC;QACvC,QAAQ,CAAC,WAAW,CAAC,wBAAwB,EAAE;YAC7C,SAAS,EAAE,aAAa;YACxB,KAAK,EAAE;gBACL;oBACE,OAAO,EAAE,oBAAoB;oBAC7B,UAAU,EAAE,QAAQ;oBACpB,YAAY,EAAE,QAAQ;oBACtB,OAAO,EAAE;wBACP;4BACE,OAAO,EAAE,QAAQ;4BACjB,UAAU,EAAE,QAAQ;4BACpB,mBAAmB,EAAE,qEAAqE;4BAC1F,cAAc,EAAE,CAAC;4BACjB,gBAAgB,EAAE,oBAAoB;4BACtC,qBAAqB,EAAE,QAAQ;yBAChC;qBACF;oBACD,UAAU,EAAE,EAAE;oBACd,MAAM,EAAE,EAAE;iBACX;aACF;SACF,CAAC,CAAC;QAEH,QAAQ,CAAC,WAAW,CAAC,mBAAmB,EAAE;YACxC,SAAS,EAAE,QAAQ;YACnB,KAAK,EAAE;gBACL;oBACE,OAAO,EAAE,eAAe;oBACxB,UAAU,EAAE,QAAQ;oBACpB,YAAY,EAAE,QAAQ;oBACtB,OAAO,EAAE;wBACP;4BACE,OAAO,EAAE,QAAQ;4BACjB,UAAU,EAAE,QAAQ;4BACpB,mBAAmB,EAAE,gEAAgE;4BACrF,cAAc,EAAE,CAAC;4BACjB,gBAAgB,EAAE,eAAe;4BACjC,qBAAqB,EAAE,QAAQ;yBAChC;qBACF;oBACD,UAAU,EAAE,EAAE;oBACd,MAAM,EAAE,EAAE;iBACX;aACF;SACF,CAAC,CAAC;QAEH,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,CAAC,OAAO,CAAC;YACjC,QAAQ,EAAE,IAAI,sBAAsB,EAAE;YACtC,QAAQ;YACR,WAAW,EAAE,yBAAyB,CAAC,OAAO,CAAC;YAC/C,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC;SAChC,CAAC;QAEF,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,EAAE;YACpC,UAAU,EAAE,OAAO;YACnB,aAAa,EAAE,SAAS;SACzB,CAAC,CAAC;QAEH,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,8CAA8C,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAEpF,IAAI,QAAQ,CAAC,EAAE;YAAE,OAAO;QAExB,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAChD,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oFAAoF,EAAE,GAAG,EAAE;QAC5F,MAAM,OAAO,GAAG,EAAE,CAAC,WAAW,CAC5B,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,iCAAiC,CAAC,CAC1D,CAAC;QAEF,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,aAAa,EAAE,UAAU,CAAC,CAAC;QAC7D,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAE1C,MAAM,gBAAgB,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,aAAa,EAAE,eAAe,CAAC,CAAC;QAC5E,EAAE,CAAC,aAAa,CACd,gBAAgB,EAChB,IAAI,CAAC,SAAS,CACZ;YACE,SAAS,EAAE,aAAa;YACxB,KAAK,EAAE;gBACL;oBACE,UAAU,EAAE,QAAQ;oBACpB,OAAO,EAAE,oBAAoB;iBAC9B;aACF;SACF,EACD,IAAI,EACJ,CAAC,CACF,EACD,MAAM,CACP,CAAC;QAEF,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;QACpD,MAAM,SAAS,GAAG;;;;;KAKjB,CAAC;QAEF,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;QACjD,MAAM,MAAM,GAAG;;;;KAId,CAAC;QAEF,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;QACnD,MAAM,SAAS,GAAG;;;;;;;;KAQjB,CAAC;QAEF,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;QACF,MAAM,OAAO,GAAG,EAAE,CAAC,gBAAgB,CACjC,WAAW,EACX,SAAS,EACT,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,EAAE,CACjB,CAAC;QACF,MAAM,OAAO,GAAG,EAAE,CAAC,gBAAgB,CACjC,WAAW,EACX,SAAS,EACT,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,EAAE,CACjB,CAAC;QAEF,MAAM,OAAO,GAAG,IAAI,GAAG,CAAwB;YAC7C,CAAC,QAAQ,EAAE,UAAU,CAAC;YACtB,CAAC,WAAW,EAAE,OAAO,CAAC;YACtB,CAAC,WAAW,EAAE,OAAO,CAAC;SACvB,CAAC,CAAC;QAEH,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAC9B,CAAC,QAAQ,EAAE,WAAW,CAAC,EACvB;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,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAC1C,SAAS,EAAE,GAAG,EAAE,GAAE,CAAC;YACnB,mBAAmB,EAAE,GAAG,EAAE,CAAC,OAAO;YAClC,cAAc,EAAE,GAAG,EAAE,CAAC,EAAE;YACxB,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YACvC,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI;YAC3C,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,GAAG,EAAE,CAAC,WAAW;SACzC,CACF,CAAC;QAEF,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;QAEzC,MAAM,QAAQ,GAAG,IAAI,eAAe,EAAE,CAAC;QACvC,2FAA2F;QAC3F,QAAQ,CAAC,WAAW,CAAC,wBAAwB,EAAE;YAC7C,SAAS,EAAE,aAAa;YACxB,KAAK,EAAE;gBACL;oBACE,OAAO,EAAE,oBAAoB;oBAC7B,UAAU,EAAE,QAAQ;oBACpB,YAAY,EAAE,QAAQ;oBACtB,OAAO,EAAE,EAAE;oBACX,UAAU,EAAE,EAAE;oBACd,MAAM,EAAE,EAAE;iBACX;aACF;SACF,CAAC,CAAC;QAEH,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,CAAC,OAAO,CAAC;YACjC,QAAQ,EAAE,IAAI,sBAAsB,EAAE;YACtC,QAAQ;YACR,WAAW,EAAE,yBAAyB,CAAC,OAAO,CAAC;YAC/C,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC;SAChC,CAAC;QAEF,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,EAAE;YACpC,UAAU,EAAE,OAAO;YACnB,aAAa,EAAE,SAAS;SACzB,CAAC,CAAC;QAEH,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,4CAA4C,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAElF,IAAI,QAAQ,CAAC,EAAE;YAAE,OAAO;QAExB,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAChD,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/ir/builder/exports.d.ts

@@ -1,10 +1,28 @@
 /**
  * Export extraction from TypeScript source
+ *
+ * Phase 5 Step 4: Uses ProgramContext for statement/expression conversion.
  */
 import * as ts from "typescript";
 import { IrExport } from "../types.js";
+import type { Binding } from "../binding/index.js";
+import type { ProgramContext } from "../program-context.js";
 /**
- * Extract export declarations from source file
+ * Extract export declarations from source file.
+ *
+ * This function has two signatures:
+ * - With just Binding: Used when only export metadata is needed (no statement conversion)
+ * - With ProgramContext: Used when exported declarations need to be converted
+ *
+ * @param sourceFile - The TypeScript source file
+ * @param binding - The binding layer (for simple export extraction without conversion)
  */
-export declare const extractExports: (sourceFile: ts.SourceFile, checker: ts.TypeChecker) => readonly IrExport[];
+export declare const extractExports: (sourceFile: ts.SourceFile, _binding: Binding) => readonly IrExport[];
+/**
+ * Extract export declarations from source file with full conversion.
+ *
+ * @param sourceFile - The TypeScript source file
+ * @param ctx - ProgramContext for full statement/expression conversion
+ */
+export declare const extractExportsWithContext: (sourceFile: ts.SourceFile, ctx: ProgramContext) => readonly IrExport[];
 //# sourceMappingURL=exports.d.ts.map

package/dist/ir/builder/exports.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"exports.d.ts","sourceRoot":"","sources":["../../../src/ir/builder/exports.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAQvC;;GAEG;AACH,eAAO,MAAM,cAAc,GACzB,YAAY,EAAE,CAAC,UAAU,EACzB,SAAS,EAAE,CAAC,WAAW,KACtB,SAAS,QAAQ,EA+DnB,CAAC"}
+{"version":3,"file":"exports.d.ts","sourceRoot":"","sources":["../../../src/ir/builder/exports.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAOvC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAE5D;;;;;;;;;GASG;AACH,eAAO,MAAM,cAAc,GACzB,YAAY,EAAE,CAAC,UAAU,EACzB,UAAU,OAAO,KAChB,SAAS,QAAQ,EAwCnB,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,yBAAyB,GACpC,YAAY,EAAE,CAAC,UAAU,EACzB,KAAK,cAAc,KAClB,SAAS,QAAQ,EAkEnB,CAAC"}

package/dist/ir/builder/exports.js

@@ -1,14 +1,70 @@
 /**
  * Export extraction from TypeScript source
+ *
+ * Phase 5 Step 4: Uses ProgramContext for statement/expression conversion.
  */
 import * as ts from "typescript";
 import { convertStatement, flattenStatementResult, } from "../statement-converter.js";
 import { convertExpression } from "../expression-converter.js";
 import { hasExportModifier, hasDefaultModifier } from "./helpers.js";
 /**
- * Extract export declarations from source file
+ * Extract export declarations from source file.
+ *
+ * This function has two signatures:
+ * - With just Binding: Used when only export metadata is needed (no statement conversion)
+ * - With ProgramContext: Used when exported declarations need to be converted
+ *
+ * @param sourceFile - The TypeScript source file
+ * @param binding - The binding layer (for simple export extraction without conversion)
  */
-export const extractExports = (sourceFile, checker) => {
+export const extractExports = (sourceFile, _binding) => {
+    const exports = [];
+    const visitor = (node) => {
+        if (ts.isExportDeclaration(node)) {
+            if (node.exportClause && ts.isNamedExports(node.exportClause)) {
+                // Check if this is a re-export (has moduleSpecifier)
+                if (node.moduleSpecifier && ts.isStringLiteral(node.moduleSpecifier)) {
+                    // Re-export: export { x } from "./other.ts"
+                    const fromModule = node.moduleSpecifier.text;
+                    node.exportClause.elements.forEach((spec) => {
+                        exports.push({
+                            kind: "reexport",
+                            name: spec.name.text, // Exported name
+                            originalName: (spec.propertyName ?? spec.name).text, // Name in source module
+                            fromModule,
+                        });
+                    });
+                }
+                else {
+                    // Regular named export: export { x }
+                    node.exportClause.elements.forEach((spec) => {
+                        exports.push({
+                            kind: "named",
+                            name: spec.name.text,
+                            localName: (spec.propertyName ?? spec.name).text,
+                        });
+                    });
+                }
+            }
+        }
+        else if (hasExportModifier(node)) {
+            // For exported declarations, we need the full context to convert them
+            // This is handled by extractExportsWithContext
+            // Here we just record that there's an export, but don't convert
+            // The actual conversion is done in extractStatements
+        }
+        ts.forEachChild(node, visitor);
+    };
+    visitor(sourceFile);
+    return exports;
+};
+/**
+ * Extract export declarations from source file with full conversion.
+ *
+ * @param sourceFile - The TypeScript source file
+ * @param ctx - ProgramContext for full statement/expression conversion
+ */
+export const extractExportsWithContext = (sourceFile, ctx) => {
     const exports = [];
     const visitor = (node) => {
         if (ts.isExportDeclaration(node)) {
@@ -41,25 +97,28 @@ export const extractExports = (sourceFile, checker) => {
         else if (ts.isExportAssignment(node)) {
             exports.push({
                 kind: "default",
-                expression: convertExpression(node.expression, checker),
+                expression: convertExpression(node.expression, ctx, undefined),
             });
         }
         else if (hasExportModifier(node)) {
             const hasDefault = hasDefaultModifier(node);
             if (hasDefault) {
                 // export default function/class/etc
-                const result = convertStatement(node, checker);
+                const result = convertStatement(node, ctx, undefined);
                 const statements = flattenStatementResult(result);
                 if (statements.length > 0) {
                     exports.push({
                         kind: "default",
-                        expression: { kind: "identifier", name: "_default" }, // placeholder for now
+                        expression: {
+                            kind: "identifier",
+                            name: "_default",
+                        }, // placeholder for now
                     });
                 }
             }
             else {
                 // regular export - may produce multiple statements (e.g., type aliases with synthetics)
-                const result = convertStatement(node, checker);
+                const result = convertStatement(node, ctx, undefined);
                 const statements = flattenStatementResult(result);
                 for (const stmt of statements) {
                     exports.push({

package/dist/ir/builder/exports.js.map

@@ -1 +1 @@
-{"version":3,"file":"exports.js","sourceRoot":"","sources":["../../../src/ir/builder/exports.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EACL,gBAAgB,EAChB,sBAAsB,GACvB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAErE;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,UAAyB,EACzB,OAAuB,EACF,EAAE;IACvB,MAAM,OAAO,GAAe,EAAE,CAAC;IAE/B,MAAM,OAAO,GAAG,CAAC,IAAa,EAAQ,EAAE;QACtC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,IAAI,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC;gBAC9D,qDAAqD;gBACrD,IAAI,IAAI,CAAC,eAAe,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC;oBACrE,4CAA4C;oBAC5C,MAAM,UAAU,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC;oBAC7C,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;wBAC1C,OAAO,CAAC,IAAI,CAAC;4BACX,IAAI,EAAE,UAAU;4BAChB,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,gBAAgB;4BACtC,YAAY,EAAE,CAAC,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,wBAAwB;4BAC7E,UAAU;yBACX,CAAC,CAAC;oBACL,CAAC,CAAC,CAAC;gBACL,CAAC;qBAAM,CAAC;oBACN,qCAAqC;oBACrC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;wBAC1C,OAAO,CAAC,IAAI,CAAC;4BACX,IAAI,EAAE,OAAO;4BACb,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;4BACpB,SAAS,EAAE,CAAC,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI;yBACjD,CAAC,CAAC;oBACL,CAAC,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;aAAM,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,SAAS;gBACf,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC;aACxD,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;YAC5C,IAAI,UAAU,EAAE,CAAC;gBACf,oCAAoC;gBACpC,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBAC/C,MAAM,UAAU,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;gBAClD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC1B,OAAO,CAAC,IAAI,CAAC;wBACX,IAAI,EAAE,SAAS;wBACf,UAAU,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,sBAAsB;qBAC7E,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,wFAAwF;gBACxF,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBAC/C,MAAM,UAAU,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;gBAClD,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;oBAC9B,OAAO,CAAC,IAAI,CAAC;wBACX,IAAI,EAAE,aAAa;wBACnB,WAAW,EAAE,IAAI;qBAClB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjC,CAAC,CAAC;IAEF,OAAO,CAAC,UAAU,CAAC,CAAC;IACpB,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC"}
+{"version":3,"file":"exports.js","sourceRoot":"","sources":["../../../src/ir/builder/exports.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EACL,gBAAgB,EAChB,sBAAsB,GACvB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAIrE;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,UAAyB,EACzB,QAAiB,EACI,EAAE;IACvB,MAAM,OAAO,GAAe,EAAE,CAAC;IAE/B,MAAM,OAAO,GAAG,CAAC,IAAa,EAAQ,EAAE;QACtC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,IAAI,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC;gBAC9D,qDAAqD;gBACrD,IAAI,IAAI,CAAC,eAAe,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC;oBACrE,4CAA4C;oBAC5C,MAAM,UAAU,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC;oBAC7C,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;wBAC1C,OAAO,CAAC,IAAI,CAAC;4BACX,IAAI,EAAE,UAAU;4BAChB,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,gBAAgB;4BACtC,YAAY,EAAE,CAAC,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,wBAAwB;4BAC7E,UAAU;yBACX,CAAC,CAAC;oBACL,CAAC,CAAC,CAAC;gBACL,CAAC;qBAAM,CAAC;oBACN,qCAAqC;oBACrC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;wBAC1C,OAAO,CAAC,IAAI,CAAC;4BACX,IAAI,EAAE,OAAO;4BACb,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;4BACpB,SAAS,EAAE,CAAC,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI;yBACjD,CAAC,CAAC;oBACL,CAAC,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;aAAM,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,sEAAsE;YACtE,+CAA+C;YAC/C,gEAAgE;YAChE,qDAAqD;QACvD,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjC,CAAC,CAAC;IAEF,OAAO,CAAC,UAAU,CAAC,CAAC;IACpB,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,UAAyB,EACzB,GAAmB,EACE,EAAE;IACvB,MAAM,OAAO,GAAe,EAAE,CAAC;IAE/B,MAAM,OAAO,GAAG,CAAC,IAAa,EAAQ,EAAE;QACtC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,IAAI,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC;gBAC9D,qDAAqD;gBACrD,IAAI,IAAI,CAAC,eAAe,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC;oBACrE,4CAA4C;oBAC5C,MAAM,UAAU,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC;oBAC7C,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;wBAC1C,OAAO,CAAC,IAAI,CAAC;4BACX,IAAI,EAAE,UAAU;4BAChB,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,gBAAgB;4BACtC,YAAY,EAAE,CAAC,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,wBAAwB;4BAC7E,UAAU;yBACX,CAAC,CAAC;oBACL,CAAC,CAAC,CAAC;gBACL,CAAC;qBAAM,CAAC;oBACN,qCAAqC;oBACrC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;wBAC1C,OAAO,CAAC,IAAI,CAAC;4BACX,IAAI,EAAE,OAAO;4BACb,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;4BACpB,SAAS,EAAE,CAAC,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI;yBACjD,CAAC,CAAC;oBACL,CAAC,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;aAAM,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,SAAS;gBACf,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC;aAC/D,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;YAC5C,IAAI,UAAU,EAAE,CAAC;gBACf,oCAAoC;gBACpC,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;gBACtD,MAAM,UAAU,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;gBAClD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC1B,OAAO,CAAC,IAAI,CAAC;wBACX,IAAI,EAAE,SAAS;wBACf,UAAU,EAAE;4BACV,IAAI,EAAE,YAAY;4BAClB,IAAI,EAAE,UAAU;yBACjB,EAAE,sBAAsB;qBAC1B,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,wFAAwF;gBACxF,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;gBACtD,MAAM,UAAU,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;gBAClD,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;oBAC9B,OAAO,CAAC,IAAI,CAAC;wBACX,IAAI,EAAE,aAAa;wBACnB,WAAW,EAAE,IAAI;qBAClB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjC,CAAC,CAAC;IAEF,OAAO,CAAC,UAAU,CAAC,CAAC;IACpB,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC"}

package/dist/ir/builder/imports.d.ts

@@ -1,18 +1,22 @@
 /**
  * Import extraction from TypeScript source
+ *
+ * Phase 5 Step 4: Uses ProgramContext instead of global singletons.
  */
 import * as ts from "typescript";
 import { IrImport, IrImportSpecifier } from "../types.js";
-import { ClrBindingsResolver } from "../../resolver/clr-bindings-resolver.js";
+import type { ProgramContext } from "../program-context.js";
+import type { Binding } from "../binding/index.js";
+import type { TypeAuthority } from "../type-system/type-system.js";
 /**
  * Extract import declarations from source file.
- * Uses TypeChecker to determine if each import is a type or value.
+ * Uses Binding layer to determine if each import is a type or value.
  * Uses ClrBindingsResolver to detect CLR namespace imports.
  */
-export declare const extractImports: (sourceFile: ts.SourceFile, checker: ts.TypeChecker, clrResolver: ClrBindingsResolver) => readonly IrImport[];
+export declare const extractImports: (sourceFile: ts.SourceFile, ctx: ProgramContext) => readonly IrImport[];
 /**
  * Extract import specifiers from an import declaration.
- * Uses TypeChecker to determine if each named import is a type or value.
+ * Uses Binding layer to determine if each named import is a type or value.
  */
-export declare const extractImportSpecifiers: (node: ts.ImportDeclaration, checker: ts.TypeChecker) => readonly IrImportSpecifier[];
+export declare const extractImportSpecifiers: (node: ts.ImportDeclaration, binding: Binding, typeSystem: TypeAuthority) => readonly IrImportSpecifier[];
 //# sourceMappingURL=imports.d.ts.map

package/dist/ir/builder/imports.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"imports.d.ts","sourceRoot":"","sources":["../../../src/ir/builder/imports.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAE1D,OAAO,EAAE,mBAAmB,EAAE,MAAM,yCAAyC,CAAC;AAE9E;;;;GAIG;AACH,eAAO,MAAM,cAAc,GACzB,YAAY,EAAE,CAAC,UAAU,EACzB,SAAS,EAAE,CAAC,WAAW,EACvB,aAAa,mBAAmB,KAC/B,SAAS,QAAQ,EAkDnB,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,EAAE,CAAC,iBAAiB,EAC1B,SAAS,EAAE,CAAC,WAAW,KACtB,SAAS,iBAAiB,EAkC5B,CAAC"}
+{"version":3,"file":"imports.d.ts","sourceRoot":"","sources":["../../../src/ir/builder/imports.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAC1D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAEnE;;;;GAIG;AACH,eAAO,MAAM,cAAc,GACzB,YAAY,EAAE,CAAC,UAAU,EACzB,KAAK,cAAc,KAClB,SAAS,QAAQ,EAsDnB,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,EAAE,CAAC,iBAAiB,EAC1B,SAAS,OAAO,EAChB,YAAY,aAAa,KACxB,SAAS,iBAAiB,EAkC5B,CAAC"}