@tsonic/frontend 0.0.14 → 0.0.15

package/dist/ir/no-ts-type-inference.test.js

@@ -0,0 +1,171 @@
+/**
+ * INV-0 Enforcement Test: No TypeScript Computed Types in IR Pipeline
+ *
+ * This test enforces Alice's specification that the IR typing pipeline
+ * must NEVER use TypeScript's computed type APIs. All IR types must come from:
+ * - Declared TypeNodes (annotations, signatures, property types)
+ * - Globals TypeNodes (@tsonic/globals, BCL bindings)
+ * - Bounded deterministic inference (lexeme intent + expectedType threading)
+ *
+ * TS checker is allowed ONLY for:
+ * - Symbol lookup (getSymbolAtLocation)
+ * - Overload selection (getResolvedSignature)
+ * - Module resolution
+ * - symbol.getDeclarations()
+ */
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import * as fs from "fs";
+import * as path from "path";
+import { fileURLToPath } from "url";
+const __filename = fileURLToPath(import.meta.url);
+const __dirname = path.dirname(__filename);
+/**
+ * Banned patterns that use TypeScript's computed type inference.
+ * These patterns extract types computed by the TS type checker,
+ * which violates deterministic IR typing.
+ */
+const BANNED_PATTERNS = [
+    // Core type inference APIs - extract computed types
+    /checker\.getTypeAtLocation\s*\(/g,
+    /checker\.getTypeOfSymbolAtLocation\s*\(/g,
+    /checker\.typeToTypeNode\s*\(/g,
+    // Type structure inspection - uses computed types
+    /checker\.getApparentType\s*\(/g,
+    /checker\.getBaseTypes\s*\(/g,
+    /checker\.getPropertiesOfType\s*\(/g,
+    // Type relationship APIs - uses computed types
+    /checker\.isTypeAssignableTo\s*\(/g,
+    /checker\.getWidenedType\s*\(/g,
+    /checker\.getContextualType\s*\(/g,
+    // Signature type extraction - should use declaration TypeNodes instead
+    /checker\.getSignaturesOfType\s*\(/g,
+    /checker\.getReturnTypeOfSignature\s*\(/g,
+    // Type parameter inference - should use bounded unification
+    /checker\.getTypeArguments\s*\(/g,
+    /checker\.inferTypeArguments\s*\(/g,
+];
+/**
+ * Allowed patterns - resolver-only usage of TS checker.
+ * These find declarations/symbols, but don't extract computed types.
+ */
+const ALLOWED_PATTERNS_INFO = [
+    "checker.getSymbolAtLocation - finds symbol, not type",
+    "checker.getResolvedSignature - picks overload, return type from declaration",
+    "checker.getPropertyOfType - finds member symbol, type from declaration",
+    "symbol.getDeclarations() - gets AST node, type from TypeNode",
+    "checker.getAliasedSymbol - resolves import aliases",
+    "checker.getExportSymbolOfSymbol - resolves exports",
+];
+/**
+ * Directories to scan for banned patterns.
+ */
+const IR_DIRECTORIES = [
+    "packages/frontend/src/ir/converters",
+    "packages/frontend/src/ir/type-converter",
+    "packages/frontend/src/ir/validation",
+];
+/**
+ * Files to exclude from scanning (allowed to use banned patterns).
+ * Intentionally empty — exclusions weaken enforcement.
+ */
+const EXCLUDED_FILES = [];
+/**
+ * Get all TypeScript files in a directory recursively.
+ */
+const getTypeScriptFiles = (dir) => {
+    // From dist/ir/ go up to packages/frontend, then up to project root
+    const projectRoot = path.resolve(__dirname, "../../../..");
+    const fullPath = path.join(projectRoot, dir);
+    if (!fs.existsSync(fullPath)) {
+        return [];
+    }
+    const results = [];
+    const entries = fs.readdirSync(fullPath, { withFileTypes: true });
+    for (const entry of entries) {
+        const entryPath = path.join(fullPath, entry.name);
+        if (entry.isDirectory()) {
+            results.push(...getTypeScriptFiles(path.join(dir, entry.name)));
+        }
+        else if (entry.name.endsWith(".ts") && !entry.name.endsWith(".test.ts")) {
+            results.push(entryPath);
+        }
+    }
+    return results;
+};
+/**
+ * Check a file for banned patterns.
+ */
+const checkFileForBannedPatterns = (filePath) => {
+    const content = fs.readFileSync(filePath, "utf-8");
+    const lines = content.split("\n");
+    const violations = [];
+    for (const pattern of BANNED_PATTERNS) {
+        // Reset regex state for each file
+        pattern.lastIndex = 0;
+        for (let lineNum = 0; lineNum < lines.length; lineNum++) {
+            const line = lines[lineNum];
+            if (line === undefined)
+                continue;
+            // Skip comments
+            const trimmed = line.trim();
+            if (trimmed.startsWith("//") || trimmed.startsWith("*")) {
+                continue;
+            }
+            // Reset for each line since we're using global flag
+            const testPattern = new RegExp(pattern.source);
+            if (testPattern.test(line)) {
+                violations.push({
+                    pattern: pattern.source,
+                    line: lineNum + 1,
+                    text: line.trim().substring(0, 80),
+                });
+            }
+        }
+    }
+    return { file: filePath, violations };
+};
+describe("INV-0: No TS Computed Types in IR Pipeline", () => {
+    it("should not use banned TypeScript type inference APIs in IR converters", () => {
+        const allViolations = [];
+        for (const dir of IR_DIRECTORIES) {
+            const files = getTypeScriptFiles(dir);
+            for (const file of files) {
+                // Check if file is excluded
+                const relativePath = path.relative(path.resolve(__dirname, "../../../.."), file);
+                if (EXCLUDED_FILES.some((excluded) => relativePath.includes(excluded))) {
+                    continue;
+                }
+                const result = checkFileForBannedPatterns(file);
+                if (result.violations.length > 0) {
+                    allViolations.push(result);
+                }
+            }
+        }
+        if (allViolations.length > 0) {
+            const message = allViolations
+                .map((v) => {
+                const relativePath = path.relative(path.resolve(__dirname, "../../../.."), v.file);
+                const violationList = v.violations
+                    .map((viol) => `    Line ${viol.line}: ${viol.pattern}\n      ${viol.text}`)
+                    .join("\n");
+                return `\n${relativePath}:\n${violationList}`;
+            })
+                .join("\n");
+            expect.fail(`Found ${allViolations.reduce((sum, v) => sum + v.violations.length, 0)} violations of INV-0 (no TS computed types):\n${message}\n\n` +
+                `These APIs must be replaced with TypeRegistry + NominalEnv lookups.\n` +
+                `See: packages/frontend/src/ir/type-registry.ts\n` +
+                `Allowed resolver-only patterns:\n${ALLOWED_PATTERNS_INFO.map((p) => `  - ${p}`).join("\n")}`);
+        }
+    });
+    it("should document all excluded files with migration plan", () => {
+        // Once all files are migrated, EXCLUDED_FILES should be empty
+        if (EXCLUDED_FILES.length > 0) {
+            console.log(`\nNote: ${EXCLUDED_FILES.length} files still excluded from INV-0 check:\n` +
+                EXCLUDED_FILES.map((f) => `  - ${f}`).join("\n"));
+        }
+        // This test passes but logs excluded files for visibility
+        expect(true).to.equal(true);
+    });
+});
+//# sourceMappingURL=no-ts-type-inference.test.js.map

package/dist/ir/no-ts-type-inference.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"no-ts-type-inference.test.js","sourceRoot":"","sources":["../../src/ir/no-ts-type-inference.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AACzB,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,KAAK,CAAC;AAEpC,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAClD,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;AAE3C;;;;GAIG;AACH,MAAM,eAAe,GAAG;IACtB,oDAAoD;IACpD,kCAAkC;IAClC,0CAA0C;IAC1C,+BAA+B;IAE/B,kDAAkD;IAClD,gCAAgC;IAChC,6BAA6B;IAC7B,oCAAoC;IAEpC,+CAA+C;IAC/C,mCAAmC;IACnC,+BAA+B;IAC/B,kCAAkC;IAElC,uEAAuE;IACvE,oCAAoC;IACpC,yCAAyC;IAEzC,4DAA4D;IAC5D,iCAAiC;IACjC,mCAAmC;CACpC,CAAC;AAEF;;;GAGG;AACH,MAAM,qBAAqB,GAAG;IAC5B,sDAAsD;IACtD,6EAA6E;IAC7E,wEAAwE;IACxE,8DAA8D;IAC9D,oDAAoD;IACpD,oDAAoD;CACrD,CAAC;AAEF;;GAEG;AACH,MAAM,cAAc,GAAG;IACrB,qCAAqC;IACrC,yCAAyC;IACzC,qCAAqC;CACtC,CAAC;AAEF;;;GAGG;AACH,MAAM,cAAc,GAAa,EAAE,CAAC;AAEpC;;GAEG;AACH,MAAM,kBAAkB,GAAG,CAAC,GAAW,EAAY,EAAE;IACnD,oEAAoE;IACpE,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;IAE7C,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7B,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,OAAO,GAAG,EAAE,CAAC,WAAW,CAAC,QAAQ,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;IAElE,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAClD,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;YACxB,OAAO,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClE,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;YAC1E,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,0BAA0B,GAAG,CACjC,QAAgB,EAIhB,EAAE;IACF,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,UAAU,GAAsD,EAAE,CAAC;IAEzE,KAAK,MAAM,OAAO,IAAI,eAAe,EAAE,CAAC;QACtC,kCAAkC;QAClC,OAAO,CAAC,SAAS,GAAG,CAAC,CAAC;QAEtB,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,GAAG,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,CAAC;YACxD,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;YAC5B,IAAI,IAAI,KAAK,SAAS;gBAAE,SAAS;YAEjC,gBAAgB;YAChB,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;YAC5B,IAAI,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBACxD,SAAS;YACX,CAAC;YAED,oDAAoD;YACpD,MAAM,WAAW,GAAG,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC/C,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3B,UAAU,CAAC,IAAI,CAAC;oBACd,OAAO,EAAE,OAAO,CAAC,MAAM;oBACvB,IAAI,EAAE,OAAO,GAAG,CAAC;oBACjB,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC;iBACnC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AACxC,CAAC,CAAC;AAEF,QAAQ,CAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,aAAa,GAGb,EAAE,CAAC;QAET,KAAK,MAAM,GAAG,IAAI,cAAc,EAAE,CAAC;YACjC,MAAM,KAAK,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC;YAEtC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,4BAA4B;gBAC5B,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAChC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,aAAa,CAAC,EACtC,IAAI,CACL,CAAC;gBACF,IACE,cAAc,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,EAClE,CAAC;oBACD,SAAS;gBACX,CAAC;gBAED,MAAM,MAAM,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC;gBAChD,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACjC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAC7B,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,MAAM,OAAO,GAAG,aAAa;iBAC1B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBACT,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAChC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,aAAa,CAAC,EACtC,CAAC,CAAC,IAAI,CACP,CAAC;gBACF,MAAM,aAAa,GAAG,CAAC,CAAC,UAAU;qBAC/B,GAAG,CACF,CAAC,IAAI,EAAE,EAAE,CACP,YAAY,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,OAAO,WAAW,IAAI,CAAC,IAAI,EAAE,CAC/D;qBACA,IAAI,CAAC,IAAI,CAAC,CAAC;gBACd,OAAO,KAAK,YAAY,MAAM,aAAa,EAAE,CAAC;YAChD,CAAC,CAAC;iBACD,IAAI,CAAC,IAAI,CAAC,CAAC;YAEd,MAAM,CAAC,IAAI,CACT,SAAS,aAAa,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,iDAAiD,OAAO,MAAM;gBACnI,uEAAuE;gBACvE,kDAAkD;gBAClD,oCAAoC,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAChG,CAAC;QACJ,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,8DAA8D;QAC9D,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,OAAO,CAAC,GAAG,CACT,WAAW,cAAc,CAAC,MAAM,2CAA2C;gBACzE,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CACnD,CAAC;QACJ,CAAC;QACD,0DAA0D;QAC1D,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/ir/program-context.d.ts

@@ -0,0 +1,74 @@
+/**
+ * ProgramContext — Per-compilation context for all semantic state
+ *
+ * This is the ONLY place where internal registries are constructed and wired together.
+ * All converters and builder helpers receive context explicitly — no global state.
+ *
+ * Phase 6: NominalEnv is now TypeId-based, using UnifiedTypeCatalog.
+ */
+import type { Binding } from "./binding/index.js";
+import type { TypeAuthority } from "./type-system/type-system.js";
+import type { IrType } from "./types.js";
+import type { DotnetMetadataRegistry } from "../dotnet-metadata.js";
+import type { BindingRegistry } from "../program/bindings.js";
+import type { ClrBindingsResolver } from "../resolver/clr-bindings-resolver.js";
+import type { TsonicProgram } from "../program.js";
+import type { IrBuildOptions } from "./builder/types.js";
+/**
+ * ProgramContext — Per-compilation context owning all semantic state.
+ *
+ * This context object carries shared resources through the converter chain,
+ * eliminating the need for global singletons.
+ *
+ * INVARIANT: One program → one context. No global state.
+ */
+export type ProgramContext = {
+    /**
+     * Binding layer for symbol resolution.
+     *
+     * Provides resolveIdentifier, resolveCallSignature, etc.
+     */
+    readonly binding: Binding;
+    /**
+     * TypeSystem for all type queries (Alice's spec).
+     *
+     * This is the ONLY source for type information. Converters should use
+     * TypeSystem methods instead of accessing TypeRegistry/NominalEnv directly.
+     */
+    readonly typeSystem: TypeAuthority;
+    /**
+     * .NET metadata registry for imported types.
+     */
+    readonly metadata: DotnetMetadataRegistry;
+    /**
+     * CLR bindings from tsbindgen.
+     */
+    readonly bindings: BindingRegistry;
+    /**
+     * CLR namespace resolver for import-driven discovery.
+     */
+    readonly clrResolver: ClrBindingsResolver;
+    /**
+     * Lexical type environment for lambda bodies.
+     *
+     * Used to type unannotated lambda parameters inside their body expressions
+     * deterministically, without consulting TypeScript inference.
+     */
+    readonly lambdaTypeEnv?: ReadonlyMap<string, IrType>;
+};
+/**
+ * Create a ProgramContext for a compilation.
+ *
+ * This factory is the ONLY place that wires together the internal registries.
+ * It performs the full setup:
+ * 1. Build SourceCatalog / TypeRegistry using two-pass builder
+ * 2. Build CLR catalog from node_modules
+ * 3. Build UnifiedUniverse merging source and CLR types
+ * 4. Build NominalEnv from UnifiedTypeCatalog (TypeId-based)
+ * 5. Construct TypeSystem as single source of truth
+ *
+ * @param program - The TsonicProgram with type checker and bindings
+ * @param options - Build options (sourceRoot, rootNamespace)
+ */
+export declare const createProgramContext: (program: TsonicProgram, options: IrBuildOptions) => ProgramContext;
+//# sourceMappingURL=program-context.d.ts.map

package/dist/ir/program-context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"program-context.d.ts","sourceRoot":"","sources":["../../src/ir/program-context.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAMH,OAAO,KAAK,EAAE,OAAO,EAAmB,MAAM,oBAAoB,CAAC;AACnE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAClE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AACzC,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AACpE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sCAAsC,CAAC;AAChF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAWzD;;;;;;;GAOG;AACH,MAAM,MAAM,cAAc,GAAG;IAC3B;;;;OAIG;IACH,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAE1B;;;;;OAKG;IACH,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC;IAEnC;;OAEG;IACH,QAAQ,CAAC,QAAQ,EAAE,sBAAsB,CAAC;IAE1C;;OAEG;IACH,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IAEnC;;OAEG;IACH,QAAQ,CAAC,WAAW,EAAE,mBAAmB,CAAC;IAE1C;;;;;OAKG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACtD,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,oBAAoB,GAC/B,SAAS,aAAa,EACtB,SAAS,cAAc,KACtB,cA2UF,CAAC"}

package/dist/ir/program-context.js

@@ -0,0 +1,286 @@
+/**
+ * ProgramContext — Per-compilation context for all semantic state
+ *
+ * This is the ONLY place where internal registries are constructed and wired together.
+ * All converters and builder helpers receive context explicitly — no global state.
+ *
+ * Phase 6: NominalEnv is now TypeId-based, using UnifiedTypeCatalog.
+ */
+import * as fs from "node:fs";
+import { createRequire } from "node:module";
+import * as path from "path";
+import * as ts from "typescript";
+import { buildNominalEnv } from "./type-system/internal/nominal-env.js";
+import { convertCapturedTypeNode } from "./type-system/internal/type-converter.js";
+import { createTypeSystem } from "./type-system/type-system.js";
+import { buildAliasTable, buildSourceCatalog, buildUnifiedUniverse, loadClrCatalog, } from "./type-system/internal/universe/index.js";
+/**
+ * Create a ProgramContext for a compilation.
+ *
+ * This factory is the ONLY place that wires together the internal registries.
+ * It performs the full setup:
+ * 1. Build SourceCatalog / TypeRegistry using two-pass builder
+ * 2. Build CLR catalog from node_modules
+ * 3. Build UnifiedUniverse merging source and CLR types
+ * 4. Build NominalEnv from UnifiedTypeCatalog (TypeId-based)
+ * 5. Construct TypeSystem as single source of truth
+ *
+ * @param program - The TsonicProgram with type checker and bindings
+ * @param options - Build options (sourceRoot, rootNamespace)
+ */
+export const createProgramContext = (program, options) => {
+    // Build TypeRegistry from all source files INCLUDING declaration files from typeRoots
+    // Declaration files contain globals (String, Array, etc.) needed for method resolution
+    //
+    // PHASE 4 (Alice's spec): Use buildSourceCatalog with two-pass build.
+    // Pass A: Register all type names (skeleton)
+    // Pass B: Convert all type annotations (with stable resolution)
+    const packageRootCache = new Map();
+    const packageInfoCache = new Map();
+    const packageHasMetadataCache = new Map();
+    const findPackageRootForFile = (fileName) => {
+        const normalized = fileName.replace(/\\/g, "/");
+        if (packageRootCache.has(normalized))
+            return packageRootCache.get(normalized);
+        let dir = path.dirname(fileName);
+        while (true) {
+            const pkgJson = path.join(dir, "package.json");
+            if (fs.existsSync(pkgJson)) {
+                packageRootCache.set(normalized, dir);
+                return dir;
+            }
+            const parent = path.dirname(dir);
+            if (parent === dir) {
+                packageRootCache.set(normalized, undefined);
+                return undefined;
+            }
+            dir = parent;
+        }
+    };
+    const getPackageInfo = (pkgRoot) => {
+        if (packageInfoCache.has(pkgRoot))
+            return packageInfoCache.get(pkgRoot);
+        try {
+            const raw = fs.readFileSync(path.join(pkgRoot, "package.json"), "utf-8");
+            const parsed = JSON.parse(raw);
+            if (typeof parsed !== "object" || parsed === null) {
+                packageInfoCache.set(pkgRoot, undefined);
+                return undefined;
+            }
+            const name = typeof parsed.name === "string"
+                ? parsed.name
+                : undefined;
+            const keywordsRaw = parsed.keywords;
+            const keywords = Array.isArray(keywordsRaw)
+                ? keywordsRaw.filter((k) => typeof k === "string")
+                : [];
+            const peerDepsRaw = parsed
+                .peerDependencies;
+            const peerDependencies = peerDepsRaw && typeof peerDepsRaw === "object" && !Array.isArray(peerDepsRaw)
+                ? Object.fromEntries(Object.entries(peerDepsRaw).filter((entry) => typeof entry[0] === "string" && typeof entry[1] === "string"))
+                : {};
+            const info = { name, keywords, peerDependencies };
+            packageInfoCache.set(pkgRoot, info);
+            return info;
+        }
+        catch {
+            packageInfoCache.set(pkgRoot, undefined);
+            return undefined;
+        }
+    };
+    const isTsonicClrPackage = (pkgRoot) => {
+        const info = getPackageInfo(pkgRoot);
+        if (!info)
+            return false;
+        if (info.name?.startsWith("@tsonic/"))
+            return true;
+        if (info.keywords.includes("tsonic"))
+            return true;
+        if (Object.prototype.hasOwnProperty.call(info.peerDependencies, "@tsonic/core")) {
+            return true;
+        }
+        return false;
+    };
+    const packageHasClrMetadata = (pkgRoot) => {
+        // Only treat explicitly marked Tsonic packages as CLR metadata packages.
+        // Many third-party npm packages ship random `metadata.json` files; scanning and
+        // excluding them would incorrectly drop their declaration files from SourceCatalog.
+        if (!isTsonicClrPackage(pkgRoot))
+            return false;
+        const cached = packageHasMetadataCache.get(pkgRoot);
+        if (cached !== undefined)
+            return cached;
+        let found = false;
+        const stack = [pkgRoot];
+        while (stack.length > 0 && !found) {
+            const currentDir = stack.pop();
+            if (!currentDir)
+                continue;
+            try {
+                for (const entry of fs.readdirSync(currentDir, { withFileTypes: true })) {
+                    const fullPath = path.join(currentDir, entry.name);
+                    if (entry.isFile() && entry.name === "metadata.json") {
+                        found = true;
+                        break;
+                    }
+                    if (entry.isDirectory()) {
+                        // Avoid descending into nested node_modules if present.
+                        if (entry.name === "node_modules")
+                            continue;
+                        stack.push(fullPath);
+                    }
+                }
+            }
+            catch {
+                // Ignore unreadable directories.
+            }
+        }
+        packageHasMetadataCache.set(pkgRoot, found);
+        return found;
+    };
+    const declarationSourceFiles = program.declarationSourceFiles.filter((sf) => {
+        const pkgRoot = findPackageRootForFile(sf.fileName);
+        if (!pkgRoot)
+            return true;
+        // tsbindgen-generated CLR declarations live in packages that include metadata.json
+        // and are already represented in the CLR catalog. Including them in SourceCatalog
+        // creates tsName collisions (e.g., `IEnumerable_1`) that break nominal resolution.
+        return !packageHasClrMetadata(pkgRoot);
+    });
+    const allSourceFiles = [...program.sourceFiles, ...declarationSourceFiles];
+    const { typeRegistry } = buildSourceCatalog({
+        sourceFiles: allSourceFiles,
+        checker: program.checker,
+        sourceRoot: options.sourceRoot,
+        rootNamespace: options.rootNamespace,
+        binding: program.binding,
+    });
+    // Load assembly type catalog for CLR stdlib types
+    // This enables member lookup on primitive types like string.length
+    const nodeModulesPath = path.resolve(program.options.projectRoot, "node_modules");
+    const require = createRequire(import.meta.url);
+    const findSiblingTsonicPackage = (startDir, dirName, expectedPackageName) => {
+        let dir = startDir;
+        while (true) {
+            const candidateRoot = path.join(dir, dirName);
+            const pkgJson = path.join(candidateRoot, "package.json");
+            if (fs.existsSync(pkgJson)) {
+                try {
+                    const parsed = JSON.parse(fs.readFileSync(pkgJson, "utf-8"));
+                    if (parsed.name === expectedPackageName) {
+                        return candidateRoot;
+                    }
+                }
+                catch {
+                    // Ignore invalid package.json and keep searching.
+                }
+            }
+            const parent = path.dirname(dir);
+            if (parent === dir)
+                return undefined;
+            dir = parent;
+        }
+    };
+    const resolveTsonicPackageRoot = (dirName, expectedPackageName) => {
+        const projectPkgJson = path.join(nodeModulesPath, "@tsonic", dirName, "package.json");
+        if (fs.existsSync(projectPkgJson)) {
+            return path.dirname(projectPkgJson);
+        }
+        try {
+            const pkgJson = require.resolve(`@tsonic/${dirName}/package.json`);
+            return path.dirname(pkgJson);
+        }
+        catch {
+            // Fall through to sibling lookup.
+        }
+        return findSiblingTsonicPackage(program.options.projectRoot, dirName, expectedPackageName);
+    };
+    const extraPackageRoots = [];
+    // If the project doesn't have these packages installed, allow discovering them
+    // from sibling checkouts (common in a multi-repo workspace).
+    const jsInstalled = fs.existsSync(path.join(nodeModulesPath, "@tsonic", "js", "package.json"));
+    if (!jsInstalled) {
+        const jsRoot = resolveTsonicPackageRoot("js", "@tsonic/js");
+        if (jsRoot)
+            extraPackageRoots.push(jsRoot);
+    }
+    const nodejsInstalled = fs.existsSync(path.join(nodeModulesPath, "@tsonic", "nodejs", "package.json"));
+    if (!nodejsInstalled) {
+        const nodejsRoot = resolveTsonicPackageRoot("nodejs", "@tsonic/nodejs");
+        if (nodejsRoot)
+            extraPackageRoots.push(nodejsRoot);
+    }
+    // Ensure stdlib metadata is available even when the project has no node_modules
+    // (e.g., in a multi-repo workspace). dotnet provides CLR surface area for
+    // primitives (System.String, etc.) and core provides @tsonic/core aliases.
+    const dotnetInstalled = fs.existsSync(path.join(nodeModulesPath, "@tsonic", "dotnet", "package.json"));
+    if (!dotnetInstalled) {
+        const dotnetRoot = resolveTsonicPackageRoot("dotnet", "@tsonic/dotnet");
+        if (dotnetRoot)
+            extraPackageRoots.push(dotnetRoot);
+    }
+    const coreInstalled = fs.existsSync(path.join(nodeModulesPath, "@tsonic", "core", "package.json"));
+    if (!coreInstalled) {
+        const coreRoot = resolveTsonicPackageRoot("core", "@tsonic/core");
+        if (coreRoot)
+            extraPackageRoots.push(coreRoot);
+    }
+    // Include any additional CLR packages discovered via imports (e.g., efcore, aspnetcore).
+    // The CLR catalog loader scans node_modules/@tsonic by default; when developing in a
+    // multi-repo workspace (or running E2E fixtures without local node_modules),
+    // imports can resolve from sibling checkouts. Those package roots must be added
+    // explicitly so metadata.json files are discovered and loaded into the Universe.
+    const resolvePackageRootFromBindingsPath = (bindingsPath) => {
+        let dir = path.dirname(bindingsPath);
+        while (true) {
+            if (fs.existsSync(path.join(dir, "package.json")))
+                return dir;
+            const parent = path.dirname(dir);
+            if (parent === dir)
+                return undefined;
+            dir = parent;
+        }
+    };
+    for (const bindingsPath of program.clrResolver.getDiscoveredBindingPaths()) {
+        const pkgRoot = resolvePackageRootFromBindingsPath(bindingsPath);
+        if (pkgRoot)
+            extraPackageRoots.push(pkgRoot);
+    }
+    const assemblyCatalog = loadClrCatalog(nodeModulesPath, extraPackageRoots);
+    const aliasTable = buildAliasTable(assemblyCatalog);
+    // Build unified catalog merging source and assembly types
+    const unifiedCatalog = buildUnifiedUniverse(typeRegistry, assemblyCatalog, program.options.rootNamespace);
+    // Phase 6: Build NominalEnv from UnifiedTypeCatalog (TypeId-based)
+    // No longer requires TypeRegistry, convertType, or binding
+    const nominalEnv = buildNominalEnv(unifiedCatalog);
+    // Build TypeSystem — the single source of truth for all type queries (Alice's spec)
+    // TypeSystem encapsulates HandleRegistry, TypeRegistry, NominalEnv and type conversion
+    const bindingInternal = program.binding;
+    const typeSystem = createTypeSystem({
+        handleRegistry: bindingInternal._getHandleRegistry(),
+        typeRegistry,
+        nominalEnv,
+        // Phase 5: Use convertCapturedTypeNode to encapsulate cast in internal module
+        convertTypeNode: (node) => convertCapturedTypeNode(node, program.binding),
+        // Unified catalog for CLR assembly type lookups
+        unifiedCatalog,
+        aliasTable,
+        resolveIdentifier: (node) => ts.isIdentifier(node)
+            ? program.binding.resolveIdentifier(node)
+            : undefined,
+        resolveCallSignature: (node) => ts.isCallExpression(node)
+            ? program.binding.resolveCallSignature(node)
+            : undefined,
+        resolveConstructorSignature: (node) => ts.isNewExpression(node)
+            ? program.binding.resolveConstructorSignature(node)
+            : undefined,
+    });
+    return {
+        binding: program.binding,
+        typeSystem,
+        metadata: program.metadata,
+        bindings: program.bindings,
+        clrResolver: program.clrResolver,
+    };
+};
+//# sourceMappingURL=program-context.js.map

package/dist/ir/program-context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"program-context.js","sourceRoot":"","sources":["../../src/ir/program-context.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAC7B,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AASjC,OAAO,EAAE,eAAe,EAAE,MAAM,uCAAuC,CAAC;AACxE,OAAO,EAAE,uBAAuB,EAAE,MAAM,0CAA0C,CAAC;AACnF,OAAO,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,EACL,eAAe,EACf,kBAAkB,EAClB,oBAAoB,EACpB,cAAc,GACf,MAAM,0CAA0C,CAAC;AAkDlD;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,OAAsB,EACtB,OAAuB,EACP,EAAE;IAClB,sFAAsF;IACtF,uFAAuF;IACvF,EAAE;IACF,sEAAsE;IACtE,6CAA6C;IAC7C,gEAAgE;IAChE,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAA8B,CAAC;IAC/D,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAQ7B,CAAC;IACJ,MAAM,uBAAuB,GAAG,IAAI,GAAG,EAAmB,CAAC;IAE3D,MAAM,sBAAsB,GAAG,CAAC,QAAgB,EAAsB,EAAE;QACtE,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAChD,IAAI,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC;YAAE,OAAO,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAE9E,IAAI,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACjC,OAAO,IAAI,EAAE,CAAC;YACZ,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;YAC/C,IAAI,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC3B,gBAAgB,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;gBACtC,OAAO,GAAG,CAAC;YACb,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACjC,IAAI,MAAM,KAAK,GAAG,EAAE,CAAC;gBACnB,gBAAgB,CAAC,GAAG,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;gBAC5C,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,GAAG,GAAG,MAAM,CAAC;QACf,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,cAAc,GAAG,CACrB,OAAe,EAOH,EAAE;QACd,IAAI,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,OAAO,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAExE,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,cAAc,CAAC,EAAE,OAAO,CAAC,CAAC;YACzE,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAY,CAAC;YAC1C,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;gBAClD,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;gBACzC,OAAO,SAAS,CAAC;YACnB,CAAC;YAED,MAAM,IAAI,GACR,OAAQ,MAAsC,CAAC,IAAI,KAAK,QAAQ;gBAC9D,CAAC,CAAE,MAAoC,CAAC,IAAI;gBAC5C,CAAC,CAAC,SAAS,CAAC;YAEhB,MAAM,WAAW,GAAI,MAA0C,CAAC,QAAQ,CAAC;YACzE,MAAM,QAAQ,GAAsB,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC;gBAC5D,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;gBAC/D,CAAC,CAAC,EAAE,CAAC;YAEP,MAAM,WAAW,GAAI,MAAkD;iBACpE,gBAAgB,CAAC;YACpB,MAAM,gBAAgB,GACpB,WAAW,IAAI,OAAO,WAAW,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC;gBAC3E,CAAC,CAAC,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,WAAsC,CAAC,CAAC,MAAM,CAC3D,CAAC,KAAK,EAA6B,EAAE,CACnC,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,CAC/D,CACF;gBACH,CAAC,CAAC,EAAE,CAAC;YAET,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAC;YAClD,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YACpC,OAAO,IAAI,CAAC;QACd,CAAC;QAAC,MAAM,CAAC;YACP,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;YACzC,OAAO,SAAS,CAAC;QACnB,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,kBAAkB,GAAG,CAAC,OAAe,EAAW,EAAE;QACtD,MAAM,IAAI,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;QACrC,IAAI,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QAExB,IAAI,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC;YAAE,OAAO,IAAI,CAAC;QACnD,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAAE,OAAO,IAAI,CAAC;QAClD,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB,EAAE,cAAc,CAAC,EAAE,CAAC;YAChF,OAAO,IAAI,CAAC;QACd,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,MAAM,qBAAqB,GAAG,CAAC,OAAe,EAAW,EAAE;QACzD,yEAAyE;QACzE,gFAAgF;QAChF,oFAAoF;QACpF,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC;YAAE,OAAO,KAAK,CAAC;QAE/C,MAAM,MAAM,GAAG,uBAAuB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACpD,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QAExC,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,MAAM,KAAK,GAAa,CAAC,OAAO,CAAC,CAAC;QAElC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;YAClC,MAAM,UAAU,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;YAC/B,IAAI,CAAC,UAAU;gBAAE,SAAS;YAE1B,IAAI,CAAC;gBACH,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,WAAW,CAAC,UAAU,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;oBACxE,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;oBACnD,IAAI,KAAK,CAAC,MAAM,EAAE,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;wBACrD,KAAK,GAAG,IAAI,CAAC;wBACb,MAAM;oBACR,CAAC;oBACD,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;wBACxB,wDAAwD;wBACxD,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc;4BAAE,SAAS;wBAC5C,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;oBACvB,CAAC;gBACH,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,iCAAiC;YACnC,CAAC;QACH,CAAC;QAED,uBAAuB,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAC5C,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,MAAM,sBAAsB,GAAG,OAAO,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE;QAC1E,MAAM,OAAO,GAAG,sBAAsB,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;QACpD,IAAI,CAAC,OAAO;YAAE,OAAO,IAAI,CAAC;QAE1B,mFAAmF;QACnF,kFAAkF;QAClF,mFAAmF;QACnF,OAAO,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,MAAM,cAAc,GAAG,CAAC,GAAG,OAAO,CAAC,WAAW,EAAE,GAAG,sBAAsB,CAAC,CAAC;IAC3E,MAAM,EAAE,YAAY,EAAE,GAAG,kBAAkB,CAAC;QAC1C,WAAW,EAAE,cAAc;QAC3B,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,OAAO,EAAE,OAAO,CAAC,OAAO;KACzB,CAAC,CAAC;IAEH,kDAAkD;IAClD,mEAAmE;IACnE,MAAM,eAAe,GAAG,IAAI,CAAC,OAAO,CAClC,OAAO,CAAC,OAAO,CAAC,WAAW,EAC3B,cAAc,CACf,CAAC;IACF,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/C,MAAM,wBAAwB,GAAG,CAC/B,QAAgB,EAChB,OAAe,EACf,mBAA2B,EACP,EAAE;QACtB,IAAI,GAAG,GAAG,QAAQ,CAAC;QACnB,OAAO,IAAI,EAAE,CAAC;YACZ,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YAC9C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,cAAc,CAAC,CAAC;YACzD,IAAI,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC3B,IAAI,CAAC;oBACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAE1D,CAAC;oBACF,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;wBACxC,OAAO,aAAa,CAAC;oBACvB,CAAC;gBACH,CAAC;gBAAC,MAAM,CAAC;oBACP,kDAAkD;gBACpD,CAAC;YACH,CAAC;YAED,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACjC,IAAI,MAAM,KAAK,GAAG;gBAAE,OAAO,SAAS,CAAC;YACrC,GAAG,GAAG,MAAM,CAAC;QACf,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,wBAAwB,GAAG,CAC/B,OAAe,EACf,mBAA2B,EACP,EAAE;QACtB,MAAM,cAAc,GAAG,IAAI,CAAC,IAAI,CAC9B,eAAe,EACf,SAAS,EACT,OAAO,EACP,cAAc,CACf,CAAC;QACF,IAAI,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;YAClC,OAAO,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;QACtC,CAAC;QAED,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,WAAW,OAAO,eAAe,CAAC,CAAC;YACnE,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAC/B,CAAC;QAAC,MAAM,CAAC;YACP,kCAAkC;QACpC,CAAC;QAED,OAAO,wBAAwB,CAC7B,OAAO,CAAC,OAAO,CAAC,WAAW,EAC3B,OAAO,EACP,mBAAmB,CACpB,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,iBAAiB,GAAa,EAAE,CAAC;IAEvC,+EAA+E;IAC/E,6DAA6D;IAC7D,MAAM,WAAW,GAAG,EAAE,CAAC,UAAU,CAC/B,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,SAAS,EAAE,IAAI,EAAE,cAAc,CAAC,CAC5D,CAAC;IACF,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,MAAM,MAAM,GAAG,wBAAwB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QAC5D,IAAI,MAAM;YAAE,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC7C,CAAC;IAED,MAAM,eAAe,GAAG,EAAE,CAAC,UAAU,CACnC,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,SAAS,EAAE,QAAQ,EAAE,cAAc,CAAC,CAChE,CAAC;IACF,IAAI,CAAC,eAAe,EAAE,CAAC;QACrB,MAAM,UAAU,GAAG,wBAAwB,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC;QACxE,IAAI,UAAU;YAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACrD,CAAC;IAED,gFAAgF;IAChF,0EAA0E;IAC1E,2EAA2E;IAC3E,MAAM,eAAe,GAAG,EAAE,CAAC,UAAU,CACnC,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,SAAS,EAAE,QAAQ,EAAE,cAAc,CAAC,CAChE,CAAC;IACF,IAAI,CAAC,eAAe,EAAE,CAAC;QACrB,MAAM,UAAU,GAAG,wBAAwB,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC;QACxE,IAAI,UAAU;YAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACrD,CAAC;IAED,MAAM,aAAa,GAAG,EAAE,CAAC,UAAU,CACjC,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,SAAS,EAAE,MAAM,EAAE,cAAc,CAAC,CAC9D,CAAC;IACF,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,MAAM,QAAQ,GAAG,wBAAwB,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QAClE,IAAI,QAAQ;YAAE,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACjD,CAAC;IAED,yFAAyF;IACzF,qFAAqF;IACrF,6EAA6E;IAC7E,gFAAgF;IAChF,iFAAiF;IACjF,MAAM,kCAAkC,GAAG,CACzC,YAAoB,EACA,EAAE;QACtB,IAAI,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QACrC,OAAO,IAAI,EAAE,CAAC;YACZ,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;gBAAE,OAAO,GAAG,CAAC;YAC9D,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACjC,IAAI,MAAM,KAAK,GAAG;gBAAE,OAAO,SAAS,CAAC;YACrC,GAAG,GAAG,MAAM,CAAC;QACf,CAAC;IACH,CAAC,CAAC;IAEF,KAAK,MAAM,YAAY,IAAI,OAAO,CAAC,WAAW,CAAC,yBAAyB,EAAE,EAAE,CAAC;QAC3E,MAAM,OAAO,GAAG,kCAAkC,CAAC,YAAY,CAAC,CAAC;QACjE,IAAI,OAAO;YAAE,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC/C,CAAC;IAED,MAAM,eAAe,GAAG,cAAc,CAAC,eAAe,EAAE,iBAAiB,CAAC,CAAC;IAC3E,MAAM,UAAU,GAAG,eAAe,CAAC,eAAe,CAAC,CAAC;IAEpD,0DAA0D;IAC1D,MAAM,cAAc,GAAG,oBAAoB,CACzC,YAAY,EACZ,eAAe,EACf,OAAO,CAAC,OAAO,CAAC,aAAa,CAC9B,CAAC;IAEF,mEAAmE;IACnE,2DAA2D;IAC3D,MAAM,UAAU,GAAG,eAAe,CAAC,cAAc,CAAC,CAAC;IAEnD,oFAAoF;IACpF,uFAAuF;IACvF,MAAM,eAAe,GAAG,OAAO,CAAC,OAA0B,CAAC;IAC3D,MAAM,UAAU,GAAG,gBAAgB,CAAC;QAClC,cAAc,EAAE,eAAe,CAAC,kBAAkB,EAAE;QACpD,YAAY;QACZ,UAAU;QACV,8EAA8E;QAC9E,eAAe,EAAE,CAAC,IAAa,EAAE,EAAE,CACjC,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC;QAChD,gDAAgD;QAChD,cAAc;QACd,UAAU;QACV,iBAAiB,EAAE,CAAC,IAAa,EAAE,EAAE,CACnC,EAAE,CAAC,YAAY,CAAC,IAAe,CAAC;YAC9B,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAqB,CAAC;YAC1D,CAAC,CAAC,SAAS;QACf,oBAAoB,EAAE,CAAC,IAAa,EAAE,EAAE,CACtC,EAAE,CAAC,gBAAgB,CAAC,IAAe,CAAC;YAClC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,oBAAoB,CAAC,IAAyB,CAAC;YACjE,CAAC,CAAC,SAAS;QACf,2BAA2B,EAAE,CAAC,IAAa,EAAE,EAAE,CAC7C,EAAE,CAAC,eAAe,CAAC,IAAe,CAAC;YACjC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,2BAA2B,CAAC,IAAwB,CAAC;YACvE,CAAC,CAAC,SAAS;KAChB,CAAC,CAAC;IAEH,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,UAAU;QACV,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,WAAW,EAAE,OAAO,CAAC,WAAW;KACjC,CAAC;AACJ,CAAC,CAAC"}

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

@@ -1,9 +1,12 @@
 /**
  * Statement converter - TypeScript AST to IR statements
  * Main dispatcher - delegates to specialized modules
+ *
+ * Phase 5 Step 4: Uses ProgramContext instead of global singletons.
  */
 import * as ts from "typescript";
-import { IrStatement } from "./types.js";
+import { IrStatement, IrType } from "./types.js";
+import type { ProgramContext } from "./program-context.js";
 /**
  * Result type for statement conversion.
  * Some converters (like type aliases with synthetic types) return multiple statements.
@@ -11,8 +14,12 @@ import { IrStatement } from "./types.js";
 export type ConvertStatementResult = IrStatement | readonly IrStatement[] | null;
 /**
  * Main statement converter dispatcher
+ *
+ * @param ctx - ProgramContext for TypeSystem and binding access
+ * @param expectedReturnType - Return type from enclosing function for contextual typing.
+ *                             Pass `undefined` explicitly when not inside a function.
  */
-export declare const convertStatement: (node: ts.Node, checker: ts.TypeChecker) => ConvertStatementResult;
+export declare const convertStatement: (node: ts.Node, ctx: ProgramContext, expectedReturnType: IrType | undefined) => ConvertStatementResult;
 /**
  * Flatten a convert statement result into an array of statements.
  * Handles both single statements and arrays.
@@ -21,9 +28,12 @@ export declare const flattenStatementResult: (result: ConvertStatementResult) =>
 /**
  * Convert a statement and return a single statement (for contexts where arrays not expected).
  * Type aliases inside control flow will return the first statement (usually the only one).
+ *
+ * @param ctx - ProgramContext for TypeSystem and binding access
+ * @param expectedReturnType - Return type from enclosing function for contextual typing.
+ *                             Must be passed through for return statements in nested blocks.
  */
-export declare const convertStatementSingle: (node: ts.Node, checker: ts.TypeChecker) => IrStatement | null;
+export declare const convertStatementSingle: (node: ts.Node, ctx: ProgramContext, expectedReturnType?: IrType) => IrStatement | null;
 export { convertBlockStatement } from "./converters/statements/control.js";
 export { convertParameters } from "./converters/statements/helpers.js";
-export { setMetadataRegistry, setBindingRegistry, } from "./converters/statements/declarations.js";
 //# sourceMappingURL=statement-converter.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"statement-converter.d.ts","sourceRoot":"","sources":["../../src/ir/statement-converter.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAwBzC;;;GAGG;AACH,MAAM,MAAM,sBAAsB,GAC9B,WAAW,GACX,SAAS,WAAW,EAAE,GACtB,IAAI,CAAC;AAWT;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAC3B,MAAM,EAAE,CAAC,IAAI,EACb,SAAS,EAAE,CAAC,WAAW,KACtB,sBAyFF,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,sBAAsB,GACjC,QAAQ,sBAAsB,KAC7B,SAAS,WAAW,EAStB,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,sBAAsB,GACjC,MAAM,EAAE,CAAC,IAAI,EACb,SAAS,EAAE,CAAC,WAAW,KACtB,WAAW,GAAG,IAYhB,CAAC;AAGF,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,iBAAiB,EAAE,MAAM,oCAAoC,CAAC;AACvE,OAAO,EACL,mBAAmB,EACnB,kBAAkB,GACnB,MAAM,yCAAyC,CAAC"}
+{"version":3,"file":"statement-converter.d.ts","sourceRoot":"","sources":["../../src/ir/statement-converter.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAEjD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAuB3D;;;GAGG;AACH,MAAM,MAAM,sBAAsB,GAC9B,WAAW,GACX,SAAS,WAAW,EAAE,GACtB,IAAI,CAAC;AAWT;;;;;;GAMG;AACH,eAAO,MAAM,gBAAgB,GAC3B,MAAM,EAAE,CAAC,IAAI,EACb,KAAK,cAAc,EACnB,oBAAoB,MAAM,GAAG,SAAS,KACrC,sBA0FF,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,sBAAsB,GACjC,QAAQ,sBAAsB,KAC7B,SAAS,WAAW,EAStB,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,sBAAsB,GACjC,MAAM,EAAE,CAAC,IAAI,EACb,KAAK,cAAc,EACnB,qBAAqB,MAAM,KAC1B,WAAW,GAAG,IAYhB,CAAC;AAGF,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,iBAAiB,EAAE,MAAM,oCAAoC,CAAC"}