@tsonic/frontend 0.0.13 → 0.0.15

package/dist/ir/clr-type-mappings.d.ts

@@ -0,0 +1,42 @@
+/**
+ * CLR Type Mappings - Hardcoded mappings for @tsonic/globals and @tsonic/core types
+ *
+ * These are special built-in types that need specific fully-qualified names
+ * for .NET interop. The mappings are hardcoded because these are fundamental
+ * runtime types with fixed CLR identities.
+ *
+ * Part of Alice's specification for deterministic IR typing.
+ */
+/**
+ * Maps TypeScript/IR primitive type names to their CLR System.* FQ names.
+ * Used for normalizing receiver types when resolving inherited members.
+ */
+export declare const PRIMITIVE_TO_CLR_FQ: Readonly<Record<string, string>>;
+/**
+ * Maps @tsonic/globals type names to their CLR System.* FQ names.
+ * These are the TypeScript-facing names that wrap CLR types.
+ */
+export declare const GLOBALS_TO_CLR_FQ: Readonly<Record<string, string>>;
+/**
+ * Maps CLR System.* FQ names back to simple names.
+ * Used for display and some lookup scenarios.
+ */
+export declare const CLR_FQ_TO_SIMPLE: Readonly<Record<string, string>>;
+/**
+ * Normalize a type name to its CLR fully-qualified name.
+ * Handles primitives, globals, and $instance interfaces.
+ *
+ * @param typeName - Simple or already-qualified type name
+ * @returns CLR FQ name (e.g., "System.String") or original if no mapping exists
+ */
+export declare const normalizeToClrFQ: (typeName: string) => string;
+/**
+ * Check if a type name is a known CLR primitive or global type.
+ */
+export declare const isKnownClrType: (typeName: string) => boolean;
+/**
+ * Get the $instance interface name for a CLR type.
+ * E.g., "System.String" → "String$instance", "String" → "String$instance"
+ */
+export declare const getInstanceInterfaceName: (typeName: string) => string;
+//# sourceMappingURL=clr-type-mappings.d.ts.map

package/dist/ir/clr-type-mappings.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"clr-type-mappings.d.ts","sourceRoot":"","sources":["../../src/ir/clr-type-mappings.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAMH;;;GAGG;AACH,eAAO,MAAM,mBAAmB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CA+BhE,CAAC;AAMF;;;GAGG;AACH,eAAO,MAAM,iBAAiB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAc9D,CAAC;AAMF;;;GAGG;AACH,eAAO,MAAM,gBAAgB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAsB7D,CAAC;AAMF;;;;;;GAMG;AACH,eAAO,MAAM,gBAAgB,GAAI,UAAU,MAAM,KAAG,MAWnD,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,cAAc,GAAI,UAAU,MAAM,KAAG,OAMjD,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,wBAAwB,GAAI,UAAU,MAAM,KAAG,MAS3D,CAAC"}

package/dist/ir/clr-type-mappings.js

@@ -0,0 +1,139 @@
+/**
+ * CLR Type Mappings - Hardcoded mappings for @tsonic/globals and @tsonic/core types
+ *
+ * These are special built-in types that need specific fully-qualified names
+ * for .NET interop. The mappings are hardcoded because these are fundamental
+ * runtime types with fixed CLR identities.
+ *
+ * Part of Alice's specification for deterministic IR typing.
+ */
+// ============================================================================
+// Primitive Type → System.* Mappings
+// ============================================================================
+/**
+ * Maps TypeScript/IR primitive type names to their CLR System.* FQ names.
+ * Used for normalizing receiver types when resolving inherited members.
+ */
+export const PRIMITIVE_TO_CLR_FQ = {
+    // Core primitives (TypeScript built-ins)
+    string: "System.String",
+    number: "System.Double",
+    boolean: "System.Boolean",
+    // @tsonic/core signed integers
+    sbyte: "System.SByte",
+    short: "System.Int16",
+    int: "System.Int32",
+    long: "System.Int64",
+    nint: "System.IntPtr",
+    int128: "System.Int128",
+    // @tsonic/core unsigned integers
+    byte: "System.Byte",
+    ushort: "System.UInt16",
+    uint: "System.UInt32",
+    ulong: "System.UInt64",
+    nuint: "System.UIntPtr",
+    uint128: "System.UInt128",
+    // @tsonic/core floating-point
+    half: "System.Half",
+    float: "System.Single",
+    double: "System.Double",
+    decimal: "System.Decimal",
+    // @tsonic/core other primitives
+    bool: "System.Boolean",
+    char: "System.Char",
+};
+// ============================================================================
+// Global Type → System.* Mappings
+// ============================================================================
+/**
+ * Maps @tsonic/globals type names to their CLR System.* FQ names.
+ * These are the TypeScript-facing names that wrap CLR types.
+ */
+export const GLOBALS_TO_CLR_FQ = {
+    // Globals from @tsonic/globals
+    String: "System.String",
+    Number: "System.Double",
+    Boolean: "System.Boolean",
+    Object: "System.Object",
+    Array: "System.Array",
+    // Instance interfaces (from @tsonic/dotnet)
+    String$instance: "System.String",
+    Double$instance: "System.Double",
+    Boolean$instance: "System.Boolean",
+    Object$instance: "System.Object",
+    Array$instance: "System.Array",
+};
+// ============================================================================
+// Reverse Mappings (CLR → Simple Name)
+// ============================================================================
+/**
+ * Maps CLR System.* FQ names back to simple names.
+ * Used for display and some lookup scenarios.
+ */
+export const CLR_FQ_TO_SIMPLE = {
+    "System.String": "String",
+    "System.Double": "Double",
+    "System.Single": "Single",
+    "System.Boolean": "Boolean",
+    "System.Object": "Object",
+    "System.Array": "Array",
+    "System.SByte": "SByte",
+    "System.Int16": "Int16",
+    "System.Int32": "Int32",
+    "System.Int64": "Int64",
+    "System.IntPtr": "IntPtr",
+    "System.Int128": "Int128",
+    "System.Byte": "Byte",
+    "System.UInt16": "UInt16",
+    "System.UInt32": "UInt32",
+    "System.UInt64": "UInt64",
+    "System.UIntPtr": "UIntPtr",
+    "System.UInt128": "UInt128",
+    "System.Half": "Half",
+    "System.Decimal": "Decimal",
+    "System.Char": "Char",
+};
+// ============================================================================
+// Helper Functions
+// ============================================================================
+/**
+ * Normalize a type name to its CLR fully-qualified name.
+ * Handles primitives, globals, and $instance interfaces.
+ *
+ * @param typeName - Simple or already-qualified type name
+ * @returns CLR FQ name (e.g., "System.String") or original if no mapping exists
+ */
+export const normalizeToClrFQ = (typeName) => {
+    // Check primitives first
+    const primitiveFQ = PRIMITIVE_TO_CLR_FQ[typeName];
+    if (primitiveFQ)
+        return primitiveFQ;
+    // Check globals
+    const globalsFQ = GLOBALS_TO_CLR_FQ[typeName];
+    if (globalsFQ)
+        return globalsFQ;
+    // Already qualified or unknown - return as-is
+    return typeName;
+};
+/**
+ * Check if a type name is a known CLR primitive or global type.
+ */
+export const isKnownClrType = (typeName) => {
+    return (typeName in PRIMITIVE_TO_CLR_FQ ||
+        typeName in GLOBALS_TO_CLR_FQ ||
+        typeName in CLR_FQ_TO_SIMPLE);
+};
+/**
+ * Get the $instance interface name for a CLR type.
+ * E.g., "System.String" → "String$instance", "String" → "String$instance"
+ */
+export const getInstanceInterfaceName = (typeName) => {
+    // If it's a System.* name, extract the simple part
+    if (typeName.startsWith("System.")) {
+        const simpleName = typeName.substring(7); // Remove "System."
+        return `${simpleName}$instance`;
+    }
+    // Already a simple name
+    return `${typeName}$instance`;
+};
+//# sourceMappingURL=clr-type-mappings.js.map

package/dist/ir/clr-type-mappings.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"clr-type-mappings.js","sourceRoot":"","sources":["../../src/ir/clr-type-mappings.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,+EAA+E;AAC/E,qCAAqC;AACrC,+EAA+E;AAE/E;;;GAGG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAqC;IACnE,yCAAyC;IACzC,MAAM,EAAE,eAAe;IACvB,MAAM,EAAE,eAAe;IACvB,OAAO,EAAE,gBAAgB;IAEzB,+BAA+B;IAC/B,KAAK,EAAE,cAAc;IACrB,KAAK,EAAE,cAAc;IACrB,GAAG,EAAE,cAAc;IACnB,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,eAAe;IACrB,MAAM,EAAE,eAAe;IAEvB,iCAAiC;IACjC,IAAI,EAAE,aAAa;IACnB,MAAM,EAAE,eAAe;IACvB,IAAI,EAAE,eAAe;IACrB,KAAK,EAAE,eAAe;IACtB,KAAK,EAAE,gBAAgB;IACvB,OAAO,EAAE,gBAAgB;IAEzB,8BAA8B;IAC9B,IAAI,EAAE,aAAa;IACnB,KAAK,EAAE,eAAe;IACtB,MAAM,EAAE,eAAe;IACvB,OAAO,EAAE,gBAAgB;IAEzB,gCAAgC;IAChC,IAAI,EAAE,gBAAgB;IACtB,IAAI,EAAE,aAAa;CACpB,CAAC;AAEF,+EAA+E;AAC/E,kCAAkC;AAClC,+EAA+E;AAE/E;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAqC;IACjE,+BAA+B;IAC/B,MAAM,EAAE,eAAe;IACvB,MAAM,EAAE,eAAe;IACvB,OAAO,EAAE,gBAAgB;IACzB,MAAM,EAAE,eAAe;IACvB,KAAK,EAAE,cAAc;IAErB,4CAA4C;IAC5C,eAAe,EAAE,eAAe;IAChC,eAAe,EAAE,eAAe;IAChC,gBAAgB,EAAE,gBAAgB;IAClC,eAAe,EAAE,eAAe;IAChC,cAAc,EAAE,cAAc;CAC/B,CAAC;AAEF,+EAA+E;AAC/E,uCAAuC;AACvC,+EAA+E;AAE/E;;;GAGG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAqC;IAChE,eAAe,EAAE,QAAQ;IACzB,eAAe,EAAE,QAAQ;IACzB,eAAe,EAAE,QAAQ;IACzB,gBAAgB,EAAE,SAAS;IAC3B,eAAe,EAAE,QAAQ;IACzB,cAAc,EAAE,OAAO;IACvB,cAAc,EAAE,OAAO;IACvB,cAAc,EAAE,OAAO;IACvB,cAAc,EAAE,OAAO;IACvB,cAAc,EAAE,OAAO;IACvB,eAAe,EAAE,QAAQ;IACzB,eAAe,EAAE,QAAQ;IACzB,aAAa,EAAE,MAAM;IACrB,eAAe,EAAE,QAAQ;IACzB,eAAe,EAAE,QAAQ;IACzB,eAAe,EAAE,QAAQ;IACzB,gBAAgB,EAAE,SAAS;IAC3B,gBAAgB,EAAE,SAAS;IAC3B,aAAa,EAAE,MAAM;IACrB,gBAAgB,EAAE,SAAS;IAC3B,aAAa,EAAE,MAAM;CACtB,CAAC;AAEF,+EAA+E;AAC/E,mBAAmB;AACnB,+EAA+E;AAE/E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,QAAgB,EAAU,EAAE;IAC3D,yBAAyB;IACzB,MAAM,WAAW,GAAG,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IAClD,IAAI,WAAW;QAAE,OAAO,WAAW,CAAC;IAEpC,gBAAgB;IAChB,MAAM,SAAS,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IAC9C,IAAI,SAAS;QAAE,OAAO,SAAS,CAAC;IAEhC,8CAA8C;IAC9C,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,QAAgB,EAAW,EAAE;IAC1D,OAAO,CACL,QAAQ,IAAI,mBAAmB;QAC/B,QAAQ,IAAI,iBAAiB;QAC7B,QAAQ,IAAI,gBAAgB,CAC7B,CAAC;AACJ,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,QAAgB,EAAU,EAAE;IACnE,mDAAmD;IACnD,IAAI,QAAQ,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QACnC,MAAM,UAAU,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,mBAAmB;QAC7D,OAAO,GAAG,UAAU,WAAW,CAAC;IAClC,CAAC;IAED,wBAAwB;IACxB,OAAO,GAAG,QAAQ,WAAW,CAAC;AAChC,CAAC,CAAC"}

package/dist/ir/converters/anonymous-synthesis.d.ts

@@ -2,24 +2,40 @@
  * Anonymous Object Literal Synthesis (TSN7403)
  *
  * When an object literal has no contextual nominal type, we synthesize a
- * nominal type from the TypeScript-inferred type. This enables:
+ * nominal type from the AST structure. This enables:
  * - Object literals without explicit type annotations
  * - Spread expressions in object literals
  * - Function-valued properties (as delegates)
  *
+ * DETERMINISTIC IR TYPING (INV-0 compliant):
+ * This module uses only AST-based synthesis. Property types come from the
+ * converted expression's inferredType, not from TS computed types.
+ *
  * Eligibility:
- * ✅ Allowed: identifier keys, string literal keys, spreads, arrow functions
+ * ✅ Allowed: identifier keys, string literal keys, spreads with typed sources, arrow functions
  * ❌ Rejected: computed keys, symbol keys, method shorthand, getters/setters
  */
 import * as ts from "typescript";
 import { IrType, IrInterfaceDeclaration, IrTypeParameter } from "../types.js";
+import type { ProgramContext } from "../program-context.js";
+/**
+ * Property info for shape signature (AST-based, no TS type computation)
+ */
+export type PropertyInfo = {
+    readonly name: string;
+    readonly type: IrType;
+    readonly optional: boolean;
+    readonly readonly: boolean;
+};
 /**
- * Compute a stable shape signature from property info
+ * Compute a stable shape signature from property info (AST-based)
+ *
+ * DETERMINISTIC: Takes pre-computed PropertyInfo array, no TS type computation.
  *
  * Format: sorted properties with their types, optionality, and readonly flags
  * Example: "count:number;name?:string;readonly:id:string"
  */
-export declare const computeShapeSignature: (type: ts.Type, checker: ts.TypeChecker) => string;
+export declare const computeShapeSignature: (props: readonly PropertyInfo[]) => string;
 /**
  * Registry entry for a synthetic type
  */
@@ -41,9 +57,10 @@ export declare const generateSyntheticName: (fileStem: string, line: number, col
 /**
  * Get or create a synthetic type for a shape
  *
- * Returns existing type if shape was seen before (deduplication)
+ * DETERMINISTIC: Takes pre-computed PropertyInfo array, no TS type computation.
+ * Returns existing type if shape was seen before (deduplication).
  */
-export declare const getOrCreateSyntheticType: (shapeSignature: string, name: string, type: ts.Type, checker: ts.TypeChecker, capturedTypeParams: readonly IrTypeParameter[]) => SyntheticTypeEntry;
+export declare const getOrCreateSyntheticType: (shapeSignature: string, name: string, props: readonly PropertyInfo[], capturedTypeParams: readonly IrTypeParameter[]) => SyntheticTypeEntry;
 /**
  * Get all synthetic type declarations (call after processing a file)
  */
@@ -60,14 +77,19 @@ export type EligibilityResult = {
 /**
  * Check if an object literal expression is eligible for synthesis
  *
+ * DETERMINISTIC IR TYPING (INV-0 compliant):
+ * Uses symbol-based checks, not getTypeAtLocation.
+ *
  * Eligible:
  * - All property keys are identifiers or string literals
- * - Spread expressions have resolvable object types
+ * - Spread expressions have typed sources (identifiers with type annotations)
  * - No method shorthand (arrow functions are ok)
  * - No getters/setters
  * - No computed keys with non-literal expressions
+ *
+ * Phase 5 Step 4: Uses ProgramContext for unified semantic access.
  */
-export declare const checkSynthesisEligibility: (node: ts.ObjectLiteralExpression, checker: ts.TypeChecker) => EligibilityResult;
+export declare const checkSynthesisEligibility: (node: ts.ObjectLiteralExpression, ctx: ProgramContext) => EligibilityResult;
 /**
  * Find type parameters used in a type
  */

package/dist/ir/converters/anonymous-synthesis.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"anonymous-synthesis.d.ts","sourceRoot":"","sources":["../../../src/ir/converters/anonymous-synthesis.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,MAAM,EACN,sBAAsB,EAEtB,eAAe,EAChB,MAAM,aAAa,CAAC;AAsHrB;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB,GAChC,MAAM,EAAE,CAAC,IAAI,EACb,SAAS,EAAE,CAAC,WAAW,KACtB,MASF,CAAC;AAMF;;GAEG;AACH,KAAK,kBAAkB,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,sBAAsB,CAAC;IAC7C,QAAQ,CAAC,cAAc,EAAE,SAAS,eAAe,EAAE,CAAC;CACrD,CAAC;AAQF;;GAEG;AACH,eAAO,MAAM,sBAAsB,QAAO,IAEzC,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,GAChC,UAAU,MAAM,EAChB,MAAM,MAAM,EACZ,KAAK,MAAM,KACV,MAIF,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,GACnC,gBAAgB,MAAM,EACtB,MAAM,MAAM,EACZ,MAAM,EAAE,CAAC,IAAI,EACb,SAAS,EAAE,CAAC,WAAW,EACvB,oBAAoB,SAAS,eAAe,EAAE,KAC7C,kBAoCF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,wBAAwB,QAC/B,SAAS,sBAAsB,EAElC,CAAC;AAMJ;;GAEG;AACH,MAAM,MAAM,iBAAiB,GACzB;IAAE,QAAQ,EAAE,IAAI,CAAA;CAAE,GAClB;IAAE,QAAQ,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAExC;;;;;;;;;GASG;AACH,eAAO,MAAM,yBAAyB,GACpC,MAAM,EAAE,CAAC,uBAAuB,EAChC,SAAS,EAAE,CAAC,WAAW,KACtB,iBAmEF,CAAC;AAMF;;GAEG;AACH,eAAO,MAAM,sBAAsB,GACjC,MAAM,MAAM,EACZ,eAAe,WAAW,CAAC,MAAM,CAAC,KACjC,GAAG,CAAC,MAAM,CAiDZ,CAAC"}
+{"version":3,"file":"anonymous-synthesis.d.ts","sourceRoot":"","sources":["../../../src/ir/converters/anonymous-synthesis.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,MAAM,EACN,sBAAsB,EAEtB,eAAe,EAChB,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAM5D;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B,CAAC;AA6DF;;;;;;;GAOG;AACH,eAAO,MAAM,qBAAqB,GAAI,OAAO,SAAS,YAAY,EAAE,KAAG,MAQzD,CAAC;AAMf;;GAEG;AACH,KAAK,kBAAkB,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,sBAAsB,CAAC;IAC7C,QAAQ,CAAC,cAAc,EAAE,SAAS,eAAe,EAAE,CAAC;CACrD,CAAC;AAQF;;GAEG;AACH,eAAO,MAAM,sBAAsB,QAAO,IAEzC,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,GAChC,UAAU,MAAM,EAChB,MAAM,MAAM,EACZ,KAAK,MAAM,KACV,MAIF,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,wBAAwB,GACnC,gBAAgB,MAAM,EACtB,MAAM,MAAM,EACZ,OAAO,SAAS,YAAY,EAAE,EAC9B,oBAAoB,SAAS,eAAe,EAAE,KAC7C,kBAmCF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,wBAAwB,QAC/B,SAAS,sBAAsB,EAElC,CAAC;AAMJ;;GAEG;AACH,MAAM,MAAM,iBAAiB,GACzB;IAAE,QAAQ,EAAE,IAAI,CAAA;CAAE,GAClB;IAAE,QAAQ,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAExC;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,yBAAyB,GACpC,MAAM,EAAE,CAAC,uBAAuB,EAChC,KAAK,cAAc,KAClB,iBAoFF,CAAC;AAMF;;GAEG;AACH,eAAO,MAAM,sBAAsB,GACjC,MAAM,MAAM,EACZ,eAAe,WAAW,CAAC,MAAM,CAAC,KACjC,GAAG,CAAC,MAAM,CAiDZ,CAAC"}

package/dist/ir/converters/anonymous-synthesis.js

@@ -2,46 +2,20 @@
  * Anonymous Object Literal Synthesis (TSN7403)
  *
  * When an object literal has no contextual nominal type, we synthesize a
- * nominal type from the TypeScript-inferred type. This enables:
+ * nominal type from the AST structure. This enables:
  * - Object literals without explicit type annotations
  * - Spread expressions in object literals
  * - Function-valued properties (as delegates)
  *
+ * DETERMINISTIC IR TYPING (INV-0 compliant):
+ * This module uses only AST-based synthesis. Property types come from the
+ * converted expression's inferredType, not from TS computed types.
+ *
  * Eligibility:
- * ✅ Allowed: identifier keys, string literal keys, spreads, arrow functions
+ * ✅ Allowed: identifier keys, string literal keys, spreads with typed sources, arrow functions
  * ❌ Rejected: computed keys, symbol keys, method shorthand, getters/setters
  */
 import * as ts from "typescript";
-import { convertType } from "../type-converter.js";
-/**
- * Extract property info from a TypeScript object type
- */
-const extractPropertyInfo = (type, checker) => {
-    const properties = type.getProperties();
-    const result = [];
-    for (const prop of properties) {
-        const propType = checker.getTypeOfSymbolAtLocation(prop, prop.valueDeclaration ?? prop.declarations?.[0] ?? {});
-        const flags = prop.flags;
-        const optional = (flags & ts.SymbolFlags.Optional) !== 0;
-        // Check readonly via declaration modifiers
-        const decl = prop.valueDeclaration;
-        const readonly = decl !== undefined &&
-            ts.isPropertySignature(decl) &&
-            decl.modifiers?.some((m) => m.kind === ts.SyntaxKind.ReadonlyKeyword) ===
-                true;
-        const typeNode = checker.typeToTypeNode(propType, undefined, undefined);
-        if (typeNode) {
-            result.push({
-                name: prop.name,
-                type: convertType(typeNode, checker),
-                optional,
-                readonly,
-            });
-        }
-    }
-    // Sort by name for stable signature
-    return result.sort((a, b) => a.name.localeCompare(b.name));
-};
 /**
  * Serialize an IrType to a stable string for shape signature
  */
@@ -96,21 +70,21 @@ const serializeType = (type) => {
     }
 };
 /**
- * Compute a stable shape signature from property info
+ * Compute a stable shape signature from property info (AST-based)
+ *
+ * DETERMINISTIC: Takes pre-computed PropertyInfo array, no TS type computation.
  *
  * Format: sorted properties with their types, optionality, and readonly flags
  * Example: "count:number;name?:string;readonly:id:string"
  */
-export const computeShapeSignature = (type, checker) => {
-    const props = extractPropertyInfo(type, checker);
-    return props
-        .map((p) => {
-        const prefix = p.readonly ? "ro:" : "";
-        const suffix = p.optional ? "?" : "";
-        return `${prefix}${p.name}${suffix}:${serializeType(p.type)}`;
-    })
-        .join(";");
-};
+export const computeShapeSignature = (props) => [...props]
+    .sort((a, b) => a.name.localeCompare(b.name))
+    .map((p) => {
+    const prefix = p.readonly ? "ro:" : "";
+    const suffix = p.optional ? "?" : "";
+    return `${prefix}${p.name}${suffix}:${serializeType(p.type)}`;
+})
+    .join(";");
 /**
  * Mutable registry for synthetic types (module-scoped)
  * Key: shape signature, Value: synthetic type entry
@@ -135,16 +109,16 @@ export const generateSyntheticName = (fileStem, line, col) => {
 /**
  * Get or create a synthetic type for a shape
  *
- * Returns existing type if shape was seen before (deduplication)
+ * DETERMINISTIC: Takes pre-computed PropertyInfo array, no TS type computation.
+ * Returns existing type if shape was seen before (deduplication).
  */
-export const getOrCreateSyntheticType = (shapeSignature, name, type, checker, capturedTypeParams) => {
+export const getOrCreateSyntheticType = (shapeSignature, name, props, capturedTypeParams) => {
     // Check if we already have a synthetic for this shape
     const existing = syntheticTypeRegistry.get(shapeSignature);
     if (existing) {
         return existing;
     }
-    // Create new synthetic interface declaration
-    const props = extractPropertyInfo(type, checker);
+    // Create new synthetic interface declaration from pre-computed props
     const members = props.map((p) => ({
         kind: "propertySignature",
         name: p.name,
@@ -178,14 +152,19 @@ export const getSyntheticDeclarations = () => {
 /**
  * Check if an object literal expression is eligible for synthesis
  *
+ * DETERMINISTIC IR TYPING (INV-0 compliant):
+ * Uses symbol-based checks, not getTypeAtLocation.
+ *
  * Eligible:
  * - All property keys are identifiers or string literals
- * - Spread expressions have resolvable object types
+ * - Spread expressions have typed sources (identifiers with type annotations)
  * - No method shorthand (arrow functions are ok)
  * - No getters/setters
  * - No computed keys with non-literal expressions
+ *
+ * Phase 5 Step 4: Uses ProgramContext for unified semantic access.
  */
-export const checkSynthesisEligibility = (node, checker) => {
+export const checkSynthesisEligibility = (node, ctx) => {
     for (const prop of node.properties) {
         // Property assignment: check key type
         if (ts.isPropertyAssignment(prop)) {
@@ -211,19 +190,31 @@ export const checkSynthesisEligibility = (node, checker) => {
         if (ts.isShorthandPropertyAssignment(prop)) {
             continue;
         }
-        // Spread: check that the spread expression has a resolvable type
+        // Spread: check that the spread source is a typed identifier (symbol-based, no getTypeAtLocation)
         if (ts.isSpreadAssignment(prop)) {
-            const spreadType = checker.getTypeAtLocation(prop.expression);
-            if (spreadType.flags & ts.TypeFlags.Any) {
+            // Only allow spread of identifiers with declarations we can resolve
+            if (!ts.isIdentifier(prop.expression)) {
+                return {
+                    eligible: false,
+                    reason: `Spread source must be a simple identifier (TSN5215)`,
+                };
+            }
+            // Use Binding to resolve the spread source
+            const declId = ctx.binding.resolveIdentifier(prop.expression);
+            if (!declId) {
                 return {
                     eligible: false,
-                    reason: `Spread expression has type 'any' which cannot be synthesized`,
+                    reason: `Spread source '${prop.expression.text}' could not be resolved`,
                 };
             }
-            if (spreadType.flags & ts.TypeFlags.Unknown) {
+            // ALICE'S SPEC (Phase 5): Use TypeSystem from context
+            const typeSystem = ctx.typeSystem;
+            // Check if declaration has a type annotation (deterministic typing requirement)
+            const hasType = typeSystem.declHasTypeAnnotation(declId);
+            if (!hasType) {
                 return {
                     eligible: false,
-                    reason: `Spread expression has type 'unknown' which cannot be synthesized`,
+                    reason: `Spread source '${prop.expression.text}' requires type annotation (TSN5215)`,
                 };
             }
             continue;

package/dist/ir/converters/anonymous-synthesis.js.map

@@ -1 +1 @@
-{"version":3,"file":"anonymous-synthesis.js","sourceRoot":"","sources":["../../../src/ir/converters/anonymous-synthesis.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAOjC,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAgBnD;;GAEG;AACH,MAAM,mBAAmB,GAAG,CAC1B,IAAa,EACb,OAAuB,EACE,EAAE;IAC3B,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;IACxC,MAAM,MAAM,GAAmB,EAAE,CAAC;IAElC,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,MAAM,QAAQ,GAAG,OAAO,CAAC,yBAAyB,CAChD,IAAI,EACJ,IAAI,CAAC,gBAAgB,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,IAAK,EAAc,CACnE,CAAC;QAEF,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,MAAM,QAAQ,GAAG,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAEzD,2CAA2C;QAC3C,MAAM,IAAI,GAAG,IAAI,CAAC,gBAAgB,CAAC;QACnC,MAAM,QAAQ,GACZ,IAAI,KAAK,SAAS;YAClB,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAC5B,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC;gBACnE,IAAI,CAAC;QAET,MAAM,QAAQ,GAAG,OAAO,CAAC,cAAc,CAAC,QAAQ,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;QACxE,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,IAAI,EAAE,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC;gBACpC,QAAQ;gBACR,QAAQ;aACT,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,oCAAoC;IACpC,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC7D,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,aAAa,GAAG,CAAC,IAAY,EAAU,EAAE;IAC7C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe;YAClB,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB,KAAK,aAAa;YAChB,OAAO,OAAO,OAAO,IAAI,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1D,KAAK,eAAe;YAClB,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxD,OAAO,OAAO,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAChF,CAAC;YACD,OAAO,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5B,KAAK,WAAW;YACd,OAAO,OAAO,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QAClD,KAAK,WAAW;YACd,OAAO,QAAQ,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QACnE,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU;iBAC3B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;iBACpD,IAAI,CAAC,GAAG,CAAC,CAAC;YACb,OAAO,OAAO,MAAM,MAAM,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QAC7D,CAAC;QACD,KAAK,WAAW;YACd,OAAO,UAAU,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAC9D,KAAK,mBAAmB;YACtB,OAAO,MAAM,IAAI,CAAC,IAAI,EAAE,CAAC;QAC3B,KAAK,UAAU;YACb,OAAO,MAAM,CAAC;QAChB,KAAK,SAAS;YACZ,OAAO,KAAK,CAAC;QACf,KAAK,aAAa;YAChB,OAAO,SAAS,CAAC;QACnB,KAAK,WAAW;YACd,OAAO,OAAO,CAAC;QACjB,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,qEAAqE;YACrE,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO;iBACzB,MAAM,CACL,CAAC,CAAC,EAAyD,EAAE,CAC3D,CAAC,CAAC,IAAI,KAAK,mBAAmB,CACjC;iBACA,GAAG,CACF,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CACtE;iBACA,IAAI,EAAE;iBACN,IAAI,CAAC,GAAG,CAAC,CAAC;YACb,OAAO,QAAQ,OAAO,GAAG,CAAC;QAC5B,CAAC;QACD,KAAK,gBAAgB;YACnB,OAAO,SAAS,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QAClF,KAAK,kBAAkB;YACrB,OAAO,iBAAiB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QACrE;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAa,EACb,OAAuB,EACf,EAAE;IACV,MAAM,KAAK,GAAG,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,OAAO,KAAK;SACT,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACT,MAAM,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,MAAM,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACrC,OAAO,GAAG,MAAM,GAAG,CAAC,CAAC,IAAI,GAAG,MAAM,IAAI,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;IAChE,CAAC,CAAC;SACD,IAAI,CAAC,GAAG,CAAC,CAAC;AACf,CAAC,CAAC;AAeF;;;GAGG;AACH,MAAM,qBAAqB,GAAG,IAAI,GAAG,EAA8B,CAAC;AAEpE;;GAEG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,GAAS,EAAE;IAC/C,qBAAqB,CAAC,KAAK,EAAE,CAAC;AAChC,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,QAAgB,EAChB,IAAY,EACZ,GAAW,EACH,EAAE;IACV,4CAA4C;IAC5C,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC;IACzD,OAAO,UAAU,QAAQ,IAAI,IAAI,IAAI,GAAG,EAAE,CAAC;AAC7C,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,cAAsB,EACtB,IAAY,EACZ,IAAa,EACb,OAAuB,EACvB,kBAA8C,EAC1B,EAAE;IACtB,sDAAsD;IACtD,MAAM,QAAQ,GAAG,qBAAqB,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;IAC3D,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,6CAA6C;IAC7C,MAAM,KAAK,GAAG,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,MAAM,OAAO,GAAwB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACrD,IAAI,EAAE,mBAA4B;QAClC,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,UAAU,EAAE,CAAC,CAAC,QAAQ;QACtB,UAAU,EAAE,CAAC,CAAC,QAAQ;KACvB,CAAC,CAAC,CAAC;IAEJ,MAAM,WAAW,GAA2B;QAC1C,IAAI,EAAE,sBAAsB;QAC5B,IAAI;QACJ,cAAc,EACZ,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,SAAS;QAChE,OAAO,EAAE,EAAE;QACX,OAAO;QACP,UAAU,EAAE,IAAI,EAAE,wDAAwD;QAC1E,QAAQ,EAAE,KAAK;KAChB,CAAC;IAEF,MAAM,KAAK,GAAuB;QAChC,IAAI;QACJ,WAAW;QACX,cAAc,EAAE,kBAAkB;KACnC,CAAC;IAEF,qBAAqB,CAAC,GAAG,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;IACjD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,wBAAwB,GACnC,GAAsC,EAAE;IACtC,OAAO,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;AAC9E,CAAC,CAAC;AAaJ;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,IAAgC,EAChC,OAAuB,EACJ,EAAE;IACrB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACnC,sCAAsC;QACtC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;YAClC,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzC,gDAAgD;gBAChD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC;gBAClC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC9B,OAAO;wBACL,QAAQ,EAAE,KAAK;wBACf,MAAM,EAAE,+CAA+C;qBACxD,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,wBAAwB;YACxB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtC,OAAO;oBACL,QAAQ,EAAE,KAAK;oBACf,MAAM,EAAE,oDAAoD;iBAC7D,CAAC;YACJ,CAAC;QACH,CAAC;QAED,iDAAiD;QACjD,IAAI,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3C,SAAS;QACX,CAAC;QAED,iEAAiE;QACjE,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,MAAM,UAAU,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC9D,IAAI,UAAU,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC;gBACxC,OAAO;oBACL,QAAQ,EAAE,KAAK;oBACf,MAAM,EAAE,8DAA8D;iBACvE,CAAC;YACJ,CAAC;YACD,IAAI,UAAU,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;gBAC5C,OAAO;oBACL,QAAQ,EAAE,KAAK;oBACf,MAAM,EAAE,kEAAkE;iBAC3E,CAAC;YACJ,CAAC;YACD,SAAS;QACX,CAAC;QAED,2DAA2D;QAC3D,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,OAAO;gBACL,QAAQ,EAAE,KAAK;gBACf,MAAM,EAAE,iFAAiF;aAC1F,CAAC;QACJ,CAAC;QAED,wBAAwB;QACxB,IACE,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC;YACjC,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,EACjC,CAAC;YACD,OAAO;gBACL,QAAQ,EAAE,KAAK;gBACf,MAAM,EAAE,4DAA4D;aACrE,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AAC5B,CAAC,CAAC;AAEF,+EAA+E;AAC/E,yBAAyB;AACzB,+EAA+E;AAE/E;;GAEG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAY,EACZ,aAAkC,EACrB,EAAE;IACf,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,MAAM,KAAK,GAAG,CAAC,CAAS,EAAQ,EAAE;QAChC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,mBAAmB;gBACtB,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC9B,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACnB,CAAC;gBACD,MAAM;YACR,KAAK,eAAe;gBAClB,CAAC,CAAC,aAAa,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;gBAChC,MAAM;YACR,KAAK,WAAW;gBACd,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;gBACrB,MAAM;YACR,KAAK,WAAW;gBACd,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;gBAC9B,MAAM;YACR,KAAK,cAAc;gBACjB,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;oBACzB,IAAI,CAAC,CAAC,IAAI;wBAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAC5B,CAAC,CAAC,CAAC;gBACH,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;gBACpB,MAAM;YACR,KAAK,WAAW;gBACd,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;gBACvB,MAAM;YACR,KAAK,YAAY;gBACf,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;oBACtB,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;wBACnC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBAChB,CAAC;yBAAM,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;wBACxC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;4BACzB,IAAI,CAAC,CAAC,IAAI;gCAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;wBAC5B,CAAC,CAAC,CAAC;wBACH,IAAI,CAAC,CAAC,UAAU;4BAAE,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;oBACxC,CAAC;gBACH,CAAC,CAAC,CAAC;gBACH,MAAM;YACR,KAAK,gBAAgB;gBACnB,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBACjB,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;gBACnB,MAAM;QACV,CAAC;IACH,CAAC,CAAC;IAEF,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,OAAO,IAAI,CAAC;AACd,CAAC,CAAC"}
+{"version":3,"file":"anonymous-synthesis.js","sourceRoot":"","sources":["../../../src/ir/converters/anonymous-synthesis.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAuBjC;;GAEG;AACH,MAAM,aAAa,GAAG,CAAC,IAAY,EAAU,EAAE;IAC7C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe;YAClB,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB,KAAK,aAAa;YAChB,OAAO,OAAO,OAAO,IAAI,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1D,KAAK,eAAe;YAClB,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxD,OAAO,OAAO,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAChF,CAAC;YACD,OAAO,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5B,KAAK,WAAW;YACd,OAAO,OAAO,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QAClD,KAAK,WAAW;YACd,OAAO,QAAQ,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QACnE,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU;iBAC3B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;iBACpD,IAAI,CAAC,GAAG,CAAC,CAAC;YACb,OAAO,OAAO,MAAM,MAAM,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QAC7D,CAAC;QACD,KAAK,WAAW;YACd,OAAO,UAAU,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAC9D,KAAK,mBAAmB;YACtB,OAAO,MAAM,IAAI,CAAC,IAAI,EAAE,CAAC;QAC3B,KAAK,UAAU;YACb,OAAO,MAAM,CAAC;QAChB,KAAK,SAAS;YACZ,OAAO,KAAK,CAAC;QACf,KAAK,aAAa;YAChB,OAAO,SAAS,CAAC;QACnB,KAAK,WAAW;YACd,OAAO,OAAO,CAAC;QACjB,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,qEAAqE;YACrE,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO;iBACzB,MAAM,CACL,CAAC,CAAC,EAAyD,EAAE,CAC3D,CAAC,CAAC,IAAI,KAAK,mBAAmB,CACjC;iBACA,GAAG,CACF,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CACtE;iBACA,IAAI,EAAE;iBACN,IAAI,CAAC,GAAG,CAAC,CAAC;YACb,OAAO,QAAQ,OAAO,GAAG,CAAC;QAC5B,CAAC;QACD,KAAK,gBAAgB;YACnB,OAAO,SAAS,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QAClF,KAAK,kBAAkB;YACrB,OAAO,iBAAiB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QACrE;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,KAA8B,EAAU,EAAE,CAC9E,CAAC,GAAG,KAAK,CAAC;KACP,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;KAC5C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;IACT,MAAM,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IACvC,MAAM,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IACrC,OAAO,GAAG,MAAM,GAAG,CAAC,CAAC,IAAI,GAAG,MAAM,IAAI,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;AAChE,CAAC,CAAC;KACD,IAAI,CAAC,GAAG,CAAC,CAAC;AAef;;;GAGG;AACH,MAAM,qBAAqB,GAAG,IAAI,GAAG,EAA8B,CAAC;AAEpE;;GAEG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,GAAS,EAAE;IAC/C,qBAAqB,CAAC,KAAK,EAAE,CAAC;AAChC,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,QAAgB,EAChB,IAAY,EACZ,GAAW,EACH,EAAE;IACV,4CAA4C;IAC5C,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC;IACzD,OAAO,UAAU,QAAQ,IAAI,IAAI,IAAI,GAAG,EAAE,CAAC;AAC7C,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,cAAsB,EACtB,IAAY,EACZ,KAA8B,EAC9B,kBAA8C,EAC1B,EAAE;IACtB,sDAAsD;IACtD,MAAM,QAAQ,GAAG,qBAAqB,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;IAC3D,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,qEAAqE;IACrE,MAAM,OAAO,GAAwB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACrD,IAAI,EAAE,mBAA4B;QAClC,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,UAAU,EAAE,CAAC,CAAC,QAAQ;QACtB,UAAU,EAAE,CAAC,CAAC,QAAQ;KACvB,CAAC,CAAC,CAAC;IAEJ,MAAM,WAAW,GAA2B;QAC1C,IAAI,EAAE,sBAAsB;QAC5B,IAAI;QACJ,cAAc,EACZ,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,SAAS;QAChE,OAAO,EAAE,EAAE;QACX,OAAO;QACP,UAAU,EAAE,IAAI,EAAE,wDAAwD;QAC1E,QAAQ,EAAE,KAAK;KAChB,CAAC;IAEF,MAAM,KAAK,GAAuB;QAChC,IAAI;QACJ,WAAW;QACX,cAAc,EAAE,kBAAkB;KACnC,CAAC;IAEF,qBAAqB,CAAC,GAAG,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;IACjD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,wBAAwB,GACnC,GAAsC,EAAE;IACtC,OAAO,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;AAC9E,CAAC,CAAC;AAaJ;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,IAAgC,EAChC,GAAmB,EACA,EAAE;IACrB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACnC,sCAAsC;QACtC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;YAClC,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzC,gDAAgD;gBAChD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC;gBAClC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC9B,OAAO;wBACL,QAAQ,EAAE,KAAK;wBACf,MAAM,EAAE,+CAA+C;qBACxD,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,wBAAwB;YACxB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtC,OAAO;oBACL,QAAQ,EAAE,KAAK;oBACf,MAAM,EAAE,oDAAoD;iBAC7D,CAAC;YACJ,CAAC;QACH,CAAC;QAED,iDAAiD;QACjD,IAAI,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3C,SAAS;QACX,CAAC;QAED,kGAAkG;QAClG,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,oEAAoE;YACpE,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;gBACtC,OAAO;oBACL,QAAQ,EAAE,KAAK;oBACf,MAAM,EAAE,qDAAqD;iBAC9D,CAAC;YACJ,CAAC;YAED,2CAA2C;YAC3C,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC9D,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,OAAO;oBACL,QAAQ,EAAE,KAAK;oBACf,MAAM,EAAE,kBAAkB,IAAI,CAAC,UAAU,CAAC,IAAI,yBAAyB;iBACxE,CAAC;YACJ,CAAC;YAED,sDAAsD;YACtD,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC;YAElC,gFAAgF;YAChF,MAAM,OAAO,GAAG,UAAU,CAAC,qBAAqB,CAAC,MAAM,CAAC,CAAC;YAEzD,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,OAAO;oBACL,QAAQ,EAAE,KAAK;oBACf,MAAM,EAAE,kBAAkB,IAAI,CAAC,UAAU,CAAC,IAAI,sCAAsC;iBACrF,CAAC;YACJ,CAAC;YAED,SAAS;QACX,CAAC;QAED,2DAA2D;QAC3D,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,OAAO;gBACL,QAAQ,EAAE,KAAK;gBACf,MAAM,EAAE,iFAAiF;aAC1F,CAAC;QACJ,CAAC;QAED,wBAAwB;QACxB,IACE,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC;YACjC,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,EACjC,CAAC;YACD,OAAO;gBACL,QAAQ,EAAE,KAAK;gBACf,MAAM,EAAE,4DAA4D;aACrE,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AAC5B,CAAC,CAAC;AAEF,+EAA+E;AAC/E,yBAAyB;AACzB,+EAA+E;AAE/E;;GAEG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAY,EACZ,aAAkC,EACrB,EAAE;IACf,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,MAAM,KAAK,GAAG,CAAC,CAAS,EAAQ,EAAE;QAChC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,mBAAmB;gBACtB,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC9B,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACnB,CAAC;gBACD,MAAM;YACR,KAAK,eAAe;gBAClB,CAAC,CAAC,aAAa,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;gBAChC,MAAM;YACR,KAAK,WAAW;gBACd,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;gBACrB,MAAM;YACR,KAAK,WAAW;gBACd,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;gBAC9B,MAAM;YACR,KAAK,cAAc;gBACjB,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;oBACzB,IAAI,CAAC,CAAC,IAAI;wBAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAC5B,CAAC,CAAC,CAAC;gBACH,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;gBACpB,MAAM;YACR,KAAK,WAAW;gBACd,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;gBACvB,MAAM;YACR,KAAK,YAAY;gBACf,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;oBACtB,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;wBACnC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBAChB,CAAC;yBAAM,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;wBACxC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;4BACzB,IAAI,CAAC,CAAC,IAAI;gCAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;wBAC5B,CAAC,CAAC,CAAC;wBACH,IAAI,CAAC,CAAC,UAAU;4BAAE,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;oBACxC,CAAC;gBACH,CAAC,CAAC,CAAC;gBACH,MAAM;YACR,KAAK,gBAAgB;gBACnB,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBACjB,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;gBACnB,MAAM;QACV,CAAC;IACH,CAAC,CAAC;IAEF,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,OAAO,IAAI,CAAC;AACd,CAAC,CAAC"}

package/dist/ir/converters/context.d.ts

@@ -0,0 +1,40 @@
+/**
+ * ConverterContext — Re-exports ProgramContext for backward compatibility
+ *
+ * Phase 5 Step 4: ConverterContext is now an alias for ProgramContext.
+ * All converters use ProgramContext, but we keep ConverterContext as an alias
+ * to avoid breaking existing code during migration.
+ */
+import type { ProgramContext } from "../program-context.js";
+import type { Binding } from "../binding/index.js";
+import type { TypeAuthority } from "../type-system/type-system.js";
+import type { DotnetMetadataRegistry } from "../../dotnet-metadata.js";
+import type { BindingRegistry } from "../../program/bindings.js";
+import type { ClrBindingsResolver } from "../../resolver/clr-bindings-resolver.js";
+/**
+ * ConverterContext is an alias for ProgramContext.
+ *
+ * Use ProgramContext directly in new code.
+ */
+export type ConverterContext = ProgramContext;
+/**
+ * Re-export ProgramContext for direct use.
+ */
+export type { ProgramContext } from "../program-context.js";
+/**
+ * Re-export createProgramContext for direct use.
+ */
+export { createProgramContext } from "../program-context.js";
+/**
+ * Create a ConverterContext from individual components.
+ *
+ * @deprecated Use createProgramContext instead.
+ */
+export declare const createConverterContext: (params: {
+    binding: Binding;
+    typeSystem: TypeAuthority;
+    metadata: DotnetMetadataRegistry;
+    bindings: BindingRegistry;
+    clrResolver: ClrBindingsResolver;
+}) => ConverterContext;
+//# sourceMappingURL=context.d.ts.map

package/dist/ir/converters/context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../../src/ir/converters/context.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,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;AACnE,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AACvE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yCAAyC,CAAC;AAEnF;;;;GAIG;AACH,MAAM,MAAM,gBAAgB,GAAG,cAAc,CAAC;AAE9C;;GAEG;AACH,YAAY,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAE5D;;GAEG;AACH,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAE7D;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,GAAI,QAAQ;IAC7C,OAAO,EAAE,OAAO,CAAC;IACjB,UAAU,EAAE,aAAa,CAAC;IAC1B,QAAQ,EAAE,sBAAsB,CAAC;IACjC,QAAQ,EAAE,eAAe,CAAC;IAC1B,WAAW,EAAE,mBAAmB,CAAC;CAClC,KAAG,gBAMF,CAAC"}

package/dist/ir/converters/context.js

@@ -0,0 +1,24 @@
+/**
+ * ConverterContext — Re-exports ProgramContext for backward compatibility
+ *
+ * Phase 5 Step 4: ConverterContext is now an alias for ProgramContext.
+ * All converters use ProgramContext, but we keep ConverterContext as an alias
+ * to avoid breaking existing code during migration.
+ */
+/**
+ * Re-export createProgramContext for direct use.
+ */
+export { createProgramContext } from "../program-context.js";
+/**
+ * Create a ConverterContext from individual components.
+ *
+ * @deprecated Use createProgramContext instead.
+ */
+export const createConverterContext = (params) => ({
+    binding: params.binding,
+    typeSystem: params.typeSystem,
+    metadata: params.metadata,
+    bindings: params.bindings,
+    clrResolver: params.clrResolver,
+});
+//# sourceMappingURL=context.js.map

package/dist/ir/converters/context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.js","sourceRoot":"","sources":["../../../src/ir/converters/context.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAqBH;;GAEG;AACH,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAE7D;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,MAMtC,EAAoB,EAAE,CAAC,CAAC;IACvB,OAAO,EAAE,MAAM,CAAC,OAAO;IACvB,UAAU,EAAE,MAAM,CAAC,UAAU;IAC7B,QAAQ,EAAE,MAAM,CAAC,QAAQ;IACzB,QAAQ,EAAE,MAAM,CAAC,QAAQ;IACzB,WAAW,EAAE,MAAM,CAAC,WAAW;CAChC,CAAC,CAAC"}

package/dist/ir/converters/expressions/access.d.ts

@@ -1,10 +1,15 @@
 /**
  * Member access expression converters
+ *
+ * ALICE'S SPEC: All member type queries go through TypeSystem.typeOfMember().
+ * Falls back to Binding-resolved MemberId only when the receiver type cannot
+ * be normalized nominally (e.g., tsbindgen `$instance & __views` intersections).
  */
 import * as ts from "typescript";
 import { IrMemberExpression } from "../../types.js";
+import type { ProgramContext } from "../../program-context.js";
 /**
  * Convert property access or element access expression
  */
-export declare const convertMemberExpression: (node: ts.PropertyAccessExpression | ts.ElementAccessExpression, checker: ts.TypeChecker) => IrMemberExpression;
+export declare const convertMemberExpression: (node: ts.PropertyAccessExpression | ts.ElementAccessExpression, ctx: ProgramContext) => IrMemberExpression;
 //# sourceMappingURL=access.d.ts.map

package/dist/ir/converters/expressions/access.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"access.d.ts","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/access.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,kBAAkB,EAA8B,MAAM,gBAAgB,CAAC;AAsPhF;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,EAAE,CAAC,wBAAwB,GAAG,EAAE,CAAC,uBAAuB,EAC9D,SAAS,EAAE,CAAC,WAAW,KACtB,kBA0CF,CAAC"}
+{"version":3,"file":"access.d.ts","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/access.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,kBAAkB,EAA8B,MAAM,gBAAgB,CAAC;AAGhF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AA2e/D;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,EAAE,CAAC,wBAAwB,GAAG,EAAE,CAAC,uBAAuB,EAC9D,KAAK,cAAc,KAClB,kBAwFF,CAAC"}