@tsonic/frontend 0.0.62 → 0.0.64

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

@@ -0,0 +1,447 @@
+/**
+ * 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 { resolveSurfaceCapabilities } from "../../../../surface/profiles.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, receiverType) => {
+    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;
+                }
+                if (current.kind === ts.SyntaxKind.StringKeyword)
+                    return "String";
+                if (current.kind === ts.SyntaxKind.NumberKeyword)
+                    return "Double";
+                if (current.kind === ts.SyntaxKind.BooleanKeyword)
+                    return "Boolean";
+                return undefined;
+            };
+            const receiverTypeName = extractReceiverTypeName(thisTypeNode);
+            receiverTypeNameForError = receiverTypeName;
+            if (!receiverTypeName)
+                return undefined;
+            return ctx.bindings.resolveExtensionMethodByKey(namespaceKey, receiverTypeName, propertyName, callArgumentCount);
+        }
+        return undefined;
+    })();
+    if (!resolved) {
+        const surfaceCapabilities = resolveSurfaceCapabilities(ctx.surface);
+        const jsSurfaceResolved = surfaceCapabilities.enableJsBuiltins && receiverType
+            ? resolveJsSurfaceExtensionBinding(ctx, receiverType, propertyName, callArgumentCount)
+            : undefined;
+        if (jsSurfaceResolved) {
+            return {
+                assembly: jsSurfaceResolved.binding.assembly,
+                type: jsSurfaceResolved.binding.type,
+                member: jsSurfaceResolved.binding.member,
+                parameterModifiers: jsSurfaceResolved.parameterModifiers &&
+                    jsSurfaceResolved.parameterModifiers.length > 0
+                    ? jsSurfaceResolved.parameterModifiers
+                    : undefined,
+                isExtensionMethod: jsSurfaceResolved.isExtensionMethod,
+            };
+        }
+        // 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,
+    };
+};
+const JS_SURFACE_NAMESPACE_KEY = "Tsonic_JSRuntime";
+const getJsSurfaceReceiverCandidates = (receiverType) => {
+    if (receiverType.kind === "primitiveType") {
+        switch (receiverType.name) {
+            case "string":
+                return ["String", "string"];
+            case "number":
+                return ["Double", "double", "number"];
+            case "int":
+                return ["Int32", "int"];
+            case "boolean":
+                return ["Boolean", "bool", "boolean"];
+            default:
+                return [receiverType.name];
+        }
+    }
+    if (receiverType.kind === "referenceType") {
+        const candidates = new Set([receiverType.name]);
+        const clrName = receiverType.resolvedClrType ?? receiverType.typeId?.clrName;
+        if (clrName) {
+            const simple = clrName.includes(".")
+                ? clrName.slice(clrName.lastIndexOf(".") + 1)
+                : clrName;
+            candidates.add(simple);
+        }
+        return Array.from(candidates);
+    }
+    if (receiverType.kind === "arrayType") {
+        return ["Array", "JSArray_1", "List_1"];
+    }
+    return [];
+};
+const resolveJsSurfaceExtensionBinding = (ctx, receiverType, propertyName, callArgumentCount) => {
+    for (const receiverCandidate of getJsSurfaceReceiverCandidates(receiverType)) {
+        const resolved = ctx.bindings.resolveExtensionMethodByKey(JS_SURFACE_NAMESPACE_KEY, receiverCandidate, propertyName, callArgumentCount);
+        if (resolved)
+            return resolved;
+    }
+    return undefined;
+};
+//# 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,0BAA0B,EAAE,MAAM,iCAAiC,CAAC;AAC7E,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,EACnB,YAAqB,EACgB,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,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;oBAAE,OAAO,QAAQ,CAAC;gBAClE,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;oBAAE,OAAO,QAAQ,CAAC;gBAClE,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;oBAAE,OAAO,SAAS,CAAC;gBAEpE,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,MAAM,mBAAmB,GAAG,0BAA0B,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACpE,MAAM,iBAAiB,GACrB,mBAAmB,CAAC,gBAAgB,IAAI,YAAY;YAClD,CAAC,CAAC,gCAAgC,CAC9B,GAAG,EACH,YAAY,EACZ,YAAY,EACZ,iBAAiB,CAClB;YACH,CAAC,CAAC,SAAS,CAAC;QAEhB,IAAI,iBAAiB,EAAE,CAAC;YACtB,OAAO;gBACL,QAAQ,EAAE,iBAAiB,CAAC,OAAO,CAAC,QAAQ;gBAC5C,IAAI,EAAE,iBAAiB,CAAC,OAAO,CAAC,IAAI;gBACpC,MAAM,EAAE,iBAAiB,CAAC,OAAO,CAAC,MAAM;gBACxC,kBAAkB,EAChB,iBAAiB,CAAC,kBAAkB;oBACpC,iBAAiB,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC;oBAC7C,CAAC,CAAC,iBAAiB,CAAC,kBAAkB;oBACtC,CAAC,CAAC,SAAS;gBACf,iBAAiB,EAAE,iBAAiB,CAAC,iBAAiB;aACvD,CAAC;QACJ,CAAC;QAED,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;AAEF,MAAM,wBAAwB,GAAG,kBAAkB,CAAC;AAEpD,MAAM,8BAA8B,GAAG,CACrC,YAAoB,EACD,EAAE;IACrB,IAAI,YAAY,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC1C,QAAQ,YAAY,CAAC,IAAI,EAAE,CAAC;YAC1B,KAAK,QAAQ;gBACX,OAAO,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;YAC9B,KAAK,QAAQ;gBACX,OAAO,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;YACxC,KAAK,KAAK;gBACR,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YAC1B,KAAK,SAAS;gBACZ,OAAO,CAAC,SAAS,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;YACxC;gBACE,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IAED,IAAI,YAAY,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC1C,MAAM,UAAU,GAAG,IAAI,GAAG,CAAS,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;QACxD,MAAM,OAAO,GACX,YAAY,CAAC,eAAe,IAAI,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC;QAC/D,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAClC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC7C,CAAC,CAAC,OAAO,CAAC;YACZ,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACzB,CAAC;QACD,OAAO,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAChC,CAAC;IAED,IAAI,YAAY,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACtC,OAAO,CAAC,OAAO,EAAE,WAAW,EAAE,QAAQ,CAAC,CAAC;IAC1C,CAAC;IAED,OAAO,EAAE,CAAC;AACZ,CAAC,CAAC;AAEF,MAAM,gCAAgC,GAAG,CACvC,GAAmB,EACnB,YAAoB,EACpB,YAAoB,EACpB,iBAA0B,EAC1B,EAAE;IACF,KAAK,MAAM,iBAAiB,IAAI,8BAA8B,CAC5D,YAAY,CACb,EAAE,CAAC;QACF,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,2BAA2B,CACvD,wBAAwB,EACxB,iBAAiB,EACjB,YAAY,EACZ,iBAAiB,CAClB,CAAC;QACF,IAAI,QAAQ;YAAE,OAAO,QAAQ,CAAC;IAChC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}

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

@@ -0,0 +1,67 @@
+/**
+ * Member access property type resolution and name extraction helpers
+ *
+ * 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 { IrType, ComputedAccessKind } from "../../../types.js";
+import type { ProgramContext } from "../../../program-context.js";
+/**
+ * Get the declared property type from a property access expression.
+ *
+ * ALICE'S SPEC: Uses TypeSystem.typeOfMember() as primary source.
+ * Falls back to Binding for inherited members not in TypeRegistry.
+ *
+ * @param node - Property access expression node
+ * @param receiverIrType - Already-computed IR type of the receiver (object) expression
+ * @param ctx - ProgramContext for type system and binding access
+ * @returns The deterministically computed property type
+ */
+export declare const getDeclaredPropertyType: (node: ts.PropertyAccessExpression, receiverIrType: IrType | undefined, ctx: ProgramContext) => IrType | undefined;
+/**
+ * Normalize a receiver type for computed access classification.
+ *
+ * This supports common TS shapes that appear at runtime:
+ * - Nullish unions (`T | undefined` / `T | null | undefined`)
+ * - tsbindgen-style intersection views (`T$instance & __T$views`, and primitives like
+ *   `string & String$instance & __String$views`)
+ *
+ * The goal is to preserve deterministic proof behavior without heuristics.
+ */
+export declare const normalizeForComputedAccess: (type: IrType | undefined) => IrType | undefined;
+/**
+ * Classify computed member access for proof pass.
+ * This determines whether Int32 proof is required for the index.
+ *
+ * Classification is based on IR type kinds, NOT string matching.
+ * CLR indexers (arrays, List<T>, etc.) require Int32 proof for indices.
+ *
+ * IMPORTANT: If classification cannot be determined reliably for a CLR-bound
+ * reference type, we conservatively assume `clrIndexer` (requires Int32 proof).
+ * This is safer than allowing arbitrary dictionary access without proof.
+ *
+ * @param objectType - The inferred type of the object being accessed
+ * @returns The access kind classification
+ */
+export declare const classifyComputedAccess: (objectType: IrType | undefined, ctx: ProgramContext) => ComputedAccessKind;
+/**
+ * Extract the type name from an inferred type for binding lookup.
+ * Handles tsbindgen's naming convention where instance types are suffixed with $instance
+ * (e.g., List_1$instance → List_1 for binding lookup)
+ *
+ * Also handles intersection types like `TypeName$instance & __TypeName$views`
+ * which are common in tsbindgen-generated types. In this case, we look for
+ * the $instance member and extract the type name from it.
+ */
+export declare const extractTypeName: (inferredType: IrType | undefined) => string | undefined;
+/**
+ * Derive element type from object type for element access.
+ * - Array type → element type
+ * - Dictionary type → value type
+ * - String → string (single character)
+ * - Other → undefined
+ */
+export declare const deriveElementType: (objectType: IrType | undefined, ctx: ProgramContext) => IrType | undefined;
+//# sourceMappingURL=member-resolution.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"member-resolution.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/expressions/access/member-resolution.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAiClE;;;;;;;;;;GAUG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,EAAE,CAAC,wBAAwB,EACjC,gBAAgB,MAAM,GAAG,SAAS,EAClC,KAAK,cAAc,KAClB,MAAM,GAAG,SA+CX,CAAC;AAEF;;;;;;;;;GASG;AACH,eAAO,MAAM,0BAA0B,GACrC,MAAM,MAAM,GAAG,SAAS,KACvB,MAAM,GAAG,SA8BX,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,sBAAsB,GACjC,YAAY,MAAM,GAAG,SAAS,EAC9B,KAAK,cAAc,KAClB,kBA6BF,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,eAAe,GAC1B,cAAc,MAAM,GAAG,SAAS,KAC/B,MAAM,GAAG,SA6FX,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB,GAC5B,YAAY,MAAM,GAAG,SAAS,EAC9B,KAAK,cAAc,KAClB,MAAM,GAAG,SA+BX,CAAC"}