@tsonic/frontend 0.0.14 → 0.0.16

package/dist/ir/builder/imports.js

@@ -1,14 +1,15 @@
 /**
  * Import extraction from TypeScript source
+ *
+ * Phase 5 Step 4: Uses ProgramContext instead of global singletons.
  */
 import * as ts from "typescript";
-import { getBindingRegistry } from "../converters/statements/declarations/registry.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 const extractImports = (sourceFile, checker, clrResolver) => {
+export const extractImports = (sourceFile, ctx) => {
     const imports = [];
     const visitor = (node) => {
         if (ts.isImportDeclaration(node) &&
@@ -19,7 +20,7 @@ export const extractImports = (sourceFile, checker, clrResolver) => {
             // This works for any package that provides bindings.json
             // Note: Bindings are loaded upfront by discoverAndLoadClrBindings()
             // in dependency-graph.ts before IR building starts.
-            const clrResolution = clrResolver.resolve(source);
+            const clrResolution = ctx.clrResolver.resolve(source);
             const isClr = clrResolution.isClr;
             const resolvedNamespace = clrResolution.isClr
                 ? clrResolution.resolvedNamespace
@@ -27,12 +28,12 @@ export const extractImports = (sourceFile, checker, clrResolver) => {
             const clrAssembly = clrResolution.isClr
                 ? clrResolution.assembly
                 : undefined;
-            const specifiers = extractImportSpecifiers(node, checker);
+            const specifiers = extractImportSpecifiers(node, ctx.binding, ctx.typeSystem);
             // Check for module binding (Node.js API, etc.)
-            const binding = getBindingRegistry().getBinding(source);
-            const hasModuleBinding = binding?.kind === "module";
+            const moduleBinding = ctx.bindings.getBinding(source);
+            const hasModuleBinding = moduleBinding?.kind === "module";
             // Assembly comes from CLR resolution (bindings.json) or module binding
-            const resolvedAssembly = clrAssembly ?? (hasModuleBinding ? binding.assembly : undefined);
+            const resolvedAssembly = clrAssembly ?? (hasModuleBinding ? moduleBinding.assembly : undefined);
             imports.push({
                 kind: "import",
                 source,
@@ -40,7 +41,7 @@ export const extractImports = (sourceFile, checker, clrResolver) => {
                 isClr,
                 specifiers,
                 resolvedNamespace,
-                resolvedClrType: hasModuleBinding ? binding.type : undefined,
+                resolvedClrType: hasModuleBinding ? moduleBinding.type : undefined,
                 resolvedAssembly,
             });
         }
@@ -51,9 +52,9 @@ export const extractImports = (sourceFile, checker, clrResolver) => {
 };
 /**
  * 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 const extractImportSpecifiers = (node, checker) => {
+export const extractImportSpecifiers = (node, binding, typeSystem) => {
     const specifiers = [];
     if (node.importClause) {
         // Default import
@@ -73,7 +74,7 @@ export const extractImportSpecifiers = (node, checker) => {
             }
             else if (ts.isNamedImports(node.importClause.namedBindings)) {
                 node.importClause.namedBindings.elements.forEach((spec) => {
-                    const isType = isTypeImport(spec, checker);
+                    const isType = isTypeImport(spec, binding, typeSystem);
                     specifiers.push({
                         kind: "named",
                         name: (spec.propertyName ?? spec.name).text,
@@ -88,33 +89,21 @@ export const extractImportSpecifiers = (node, checker) => {
 };
 /**
  * Determine if an import specifier refers to a type (interface, class, type alias, enum).
- * Uses TypeChecker to resolve the symbol and check its declaration kind.
+ * ALICE'S SPEC: Uses TypeSystem.isTypeDecl() to check declaration kind.
  */
-const isTypeImport = (spec, checker) => {
+const isTypeImport = (spec, binding, typeSystem) => {
     try {
         // TypeScript's isTypeOnly flag on the specifier itself (for `import { type Foo }`)
         if (spec.isTypeOnly) {
             return true;
         }
-        // Get the symbol for this import specifier
-        const symbol = checker.getSymbolAtLocation(spec.name);
-        if (!symbol) {
+        // Use Binding to resolve the import to its declaration
+        const declId = binding.resolveImport(spec);
+        if (!declId) {
             return false;
         }
-        // Follow aliases to get the actual symbol
-        const resolvedSymbol = symbol.flags & ts.SymbolFlags.Alias
-            ? checker.getAliasedSymbol(symbol)
-            : symbol;
-        if (!resolvedSymbol) {
-            return false;
-        }
-        // Check if the symbol is a type
-        const flags = resolvedSymbol.flags;
-        return !!(flags & ts.SymbolFlags.Interface ||
-            flags & ts.SymbolFlags.Class ||
-            flags & ts.SymbolFlags.TypeAlias ||
-            flags & ts.SymbolFlags.Enum ||
-            flags & ts.SymbolFlags.TypeParameter);
+        // ALICE'S SPEC: Use TypeSystem.isTypeDecl() to check if declaration is a type
+        return typeSystem.isTypeDecl(declId);
     }
     catch {
         return false;

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

@@ -1 +1 @@
-{"version":3,"file":"imports.js","sourceRoot":"","sources":["../../../src/ir/builder/imports.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,kBAAkB,EAAE,MAAM,mDAAmD,CAAC;AAGvF;;;;GAIG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,UAAyB,EACzB,OAAuB,EACvB,WAAgC,EACX,EAAE;IACvB,MAAM,OAAO,GAAe,EAAE,CAAC;IAE/B,MAAM,OAAO,GAAG,CAAC,IAAa,EAAQ,EAAE;QACtC,IACE,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAC5B,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,eAAe,CAAC,EACxC,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC;YACzC,MAAM,OAAO,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;YAEjE,qDAAqD;YACrD,yDAAyD;YACzD,oEAAoE;YACpE,oDAAoD;YACpD,MAAM,aAAa,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAClD,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,CAAC;YAClC,MAAM,iBAAiB,GAAG,aAAa,CAAC,KAAK;gBAC3C,CAAC,CAAC,aAAa,CAAC,iBAAiB;gBACjC,CAAC,CAAC,SAAS,CAAC;YACd,MAAM,WAAW,GAAG,aAAa,CAAC,KAAK;gBACrC,CAAC,CAAC,aAAa,CAAC,QAAQ;gBACxB,CAAC,CAAC,SAAS,CAAC;YAEd,MAAM,UAAU,GAAG,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAE1D,+CAA+C;YAC/C,MAAM,OAAO,GAAG,kBAAkB,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YACxD,MAAM,gBAAgB,GAAG,OAAO,EAAE,IAAI,KAAK,QAAQ,CAAC;YAEpD,uEAAuE;YACvE,MAAM,gBAAgB,GACpB,WAAW,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YAEnE,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,QAAQ;gBACd,MAAM;gBACN,OAAO;gBACP,KAAK;gBACL,UAAU;gBACV,iBAAiB;gBACjB,eAAe,EAAE,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;gBAC5D,gBAAgB;aACjB,CAAC,CAAC;QACL,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;;;GAGG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAA0B,EAC1B,OAAuB,EACO,EAAE;IAChC,MAAM,UAAU,GAAwB,EAAE,CAAC;IAE3C,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QACtB,iBAAiB;QACjB,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;YAC3B,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,SAAS;gBACf,SAAS,EAAE,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI;aACvC,CAAC,CAAC;QACL,CAAC;QAED,6BAA6B;QAC7B,IAAI,IAAI,CAAC,YAAY,CAAC,aAAa,EAAE,CAAC;YACpC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,EAAE,CAAC;gBAC1D,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,WAAW;oBACjB,SAAS,EAAE,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI;iBACrD,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,EAAE,CAAC;gBAC9D,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;oBACxD,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;oBAC3C,UAAU,CAAC,IAAI,CAAC;wBACd,IAAI,EAAE,OAAO;wBACb,IAAI,EAAE,CAAC,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI;wBAC3C,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;wBACzB,MAAM;qBACP,CAAC,CAAC;gBACL,CAAC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,YAAY,GAAG,CACnB,IAAwB,EACxB,OAAuB,EACd,EAAE;IACX,IAAI,CAAC;QACH,mFAAmF;QACnF,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACpB,OAAO,IAAI,CAAC;QACd,CAAC;QAED,2CAA2C;QAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtD,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,KAAK,CAAC;QACf,CAAC;QAED,0CAA0C;QAC1C,MAAM,cAAc,GAClB,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK;YACjC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC;YAClC,CAAC,CAAC,MAAM,CAAC;QAEb,IAAI,CAAC,cAAc,EAAE,CAAC;YACpB,OAAO,KAAK,CAAC;QACf,CAAC;QAED,gCAAgC;QAChC,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC;QACnC,OAAO,CAAC,CAAC,CACP,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,SAAS;YAChC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK;YAC5B,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,SAAS;YAChC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI;YAC3B,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,aAAa,CACrC,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC,CAAC"}
+{"version":3,"file":"imports.js","sourceRoot":"","sources":["../../../src/ir/builder/imports.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAMjC;;;;GAIG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,UAAyB,EACzB,GAAmB,EACE,EAAE;IACvB,MAAM,OAAO,GAAe,EAAE,CAAC;IAE/B,MAAM,OAAO,GAAG,CAAC,IAAa,EAAQ,EAAE;QACtC,IACE,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAC5B,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,eAAe,CAAC,EACxC,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC;YACzC,MAAM,OAAO,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;YAEjE,qDAAqD;YACrD,yDAAyD;YACzD,oEAAoE;YACpE,oDAAoD;YACpD,MAAM,aAAa,GAAG,GAAG,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACtD,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,CAAC;YAClC,MAAM,iBAAiB,GAAG,aAAa,CAAC,KAAK;gBAC3C,CAAC,CAAC,aAAa,CAAC,iBAAiB;gBACjC,CAAC,CAAC,SAAS,CAAC;YACd,MAAM,WAAW,GAAG,aAAa,CAAC,KAAK;gBACrC,CAAC,CAAC,aAAa,CAAC,QAAQ;gBACxB,CAAC,CAAC,SAAS,CAAC;YAEd,MAAM,UAAU,GAAG,uBAAuB,CACxC,IAAI,EACJ,GAAG,CAAC,OAAO,EACX,GAAG,CAAC,UAAU,CACf,CAAC;YAEF,+CAA+C;YAC/C,MAAM,aAAa,GAAG,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YACtD,MAAM,gBAAgB,GAAG,aAAa,EAAE,IAAI,KAAK,QAAQ,CAAC;YAE1D,uEAAuE;YACvE,MAAM,gBAAgB,GACpB,WAAW,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YAEzE,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,QAAQ;gBACd,MAAM;gBACN,OAAO;gBACP,KAAK;gBACL,UAAU;gBACV,iBAAiB;gBACjB,eAAe,EAAE,gBAAgB,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;gBAClE,gBAAgB;aACjB,CAAC,CAAC;QACL,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;;;GAGG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAA0B,EAC1B,OAAgB,EAChB,UAAyB,EACK,EAAE;IAChC,MAAM,UAAU,GAAwB,EAAE,CAAC;IAE3C,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QACtB,iBAAiB;QACjB,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;YAC3B,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,SAAS;gBACf,SAAS,EAAE,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI;aACvC,CAAC,CAAC;QACL,CAAC;QAED,6BAA6B;QAC7B,IAAI,IAAI,CAAC,YAAY,CAAC,aAAa,EAAE,CAAC;YACpC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,EAAE,CAAC;gBAC1D,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,WAAW;oBACjB,SAAS,EAAE,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI;iBACrD,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,EAAE,CAAC;gBAC9D,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;oBACxD,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;oBACvD,UAAU,CAAC,IAAI,CAAC;wBACd,IAAI,EAAE,OAAO;wBACb,IAAI,EAAE,CAAC,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI;wBAC3C,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;wBACzB,MAAM;qBACP,CAAC,CAAC;gBACL,CAAC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,YAAY,GAAG,CACnB,IAAwB,EACxB,OAAgB,EAChB,UAAyB,EAChB,EAAE;IACX,IAAI,CAAC;QACH,mFAAmF;QACnF,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACpB,OAAO,IAAI,CAAC;QACd,CAAC;QAED,uDAAuD;QACvD,MAAM,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,KAAK,CAAC;QACf,CAAC;QAED,8EAA8E;QAC9E,OAAO,UAAU,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IACvC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC,CAAC"}

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

@@ -1,16 +1,25 @@
 /**
  * IR Builder orchestration - Main module building logic
+ *
+ * Phase 5 Step 4: Uses ProgramContext instead of global singletons.
  */
 import * as ts from "typescript";
 import { IrModule } from "../types.js";
 import { TsonicProgram } from "../../program.js";
 import { Result } from "../../types/result.js";
 import { Diagnostic } from "../../types/diagnostic.js";
+import { type ProgramContext } from "../program-context.js";
 import { IrBuildOptions } from "./types.js";
 /**
  * Build IR module from TypeScript source file
+ *
+ * @param sourceFile - The TypeScript source file to convert
+ * @param program - The Tsonic program with type checker and bindings
+ * @param options - Build options (sourceRoot, rootNamespace)
+ * @param ctx - ProgramContext for TypeSystem and other shared resources.
+ *              Required - no global state fallback.
  */
-export declare const buildIrModule: (sourceFile: ts.SourceFile, program: TsonicProgram, options: IrBuildOptions) => Result<IrModule, Diagnostic>;
+export declare const buildIrModule: (sourceFile: ts.SourceFile, _program: TsonicProgram, options: IrBuildOptions, ctx: ProgramContext) => Result<IrModule, Diagnostic>;
 /**
  * Build IR for all source files in the program
  */

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

@@ -1 +1 @@
-{"version":3,"file":"orchestrator.d.ts","sourceRoot":"","sources":["../../../src/ir/builder/orchestrator.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAEjD,OAAO,EAAE,MAAM,EAAa,MAAM,uBAAuB,CAAC;AAC1D,OAAO,EAAE,UAAU,EAAoB,MAAM,2BAA2B,CAAC;AAKzE,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAM5C;;GAEG;AACH,eAAO,MAAM,aAAa,GACxB,YAAY,EAAE,CAAC,UAAU,EACzB,SAAS,aAAa,EACtB,SAAS,cAAc,KACtB,MAAM,CAAC,QAAQ,EAAE,UAAU,CA2H7B,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,OAAO,GAClB,SAAS,aAAa,EACtB,SAAS,cAAc,KACtB,MAAM,CAAC,SAAS,QAAQ,EAAE,EAAE,SAAS,UAAU,EAAE,CAkBnD,CAAC"}
+{"version":3,"file":"orchestrator.d.ts","sourceRoot":"","sources":["../../../src/ir/builder/orchestrator.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAGjD,OAAO,EAAE,MAAM,EAAa,MAAM,uBAAuB,CAAC;AAC1D,OAAO,EACL,UAAU,EAGX,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAEL,KAAK,cAAc,EACpB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAM5C;;;;;;;;GAQG;AACH,eAAO,MAAM,aAAa,GACxB,YAAY,EAAE,CAAC,UAAU,EACzB,UAAU,aAAa,EACvB,SAAS,cAAc,EACvB,KAAK,cAAc,KAClB,MAAM,CAAC,QAAQ,EAAE,UAAU,CAkH7B,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,OAAO,GAClB,SAAS,aAAa,EACtB,SAAS,cAAc,KACtB,MAAM,CAAC,SAAS,QAAQ,EAAE,EAAE,SAAS,UAAU,EAAE,CAgCnD,CAAC"}

package/dist/ir/builder/orchestrator.js

@@ -1,29 +1,34 @@
 /**
  * IR Builder orchestration - Main module building logic
+ *
+ * Phase 5 Step 4: Uses ProgramContext instead of global singletons.
  */
 import { relative } from "path";
 import { getNamespaceFromPath, getClassNameFromPath } from "../../resolver.js";
+import { resolveNamingPolicy } from "../../resolver/naming-policy.js";
 import { ok, error } from "../../types/result.js";
-import { createDiagnostic } from "../../types/diagnostic.js";
-import { setMetadataRegistry, setBindingRegistry, } from "../statement-converter.js";
+import { createDiagnostic, isFatal, } from "../../types/diagnostic.js";
+import { createProgramContext, } from "../program-context.js";
 import { extractImports } from "./imports.js";
-import { extractExports } from "./exports.js";
+import { extractExportsWithContext } from "./exports.js";
 import { extractStatements, isExecutableStatement } from "./statements.js";
 import { validateClassImplements } from "./validation.js";
 /**
  * Build IR module from TypeScript source file
+ *
+ * @param sourceFile - The TypeScript source file to convert
+ * @param program - The Tsonic program with type checker and bindings
+ * @param options - Build options (sourceRoot, rootNamespace)
+ * @param ctx - ProgramContext for TypeSystem and other shared resources.
+ *              Required - no global state fallback.
  */
-export const buildIrModule = (sourceFile, program, options) => {
+export const buildIrModule = (sourceFile, _program, options, ctx) => {
     try {
-        // Set the metadata registry for this compilation
-        setMetadataRegistry(program.metadata);
-        // Set the binding registry for this compilation
-        setBindingRegistry(program.bindings);
-        const namespace = getNamespaceFromPath(sourceFile.fileName, options.sourceRoot, options.rootNamespace);
-        const className = getClassNameFromPath(sourceFile.fileName);
-        const imports = extractImports(sourceFile, program.checker, program.clrResolver);
-        const exports = extractExports(sourceFile, program.checker);
-        const statements = extractStatements(sourceFile, program.checker);
+        const namespace = getNamespaceFromPath(sourceFile.fileName, options.sourceRoot, options.rootNamespace, resolveNamingPolicy(options.namingPolicy, "namespaces"));
+        const className = getClassNameFromPath(sourceFile.fileName, resolveNamingPolicy(options.namingPolicy, "classes"));
+        const imports = extractImports(sourceFile, ctx);
+        const exports = extractExportsWithContext(sourceFile, ctx);
+        const statements = extractStatements(sourceFile, ctx);
         // Check for file name / export name collision (Issue #4)
         // When file name matches an exported function/variable name, C# will have illegal code
         // Example: main.ts exporting function main() → class main { void main() } ❌
@@ -63,7 +68,7 @@ export const buildIrModule = (sourceFile, program, options) => {
         }
         // Validate class implements patterns
         // TypeScript interfaces are nominalized to C# classes, so "implements" is invalid
-        const implementsDiagnostics = validateClassImplements(sourceFile, program.checker);
+        const implementsDiagnostics = validateClassImplements(sourceFile, ctx);
         const firstImplementsDiagnostic = implementsDiagnostics[0];
         if (firstImplementsDiagnostic) {
             return error(firstImplementsDiagnostic);
@@ -102,17 +107,29 @@ export const buildIrModule = (sourceFile, program, options) => {
  * Build IR for all source files in the program
  */
 export const buildIr = (program, options) => {
+    // Create ProgramContext — the single owner of all semantic state
+    // No global singletons are used; context is passed explicitly
+    const ctx = createProgramContext(program, options);
     const modules = [];
     const diagnostics = [];
     for (const sourceFile of program.sourceFiles) {
-        const result = buildIrModule(sourceFile, program, options);
+        const result = buildIrModule(sourceFile, program, options, ctx);
         if (result.ok) {
             modules.push(result.value);
         }
         else {
             diagnostics.push(result.error);
+            // Fatal diagnostics abort immediately - no point continuing
+            if (isFatal(result.error)) {
+                return error(diagnostics);
+            }
         }
     }
+    // Merge any diagnostics emitted during IR conversion (from converters).
+    // These are deterministic failures where emitting code would require guessing.
+    if (ctx.diagnostics.length > 0) {
+        diagnostics.push(...ctx.diagnostics);
+    }
     if (diagnostics.length > 0) {
         return error(diagnostics);
     }

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

@@ -1 +1 @@
-{"version":3,"file":"orchestrator.js","sourceRoot":"","sources":["../../../src/ir/builder/orchestrator.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAAE,QAAQ,EAAE,MAAM,MAAM,CAAC;AAGhC,OAAO,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AAC/E,OAAO,EAAU,EAAE,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,EAAc,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AACzE,OAAO,EACL,mBAAmB,EACnB,kBAAkB,GACnB,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AAC3E,OAAO,EAAE,uBAAuB,EAAE,MAAM,iBAAiB,CAAC;AAE1D;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,UAAyB,EACzB,OAAsB,EACtB,OAAuB,EACO,EAAE;IAChC,IAAI,CAAC;QACH,iDAAiD;QACjD,mBAAmB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAEtC,gDAAgD;QAChD,kBAAkB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAErC,MAAM,SAAS,GAAG,oBAAoB,CACpC,UAAU,CAAC,QAAQ,EACnB,OAAO,CAAC,UAAU,EAClB,OAAO,CAAC,aAAa,CACtB,CAAC;QACF,MAAM,SAAS,GAAG,oBAAoB,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QAE5D,MAAM,OAAO,GAAG,cAAc,CAC5B,UAAU,EACV,OAAO,CAAC,OAAO,EACf,OAAO,CAAC,WAAW,CACpB,CAAC;QACF,MAAM,OAAO,GAAG,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QAC5D,MAAM,UAAU,GAAG,iBAAiB,CAAC,UAAU,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QAElE,yDAAyD;QACzD,uFAAuF;QACvF,4EAA4E;QAC5E,sGAAsG;QACtG,MAAM,eAAe,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE;YAC3C,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBAC/B,MAAM,IAAI,GAAG,GAAG,CAAC,WAAW,CAAC;gBAC7B,wFAAwF;gBACxF,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;oBACxC,OAAO,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;gBACjC,CAAC;qBAAM,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;oBAC/C,+DAA+D;oBAC/D,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE;wBAC3C,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;4BACjD,OAAO,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;wBAC5C,CAAC;wBACD,OAAO,KAAK,CAAC;oBACf,CAAC,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;iBAAM,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAChC,4DAA4D;gBAC5D,qEAAqE;gBACrE,2DAA2D;gBAC3D,OAAO,KAAK,CAAC;YACf,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC,CAAC,CAAC;QAEH,IAAI,eAAe,EAAE,CAAC;YACpB,OAAO,KAAK,CACV,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,cAAc,SAAS,2KAA2K,EAClM;gBACE,IAAI,EAAE,UAAU,CAAC,QAAQ;gBACzB,IAAI,EAAE,CAAC;gBACP,MAAM,EAAE,CAAC;gBACT,MAAM,EAAE,SAAS,CAAC,MAAM;aACzB,CACF,CACF,CAAC;QACJ,CAAC;QAED,qCAAqC;QACrC,kFAAkF;QAClF,MAAM,qBAAqB,GAAG,uBAAuB,CACnD,UAAU,EACV,OAAO,CAAC,OAAO,CAChB,CAAC;QACF,MAAM,yBAAyB,GAAG,qBAAqB,CAAC,CAAC,CAAC,CAAC;QAC3D,IAAI,yBAAyB,EAAE,CAAC;YAC9B,OAAO,KAAK,CAAC,yBAAyB,CAAC,CAAC;QAC1C,CAAC;QAED,iDAAiD;QACjD,qFAAqF;QACrF,8DAA8D;QAC9D,MAAM,wBAAwB,GAAG,UAAU,CAAC,IAAI,CAC9C,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CACtE,CAAC;QAEF,MAAM,eAAe,GAAG,UAAU,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;QAC/D,MAAM,iBAAiB,GACrB,CAAC,wBAAwB,IAAI,CAAC,eAAe,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;QAEtE,8CAA8C;QAC9C,8DAA8D;QAC9D,MAAM,YAAY,GAAG,QAAQ,CAC3B,OAAO,CAAC,UAAU,EAClB,UAAU,CAAC,QAAQ,CACpB,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAEtB,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,YAAY,EAAE,+CAA+C;YACvE,SAAS;YACT,SAAS;YACT,iBAAiB;YACjB,OAAO;YACP,IAAI,EAAE,UAAU;YAChB,OAAO;SACR,CAAC;QAEF,OAAO,EAAE,CAAC,MAAM,CAAC,CAAC;IACpB,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,KAAK,CACV,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,uBAAuB,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EACzE;YACE,IAAI,EAAE,UAAU,CAAC,QAAQ;YACzB,IAAI,EAAE,CAAC;YACP,MAAM,EAAE,CAAC;YACT,MAAM,EAAE,CAAC;SACV,CACF,CACF,CAAC;IACJ,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CACrB,OAAsB,EACtB,OAAuB,EAC6B,EAAE;IACtD,MAAM,OAAO,GAAe,EAAE,CAAC;IAC/B,MAAM,WAAW,GAAiB,EAAE,CAAC;IAErC,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QAC7C,MAAM,MAAM,GAAG,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QAC3D,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;YACd,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC7B,CAAC;aAAM,CAAC;YACN,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IAED,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,OAAO,KAAK,CAAC,WAAW,CAAC,CAAC;IAC5B,CAAC;IAED,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC;AACrB,CAAC,CAAC"}
+{"version":3,"file":"orchestrator.js","sourceRoot":"","sources":["../../../src/ir/builder/orchestrator.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EAAE,QAAQ,EAAE,MAAM,MAAM,CAAC;AAGhC,OAAO,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AAC/E,OAAO,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AACtE,OAAO,EAAU,EAAE,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,EAEL,gBAAgB,EAChB,OAAO,GACR,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,oBAAoB,GAErB,MAAM,uBAAuB,CAAC;AAE/B,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,yBAAyB,EAAE,MAAM,cAAc,CAAC;AACzD,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AAC3E,OAAO,EAAE,uBAAuB,EAAE,MAAM,iBAAiB,CAAC;AAE1D;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,UAAyB,EACzB,QAAuB,EACvB,OAAuB,EACvB,GAAmB,EACW,EAAE;IAChC,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,oBAAoB,CACpC,UAAU,CAAC,QAAQ,EACnB,OAAO,CAAC,UAAU,EAClB,OAAO,CAAC,aAAa,EACrB,mBAAmB,CAAC,OAAO,CAAC,YAAY,EAAE,YAAY,CAAC,CACxD,CAAC;QACF,MAAM,SAAS,GAAG,oBAAoB,CACpC,UAAU,CAAC,QAAQ,EACnB,mBAAmB,CAAC,OAAO,CAAC,YAAY,EAAE,SAAS,CAAC,CACrD,CAAC;QAEF,MAAM,OAAO,GAAG,cAAc,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QAChD,MAAM,OAAO,GAAG,yBAAyB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QAC3D,MAAM,UAAU,GAAG,iBAAiB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QAEtD,yDAAyD;QACzD,uFAAuF;QACvF,4EAA4E;QAC5E,sGAAsG;QACtG,MAAM,eAAe,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE;YAC3C,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBAC/B,MAAM,IAAI,GAAG,GAAG,CAAC,WAAW,CAAC;gBAC7B,wFAAwF;gBACxF,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;oBACxC,OAAO,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;gBACjC,CAAC;qBAAM,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;oBAC/C,+DAA+D;oBAC/D,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE;wBAC3C,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;4BACjD,OAAO,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;wBAC5C,CAAC;wBACD,OAAO,KAAK,CAAC;oBACf,CAAC,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;iBAAM,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAChC,4DAA4D;gBAC5D,qEAAqE;gBACrE,2DAA2D;gBAC3D,OAAO,KAAK,CAAC;YACf,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC,CAAC,CAAC;QAEH,IAAI,eAAe,EAAE,CAAC;YACpB,OAAO,KAAK,CACV,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,cAAc,SAAS,2KAA2K,EAClM;gBACE,IAAI,EAAE,UAAU,CAAC,QAAQ;gBACzB,IAAI,EAAE,CAAC;gBACP,MAAM,EAAE,CAAC;gBACT,MAAM,EAAE,SAAS,CAAC,MAAM;aACzB,CACF,CACF,CAAC;QACJ,CAAC;QAED,qCAAqC;QACrC,kFAAkF;QAClF,MAAM,qBAAqB,GAAG,uBAAuB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QACvE,MAAM,yBAAyB,GAAG,qBAAqB,CAAC,CAAC,CAAC,CAAC;QAC3D,IAAI,yBAAyB,EAAE,CAAC;YAC9B,OAAO,KAAK,CAAC,yBAAyB,CAAC,CAAC;QAC1C,CAAC;QAED,iDAAiD;QACjD,qFAAqF;QACrF,8DAA8D;QAC9D,MAAM,wBAAwB,GAAG,UAAU,CAAC,IAAI,CAC9C,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CACtE,CAAC;QAEF,MAAM,eAAe,GAAG,UAAU,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;QAC/D,MAAM,iBAAiB,GACrB,CAAC,wBAAwB,IAAI,CAAC,eAAe,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;QAEtE,8CAA8C;QAC9C,8DAA8D;QAC9D,MAAM,YAAY,GAAG,QAAQ,CAC3B,OAAO,CAAC,UAAU,EAClB,UAAU,CAAC,QAAQ,CACpB,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAEtB,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,YAAY,EAAE,+CAA+C;YACvE,SAAS;YACT,SAAS;YACT,iBAAiB;YACjB,OAAO;YACP,IAAI,EAAE,UAAU;YAChB,OAAO;SACR,CAAC;QAEF,OAAO,EAAE,CAAC,MAAM,CAAC,CAAC;IACpB,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,KAAK,CACV,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,uBAAuB,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EACzE;YACE,IAAI,EAAE,UAAU,CAAC,QAAQ;YACzB,IAAI,EAAE,CAAC;YACP,MAAM,EAAE,CAAC;YACT,MAAM,EAAE,CAAC;SACV,CACF,CACF,CAAC;IACJ,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CACrB,OAAsB,EACtB,OAAuB,EAC6B,EAAE;IACtD,iEAAiE;IACjE,8DAA8D;IAC9D,MAAM,GAAG,GAAG,oBAAoB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAEnD,MAAM,OAAO,GAAe,EAAE,CAAC;IAC/B,MAAM,WAAW,GAAiB,EAAE,CAAC;IAErC,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QAC7C,MAAM,MAAM,GAAG,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;QAChE,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;YACd,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC7B,CAAC;aAAM,CAAC;YACN,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAC/B,4DAA4D;YAC5D,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1B,OAAO,KAAK,CAAC,WAAW,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;IACH,CAAC;IAED,wEAAwE;IACxE,+EAA+E;IAC/E,IAAI,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,WAAW,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,WAAW,CAAC,CAAC;IACvC,CAAC;IAED,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,OAAO,KAAK,CAAC,WAAW,CAAC,CAAC;IAC5B,CAAC;IAED,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC;AACrB,CAAC,CAAC"}

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

@@ -1,8 +1,11 @@
 /**
  * Statement extraction from TypeScript source
+ *
+ * Phase 5 Step 4: Uses ProgramContext instead of global singletons.
  */
 import * as ts from "typescript";
 import { IrStatement } from "../types.js";
+import type { ProgramContext } from "../program-context.js";
 /**
  * Extract statements from source file.
  *
@@ -11,8 +14,11 @@ import { IrStatement } from "../types.js";
  *
  * Also collects synthetic type declarations generated during conversion
  * (from anonymous object literal synthesis) and prepends them.
+ *
+ * @param sourceFile - The TypeScript source file to extract from
+ * @param ctx - ProgramContext for TypeSystem and binding access
  */
-export declare const extractStatements: (sourceFile: ts.SourceFile, checker: ts.TypeChecker) => readonly IrStatement[];
+export declare const extractStatements: (sourceFile: ts.SourceFile, ctx: ProgramContext) => readonly IrStatement[];
 /**
  * Check if a statement is executable (not a declaration)
  */

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

@@ -1 +1 @@
-{"version":3,"file":"statements.d.ts","sourceRoot":"","sources":["../../../src/ir/builder/statements.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAU1C;;;;;;;;GAQG;AACH,eAAO,MAAM,iBAAiB,GAC5B,YAAY,EAAE,CAAC,UAAU,EACzB,SAAS,EAAE,CAAC,WAAW,KACtB,SAAS,WAAW,EA0BtB,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,qBAAqB,GAAI,MAAM,WAAW,KAAG,OAiBzD,CAAC"}
+{"version":3,"file":"statements.d.ts","sourceRoot":"","sources":["../../../src/ir/builder/statements.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAS1C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAE5D;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,iBAAiB,GAC5B,YAAY,EAAE,CAAC,UAAU,EACzB,KAAK,cAAc,KAClB,SAAS,WAAW,EA0BtB,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,qBAAqB,GAAI,MAAM,WAAW,KAAG,OAiBzD,CAAC"}

package/dist/ir/builder/statements.js

@@ -1,5 +1,7 @@
 /**
  * Statement extraction from TypeScript source
+ *
+ * Phase 5 Step 4: Uses ProgramContext instead of global singletons.
  */
 import * as ts from "typescript";
 import { convertStatement, flattenStatementResult, } from "../statement-converter.js";
@@ -12,8 +14,11 @@ import { resetSyntheticRegistry, getSyntheticDeclarations, } from "../converters
  *
  * Also collects synthetic type declarations generated during conversion
  * (from anonymous object literal synthesis) and prepends them.
+ *
+ * @param sourceFile - The TypeScript source file to extract from
+ * @param ctx - ProgramContext for TypeSystem and binding access
  */
-export const extractStatements = (sourceFile, checker) => {
+export const extractStatements = (sourceFile, ctx) => {
     // Reset synthetic registry for this file
     resetSyntheticRegistry();
     const statements = [];
@@ -22,7 +27,7 @@ export const extractStatements = (sourceFile, checker) => {
         if (!ts.isImportDeclaration(stmt) &&
             !ts.isExportDeclaration(stmt) &&
             !ts.isExportAssignment(stmt)) {
-            const converted = convertStatement(stmt, checker);
+            const converted = convertStatement(stmt, ctx, undefined);
             // Flatten result (handles both single statements and arrays)
             statements.push(...flattenStatementResult(converted));
         }

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

@@ -1 +1 @@
-{"version":3,"file":"statements.js","sourceRoot":"","sources":["../../../src/ir/builder/statements.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EACL,gBAAgB,EAChB,sBAAsB,GACvB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,sBAAsB,EACtB,wBAAwB,GACzB,MAAM,sCAAsC,CAAC;AAE9C;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,UAAyB,EACzB,OAAuB,EACC,EAAE;IAC1B,yCAAyC;IACzC,sBAAsB,EAAE,CAAC;IAEzB,MAAM,UAAU,GAAkB,EAAE,CAAC;IAErC,UAAU,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QACrC,gDAAgD;QAChD,IACE,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAC7B,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAC7B,CAAC,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAC5B,CAAC;YACD,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAClD,6DAA6D;YAC7D,UAAU,CAAC,IAAI,CAAC,GAAG,sBAAsB,CAAC,SAAS,CAAC,CAAC,CAAC;QACxD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,kDAAkD;IAClD,MAAM,cAAc,GAAG,wBAAwB,EAAE,CAAC;IAClD,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,OAAO,CAAC,GAAG,cAAc,EAAE,GAAG,UAAU,CAAC,CAAC;IAC5C,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,IAAiB,EAAW,EAAE;IAClE,gFAAgF;IAChF,MAAM,gBAAgB,GAAG;QACvB,qBAAqB;QACrB,kBAAkB;QAClB,sBAAsB;QACtB,sBAAsB;QACtB,iBAAiB;QACjB,qBAAqB,EAAE,oDAAoD;KAC5E,CAAC;IAEF,sCAAsC;IACtC,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACnC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC/C,CAAC,CAAC"}
+{"version":3,"file":"statements.js","sourceRoot":"","sources":["../../../src/ir/builder/statements.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EACL,gBAAgB,EAChB,sBAAsB,GACvB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,sBAAsB,EACtB,wBAAwB,GACzB,MAAM,sCAAsC,CAAC;AAG9C;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,UAAyB,EACzB,GAAmB,EACK,EAAE;IAC1B,yCAAyC;IACzC,sBAAsB,EAAE,CAAC;IAEzB,MAAM,UAAU,GAAkB,EAAE,CAAC;IAErC,UAAU,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QACrC,gDAAgD;QAChD,IACE,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAC7B,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAC7B,CAAC,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAC5B,CAAC;YACD,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;YACzD,6DAA6D;YAC7D,UAAU,CAAC,IAAI,CAAC,GAAG,sBAAsB,CAAC,SAAS,CAAC,CAAC,CAAC;QACxD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,kDAAkD;IAClD,MAAM,cAAc,GAAG,wBAAwB,EAAE,CAAC;IAClD,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,OAAO,CAAC,GAAG,cAAc,EAAE,GAAG,UAAU,CAAC,CAAC;IAC5C,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,IAAiB,EAAW,EAAE;IAClE,gFAAgF;IAChF,MAAM,gBAAgB,GAAG;QACvB,qBAAqB;QACrB,kBAAkB;QAClB,sBAAsB;QACtB,sBAAsB;QACtB,iBAAiB;QACjB,qBAAqB,EAAE,oDAAoD;KAC5E,CAAC;IAEF,sCAAsC;IACtC,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACnC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC/C,CAAC,CAAC"}

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

@@ -1,8 +1,10 @@
 /**
  * IR Builder types
  */
+import type { NamingPolicyConfig } from "../../resolver/naming-policy.js";
 export type IrBuildOptions = {
     readonly sourceRoot: string;
     readonly rootNamespace: string;
+    readonly namingPolicy?: NamingPolicyConfig;
 };
 //# sourceMappingURL=types.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/ir/builder/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC,CAAC"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/ir/builder/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AAE1E,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,YAAY,CAAC,EAAE,kBAAkB,CAAC;CAC5C,CAAC"}

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

@@ -1,10 +1,13 @@
 /**
  * IR builder validation - checks for unsupported patterns
+ *
+ * Phase 5 Step 4: Uses ProgramContext instead of global singletons.
  */
 import * as ts from "typescript";
 import { Diagnostic } from "../../types/diagnostic.js";
+import type { ProgramContext } from "../program-context.js";
 /**
  * Validate all class declarations in a source file
  */
-export declare const validateClassImplements: (sourceFile: ts.SourceFile, checker: ts.TypeChecker) => readonly Diagnostic[];
+export declare const validateClassImplements: (sourceFile: ts.SourceFile, ctx: ProgramContext) => readonly Diagnostic[];
 //# sourceMappingURL=validation.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../../../src/ir/builder/validation.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,UAAU,EAAoB,MAAM,2BAA2B,CAAC;AAyGzE;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAClC,YAAY,EAAE,CAAC,UAAU,EACzB,SAAS,EAAE,CAAC,WAAW,KACtB,SAAS,UAAU,EAYrB,CAAC"}
+{"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../../../src/ir/builder/validation.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AACvD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AA+F5D;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAClC,YAAY,EAAE,CAAC,UAAU,EACzB,KAAK,cAAc,KAClB,SAAS,UAAU,EAYrB,CAAC"}

package/dist/ir/builder/validation.js

@@ -1,70 +1,70 @@
 /**
  * IR builder validation - checks for unsupported patterns
+ *
+ * Phase 5 Step 4: Uses ProgramContext instead of global singletons.
  */
 import * as ts from "typescript";
-import { createDiagnostic } from "../../types/diagnostic.js";
-import { getSourceLocation } from "../../program/diagnostics.js";
 /**
  * Check if a type reference is the struct marker
  * (used to mark types as C# value types)
+ * ALICE'S SPEC: Uses TypeSystem for symbol resolution.
  */
-const isStructMarker = (typeRef, checker) => {
-    const symbol = checker.getSymbolAtLocation(typeRef.expression);
-    return symbol?.escapedName === "struct" || symbol?.escapedName === "Struct";
+const isStructMarker = (typeRef, binding, typeSystem) => {
+    if (!ts.isIdentifier(typeRef.expression)) {
+        return false;
+    }
+    const declId = binding.resolveIdentifier(typeRef.expression);
+    if (!declId) {
+        return false;
+    }
+    const fqName = typeSystem.getFQNameOfDecl(declId);
+    return fqName === "struct" || fqName === "Struct";
 };
 /**
- * Check if a symbol represents a TypeScript interface
+ * Check if a declaration represents a TypeScript interface
  * (which Tsonic nominalizes to a C# class)
+ * ALICE'S SPEC: Uses TypeSystem.isInterfaceDecl()
  */
-const isNominalizedInterface = (symbol, _checker) => {
-    if (!symbol)
+const isNominalizedInterface = (declId, typeSystem) => {
+    if (!declId)
         return false;
-    const declarations = symbol.getDeclarations();
-    if (!declarations || declarations.length === 0)
-        return false;
-    // Check if any declaration is an interface
-    return declarations.some((decl) => ts.isInterfaceDeclaration(decl));
+    return typeSystem.isInterfaceDecl(declId);
 };
 /**
- * Check if a symbol represents a type alias for an object type
+ * Check if a declaration represents a type alias for an object type
  * (which Tsonic nominalizes to a C# class)
+ * ALICE'S SPEC: Uses TypeSystem.isTypeAliasToObjectLiteral()
  */
-const isNominalizedTypeAlias = (symbol, _checker) => {
-    if (!symbol)
-        return false;
-    const declarations = symbol.getDeclarations();
-    if (!declarations || declarations.length === 0)
+const isNominalizedTypeAlias = (declId, typeSystem) => {
+    if (!declId)
         return false;
-    // Check if declaration is a type alias with object literal type
-    return declarations.some((decl) => {
-        if (!ts.isTypeAliasDeclaration(decl))
-            return false;
-        // Type aliases for object shapes are nominalized
-        return ts.isTypeLiteralNode(decl.type);
-    });
+    return typeSystem.isTypeAliasToObjectLiteral(declId);
 };
 /**
  * Validate a class declaration for implements clause issues
  */
-const validateClassDeclaration = (node, checker) => {
+const validateClassDeclaration = (node, ctx) => {
     const diagnostics = [];
     const implementsClause = node.heritageClauses?.find((h) => h.token === ts.SyntaxKind.ImplementsKeyword);
     if (!implementsClause)
         return [];
     for (const typeRef of implementsClause.types) {
         // Skip the struct marker - it's a special pattern for value types
-        if (isStructMarker(typeRef, checker)) {
+        if (isStructMarker(typeRef, ctx.binding, ctx.typeSystem)) {
             continue;
         }
-        // Get the symbol for the identifier (not the resolved type)
+        // Get the declaration ID for the identifier
         // This preserves type alias identity
-        const identifierSymbol = checker.getSymbolAtLocation(typeRef.expression);
+        const identifierDeclId = ts.isIdentifier(typeRef.expression)
+            ? ctx.binding.resolveIdentifier(typeRef.expression)
+            : undefined;
         // Check if it's a nominalized interface or type alias
-        if (isNominalizedInterface(identifierSymbol, checker) ||
-            isNominalizedTypeAlias(identifierSymbol, checker)) {
-            const typeName = typeRef.expression.getText();
-            const location = getSourceLocation(node.getSourceFile(), typeRef.getStart(), typeRef.getWidth());
-            diagnostics.push(createDiagnostic("TSN7301", "error", `Class cannot implement '${typeName}': TypeScript interfaces are nominalized to C# classes in Tsonic. Use 'extends' instead, or refactor to composition.`, location, "In Tsonic, interfaces become classes for object initializer support. C# classes cannot implement other classes."));
+        if (isNominalizedInterface(identifierDeclId, ctx.typeSystem) ||
+            isNominalizedTypeAlias(identifierDeclId, ctx.typeSystem)) {
+            // Tsonic supports `implements` in the TypeScript surface language even when the
+            // nominal type is emitted as a C# class or interface. The emitter is responsible
+            // for selecting a valid C# representation.
+            continue;
         }
     }
     return diagnostics;
@@ -72,11 +72,11 @@ const validateClassDeclaration = (node, checker) => {
 /**
  * Validate all class declarations in a source file
  */
-export const validateClassImplements = (sourceFile, checker) => {
+export const validateClassImplements = (sourceFile, ctx) => {
     const diagnostics = [];
     const visit = (node) => {
         if (ts.isClassDeclaration(node)) {
-            diagnostics.push(...validateClassDeclaration(node, checker));
+            diagnostics.push(...validateClassDeclaration(node, ctx));
         }
         ts.forEachChild(node, visit);
     };

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

@@ -1 +1 @@
-{"version":3,"file":"validation.js","sourceRoot":"","sources":["../../../src/ir/builder/validation.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAc,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AACzE,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AAEjE;;;GAGG;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;;;GAGG;AACH,MAAM,sBAAsB,GAAG,CAC7B,MAA6B,EAC7B,QAAwB,EACf,EAAE;IACX,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAE1B,MAAM,YAAY,GAAG,MAAM,CAAC,eAAe,EAAE,CAAC;IAC9C,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAE7D,2CAA2C;IAC3C,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC;AACtE,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,sBAAsB,GAAG,CAC7B,MAA6B,EAC7B,QAAwB,EACf,EAAE;IACX,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAE1B,MAAM,YAAY,GAAG,MAAM,CAAC,eAAe,EAAE,CAAC;IAC9C,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAE7D,gEAAgE;IAChE,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;QAChC,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QACnD,iDAAiD;QACjD,OAAO,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,wBAAwB,GAAG,CAC/B,IAAyB,EACzB,OAAuB,EACA,EAAE;IACzB,MAAM,WAAW,GAAiB,EAAE,CAAC;IAErC,MAAM,gBAAgB,GAAG,IAAI,CAAC,eAAe,EAAE,IAAI,CACjD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB,CACnD,CAAC;IAEF,IAAI,CAAC,gBAAgB;QAAE,OAAO,EAAE,CAAC;IAEjC,KAAK,MAAM,OAAO,IAAI,gBAAgB,CAAC,KAAK,EAAE,CAAC;QAC7C,kEAAkE;QAClE,IAAI,cAAc,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;YACrC,SAAS;QACX,CAAC;QAED,4DAA4D;QAC5D,qCAAqC;QACrC,MAAM,gBAAgB,GAAG,OAAO,CAAC,mBAAmB,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAEzE,sDAAsD;QACtD,IACE,sBAAsB,CAAC,gBAAgB,EAAE,OAAO,CAAC;YACjD,sBAAsB,CAAC,gBAAgB,EAAE,OAAO,CAAC,EACjD,CAAC;YACD,MAAM,QAAQ,GAAG,OAAO,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC;YAC9C,MAAM,QAAQ,GAAG,iBAAiB,CAChC,IAAI,CAAC,aAAa,EAAE,EACpB,OAAO,CAAC,QAAQ,EAAE,EAClB,OAAO,CAAC,QAAQ,EAAE,CACnB,CAAC;YAEF,WAAW,CAAC,IAAI,CACd,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,2BAA2B,QAAQ,sHAAsH,EACzJ,QAAQ,EACR,iHAAiH,CAClH,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,UAAyB,EACzB,OAAuB,EACA,EAAE;IACzB,MAAM,WAAW,GAAiB,EAAE,CAAC;IAErC,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,WAAW,CAAC,IAAI,CAAC,GAAG,wBAAwB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;QAC/D,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IAEF,KAAK,CAAC,UAAU,CAAC,CAAC;IAClB,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC"}
+{"version":3,"file":"validation.js","sourceRoot":"","sources":["../../../src/ir/builder/validation.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAOjC;;;;GAIG;AACH,MAAM,cAAc,GAAG,CACrB,OAAuC,EACvC,OAAgB,EAChB,UAAyB,EAChB,EAAE;IACX,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QACzC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAC7D,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,MAAM,GAAG,UAAU,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;IAClD,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,QAAQ,CAAC;AACpD,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,sBAAsB,GAAG,CAC7B,MAA0B,EAC1B,UAAyB,EAChB,EAAE;IACX,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC1B,OAAO,UAAU,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;AAC5C,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,sBAAsB,GAAG,CAC7B,MAA0B,EAC1B,UAAyB,EAChB,EAAE;IACX,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC1B,OAAO,UAAU,CAAC,0BAA0B,CAAC,MAAM,CAAC,CAAC;AACvD,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,wBAAwB,GAAG,CAC/B,IAAyB,EACzB,GAAmB,EACI,EAAE;IACzB,MAAM,WAAW,GAAiB,EAAE,CAAC;IAErC,MAAM,gBAAgB,GAAG,IAAI,CAAC,eAAe,EAAE,IAAI,CACjD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB,CACnD,CAAC;IAEF,IAAI,CAAC,gBAAgB;QAAE,OAAO,EAAE,CAAC;IAEjC,KAAK,MAAM,OAAO,IAAI,gBAAgB,CAAC,KAAK,EAAE,CAAC;QAC7C,kEAAkE;QAClE,IAAI,cAAc,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YACzD,SAAS;QACX,CAAC;QAED,4CAA4C;QAC5C,qCAAqC;QACrC,MAAM,gBAAgB,GAAG,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC;YAC1D,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,UAAU,CAAC;YACnD,CAAC,CAAC,SAAS,CAAC;QAEd,sDAAsD;QACtD,IACE,sBAAsB,CAAC,gBAAgB,EAAE,GAAG,CAAC,UAAU,CAAC;YACxD,sBAAsB,CAAC,gBAAgB,EAAE,GAAG,CAAC,UAAU,CAAC,EACxD,CAAC;YACD,gFAAgF;YAChF,iFAAiF;YACjF,2CAA2C;YAC3C,SAAS;QACX,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,UAAyB,EACzB,GAAmB,EACI,EAAE;IACzB,MAAM,WAAW,GAAiB,EAAE,CAAC;IAErC,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,WAAW,CAAC,IAAI,CAAC,GAAG,wBAAwB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;QAC3D,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IAEF,KAAK,CAAC,UAAU,CAAC,CAAC;IAClB,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC"}