@tsonic/frontend 0.0.62 → 0.0.63

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

@@ -0,0 +1,14 @@
+/**
+ * Member access expression converter orchestrator
+ *
+ * Combines member-resolution and binding-resolution to convert
+ * property access and element access expressions.
+ */
+import * as ts from "typescript";
+import { IrExpression } 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, ctx: ProgramContext) => IrExpression;
+//# sourceMappingURL=access-converter.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"access-converter.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/expressions/access/access-converter.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAGjC,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAGjD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAkElE;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,EAAE,CAAC,wBAAwB,GAAG,EAAE,CAAC,uBAAuB,EAC9D,KAAK,cAAc,KAClB,YAuGF,CAAC"}

package/dist/ir/converters/expressions/access/access-converter.js

@@ -0,0 +1,141 @@
+/**
+ * Member access expression converter orchestrator
+ *
+ * Combines member-resolution and binding-resolution to convert
+ * property access and element access expressions.
+ */
+import * as ts from "typescript";
+import { pathToFileURL } from "node:url";
+import { dirname } from "node:path";
+import { getSourceSpan } from "../helpers.js";
+import { convertExpression } from "../../../expression-converter.js";
+import { getDeclaredPropertyType, classifyComputedAccess, deriveElementType, } from "./member-resolution.js";
+import { resolveHierarchicalBinding, resolveHierarchicalBindingFromMemberId, resolveExtensionMethodsBinding, } from "./binding-resolution.js";
+import { createDiagnostic } from "../../../../types/diagnostic.js";
+const SUPPORTED_IMPORT_META_FIELDS = new Set(["url", "filename", "dirname"]);
+const tryConvertImportMetaProperty = (node, ctx) => {
+    if (!ts.isMetaProperty(node.expression))
+        return undefined;
+    if (node.expression.keywordToken !== ts.SyntaxKind.ImportKeyword ||
+        node.expression.name.text !== "meta") {
+        return undefined;
+    }
+    const filePath = node.getSourceFile().fileName.replace(/\\/g, "/");
+    const field = node.name.text;
+    const sourceSpan = getSourceSpan(node);
+    if (!SUPPORTED_IMPORT_META_FIELDS.has(field)) {
+        ctx.diagnostics.push(createDiagnostic("TSN2001", "error", `import.meta.${field} is not supported in strict AOT mode`, sourceSpan, "Supported fields: import.meta.url, import.meta.filename, import.meta.dirname"));
+        return {
+            kind: "literal",
+            value: undefined,
+            raw: "undefined",
+            inferredType: { kind: "primitiveType", name: "undefined" },
+            sourceSpan,
+        };
+    }
+    const value = field === "url"
+        ? pathToFileURL(filePath).href
+        : field === "dirname"
+            ? dirname(filePath).replace(/\\/g, "/")
+            : filePath;
+    return {
+        kind: "literal",
+        value,
+        raw: JSON.stringify(value),
+        inferredType: { kind: "primitiveType", name: "string" },
+        sourceSpan,
+    };
+};
+/**
+ * Convert property access or element access expression
+ */
+export const convertMemberExpression = (node, ctx) => {
+    const isOptional = node.questionDotToken !== undefined;
+    const sourceSpan = getSourceSpan(node);
+    if (ts.isPropertyAccessExpression(node)) {
+        const importMetaExpr = tryConvertImportMetaProperty(node, ctx);
+        if (importMetaExpr)
+            return importMetaExpr;
+        const object = convertExpression(node.expression, ctx, undefined);
+        const propertyName = node.name.text;
+        // Try to resolve hierarchical binding
+        const memberBinding = resolveExtensionMethodsBinding(node, propertyName, ctx) ??
+            resolveHierarchicalBindingFromMemberId(node, propertyName, ctx) ??
+            resolveHierarchicalBinding(object, propertyName, ctx);
+        // DETERMINISTIC TYPING: Property type comes from NominalEnv + TypeRegistry for
+        // user-defined types (including inherited members), with fallback to Binding layer
+        // for built-ins and CLR types.
+        //
+        // The receiver's inferredType enables NominalEnv to walk inheritance chains
+        // and substitute type parameters correctly for inherited generic members.
+        //
+        // Built-ins like string.length work because globals declare them with proper types.
+        // If getDeclaredPropertyType returns undefined, it means the property declaration
+        // is missing - use unknownType as poison so validation can emit TSN5203.
+        //
+        // EXCEPTION: If memberBinding exists AND declaredType is undefined, return undefined.
+        // This handles pure CLR-bound methods like Console.WriteLine that have no TS declaration.
+        const declaredType = getDeclaredPropertyType(node, object.inferredType, ctx);
+        // Hierarchical bindings: namespace.type is a static type reference, not a runtime
+        // value. When this pattern is present in the binding manifest, avoid poisoning the
+        // receiver with unknownType; the emitter uses "no inferredType" to classify the
+        // receiver as a static type, enabling global::Type.Member emission.
+        const isNamespaceTypeReference = object.kind === "identifier" &&
+            ctx.bindings
+                .getNamespace(object.name)
+                ?.types.some((t) => t.alias === propertyName) === true;
+        // DETERMINISTIC TYPING: Set inferredType for validation passes (like numeric proof).
+        // The emitter uses memberBinding separately for C# casing (e.g., length -> Length).
+        //
+        // Priority order for inferredType:
+        // 1. If declaredType exists, use it (covers built-ins like string.length -> int)
+        // 2. If memberBinding exists but no declaredType, use undefined (pure CLR-bound)
+        // 3. Otherwise, poison with unknownType for validation (TSN5203)
+        //
+        // Note: Both memberBinding AND inferredType can be set - they serve different purposes:
+        // - memberBinding: used by emitter for C# member names
+        // - inferredType: used by validation passes for type checking
+        //
+        // Class fields without explicit type annotations will emit TSN5203.
+        // Users must add explicit types like `count: int = 0` instead of `count = 0`.
+        const propertyInferredType = declaredType
+            ? declaredType
+            : isNamespaceTypeReference
+                ? undefined
+                : memberBinding
+                    ? undefined
+                    : { kind: "unknownType" };
+        return {
+            kind: "memberAccess",
+            object,
+            property: propertyName,
+            isComputed: false,
+            isOptional,
+            inferredType: propertyInferredType,
+            sourceSpan,
+            memberBinding,
+        };
+    }
+    else {
+        // Element access (computed): obj[expr]
+        const object = convertExpression(node.expression, ctx, undefined);
+        // DETERMINISTIC TYPING: Use object's inferredType (not getInferredType)
+        const objectType = object.inferredType;
+        // Classify the access kind for proof pass
+        // This determines whether Int32 proof is required for the index
+        const accessKind = classifyComputedAccess(objectType, ctx);
+        // Derive element type from object type
+        const elementType = deriveElementType(objectType, ctx);
+        return {
+            kind: "memberAccess",
+            object,
+            property: convertExpression(node.argumentExpression, ctx, undefined),
+            isComputed: true,
+            isOptional,
+            inferredType: elementType,
+            sourceSpan,
+            accessKind,
+        };
+    }
+};
+//# sourceMappingURL=access-converter.js.map

package/dist/ir/converters/expressions/access/access-converter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"access-converter.js","sourceRoot":"","sources":["../../../../../src/ir/converters/expressions/access/access-converter.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAEpC,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AAErE,OAAO,EACL,uBAAuB,EACvB,sBAAsB,EACtB,iBAAiB,GAClB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,0BAA0B,EAC1B,sCAAsC,EACtC,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AAEnE,MAAM,4BAA4B,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC;AAE7E,MAAM,4BAA4B,GAAG,CACnC,IAAiC,EACjC,GAAmB,EACO,EAAE;IAC5B,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1D,IACE,IAAI,CAAC,UAAU,CAAC,YAAY,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;QAC5D,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,EACpC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACnE,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAC7B,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IAEvC,IAAI,CAAC,4BAA4B,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7C,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,eAAe,KAAK,sCAAsC,EAC1D,UAAU,EACV,8EAA8E,CAC/E,CACF,CAAC;QACF,OAAO;YACL,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,SAAS;YAChB,GAAG,EAAE,WAAW;YAChB,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;YAC1D,UAAU;SACX,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GACT,KAAK,KAAK,KAAK;QACb,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,IAAI;QAC9B,CAAC,CAAC,KAAK,KAAK,SAAS;YACnB,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;YACvC,CAAC,CAAC,QAAQ,CAAC;IAEjB,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK;QACL,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC;QAC1B,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;QACvD,UAAU;KACX,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAA8D,EAC9D,GAAmB,EACL,EAAE;IAChB,MAAM,UAAU,GAAG,IAAI,CAAC,gBAAgB,KAAK,SAAS,CAAC;IACvD,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IAEvC,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,cAAc,GAAG,4BAA4B,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC/D,IAAI,cAAc;YAAE,OAAO,cAAc,CAAC;QAE1C,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QAClE,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAEpC,sCAAsC;QACtC,MAAM,aAAa,GACjB,8BAA8B,CAAC,IAAI,EAAE,YAAY,EAAE,GAAG,CAAC;YACvD,sCAAsC,CAAC,IAAI,EAAE,YAAY,EAAE,GAAG,CAAC;YAC/D,0BAA0B,CAAC,MAAM,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;QAExD,+EAA+E;QAC/E,mFAAmF;QACnF,+BAA+B;QAC/B,EAAE;QACF,4EAA4E;QAC5E,0EAA0E;QAC1E,EAAE;QACF,oFAAoF;QACpF,kFAAkF;QAClF,yEAAyE;QACzE,EAAE;QACF,sFAAsF;QACtF,0FAA0F;QAC1F,MAAM,YAAY,GAAG,uBAAuB,CAC1C,IAAI,EACJ,MAAM,CAAC,YAAY,EACnB,GAAG,CACJ,CAAC;QAEF,kFAAkF;QAClF,mFAAmF;QACnF,gFAAgF;QAChF,oEAAoE;QACpE,MAAM,wBAAwB,GAC5B,MAAM,CAAC,IAAI,KAAK,YAAY;YAC5B,GAAG,CAAC,QAAQ;iBACT,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC;gBAC1B,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,YAAY,CAAC,KAAK,IAAI,CAAC;QAE3D,qFAAqF;QACrF,oFAAoF;QACpF,EAAE;QACF,mCAAmC;QACnC,iFAAiF;QACjF,iFAAiF;QACjF,iEAAiE;QACjE,EAAE;QACF,wFAAwF;QACxF,uDAAuD;QACvD,8DAA8D;QAC9D,EAAE;QACF,oEAAoE;QACpE,8EAA8E;QAC9E,MAAM,oBAAoB,GAAG,YAAY;YACvC,CAAC,CAAC,YAAY;YACd,CAAC,CAAC,wBAAwB;gBACxB,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,aAAa;oBACb,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC,EAAE,IAAI,EAAE,aAAsB,EAAE,CAAC;QAEzC,OAAO;YACL,IAAI,EAAE,cAAc;YACpB,MAAM;YACN,QAAQ,EAAE,YAAY;YACtB,UAAU,EAAE,KAAK;YACjB,UAAU;YACV,YAAY,EAAE,oBAAoB;YAClC,UAAU;YACV,aAAa;SACd,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,uCAAuC;QACvC,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QAElE,wEAAwE;QACxE,MAAM,UAAU,GAAG,MAAM,CAAC,YAAY,CAAC;QAEvC,0CAA0C;QAC1C,gEAAgE;QAChE,MAAM,UAAU,GAAG,sBAAsB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QAE3D,uCAAuC;QACvC,MAAM,WAAW,GAAG,iBAAiB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QAEvD,OAAO;YACL,IAAI,EAAE,cAAc;YACpB,MAAM;YACN,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,kBAAkB,EAAE,GAAG,EAAE,SAAS,CAAC;YACpE,UAAU,EAAE,IAAI;YAChB,UAAU;YACV,YAAY,EAAE,WAAW;YACzB,UAAU;YACV,UAAU;SACX,CAAC;IACJ,CAAC;AACH,CAAC,CAAC"}

package/dist/ir/converters/expressions/access/binding-resolution.d.ts

@@ -0,0 +1,35 @@
+/**
+ * Binding resolution for member access expressions
+ *
+ * Hierarchical binding lookup, extension method resolution, and
+ * MemberId-based fallback binding for CLR property casing.
+ */
+import * as ts from "typescript";
+import { IrMemberExpression } from "../../../types.js";
+import { convertExpression } from "../../../expression-converter.js";
+import type { ProgramContext } from "../../../program-context.js";
+/**
+ * Resolve hierarchical binding for a member access
+ * Handles namespace.type, type.member, directType.member, and instance.member patterns
+ */
+export declare const resolveHierarchicalBinding: (object: ReturnType<typeof convertExpression>, propertyName: string, ctx: ProgramContext) => IrMemberExpression["memberBinding"];
+/**
+ * Resolve hierarchical binding for a member access using Binding-resolved MemberId.
+ *
+ * This is a fallback for cases where the receiver's inferredType is unavailable
+ * (e.g., local variable typing inferred from a complex initializer), but TS can
+ * still resolve the member symbol deterministically.
+ *
+ * Critical use case: CLR property casing (e.g., `.expression` → `.Expression`).
+ */
+export declare const resolveHierarchicalBindingFromMemberId: (node: ts.PropertyAccessExpression, propertyName: string, ctx: ProgramContext) => IrMemberExpression["memberBinding"];
+/**
+ * Resolve instance-style extension method bindings from tsbindgen's `ExtensionMethods` typing.
+ *
+ * tsbindgen emits extension methods as interface members on `__Ext_*` types, and users
+ * opt in via `ExtensionMethods<TShape>`. At runtime those members do not exist, so we
+ * must attach the underlying CLR binding so the emitter can lower the call to an
+ * explicit static invocation.
+ */
+export declare const resolveExtensionMethodsBinding: (node: ts.PropertyAccessExpression, propertyName: string, ctx: ProgramContext) => IrMemberExpression["memberBinding"];
+//# sourceMappingURL=binding-resolution.d.ts.map

package/dist/ir/converters/expressions/access/binding-resolution.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"binding-resolution.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/expressions/access/binding-resolution.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAGjC,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAEvD,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAQlE;;;GAGG;AACH,eAAO,MAAM,0BAA0B,GACrC,QAAQ,UAAU,CAAC,OAAO,iBAAiB,CAAC,EAC5C,cAAc,MAAM,EACpB,KAAK,cAAc,KAClB,kBAAkB,CAAC,eAAe,CA+GpC,CAAC;AAsDF;;;;;;;;GAQG;AACH,eAAO,MAAM,sCAAsC,GACjD,MAAM,EAAE,CAAC,wBAAwB,EACjC,cAAc,MAAM,EACpB,KAAK,cAAc,KAClB,kBAAkB,CAAC,eAAe,CAgJpC,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,8BAA8B,GACzC,MAAM,EAAE,CAAC,wBAAwB,EACjC,cAAc,MAAM,EACpB,KAAK,cAAc,KAClB,kBAAkB,CAAC,eAAe,CA6IpC,CAAC"}

package/dist/ir/converters/expressions/access/binding-resolution.js

@@ -0,0 +1,384 @@
+/**
+ * Binding resolution for member access expressions
+ *
+ * Hierarchical binding lookup, extension method resolution, and
+ * MemberId-based fallback binding for CLR property casing.
+ */
+import * as ts from "typescript";
+import { existsSync, readFileSync } from "node:fs";
+import { dirname, join } from "node:path";
+import { getSourceSpan } from "../helpers.js";
+import { tsbindgenClrTypeNameToTsTypeName } from "../../../../tsbindgen/names.js";
+import { createDiagnostic } from "../../../../types/diagnostic.js";
+import { loadBindingsFromPath } from "../../../../program/bindings.js";
+import { extractTypeName } from "./member-resolution.js";
+/**
+ * Resolve hierarchical binding for a member access
+ * Handles namespace.type, type.member, directType.member, and instance.member patterns
+ */
+export const resolveHierarchicalBinding = (object, propertyName, ctx) => {
+    const registry = ctx.bindings;
+    const toIrMemberBinding = (overloads) => {
+        const first = overloads[0];
+        if (!first)
+            return undefined;
+        const getTargetKey = (m) => `${m.binding.assembly}:${m.binding.type}::${m.binding.member}`;
+        const targetKey = getTargetKey(first);
+        if (overloads.some((m) => getTargetKey(m) !== targetKey)) {
+            // Unsafe: overloads map to different CLR targets.
+            return undefined;
+        }
+        const getModifiersKey = (m) => {
+            const mods = m.parameterModifiers ?? [];
+            if (mods.length === 0)
+                return "";
+            return [...mods]
+                .slice()
+                .sort((a, b) => a.index - b.index)
+                .map((mod) => `${mod.index}:${mod.modifier}`)
+                .join(",");
+        };
+        const modsKey = getModifiersKey(first);
+        const modsConsistent = overloads.every((m) => getModifiersKey(m) === modsKey);
+        return {
+            assembly: first.binding.assembly,
+            type: first.binding.type,
+            member: first.binding.member,
+            // IMPORTANT: Only attach parameterModifiers if consistent across all overloads.
+            // Overloads can differ in ref/out/in, and those must be selected at call time.
+            parameterModifiers: modsConsistent &&
+                first.parameterModifiers &&
+                first.parameterModifiers.length > 0
+                ? first.parameterModifiers
+                : undefined,
+            isExtensionMethod: first.isExtensionMethod,
+        };
+    };
+    // Case 1: object is identifier → check if it's a namespace, then check if property is a type
+    if (object.kind === "identifier") {
+        const namespace = registry.getNamespace(object.name);
+        if (namespace) {
+            // Found namespace binding, check if property is a type within this namespace
+            // Note: After schema swap, we look up by alias (TS identifier)
+            const type = namespace.types.find((t) => t.alias === propertyName);
+            if (type) {
+                // This member access is namespace.type - we don't emit a member binding here
+                // because we're just accessing a type, not calling a member
+                return undefined;
+            }
+        }
+        // Case 1b: object is a direct type import (like `Console` imported directly)
+        // Check if the identifier is a type alias, and if so, look up the member
+        // First try by local name, then by original name (handles aliased imports like `import { String as ClrString }`)
+        const directType = registry.getType(object.name) ??
+            (object.originalName ? registry.getType(object.originalName) : undefined);
+        if (directType) {
+            const overloads = registry.getMemberOverloads(directType.alias, propertyName);
+            if (!overloads || overloads.length === 0)
+                return undefined;
+            return toIrMemberBinding(overloads);
+        }
+    }
+    // Case 2: object is member expression with a type reference → check if property is a member
+    if (object.kind === "memberAccess" && !object.isComputed) {
+        // Walk up the chain to find if this is a type reference
+        // For systemLinq.enumerable, the object is "systemLinq" and property is "enumerable"
+        if (object.object.kind === "identifier") {
+            const namespace = registry.getNamespace(object.object.name);
+            if (namespace && typeof object.property === "string") {
+                const type = namespace.types.find((t) => t.alias === object.property);
+                if (type) {
+                    // The object is a type reference (namespace.type), now check if property is a member
+                    const overloads = registry.getMemberOverloads(type.alias, propertyName);
+                    if (!overloads || overloads.length === 0)
+                        return undefined;
+                    return toIrMemberBinding(overloads);
+                }
+            }
+        }
+    }
+    // Case 3: Instance member access (e.g., numbers.add where numbers is List<T>)
+    // Use the object's inferred type to look up the member binding
+    const objectTypeName = extractTypeName(object.inferredType);
+    if (objectTypeName) {
+        // Look up member by type alias and property name
+        const overloads = registry.getMemberOverloads(objectTypeName, propertyName);
+        if (!overloads || overloads.length === 0)
+            return undefined;
+        return toIrMemberBinding(overloads);
+    }
+    return undefined;
+};
+const findNearestBindingsJson = (filePath) => {
+    let currentDir = dirname(filePath);
+    while (true) {
+        const candidate = join(currentDir, "bindings.json");
+        if (existsSync(candidate))
+            return candidate;
+        const parentDir = dirname(currentDir);
+        if (parentDir === currentDir)
+            return undefined;
+        currentDir = parentDir;
+    }
+};
+const disambiguateOverloadsByDeclaringType = (overloads, memberId, declaringTypeTsName, ctx) => {
+    const declSourceFilePath = ctx.binding.getSourceFilePathOfMember(memberId);
+    if (!declSourceFilePath)
+        return undefined;
+    const bindingsPath = findNearestBindingsJson(declSourceFilePath);
+    if (!bindingsPath)
+        return undefined;
+    const raw = (() => {
+        try {
+            return JSON.parse(readFileSync(bindingsPath, "utf8"));
+        }
+        catch {
+            return undefined;
+        }
+    })();
+    if (!raw || typeof raw !== "object")
+        return undefined;
+    const types = raw.types;
+    if (!Array.isArray(types))
+        return undefined;
+    const typeEntry = types.find((t) => {
+        if (!t || typeof t !== "object")
+            return false;
+        const clrName = t.clrName;
+        if (typeof clrName !== "string")
+            return false;
+        return tsbindgenClrTypeNameToTsTypeName(clrName) === declaringTypeTsName;
+    });
+    const expectedClrType = typeEntry && typeof typeEntry.clrName === "string"
+        ? typeEntry.clrName
+        : undefined;
+    if (!expectedClrType)
+        return undefined;
+    const filtered = overloads.filter((m) => m.binding.type === expectedClrType);
+    return filtered.length > 0 ? filtered : undefined;
+};
+/**
+ * Resolve hierarchical binding for a member access using Binding-resolved MemberId.
+ *
+ * This is a fallback for cases where the receiver's inferredType is unavailable
+ * (e.g., local variable typing inferred from a complex initializer), but TS can
+ * still resolve the member symbol deterministically.
+ *
+ * Critical use case: CLR property casing (e.g., `.expression` → `.Expression`).
+ */
+export const resolveHierarchicalBindingFromMemberId = (node, propertyName, ctx) => {
+    const memberId = ctx.binding.resolvePropertyAccess(node);
+    if (!memberId)
+        return undefined;
+    const declaringTypeName = ctx.binding.getDeclaringTypeNameOfMember(memberId);
+    if (!declaringTypeName)
+        return undefined;
+    const normalizeDeclaringType = (name) => {
+        if (name.endsWith("$instance"))
+            return name.slice(0, -"$instance".length);
+        if (name.startsWith("__") && name.endsWith("$views")) {
+            return name.slice("__".length, -"$views".length);
+        }
+        return name;
+    };
+    const typeAlias = normalizeDeclaringType(declaringTypeName);
+    let overloadsAll = ctx.bindings.getMemberOverloads(typeAlias, propertyName);
+    if (!overloadsAll || overloadsAll.length === 0) {
+        const declSourceFilePath = ctx.binding.getSourceFilePathOfMember(memberId);
+        const bindingsPath = declSourceFilePath !== undefined
+            ? findNearestBindingsJson(declSourceFilePath)
+            : undefined;
+        // Airplane-grade: If we can locate the bindings.json that corresponds to the
+        // tsbindgen declaration, load it on-demand and retry. This avoids relying on
+        // "import closure" heuristics and ensures CLR binding lookup is based on the
+        // declaration's actual owning bindings.json.
+        if (bindingsPath) {
+            loadBindingsFromPath(ctx.bindings, bindingsPath);
+            overloadsAll = ctx.bindings.getMemberOverloads(typeAlias, propertyName);
+        }
+        // Airplane-grade rule: If this member resolves to a tsbindgen declaration,
+        // we MUST have a CLR binding; we must never guess member names via naming policy.
+        //
+        // We treat it as CLR-bound if:
+        // - The declaring type is a tsbindgen extension interface (`__Ext_*`), OR
+        // - We can locate a bindings.json near the declaration source file.
+        const isClrBound = declaringTypeName.startsWith("__Ext_") || bindingsPath !== undefined;
+        if (isClrBound && (!overloadsAll || overloadsAll.length === 0)) {
+            ctx.diagnostics.push(createDiagnostic("TSN4004", "error", `Missing CLR binding for '${typeAlias}.${propertyName}'.`, getSourceSpan(node), bindingsPath
+                ? `No matching member binding was found in the loaded bindings for this tsbindgen declaration. (bindings.json: ${bindingsPath})`
+                : "No matching member binding was found for this tsbindgen extension interface member."));
+        }
+        return undefined;
+    }
+    let overloads = overloadsAll;
+    const targetKeys = new Set(overloads.map((m) => `${m.binding.assembly}:${m.binding.type}::${m.binding.member}`));
+    if (targetKeys.size > 1) {
+        const disambiguated = disambiguateOverloadsByDeclaringType(overloads, memberId, typeAlias, ctx);
+        if (disambiguated) {
+            overloads = disambiguated;
+        }
+    }
+    const first = overloads[0];
+    if (!first)
+        return undefined;
+    const targetKey = `${first.binding.assembly}:${first.binding.type}::${first.binding.member}`;
+    if (overloads.some((m) => `${m.binding.assembly}:${m.binding.type}::${m.binding.member}` !==
+        targetKey)) {
+        const declSourceFilePath = ctx.binding.getSourceFilePathOfMember(memberId);
+        const bindingsPath = declSourceFilePath !== undefined
+            ? findNearestBindingsJson(declSourceFilePath)
+            : undefined;
+        // Only treat this as a CLR ambiguity when we can locate a bindings.json near the
+        // TS declaration source (tsbindgen packages). Otherwise, fall back to "no binding"
+        // and let local codepaths handle naming policy.
+        if (bindingsPath) {
+            const targets = [
+                ...new Set(overloads.map((m) => `${m.binding.type}.${m.binding.member}`)),
+            ]
+                .sort()
+                .join(", ");
+            ctx.diagnostics.push(createDiagnostic("TSN4003", "error", `Ambiguous CLR binding for '${typeAlias}.${propertyName}'. Multiple CLR targets found: ${targets}.`, getSourceSpan(node), `This usually indicates multiple tsbindgen packages export the same TS type/member alias. Ensure the correct package is imported, or regenerate bindings to avoid collisions. (bindings.json: ${bindingsPath})`));
+        }
+        return undefined;
+    }
+    const getModifiersKey = (m) => {
+        const mods = m.parameterModifiers ?? [];
+        if (mods.length === 0)
+            return "";
+        return [...mods]
+            .slice()
+            .sort((a, b) => a.index - b.index)
+            .map((mod) => `${mod.index}:${mod.modifier}`)
+            .join(",");
+    };
+    const modsKey = getModifiersKey(first);
+    const modsConsistent = overloads.every((m) => getModifiersKey(m) === modsKey);
+    return {
+        assembly: first.binding.assembly,
+        type: first.binding.type,
+        member: first.binding.member,
+        parameterModifiers: modsConsistent &&
+            first.parameterModifiers &&
+            first.parameterModifiers.length > 0
+            ? first.parameterModifiers
+            : undefined,
+        isExtensionMethod: first.isExtensionMethod,
+    };
+};
+/**
+ * Resolve instance-style extension method bindings from tsbindgen's `ExtensionMethods` typing.
+ *
+ * tsbindgen emits extension methods as interface members on `__Ext_*` types, and users
+ * opt in via `ExtensionMethods<TShape>`. At runtime those members do not exist, so we
+ * must attach the underlying CLR binding so the emitter can lower the call to an
+ * explicit static invocation.
+ */
+export const resolveExtensionMethodsBinding = (node, propertyName, ctx) => {
+    const memberId = ctx.binding.resolvePropertyAccess(node);
+    if (!memberId)
+        return undefined;
+    const declaringTypeName = ctx.binding.getDeclaringTypeNameOfMember(memberId);
+    if (!declaringTypeName)
+        return undefined;
+    const callArgumentCount = (() => {
+        const parent = node.parent;
+        if (ts.isCallExpression(parent) && parent.expression === node) {
+            return parent.arguments.length;
+        }
+        return undefined;
+    })();
+    // Debug/diagnostic context for airplane-grade failures.
+    // These are populated during resolution and surfaced only if resolution fails.
+    let sigDeclaringTypeNameForError;
+    let namespaceKeyForError;
+    let receiverTypeNameForError;
+    const resolved = (() => {
+        const parent = node.parent;
+        if (!ts.isCallExpression(parent) || parent.expression !== node)
+            return undefined;
+        const sigId = ctx.binding.resolveCallSignature(parent);
+        if (!sigId)
+            return undefined;
+        // IMPORTANT (airplane-grade): the same TS member name can exist in multiple extension
+        // namespaces (e.g., BCL async LINQ and EF Core both define ToArrayAsync). When the
+        // receiver expression is not an identifier, `resolvePropertyAccess` can key the member
+        // entry off the member symbol itself, which merges declarations. Always anchor to the
+        // resolved signature's declaring type to choose the correct CLR extension binding.
+        const sigDeclaringTypeName = ctx.binding.getDeclaringTypeNameOfSignature(sigId);
+        sigDeclaringTypeNameForError = sigDeclaringTypeName;
+        if (!sigDeclaringTypeName)
+            return undefined;
+        // Extension method bucket format: methods emitted on `__Ext_*` interfaces.
+        if (sigDeclaringTypeName.startsWith("__Ext_")) {
+            return ctx.bindings.resolveExtensionMethod(sigDeclaringTypeName, propertyName, callArgumentCount);
+        }
+        // New format: extension methods emitted on method-table interfaces:
+        //   interface __TsonicExtMethods_System_Linq { Where(this: IQueryable_1<T>, ...): ... }
+        if (sigDeclaringTypeName.startsWith("__TsonicExtMethods_")) {
+            const namespaceKey = sigDeclaringTypeName.slice("__TsonicExtMethods_".length);
+            namespaceKeyForError = namespaceKey;
+            if (!namespaceKey)
+                return undefined;
+            const thisTypeNode = ctx.binding.getThisTypeNodeOfSignature(sigId);
+            if (!thisTypeNode)
+                return undefined;
+            const extractReceiverTypeName = (typeNode) => {
+                let current = typeNode;
+                while (ts.isParenthesizedTypeNode(current))
+                    current = current.type;
+                if (ts.isTypeReferenceNode(current)) {
+                    const tn = current.typeName;
+                    if (ts.isIdentifier(tn))
+                        return tn.text;
+                    if (ts.isQualifiedName(tn))
+                        return tn.right.text;
+                }
+                return undefined;
+            };
+            const receiverTypeName = extractReceiverTypeName(thisTypeNode);
+            receiverTypeNameForError = receiverTypeName;
+            if (!receiverTypeName)
+                return undefined;
+            return ctx.bindings.resolveExtensionMethodByKey(namespaceKey, receiverTypeName, propertyName, callArgumentCount);
+        }
+        return undefined;
+    })();
+    if (!resolved) {
+        // Airplane-grade: if the TS surface indicates this member comes from an extension-method
+        // module, failing to attach a CLR binding would emit an instance call that cannot exist
+        // at runtime. Treat as a hard error rather than miscompiling.
+        if (declaringTypeName.startsWith("__Ext_") ||
+            declaringTypeName.startsWith("__TsonicExtMethods_")) {
+            const detail = [
+                sigDeclaringTypeNameForError
+                    ? `Resolved signature declares: '${sigDeclaringTypeNameForError}'.`
+                    : "Resolved signature declaring type: <unknown>.",
+                namespaceKeyForError
+                    ? `Namespace key: '${namespaceKeyForError}'.`
+                    : "Namespace key: <unknown>.",
+                receiverTypeNameForError
+                    ? `Receiver type: '${receiverTypeNameForError}'.`
+                    : "Receiver type: <unknown>.",
+            ].join(" ");
+            ctx.diagnostics.push(createDiagnostic("TSN4004", "error", `Failed to resolve CLR extension-method binding for '${propertyName}' on '${declaringTypeName}'. ${detail}`, getSourceSpan(node), "This indicates a mismatch between the generated .d.ts surface and bindings.json extension metadata. Regenerate bindings and ensure the correct packages are installed."));
+        }
+        return undefined;
+    }
+    // tsbindgen parameterModifiers indices include the extension receiver at index 0.
+    // For instance-style calls, our call-site arguments exclude the receiver, so shift by -1.
+    const shiftedModifiers = resolved.parameterModifiers
+        ? resolved.parameterModifiers
+            .map((m) => ({ index: m.index - 1, modifier: m.modifier }))
+            .filter((m) => m.index >= 0)
+        : undefined;
+    return {
+        assembly: resolved.binding.assembly,
+        type: resolved.binding.type,
+        member: resolved.binding.member,
+        parameterModifiers: shiftedModifiers && shiftedModifiers.length > 0
+            ? shiftedModifiers
+            : undefined,
+        isExtensionMethod: resolved.isExtensionMethod,
+    };
+};
+//# sourceMappingURL=binding-resolution.js.map

package/dist/ir/converters/expressions/access/binding-resolution.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"binding-resolution.js","sourceRoot":"","sources":["../../../../../src/ir/converters/expressions/access/binding-resolution.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAE1C,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAK9C,OAAO,EAAE,gCAAgC,EAAE,MAAM,gCAAgC,CAAC;AAClF,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAC;AACvE,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAEzD;;;GAGG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,MAA4C,EAC5C,YAAoB,EACpB,GAAmB,EACkB,EAAE;IACvC,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC;IAE9B,MAAM,iBAAiB,GAAG,CACxB,SAAmC,EACE,EAAE;QACvC,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAE7B,MAAM,YAAY,GAAG,CAAC,CAAgB,EAAU,EAAE,CAChD,GAAG,CAAC,CAAC,OAAO,CAAC,QAAQ,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QACjE,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,EAAE,CAAC;YACzD,kDAAkD;YAClD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,eAAe,GAAG,CAAC,CAAgB,EAAU,EAAE;YACnD,MAAM,IAAI,GAAG,CAAC,CAAC,kBAAkB,IAAI,EAAE,CAAC;YACxC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,EAAE,CAAC;YACjC,OAAO,CAAC,GAAG,IAAI,CAAC;iBACb,KAAK,EAAE;iBACP,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;iBACjC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;iBAC5C,IAAI,CAAC,GAAG,CAAC,CAAC;QACf,CAAC,CAAC;QAEF,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;QACvC,MAAM,cAAc,GAAG,SAAS,CAAC,KAAK,CACpC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,KAAK,OAAO,CACtC,CAAC;QAEF,OAAO;YACL,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,QAAQ;YAChC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI;YACxB,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM;YAC5B,gFAAgF;YAChF,+EAA+E;YAC/E,kBAAkB,EAChB,cAAc;gBACd,KAAK,CAAC,kBAAkB;gBACxB,KAAK,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC;gBACjC,CAAC,CAAC,KAAK,CAAC,kBAAkB;gBAC1B,CAAC,CAAC,SAAS;YACf,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;SAC3C,CAAC;IACJ,CAAC,CAAC;IAEF,6FAA6F;IAC7F,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACjC,MAAM,SAAS,GAAG,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACrD,IAAI,SAAS,EAAE,CAAC;YACd,6EAA6E;YAC7E,+DAA+D;YAC/D,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,YAAY,CAAC,CAAC;YACnE,IAAI,IAAI,EAAE,CAAC;gBACT,6EAA6E;gBAC7E,4DAA4D;gBAC5D,OAAO,SAAS,CAAC;YACnB,CAAC;QACH,CAAC;QAED,6EAA6E;QAC7E,yEAAyE;QACzE,iHAAiH;QACjH,MAAM,UAAU,GACd,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC;YAC7B,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAC5E,IAAI,UAAU,EAAE,CAAC;YACf,MAAM,SAAS,GAAG,QAAQ,CAAC,kBAAkB,CAC3C,UAAU,CAAC,KAAK,EAChB,YAAY,CACb,CAAC;YACF,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,SAAS,CAAC;YAC3D,OAAO,iBAAiB,CAAC,SAAS,CAAC,CAAC;QACtC,CAAC;IACH,CAAC;IAED,4FAA4F;IAC5F,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;QACzD,wDAAwD;QACxD,qFAAqF;QACrF,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACxC,MAAM,SAAS,GAAG,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAC5D,IAAI,SAAS,IAAI,OAAO,MAAM,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;gBACrD,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,QAAQ,CAAC,CAAC;gBACtE,IAAI,IAAI,EAAE,CAAC;oBACT,qFAAqF;oBACrF,MAAM,SAAS,GAAG,QAAQ,CAAC,kBAAkB,CAC3C,IAAI,CAAC,KAAK,EACV,YAAY,CACb,CAAC;oBACF,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;wBAAE,OAAO,SAAS,CAAC;oBAC3D,OAAO,iBAAiB,CAAC,SAAS,CAAC,CAAC;gBACtC,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,8EAA8E;IAC9E,+DAA+D;IAC/D,MAAM,cAAc,GAAG,eAAe,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IAE5D,IAAI,cAAc,EAAE,CAAC;QACnB,iDAAiD;QACjD,MAAM,SAAS,GAAG,QAAQ,CAAC,kBAAkB,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC;QAC5E,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAC3D,OAAO,iBAAiB,CAAC,SAAS,CAAC,CAAC;IACtC,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAAC,QAAgB,EAAsB,EAAE;IACvE,IAAI,UAAU,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IACnC,OAAO,IAAI,EAAE,CAAC;QACZ,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC;QACpD,IAAI,UAAU,CAAC,SAAS,CAAC;YAAE,OAAO,SAAS,CAAC;QAC5C,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;QACtC,IAAI,SAAS,KAAK,UAAU;YAAE,OAAO,SAAS,CAAC;QAC/C,UAAU,GAAG,SAAS,CAAC;IACzB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,oCAAoC,GAAG,CAC3C,SAAmC,EACnC,QAAkB,EAClB,mBAA2B,EAC3B,GAAmB,EACmB,EAAE;IACxC,MAAM,kBAAkB,GAAG,GAAG,CAAC,OAAO,CAAC,yBAAyB,CAAC,QAAQ,CAAC,CAAC;IAC3E,IAAI,CAAC,kBAAkB;QAAE,OAAO,SAAS,CAAC;IAE1C,MAAM,YAAY,GAAG,uBAAuB,CAAC,kBAAkB,CAAC,CAAC;IACjE,IAAI,CAAC,YAAY;QAAE,OAAO,SAAS,CAAC;IAEpC,MAAM,GAAG,GAAG,CAAC,GAAG,EAAE;QAChB,IAAI,CAAC;YACH,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,YAAY,EAAE,MAAM,CAAC,CAAY,CAAC;QACnE,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,SAAS,CAAC;QACnB,CAAC;IACH,CAAC,CAAC,EAAE,CAAC;IAEL,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IACtD,MAAM,KAAK,GAAI,GAAoC,CAAC,KAAK,CAAC;IAC1D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAE5C,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;QACjC,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC9C,MAAM,OAAO,GAAI,CAAoC,CAAC,OAAO,CAAC;QAC9D,IAAI,OAAO,OAAO,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC9C,OAAO,gCAAgC,CAAC,OAAO,CAAC,KAAK,mBAAmB,CAAC;IAC3E,CAAC,CAA+C,CAAC;IAEjD,MAAM,eAAe,GACnB,SAAS,IAAI,OAAO,SAAS,CAAC,OAAO,KAAK,QAAQ;QAChD,CAAC,CAAC,SAAS,CAAC,OAAO;QACnB,CAAC,CAAC,SAAS,CAAC;IAChB,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,MAAM,QAAQ,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC;IAC7E,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;AACpD,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,sCAAsC,GAAG,CACpD,IAAiC,EACjC,YAAoB,EACpB,GAAmB,EACkB,EAAE;IACvC,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC;IACzD,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAEhC,MAAM,iBAAiB,GAAG,GAAG,CAAC,OAAO,CAAC,4BAA4B,CAAC,QAAQ,CAAC,CAAC;IAC7E,IAAI,CAAC,iBAAiB;QAAE,OAAO,SAAS,CAAC;IAEzC,MAAM,sBAAsB,GAAG,CAAC,IAAY,EAAU,EAAE;QACtD,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;QAC1E,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YACrD,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QACnD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IAEF,MAAM,SAAS,GAAG,sBAAsB,CAAC,iBAAiB,CAAC,CAAC;IAC5D,IAAI,YAAY,GAAG,GAAG,CAAC,QAAQ,CAAC,kBAAkB,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;IAC5E,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/C,MAAM,kBAAkB,GAAG,GAAG,CAAC,OAAO,CAAC,yBAAyB,CAAC,QAAQ,CAAC,CAAC;QAC3E,MAAM,YAAY,GAChB,kBAAkB,KAAK,SAAS;YAC9B,CAAC,CAAC,uBAAuB,CAAC,kBAAkB,CAAC;YAC7C,CAAC,CAAC,SAAS,CAAC;QAEhB,6EAA6E;QAC7E,6EAA6E;QAC7E,6EAA6E;QAC7E,6CAA6C;QAC7C,IAAI,YAAY,EAAE,CAAC;YACjB,oBAAoB,CAAC,GAAG,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;YACjD,YAAY,GAAG,GAAG,CAAC,QAAQ,CAAC,kBAAkB,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;QAC1E,CAAC;QAED,2EAA2E;QAC3E,kFAAkF;QAClF,EAAE;QACF,+BAA+B;QAC/B,0EAA0E;QAC1E,oEAAoE;QACpE,MAAM,UAAU,GACd,iBAAiB,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,YAAY,KAAK,SAAS,CAAC;QAEvE,IAAI,UAAU,IAAI,CAAC,CAAC,YAAY,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;YAC/D,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,4BAA4B,SAAS,IAAI,YAAY,IAAI,EACzD,aAAa,CAAC,IAAI,CAAC,EACnB,YAAY;gBACV,CAAC,CAAC,+GAA+G,YAAY,GAAG;gBAChI,CAAC,CAAC,qFAAqF,CAC1F,CACF,CAAC;QACJ,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,SAAS,GAA6B,YAAY,CAAC;IACvD,MAAM,UAAU,GAAG,IAAI,GAAG,CACxB,SAAS,CAAC,GAAG,CACX,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,QAAQ,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,CACtE,CACF,CAAC;IACF,IAAI,UAAU,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,aAAa,GAAG,oCAAoC,CACxD,SAAS,EACT,QAAQ,EACR,SAAS,EACT,GAAG,CACJ,CAAC;QACF,IAAI,aAAa,EAAE,CAAC;YAClB,SAAS,GAAG,aAAa,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IAC3B,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,MAAM,SAAS,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;IAC7F,IACE,SAAS,CAAC,IAAI,CACZ,CAAC,CAAC,EAAE,EAAE,CACJ,GAAG,CAAC,CAAC,OAAO,CAAC,QAAQ,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE;QAC9D,SAAS,CACZ,EACD,CAAC;QACD,MAAM,kBAAkB,GAAG,GAAG,CAAC,OAAO,CAAC,yBAAyB,CAAC,QAAQ,CAAC,CAAC;QAC3E,MAAM,YAAY,GAChB,kBAAkB,KAAK,SAAS;YAC9B,CAAC,CAAC,uBAAuB,CAAC,kBAAkB,CAAC;YAC7C,CAAC,CAAC,SAAS,CAAC;QAEhB,iFAAiF;QACjF,mFAAmF;QACnF,gDAAgD;QAChD,IAAI,YAAY,EAAE,CAAC;YACjB,MAAM,OAAO,GAAG;gBACd,GAAG,IAAI,GAAG,CACR,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAC9D;aACF;iBACE,IAAI,EAAE;iBACN,IAAI,CAAC,IAAI,CAAC,CAAC;YAEd,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,8BAA8B,SAAS,IAAI,YAAY,kCAAkC,OAAO,GAAG,EACnG,aAAa,CAAC,IAAI,CAAC,EACnB,gMAAgM,YAAY,GAAG,CAChN,CACF,CAAC;QACJ,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,eAAe,GAAG,CAAC,CAAgB,EAAU,EAAE;QACnD,MAAM,IAAI,GAAG,CAAC,CAAC,kBAAkB,IAAI,EAAE,CAAC;QACxC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QACjC,OAAO,CAAC,GAAG,IAAI,CAAC;aACb,KAAK,EAAE;aACP,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;aACjC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;aAC5C,IAAI,CAAC,GAAG,CAAC,CAAC;IACf,CAAC,CAAC;IAEF,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;IACvC,MAAM,cAAc,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC;IAE9E,OAAO;QACL,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,QAAQ;QAChC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI;QACxB,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM;QAC5B,kBAAkB,EAChB,cAAc;YACd,KAAK,CAAC,kBAAkB;YACxB,KAAK,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC;YACjC,CAAC,CAAC,KAAK,CAAC,kBAAkB;YAC1B,CAAC,CAAC,SAAS;QACf,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;KAC3C,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,IAAiC,EACjC,YAAoB,EACpB,GAAmB,EACkB,EAAE;IACvC,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC;IACzD,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAEhC,MAAM,iBAAiB,GAAG,GAAG,CAAC,OAAO,CAAC,4BAA4B,CAAC,QAAQ,CAAC,CAAC;IAC7E,IAAI,CAAC,iBAAiB;QAAE,OAAO,SAAS,CAAC;IAEzC,MAAM,iBAAiB,GAAG,CAAC,GAAG,EAAE;QAC9B,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;QAC3B,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;YAC9D,OAAO,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;QACjC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC,EAAE,CAAC;IAEL,wDAAwD;IACxD,+EAA+E;IAC/E,IAAI,4BAAgD,CAAC;IACrD,IAAI,oBAAwC,CAAC;IAC7C,IAAI,wBAA4C,CAAC;IAEjD,MAAM,QAAQ,GAAG,CAAC,GAAG,EAAE;QACrB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;QAC3B,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI;YAC5D,OAAO,SAAS,CAAC;QAEnB,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC;QACvD,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAE7B,sFAAsF;QACtF,mFAAmF;QACnF,uFAAuF;QACvF,sFAAsF;QACtF,mFAAmF;QACnF,MAAM,oBAAoB,GACxB,GAAG,CAAC,OAAO,CAAC,+BAA+B,CAAC,KAAK,CAAC,CAAC;QACrD,4BAA4B,GAAG,oBAAoB,CAAC;QACpD,IAAI,CAAC,oBAAoB;YAAE,OAAO,SAAS,CAAC;QAE5C,2EAA2E;QAC3E,IAAI,oBAAoB,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC9C,OAAO,GAAG,CAAC,QAAQ,CAAC,sBAAsB,CACxC,oBAAoB,EACpB,YAAY,EACZ,iBAAiB,CAClB,CAAC;QACJ,CAAC;QAED,oEAAoE;QACpE,wFAAwF;QACxF,IAAI,oBAAoB,CAAC,UAAU,CAAC,qBAAqB,CAAC,EAAE,CAAC;YAC3D,MAAM,YAAY,GAAG,oBAAoB,CAAC,KAAK,CAC7C,qBAAqB,CAAC,MAAM,CAC7B,CAAC;YACF,oBAAoB,GAAG,YAAY,CAAC;YACpC,IAAI,CAAC,YAAY;gBAAE,OAAO,SAAS,CAAC;YAEpC,MAAM,YAAY,GAAG,GAAG,CAAC,OAAO,CAAC,0BAA0B,CAAC,KAAK,CAAC,CAAC;YACnE,IAAI,CAAC,YAAY;gBAAE,OAAO,SAAS,CAAC;YAEpC,MAAM,uBAAuB,GAAG,CAC9B,QAAqB,EACD,EAAE;gBACtB,IAAI,OAAO,GAAG,QAAQ,CAAC;gBACvB,OAAO,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC;oBAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC;gBAEnE,IAAI,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,EAAE,CAAC;oBACpC,MAAM,EAAE,GAAG,OAAO,CAAC,QAAQ,CAAC;oBAC5B,IAAI,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC;wBAAE,OAAO,EAAE,CAAC,IAAI,CAAC;oBACxC,IAAI,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;wBAAE,OAAO,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;gBACnD,CAAC;gBAED,OAAO,SAAS,CAAC;YACnB,CAAC,CAAC;YAEF,MAAM,gBAAgB,GAAG,uBAAuB,CAAC,YAAY,CAAC,CAAC;YAC/D,wBAAwB,GAAG,gBAAgB,CAAC;YAC5C,IAAI,CAAC,gBAAgB;gBAAE,OAAO,SAAS,CAAC;YAExC,OAAO,GAAG,CAAC,QAAQ,CAAC,2BAA2B,CAC7C,YAAY,EACZ,gBAAgB,EAChB,YAAY,EACZ,iBAAiB,CAClB,CAAC;QACJ,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC,EAAE,CAAC;IAEL,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,yFAAyF;QACzF,wFAAwF;QACxF,8DAA8D;QAC9D,IACE,iBAAiB,CAAC,UAAU,CAAC,QAAQ,CAAC;YACtC,iBAAiB,CAAC,UAAU,CAAC,qBAAqB,CAAC,EACnD,CAAC;YACD,MAAM,MAAM,GAAG;gBACb,4BAA4B;oBAC1B,CAAC,CAAC,iCAAiC,4BAA4B,IAAI;oBACnE,CAAC,CAAC,+CAA+C;gBACnD,oBAAoB;oBAClB,CAAC,CAAC,mBAAmB,oBAAoB,IAAI;oBAC7C,CAAC,CAAC,2BAA2B;gBAC/B,wBAAwB;oBACtB,CAAC,CAAC,mBAAmB,wBAAwB,IAAI;oBACjD,CAAC,CAAC,2BAA2B;aAChC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAEZ,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,uDAAuD,YAAY,SAAS,iBAAiB,MAAM,MAAM,EAAE,EAC3G,aAAa,CAAC,IAAI,CAAC,EACnB,wKAAwK,CACzK,CACF,CAAC;QACJ,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,kFAAkF;IAClF,0FAA0F;IAC1F,MAAM,gBAAgB,GAAG,QAAQ,CAAC,kBAAkB;QAClD,CAAC,CAAC,QAAQ,CAAC,kBAAkB;aACxB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;aAC1D,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;QAChC,CAAC,CAAC,SAAS,CAAC;IAEd,OAAO;QACL,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC,QAAQ;QACnC,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI;QAC3B,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM;QAC/B,kBAAkB,EAChB,gBAAgB,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC;YAC7C,CAAC,CAAC,gBAAgB;YAClB,CAAC,CAAC,SAAS;QACf,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;KAC9C,CAAC;AACJ,CAAC,CAAC"}