@tsonic/frontend 0.0.74 → 0.0.75

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

@@ -1,494 +1,11 @@
 /**
- * Binding resolution for member access expressions
+ * Binding resolution for member access expressions — Facade
  *
- * Hierarchical binding lookup, extension method resolution, and
- * MemberId-based fallback binding for CLR property casing.
+ * Re-exports from sub-modules:
+ * - binding-resolution-hierarchical: resolveHierarchicalBinding
+ * - binding-resolution-memberid: resolveHierarchicalBindingFromMemberId,
+ *     resolveExtensionMethodsBinding
  */
-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 getWrapperBindingCandidates = () => {
-        const inferredType = object.inferredType;
-        if (!inferredType)
-            return [];
-        const candidates = [];
-        const pushCandidate = (name) => {
-            if (!candidates.includes(name)) {
-                candidates.push(name);
-            }
-        };
-        if (inferredType.kind === "arrayType") {
-            pushCandidate("Array");
-            return candidates;
-        }
-        if (inferredType.kind === "primitiveType") {
-            if (inferredType.name === "string") {
-                pushCandidate("String");
-            }
-            if (inferredType.name === "number") {
-                pushCandidate("Number");
-            }
-            if (inferredType.name === "boolean") {
-                pushCandidate("Boolean");
-            }
-            return candidates;
-        }
-        if (inferredType.kind === "literalType") {
-            if (typeof inferredType.value === "string") {
-                pushCandidate("String");
-            }
-            if (typeof inferredType.value === "number") {
-                pushCandidate("Number");
-            }
-            if (typeof inferredType.value === "boolean") {
-                pushCandidate("Boolean");
-            }
-        }
-        return candidates;
-    };
-    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 {
-            kind: first.kind,
-            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,
-            emitSemantics: first.emitSemantics,
-        };
-    };
-    // Case 1: object is identifier → check if it's a namespace, then check if property is a type
-    if (object.kind === "identifier") {
-        const simpleBinding = ctx.bindings.getBinding(object.name);
-        if (simpleBinding?.staticType) {
-            const staticAlias = tsbindgenClrTypeNameToTsTypeName(simpleBinding.staticType);
-            if (staticAlias) {
-                const overloads = registry.getMemberOverloads(staticAlias, propertyName);
-                if (overloads && overloads.length > 0) {
-                    return toIrMemberBinding(overloads);
-                }
-            }
-        }
-        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, plus any surface wrapper bindings, to look
-    // up the member binding deterministically.
-    const objectTypeCandidates = [
-        ...getWrapperBindingCandidates(),
-        extractTypeName(object.inferredType),
-    ].filter((candidate) => typeof candidate === "string");
-    for (const objectTypeName of objectTypeCandidates) {
-        const overloads = registry.getMemberOverloads(objectTypeName, propertyName);
-        if (!overloads || overloads.length === 0)
-            continue;
-        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 expectedClrType = resolveExpectedClrTypeFromBindings(raw, declaringTypeTsName);
-    if (!expectedClrType)
-        return undefined;
-    const filtered = overloads.filter((m) => m.binding.type === expectedClrType);
-    return filtered.length > 0 ? filtered : undefined;
-};
-const resolveExpectedClrTypeFromBindings = (raw, declaringTypeTsName) => {
-    const matchesDeclaringTsName = (clrTypeName) => {
-        const tsName = tsbindgenClrTypeNameToTsTypeName(clrTypeName);
-        return (tsName === declaringTypeTsName ||
-            tsName.toLowerCase() === declaringTypeTsName.toLowerCase());
-    };
-    // tsbindgen/full manifest shape
-    const types = raw.types;
-    if (Array.isArray(types)) {
-        const matchingClrTypes = new Set();
-        for (const t of types) {
-            if (!t || typeof t !== "object")
-                continue;
-            const clrName = t.clrName;
-            if (typeof clrName !== "string")
-                continue;
-            if (matchesDeclaringTsName(clrName)) {
-                matchingClrTypes.add(clrName);
-            }
-        }
-        if (matchingClrTypes.size === 1) {
-            const [only] = matchingClrTypes;
-            return only;
-        }
-        return undefined;
-    }
-    // simple manifest shape: { bindings: { name: { type: "Namespace.Type" } } }
-    const bindings = raw.bindings;
-    if (!bindings || typeof bindings !== "object" || Array.isArray(bindings)) {
-        return undefined;
-    }
-    const matchingClrTypes = new Set();
-    for (const descriptor of Object.values(bindings)) {
-        if (!descriptor || typeof descriptor !== "object")
-            continue;
-        const clrType = descriptor.type;
-        if (typeof clrType !== "string")
-            continue;
-        if (matchesDeclaringTsName(clrType)) {
-            matchingClrTypes.add(clrType);
-        }
-    }
-    if (matchingClrTypes.size === 1) {
-        const [only] = matchingClrTypes;
-        return only;
-    }
-    return 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);
-    const staticOverloads = (() => {
-        if (!ts.isIdentifier(node.expression))
-            return undefined;
-        const simpleBinding = ctx.bindings.getBinding(node.expression.text);
-        if (!simpleBinding?.staticType)
-            return undefined;
-        const staticAlias = tsbindgenClrTypeNameToTsTypeName(simpleBinding.staticType);
-        if (!staticAlias)
-            return undefined;
-        return ctx.bindings.getMemberOverloads(staticAlias, propertyName);
-    })();
-    let overloadsAll = staticOverloads ?? 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 {
-        kind: first.kind,
-        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,
-        emitSemantics: first.emitSemantics,
-    };
-};
-/**
- * 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;
-                }
-                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) {
-        // 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 {
-        kind: resolved.kind,
-        assembly: resolved.binding.assembly,
-        type: resolved.binding.type,
-        member: resolved.binding.member,
-        parameterModifiers: shiftedModifiers && shiftedModifiers.length > 0
-            ? shiftedModifiers
-            : undefined,
-        isExtensionMethod: resolved.isExtensionMethod,
-        emitSemantics: resolved.emitSemantics,
-    };
-};
+export { resolveHierarchicalBinding } from "./binding-resolution-hierarchical.js";
+export { resolveHierarchicalBindingFromMemberId, resolveExtensionMethodsBinding, } from "./binding-resolution-memberid.js";
 //# sourceMappingURL=binding-resolution.js.map

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

@@ -1 +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,2BAA2B,GAAG,GAAsB,EAAE;QAC1D,MAAM,YAAY,GAAG,MAAM,CAAC,YAAY,CAAC;QACzC,IAAI,CAAC,YAAY;YAAE,OAAO,EAAE,CAAC;QAE7B,MAAM,UAAU,GAAa,EAAE,CAAC;QAChC,MAAM,aAAa,GAAG,CAAC,IAAY,EAAQ,EAAE;YAC3C,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC/B,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,CAAC;QACH,CAAC,CAAC;QAEF,IAAI,YAAY,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACtC,aAAa,CAAC,OAAO,CAAC,CAAC;YACvB,OAAO,UAAU,CAAC;QACpB,CAAC;QAED,IAAI,YAAY,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAC1C,IAAI,YAAY,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACnC,aAAa,CAAC,QAAQ,CAAC,CAAC;YAC1B,CAAC;YACD,IAAI,YAAY,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACnC,aAAa,CAAC,QAAQ,CAAC,CAAC;YAC1B,CAAC;YACD,IAAI,YAAY,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACpC,aAAa,CAAC,SAAS,CAAC,CAAC;YAC3B,CAAC;YACD,OAAO,UAAU,CAAC;QACpB,CAAC;QAED,IAAI,YAAY,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACxC,IAAI,OAAO,YAAY,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC3C,aAAa,CAAC,QAAQ,CAAC,CAAC;YAC1B,CAAC;YACD,IAAI,OAAO,YAAY,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC3C,aAAa,CAAC,QAAQ,CAAC,CAAC;YAC1B,CAAC;YACD,IAAI,OAAO,YAAY,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;gBAC5C,aAAa,CAAC,SAAS,CAAC,CAAC;YAC3B,CAAC;QACH,CAAC;QAED,OAAO,UAAU,CAAC;IACpB,CAAC,CAAC;IAEF,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,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,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;YAC1C,aAAa,EAAE,KAAK,CAAC,aAAa;SACnC,CAAC;IACJ,CAAC,CAAC;IAEF,6FAA6F;IAC7F,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACjC,MAAM,aAAa,GAAG,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC3D,IAAI,aAAa,EAAE,UAAU,EAAE,CAAC;YAC9B,MAAM,WAAW,GAAG,gCAAgC,CAClD,aAAa,CAAC,UAAU,CACzB,CAAC;YACF,IAAI,WAAW,EAAE,CAAC;gBAChB,MAAM,SAAS,GAAG,QAAQ,CAAC,kBAAkB,CAC3C,WAAW,EACX,YAAY,CACb,CAAC;gBACF,IAAI,SAAS,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACtC,OAAO,iBAAiB,CAAC,SAAS,CAAC,CAAC;gBACtC,CAAC;YACH,CAAC;QACH,CAAC;QAED,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,6EAA6E;IAC7E,2CAA2C;IAC3C,MAAM,oBAAoB,GAAG;QAC3B,GAAG,2BAA2B,EAAE;QAChC,eAAe,CAAC,MAAM,CAAC,YAAY,CAAC;KACrC,CAAC,MAAM,CAAC,CAAC,SAAS,EAAuB,EAAE,CAAC,OAAO,SAAS,KAAK,QAAQ,CAAC,CAAC;IAE5E,KAAK,MAAM,cAAc,IAAI,oBAAoB,EAAE,CAAC;QAClD,MAAM,SAAS,GAAG,QAAQ,CAAC,kBAAkB,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC;QAC5E,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACnD,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;IAEtD,MAAM,eAAe,GAAG,kCAAkC,CACxD,GAA8B,EAC9B,mBAAmB,CACpB,CAAC;IACF,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,MAAM,kCAAkC,GAAG,CACzC,GAA4B,EAC5B,mBAA2B,EACP,EAAE;IACtB,MAAM,sBAAsB,GAAG,CAAC,WAAmB,EAAW,EAAE;QAC9D,MAAM,MAAM,GAAG,gCAAgC,CAAC,WAAW,CAAC,CAAC;QAC7D,OAAO,CACL,MAAM,KAAK,mBAAmB;YAC9B,MAAM,CAAC,WAAW,EAAE,KAAK,mBAAmB,CAAC,WAAW,EAAE,CAC3D,CAAC;IACJ,CAAC,CAAC;IAEF,gCAAgC;IAChC,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC;IACxB,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;QAC3C,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ;gBAAE,SAAS;YAC1C,MAAM,OAAO,GAAI,CAAoC,CAAC,OAAO,CAAC;YAC9D,IAAI,OAAO,OAAO,KAAK,QAAQ;gBAAE,SAAS;YAC1C,IAAI,sBAAsB,CAAC,OAAO,CAAC,EAAE,CAAC;gBACpC,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAChC,CAAC;QACH,CAAC;QAED,IAAI,gBAAgB,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YAChC,MAAM,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC;YAChC,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,4EAA4E;IAC5E,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC;IAC9B,IAAI,CAAC,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC3C,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjD,IAAI,CAAC,UAAU,IAAI,OAAO,UAAU,KAAK,QAAQ;YAAE,SAAS;QAC5D,MAAM,OAAO,GAAI,UAA0C,CAAC,IAAI,CAAC;QACjE,IAAI,OAAO,OAAO,KAAK,QAAQ;YAAE,SAAS;QAC1C,IAAI,sBAAsB,CAAC,OAAO,CAAC,EAAE,CAAC;YACpC,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IAED,IAAI,gBAAgB,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC;QAChC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,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,MAAM,eAAe,GAAG,CAAC,GAAG,EAAE;QAC5B,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;YAAE,OAAO,SAAS,CAAC;QACxD,MAAM,aAAa,GAAG,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACpE,IAAI,CAAC,aAAa,EAAE,UAAU;YAAE,OAAO,SAAS,CAAC;QACjD,MAAM,WAAW,GAAG,gCAAgC,CAClD,aAAa,CAAC,UAAU,CACzB,CAAC;QACF,IAAI,CAAC,WAAW;YAAE,OAAO,SAAS,CAAC;QACnC,OAAO,GAAG,CAAC,QAAQ,CAAC,kBAAkB,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC;IACpE,CAAC,CAAC,EAAE,CAAC;IAEL,IAAI,YAAY,GACd,eAAe,IAAI,GAAG,CAAC,QAAQ,CAAC,kBAAkB,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;IAC9E,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,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,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;QAC1C,aAAa,EAAE,KAAK,CAAC,aAAa;KACnC,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,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,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,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,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;QAC7C,aAAa,EAAE,QAAQ,CAAC,aAAa;KACtC,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"binding-resolution.js","sourceRoot":"","sources":["../../../../../src/ir/converters/expressions/access/binding-resolution.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,0BAA0B,EAAE,MAAM,sCAAsC,CAAC;AAClF,OAAO,EACL,sCAAsC,EACtC,8BAA8B,GAC/B,MAAM,kCAAkC,CAAC"}

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

@@ -2,17 +2,17 @@
  * 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 { IrType, ComputedAccessKind, ComputedAccessProtocol } from "../../../types.js";
 import type { ProgramContext } from "../../../program-context.js";
+export declare const hasDeclaredMemberByName: (receiverIrType: IrType | undefined, propertyName: string, ctx: ProgramContext) => boolean;
 /**
  * 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.
+ * ALICE'S SPEC: Uses explicit TypeSystem queries only.
+ * Prefer exact member-handle typing when Binding resolved the property access to a
+ * concrete declaration; otherwise use receiver+member TypeSystem lookup.
  *
  * @param node - Property access expression node
  * @param receiverIrType - Already-computed IR type of the receiver (object) expression
@@ -31,6 +31,7 @@ export declare const getDeclaredPropertyType: (node: ts.PropertyAccessExpression
  * The goal is to preserve deterministic proof behavior without heuristics.
  */
 export declare const normalizeForComputedAccess: (type: IrType | undefined) => IrType | undefined;
+export declare const resolveComputedAccessProtocol: (objectType: IrType | undefined, ctx: ProgramContext) => ComputedAccessProtocol | undefined;
 /**
  * Classify computed member access for proof pass.
  * This determines whether Int32 proof is required for the index.
@@ -63,5 +64,5 @@ export declare const extractTypeName: (inferredType: IrType | undefined) => stri
  * - String → string (single character)
  * - Other → undefined
  */
-export declare const deriveElementType: (objectType: IrType | undefined, ctx: ProgramContext) => IrType | undefined;
+export declare const deriveElementType: (objectType: IrType | undefined, ctx: ProgramContext, accessExpression?: ts.Expression) => IrType | undefined;
 //# sourceMappingURL=member-resolution.d.ts.map

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

@@ -1 +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;AAwElE;;;;;;;;;;GAUG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,EAAE,CAAC,wBAAwB,EACjC,gBAAgB,MAAM,GAAG,SAAS,EAClC,KAAK,cAAc,KAClB,MAAM,GAAG,SAsDX,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,SAsHX,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB,GAC5B,YAAY,MAAM,GAAG,SAAS,EAC9B,KAAK,cAAc,KAClB,MAAM,GAAG,SA+BX,CAAC"}
+{"version":3,"file":"member-resolution.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/expressions/access/member-resolution.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,MAAM,EACN,kBAAkB,EAClB,sBAAsB,EACvB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AA6MlE,eAAO,MAAM,uBAAuB,GAClC,gBAAgB,MAAM,GAAG,SAAS,EAClC,cAAc,MAAM,EACpB,KAAK,cAAc,KAClB,OA6BF,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,EAAE,CAAC,wBAAwB,EACjC,gBAAgB,MAAM,GAAG,SAAS,EAClC,KAAK,cAAc,KAClB,MAAM,GAAG,SA+FX,CAAC;AAEF;;;;;;;;;GASG;AACH,eAAO,MAAM,0BAA0B,GACrC,MAAM,MAAM,GAAG,SAAS,KACvB,MAAM,GAAG,SA8BX,CAAC;AAuJF,eAAO,MAAM,6BAA6B,GACxC,YAAY,MAAM,GAAG,SAAS,EAC9B,KAAK,cAAc,KAClB,sBAAsB,GAAG,SAkB3B,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,sBAAsB,GACjC,YAAY,MAAM,GAAG,SAAS,EAC9B,KAAK,cAAc,KAClB,kBAmCF,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,eAAe,GAC1B,cAAc,MAAM,GAAG,SAAS,KAC/B,MAAM,GAAG,SA+FX,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB,GAC5B,YAAY,MAAM,GAAG,SAAS,EAC9B,KAAK,cAAc,EACnB,mBAAmB,EAAE,CAAC,UAAU,KAC/B,MAAM,GAAG,SA0DX,CAAC"}