@tsonic/frontend 0.0.61 → 0.0.63

package/dist/ir/type-system/type-system.js

@@ -10,57 +10,30 @@
  * - INV-1: No convertType/getHandleRegistry outside TypeAuthority
  * - INV-2: Deterministic type sources only
  * - INV-3: Poison-on-missing-types (return unknownType + emit diagnostic)
- */
-import * as ts from "typescript";
-import { substituteIrType as irSubstitute, } from "../types/ir-substitution.js";
-import { inferNumericKindFromRaw } from "../types/numeric-helpers.js";
-import { getBinaryResultKind, TSONIC_TO_NUMERIC_KIND, } from "../types/numeric-kind.js";
-// ═══════════════════════════════════════════════════════════════════════════
-// BUILTIN NOMINAL MAPPING
-// ═══════════════════════════════════════════════════════════════════════════
-/**
- * Mapping from primitive type names to their nominal type names.
  *
- * Used by typeOfMember to look up members on primitives.
- * e.g., `"hello".length` → String.length
+ * DAG position: orchestrator — imports all split modules, constructs state,
+ * returns TypeAuthority with functions bound to shared state.
  */
-export const BUILTIN_NOMINALS = {
-    string: "String",
-    number: "Number",
-    boolean: "Boolean",
-    bigint: "BigInt",
-    symbol: "Symbol",
-};
+export { BUILTIN_NOMINALS, poisonedCall } from "./type-system-state.js";
+// Import split module functions
+import { substitute as relSubstitute, instantiate as relInstantiate, isAssignableTo as relIsAssignableTo, typesEqual as relTypesEqual, containsTypeParameter as relContainsTypeParameter, } from "./type-system-relations.js";
+import { resolveCall as crResolveCall, delegateToFunctionType as crDelegateToFunctionType, } from "./type-system-call-resolution.js";
+import { typeOfDecl as infTypeOfDecl, typeOfMember as infTypeOfMember, getIndexerInfo as infGetIndexerInfo, typeOfMemberId as infTypeOfMemberId, getFQNameOfDecl as infGetFQNameOfDecl, isTypeDecl as infIsTypeDecl, isInterfaceDecl as infIsInterfaceDecl, isTypeAliasToObjectLiteral as infIsTypeAliasToObjectLiteral, signatureHasConditionalReturn as infSignatureHasConditionalReturn, signatureHasVariadicTypeParams as infSignatureHasVariadicTypeParams, declHasTypeAnnotation as infDeclHasTypeAnnotation, checkTsClassMemberOverride as infCheckTsClassMemberOverride, hasTypeParameters as infHasTypeParameters, typeFromSyntax as infTypeFromSyntax, } from "./type-system-inference.js";
+import { expandUtility as utExpandUtility } from "./type-system-utilities.js";
 // ═══════════════════════════════════════════════════════════════════════════
-// POISON VALUES
+// TYPESYSTEM FACTORY — Orchestrator
 // ═══════════════════════════════════════════════════════════════════════════
-/** Poison type for undeterminable types */
-export const unknownType = { kind: "unknownType" };
-/** Poison type for impossible types */
-export const neverType = { kind: "neverType" };
-/** Void type for functions with no return */
-export const voidType = { kind: "voidType" };
-/**
- * Create a poisoned ResolvedCall with correct arity.
- *
- * CRITICAL (Alice's spec): Empty arrays are ILLEGAL.
- * Poisoned results must have correct arity so callers cannot
- * detect failure via `length === 0` and fall back to legacy.
- *
- * @param arity Number of parameters/arguments (from CallQuery.argumentCount)
- * @param diagnostics Diagnostics explaining why resolution failed
- */
-export const poisonedCall = (arity, diagnostics) => ({
-    parameterTypes: Array(arity).fill(unknownType),
-    parameterModes: Array(arity).fill("value"),
-    returnType: unknownType,
-    diagnostics,
-});
 /**
  * Create a TypeSystem instance with internal caches.
  *
  * This is the single factory for TypeSystem. All type queries go through
  * the returned TypeSystem instance.
+ *
+ * Constructs the shared TypeSystemState and delegates to split modules:
+ * - type-system-relations.ts: substitute, instantiate, isAssignableTo, typesEqual, containsTypeParameter
+ * - type-system-call-resolution.ts: resolveCall, delegateToFunctionType, convertTypeNode
+ * - type-system-inference.ts: typeOfDecl, typeOfMember, getIndexerInfo, and declaration queries
+ * - type-system-utilities.ts: expandUtility
  */
 export const createTypeSystem = (config) => {
     const { handleRegistry, typeRegistry, nominalEnv, convertTypeNode: convertTypeNodeRaw, unifiedCatalog, aliasTable, resolveIdentifier, resolveCallSignature, resolveConstructorSignature, } = config;
@@ -96,2733 +69,63 @@ export const createTypeSystem = (config) => {
      */
     const diagnostics = [];
     // ─────────────────────────────────────────────────────────────────────────
-    // DIAGNOSTIC HELPERS
-    // ─────────────────────────────────────────────────────────────────────────
-    const emitDiagnostic = (code, message, site) => {
-        const location = site?.file !== undefined &&
-            site?.line !== undefined &&
-            site?.column !== undefined
-            ? {
-                file: site.file,
-                line: site.line,
-                column: site.column,
-                length: 1, // Default length
-            }
-            : undefined;
-        diagnostics.push({
-            code,
-            severity: "error",
-            message,
-            location,
-        });
-    };
-    // ─────────────────────────────────────────────────────────────────────────
-    // CACHE KEY HELPERS
-    // ─────────────────────────────────────────────────────────────────────────
-    /**
-     * Create a cache key for member type lookup.
-     */
-    const makeMemberCacheKey = (fqName, memberName, typeArgs) => {
-        if (typeArgs && typeArgs.length > 0) {
-            return `${fqName}:${memberName}:${JSON.stringify(typeArgs)}`;
-        }
-        return `${fqName}:${memberName}`;
-    };
-    /**
-     * Create a cache key for nominal lookup.
-     */
-    const makeNominalLookupKey = (fqName, typeArgs, memberName) => {
-        return `${fqName}:${JSON.stringify(typeArgs)}:${memberName}`;
-    };
-    // Helper to check if type is null/undefined primitive
-    const isNullishPrimitive = (t) => {
-        return (t.kind === "primitiveType" &&
-            (t.name === "null" || t.name === "undefined"));
-    };
-    // Use makeNominalLookupKey to suppress unused warning
-    void makeNominalLookupKey;
-    // ─────────────────────────────────────────────────────────────────────────
-    // RAW SIGNATURE EXTRACTION
-    // ─────────────────────────────────────────────────────────────────────────
-    /**
-     * Get or compute raw signature info from SignatureId.
-     * Caches the result for subsequent calls.
-     */
-    const getRawSignature = (sigId) => {
-        const cached = signatureRawCache.get(sigId.id);
-        if (cached)
-            return cached;
-        const sigInfo = handleRegistry.getSignature(sigId);
-        if (!sigInfo)
-            return undefined;
-        // Convert parameter types from TypeNodes to IrTypes
-        const parameterTypes = sigInfo.parameters.map((p) => (p.typeNode ? convertTypeNode(p.typeNode) : undefined));
-        // Convert a TypeScript `this:` parameter type (if present) to an IrType.
-        const thisParameterType = (() => {
-            const n = sigInfo.thisTypeNode;
-            return n ? convertTypeNode(n) : undefined;
-        })();
-        // Extract parameter modes
-        const parameterModes = sigInfo.parameters.map((p) => p.mode ?? "value");
-        // Extract parameter names
-        const parameterNames = sigInfo.parameters.map((p) => p.name);
-        // Extract type parameters
-        const typeParameters = (sigInfo.typeParameters ?? []).map((tp) => ({
-            name: tp.name,
-            constraint: tp.constraintNode
-                ? convertTypeNode(tp.constraintNode)
-                : undefined,
-            defaultType: tp.defaultNode ? convertTypeNode(tp.defaultNode) : undefined,
-        }));
-        const isConstructor = sigInfo.declaringMemberName === "constructor";
-        // Convert return type
-        const returnType = (() => {
-            if (sigInfo.returnTypeNode)
-                return convertTypeNode(sigInfo.returnTypeNode);
-            // Class constructor declarations do not have return type annotations in TS syntax.
-            // Deterministically synthesize the constructed instance type using the declaring
-            // identity captured in Binding and the (class) type parameters captured for the
-            // constructor signature.
-            if (isConstructor && sigInfo.declaringTypeTsName) {
-                const typeArguments = typeParameters.map((tp) => ({
-                    kind: "typeParameterType",
-                    name: tp.name,
-                }));
-                return {
-                    kind: "referenceType",
-                    name: sigInfo.declaringTypeTsName,
-                    ...(typeArguments.length > 0 ? { typeArguments } : {}),
-                };
-            }
-            return voidType;
-        })();
-        // Extract type predicate (already extracted in Binding at registration time)
-        let typePredicate;
-        if (sigInfo.typePredicate) {
-            const pred = sigInfo.typePredicate;
-            const targetType = convertTypeNode(pred.targetTypeNode);
-            if (pred.kind === "param") {
-                typePredicate = {
-                    kind: "param",
-                    parameterIndex: pred.parameterIndex,
-                    targetType,
-                };
-            }
-            else {
-                typePredicate = {
-                    kind: "this",
-                    targetType,
-                };
-            }
-        }
-        const rawSig = {
-            parameterTypes,
-            thisParameterType,
-            returnType,
-            parameterModes,
-            typeParameters,
-            parameterNames,
-            typePredicate,
-            declaringTypeTsName: sigInfo.declaringTypeTsName,
-            declaringMemberName: sigInfo.declaringMemberName,
-        };
-        signatureRawCache.set(sigId.id, rawSig);
-        return rawSig;
-    };
-    // ─────────────────────────────────────────────────────────────────────────
-    // STEP 5: TYPESYSTEM ALGORITHM IMPLEMENTATIONS
-    // ─────────────────────────────────────────────────────────────────────────
-    /**
-     * Resolve a surface name to a canonical TypeId.
-     *
-     * Order:
-     * 1) AliasTable (primitives/globals/System.* canonicalization)
-     * 2) UnifiedTypeCatalog by tsName
-     * 3) UnifiedTypeCatalog by clrName
-     *
-     * IMPORTANT (airplane-grade):
-     * Resolution must be arity-aware when type arguments are present. Facade
-     * types often omit the `_N` generic arity suffix (e.g. `IList<T>` is a
-     * facade over `IList_1<T>`). When `arity` is provided and the direct
-     * resolution doesn't match, we deterministically try `<name>_<arity>`.
-     */
-    const resolveTypeIdByName = (name, arity) => {
-        const direct = aliasTable.get(name) ??
-            unifiedCatalog.resolveTsName(name) ??
-            unifiedCatalog.resolveClrName(name);
-        if (arity === undefined)
-            return direct;
-        if (direct) {
-            const directArity = unifiedCatalog.getTypeParameters(direct).length;
-            if (directArity === arity)
-                return direct;
-        }
-        // Facade name without arity suffix → try tsbindgen's structural encoding.
-        if (arity > 0) {
-            const suffixed = `${name}_${arity}`;
-            const candidate = aliasTable.get(suffixed) ??
-                unifiedCatalog.resolveTsName(suffixed) ??
-                unifiedCatalog.resolveClrName(suffixed);
-            if (candidate) {
-                const candidateArity = unifiedCatalog.getTypeParameters(candidate).length;
-                if (candidateArity === arity)
-                    return candidate;
-            }
-        }
-        return undefined;
-    };
-    /**
-     * Attach canonical TypeIds to IR types where possible.
-     *
-     * This keeps nominal identity stable throughout the pipeline and enables
-     * emit-time resolution without relying on string name matching.
-     */
-    const attachParameterTypeIds = (p) => ({
-        ...p,
-        type: p.type ? attachTypeIds(p.type) : undefined,
-    });
-    const attachTypeParameterTypeIds = (tp) => ({
-        ...tp,
-        constraint: tp.constraint ? attachTypeIds(tp.constraint) : undefined,
-        default: tp.default ? attachTypeIds(tp.default) : undefined,
-        structuralMembers: tp.structuralMembers?.map(attachInterfaceMemberTypeIds),
-    });
-    const attachInterfaceMemberTypeIds = (m) => {
-        if (m.kind === "propertySignature") {
-            return { ...m, type: attachTypeIds(m.type) };
-        }
-        return {
-            ...m,
-            typeParameters: m.typeParameters?.map(attachTypeParameterTypeIds),
-            parameters: m.parameters.map(attachParameterTypeIds),
-            returnType: m.returnType ? attachTypeIds(m.returnType) : undefined,
-        };
-    };
-    const attachTypeIds = (type) => {
-        switch (type.kind) {
-            case "referenceType": {
-                const typeId = type.typeId ??
-                    resolveTypeIdByName(type.resolvedClrType ?? type.name, type.typeArguments?.length);
-                return {
-                    ...type,
-                    ...(type.typeArguments
-                        ? { typeArguments: type.typeArguments.map(attachTypeIds) }
-                        : {}),
-                    ...(type.structuralMembers
-                        ? {
-                            structuralMembers: type.structuralMembers.map(attachInterfaceMemberTypeIds),
-                        }
-                        : {}),
-                    ...(typeId ? { typeId } : {}),
-                };
-            }
-            case "arrayType":
-                return { ...type, elementType: attachTypeIds(type.elementType) };
-            case "tupleType":
-                return {
-                    ...type,
-                    elementTypes: type.elementTypes.map(attachTypeIds),
-                };
-            case "functionType":
-                return {
-                    ...type,
-                    parameters: type.parameters.map(attachParameterTypeIds),
-                    returnType: attachTypeIds(type.returnType),
-                };
-            case "objectType":
-                return {
-                    ...type,
-                    members: type.members.map(attachInterfaceMemberTypeIds),
-                };
-            case "dictionaryType":
-                return {
-                    ...type,
-                    keyType: attachTypeIds(type.keyType),
-                    valueType: attachTypeIds(type.valueType),
-                };
-            case "unionType":
-            case "intersectionType":
-                return { ...type, types: type.types.map(attachTypeIds) };
-            default:
-                return type;
-        }
-    };
-    /**
-     * Deterministic type syntax conversion with canonical TypeId attachment.
-     *
-     * The underlying converter is syntax-only; this wrapper re-attaches the
-     * nominal identity from the UnifiedUniverse so downstream passes (including
-     * the emitter) can resolve CLR types without re-driving a parallel lookup.
-     */
-    const convertTypeNode = (node) => {
-        return attachTypeIds(convertTypeNodeRaw(node));
-    };
-    /**
-     * Normalize a receiver type to nominal form for member lookup.
-     *
-     * Phase 6: Returns TypeId + typeArgs for TypeId-based NominalEnv.
-     *
-     * ALICE'S RULE R3: Primitive-to-nominal bridging is part of TypeSystem.
-     */
-    const normalizeToNominal = (type) => {
-        if (type.kind === "referenceType") {
-            const arity = type.typeArguments?.length;
-            const typeId = type.typeId ??
-                (type.resolvedClrType
-                    ? resolveTypeIdByName(type.resolvedClrType, arity)
-                    : undefined) ??
-                resolveTypeIdByName(type.name, arity);
-            if (!typeId)
-                return undefined;
-            return { typeId, typeArgs: type.typeArguments ?? [] };
-        }
-        if (type.kind === "primitiveType") {
-            const typeId = resolveTypeIdByName(type.name, 0);
-            if (!typeId)
-                return undefined;
-            return { typeId, typeArgs: [] };
-        }
-        if (type.kind === "arrayType") {
-            const arrayTypeId = resolveTypeIdByName("Array", 1);
-            if (!arrayTypeId)
-                return undefined;
-            return { typeId: arrayTypeId, typeArgs: [type.elementType] };
-        }
-        return undefined;
-    };
-    /**
-     * Convert a nominal CLR delegate type to an IrFunctionType by reading its Invoke signature.
-     *
-     * This is used for deterministic lambda typing when the expected type is a delegate
-     * (e.g., custom delegates from CLR metadata).
-     */
-    const delegateToFunctionType = (type) => {
-        // Expression<TDelegate> wrapper: treat as its underlying delegate type for
-        // deterministic lambda contextual typing.
-        //
-        // This models C#'s implicit lambda conversion to Expression<Func<...>>:
-        // the TypeScript surface uses Expression<TDelegate>, but lambdas should be
-        // typed against the delegate shape.
-        if (type.kind === "referenceType" &&
-            type.name === "Expression_1" &&
-            (type.typeArguments?.length ?? 0) === 1) {
-            const inner = type.typeArguments?.[0];
-            if (!inner)
-                return undefined;
-            if (inner.kind === "functionType")
-                return inner;
-            return delegateToFunctionType(inner);
-        }
-        const normalized = normalizeToNominal(type);
-        if (!normalized)
-            return undefined;
-        const entry = unifiedCatalog.getByTypeId(normalized.typeId);
-        if (!entry || entry.kind !== "delegate")
-            return undefined;
-        const invokeMember = unifiedCatalog.getMember(normalized.typeId, "Invoke") ??
-            unifiedCatalog.getMember(normalized.typeId, "invoke");
-        const invokeSig = invokeMember?.signatures?.[0];
-        if (!invokeSig)
-            return undefined;
-        const typeParams = unifiedCatalog.getTypeParameters(normalized.typeId);
-        const subst = new Map();
-        for (let i = 0; i < Math.min(typeParams.length, normalized.typeArgs.length); i++) {
-            const tp = typeParams[i];
-            const arg = normalized.typeArgs[i];
-            if (tp && arg)
-                subst.set(tp.name, arg);
-        }
-        const substitute = (t) => subst.size > 0 ? irSubstitute(t, subst) : t;
-        const parameters = invokeSig.parameters.map((p) => {
-            const paramType = substitute(p.type);
-            return {
-                kind: "parameter",
-                pattern: {
-                    kind: "identifierPattern",
-                    name: p.name,
-                    ...(paramType ? { type: paramType } : {}),
-                },
-                type: paramType,
-                initializer: undefined,
-                isOptional: p.isOptional,
-                isRest: p.isRest,
-                passing: p.mode,
-            };
-        });
-        return {
-            kind: "functionType",
-            parameters,
-            returnType: substitute(invokeSig.returnType),
-        };
-    };
-    /**
-     * Look up a member on a structural (object) type.
-     */
-    const lookupStructuralMember = (type, memberName, site) => {
-        if (type.kind === "objectType") {
-            const member = type.members.find((m) => m.name === memberName);
-            if (member) {
-                if (member.kind === "propertySignature") {
-                    return member.type;
-                }
-                // Method signature - return function type using the same parameters
-                if (member.kind === "methodSignature") {
-                    const funcType = {
-                        kind: "functionType",
-                        parameters: member.parameters,
-                        returnType: member.returnType ?? voidType,
-                    };
-                    return funcType;
-                }
-            }
-        }
-        if (type.kind === "referenceType" &&
-            type.structuralMembers &&
-            type.structuralMembers.length > 0) {
-            const member = type.structuralMembers.find((m) => m.name === memberName);
-            if (member) {
-                if (member.kind === "propertySignature") {
-                    return member.type;
-                }
-                if (member.kind === "methodSignature") {
-                    const funcType = {
-                        kind: "functionType",
-                        parameters: member.parameters,
-                        returnType: member.returnType ?? voidType,
-                    };
-                    return funcType;
-                }
-            }
-        }
-        emitDiagnostic("TSN5203", `Member '${memberName}' not found on structural type`, site);
-        return unknownType;
-    };
-    /**
-     * Compute receiver substitution for a method call.
-     *
-     * Given a receiver type (e.g., Array<string>) and a declaring type's TS name,
-     * computes the substitution map for class type parameters.
-     *
-     * Phase 6: Uses TypeId-based NominalEnv.getInstantiation().
-     */
-    const computeReceiverSubstitution = (receiverType, declaringTypeTsName, _declaringMemberName) => {
-        const normalized = normalizeToNominal(receiverType);
-        if (!normalized)
-            return undefined;
-        const declaringTypeId = resolveTypeIdByName(declaringTypeTsName);
-        if (!declaringTypeId)
-            return undefined;
-        return nominalEnv.getInstantiation(normalized.typeId, normalized.typeArgs, declaringTypeId);
-    };
-    // ─────────────────────────────────────────────────────────────────────────
-    // typeOfDecl — Get declared type of a declaration
-    // ─────────────────────────────────────────────────────────────────────────
-    /**
-     * Derive IrType from NumericKind (deterministic, no TypeScript).
-     * Mirrors the logic in literals.ts deriveTypeFromNumericIntent.
-     */
-    const deriveTypeFromNumericKind = (kind) => {
-        if (kind === "Int32")
-            return { kind: "referenceType", name: "int" };
-        if (kind === "Int64")
-            return { kind: "referenceType", name: "long" };
-        if (kind === "Double")
-            return { kind: "primitiveType", name: "number" };
-        if (kind === "Single")
-            return { kind: "referenceType", name: "float" };
-        if (kind === "Byte")
-            return { kind: "referenceType", name: "byte" };
-        if (kind === "Int16")
-            return { kind: "referenceType", name: "short" };
-        if (kind === "UInt32")
-            return { kind: "referenceType", name: "uint" };
-        if (kind === "UInt64")
-            return { kind: "referenceType", name: "ulong" };
-        if (kind === "UInt16")
-            return { kind: "referenceType", name: "ushort" };
-        if (kind === "SByte")
-            return { kind: "referenceType", name: "sbyte" };
-        // Default to double for unknown
-        return { kind: "primitiveType", name: "number" };
-    };
-    const unwrapParens = (expr) => {
-        let current = expr;
-        while (ts.isParenthesizedExpression(current)) {
-            current = current.expression;
-        }
-        return current;
-    };
-    const isLambdaExpression = (expr) => {
-        const unwrapped = unwrapParens(expr);
-        return ts.isArrowFunction(unwrapped) || ts.isFunctionExpression(unwrapped);
-    };
-    const getNumericKindFromIrType = (type) => {
-        if (type.kind === "primitiveType" && type.name === "number")
-            return "Double";
-        if (type.kind === "primitiveType") {
-            return TSONIC_TO_NUMERIC_KIND.get(type.name);
-        }
-        if (type.kind === "referenceType") {
-            return TSONIC_TO_NUMERIC_KIND.get(type.name);
-        }
-        return undefined;
-    };
-    const stripNullishForInference = (type) => {
-        if (isNullishPrimitive(type))
-            return undefined;
-        if (type.kind !== "unionType")
-            return type;
-        const filtered = type.types.filter((t) => !isNullishPrimitive(t));
-        if (filtered.length === 0)
-            return undefined;
-        if (filtered.length === 1 && filtered[0])
-            return filtered[0];
-        return { kind: "unionType", types: filtered };
-    };
-    const unwrapAwaitedForInference = (type) => {
-        if (type.kind === "unionType") {
-            return {
-                kind: "unionType",
-                types: type.types.map((t) => (t ? unwrapAwaitedForInference(t) : t)),
-            };
-        }
-        if (type.kind === "referenceType" &&
-            (type.name === "Promise" || type.name === "PromiseLike")) {
-            const inner = type.typeArguments?.[0];
-            if (inner)
-                return unwrapAwaitedForInference(inner);
-        }
-        if (type.kind === "referenceType") {
-            const clrName = type.typeId?.clrName;
-            if (clrName === "System.Threading.Tasks.Task" ||
-                clrName === "System.Threading.Tasks.ValueTask") {
-                return voidType;
-            }
-            if (clrName?.startsWith("System.Threading.Tasks.Task`") ||
-                clrName?.startsWith("System.Threading.Tasks.ValueTask`")) {
-                const inner = type.typeArguments?.[0];
-                if (inner)
-                    return unwrapAwaitedForInference(inner);
-            }
-        }
-        return type;
-    };
-    /**
-     * Deterministically infer an expression's type using only:
-     * - local lambda parameter environment
-     * - declaration types (typeOfDecl)
-     * - numeric literal lexeme rules
-     *
-     * This is intentionally small: it's used only to type lambda bodies for
-     * initializer-driven generic inference (e.g., `Enumerable.select(..., x => x * 2)`).
-     */
-    const inferExpressionType = (expr, env) => {
-        const unwrapped = unwrapParens(expr);
-        if (ts.isAsExpression(unwrapped) ||
-            ts.isTypeAssertionExpression(unwrapped)) {
-            return convertTypeNode(unwrapped.type);
-        }
-        if (ts.isNonNullExpression(unwrapped)) {
-            const inner = inferExpressionType(unwrapped.expression, env);
-            if (!inner || inner.kind === "unknownType")
-                return undefined;
-            return stripNullishForInference(inner);
-        }
-        if (ts.isAwaitExpression(unwrapped)) {
-            const inner = inferExpressionType(unwrapped.expression, env);
-            if (!inner || inner.kind === "unknownType")
-                return undefined;
-            return unwrapAwaitedForInference(inner);
-        }
-        if (ts.isCallExpression(unwrapped)) {
-            return tryInferReturnTypeFromCallExpression(unwrapped, env);
-        }
-        if (ts.isNewExpression(unwrapped)) {
-            const sigId = resolveConstructorSignature(unwrapped);
-            if (!sigId)
-                return undefined;
-            const explicitTypeArgs = unwrapped.typeArguments && unwrapped.typeArguments.length > 0
-                ? unwrapped.typeArguments.map((ta) => convertTypeNode(ta))
-                : undefined;
-            const argumentCount = unwrapped.arguments?.length ?? 0;
-            const argTypesWorking = Array(argumentCount).fill(undefined);
-            const args = unwrapped.arguments ?? [];
-            for (let i = 0; i < args.length; i++) {
-                const arg = args[i];
-                if (!arg)
-                    continue;
-                if (ts.isSpreadElement(arg))
-                    continue;
-                if (isLambdaExpression(arg))
-                    continue;
-                const t = inferExpressionType(arg, env);
-                if (t && t.kind !== "unknownType") {
-                    argTypesWorking[i] = t;
-                }
-            }
-            const resolved = resolveCall({
-                sigId,
-                argumentCount,
-                explicitTypeArgs,
-                argTypes: argTypesWorking,
-            });
-            return resolved.returnType.kind === "unknownType"
-                ? undefined
-                : resolved.returnType;
-        }
-        if (ts.isPropertyAccessExpression(unwrapped)) {
-            const receiverType = inferExpressionType(unwrapped.expression, env);
-            if (!receiverType || receiverType.kind === "unknownType")
-                return undefined;
-            const memberType = typeOfMember(receiverType, {
-                kind: "byName",
-                name: unwrapped.name.text,
-            });
-            return memberType.kind === "unknownType" ? undefined : memberType;
-        }
-        if (ts.isElementAccessExpression(unwrapped)) {
-            const objectType = inferExpressionType(unwrapped.expression, env);
-            if (!objectType || objectType.kind === "unknownType")
-                return undefined;
-            if (objectType.kind === "arrayType") {
-                return objectType.elementType;
-            }
-            if (objectType.kind === "dictionaryType") {
-                return objectType.valueType;
-            }
-            if (objectType.kind === "primitiveType" && objectType.name === "string") {
-                return { kind: "primitiveType", name: "string" };
-            }
-            if (objectType.kind === "referenceType") {
-                return getIndexerInfo(objectType)?.valueType;
-            }
-            return undefined;
-        }
-        if (ts.isIdentifier(unwrapped)) {
-            const fromEnv = env.get(unwrapped.text);
-            if (fromEnv)
-                return fromEnv;
-            const declId = resolveIdentifier(unwrapped);
-            if (!declId)
-                return undefined;
-            const t = typeOfDecl(declId);
-            return t.kind === "unknownType" ? undefined : t;
-        }
-        if (ts.isNumericLiteral(unwrapped)) {
-            const numericKind = inferNumericKindFromRaw(unwrapped.getText());
-            return deriveTypeFromNumericKind(numericKind);
-        }
-        if (ts.isStringLiteral(unwrapped)) {
-            return { kind: "primitiveType", name: "string" };
-        }
-        if (ts.isNoSubstitutionTemplateLiteral(unwrapped) ||
-            ts.isTemplateExpression(unwrapped)) {
-            return { kind: "primitiveType", name: "string" };
-        }
-        if (unwrapped.kind === ts.SyntaxKind.TrueKeyword ||
-            unwrapped.kind === ts.SyntaxKind.FalseKeyword) {
-            return { kind: "primitiveType", name: "boolean" };
-        }
-        if (ts.isPrefixUnaryExpression(unwrapped)) {
-            if (unwrapped.operator === ts.SyntaxKind.ExclamationToken) {
-                return { kind: "primitiveType", name: "boolean" };
-            }
-            return inferExpressionType(unwrapped.operand, env);
-        }
-        if (ts.isBinaryExpression(unwrapped)) {
-            const op = unwrapped.operatorToken.kind;
-            // Comparisons / equality always return boolean.
-            if (op === ts.SyntaxKind.EqualsEqualsToken ||
-                op === ts.SyntaxKind.EqualsEqualsEqualsToken ||
-                op === ts.SyntaxKind.ExclamationEqualsToken ||
-                op === ts.SyntaxKind.ExclamationEqualsEqualsToken ||
-                op === ts.SyntaxKind.LessThanToken ||
-                op === ts.SyntaxKind.LessThanEqualsToken ||
-                op === ts.SyntaxKind.GreaterThanToken ||
-                op === ts.SyntaxKind.GreaterThanEqualsToken) {
-                return { kind: "primitiveType", name: "boolean" };
-            }
-            if (op === ts.SyntaxKind.AmpersandAmpersandToken ||
-                op === ts.SyntaxKind.BarBarToken) {
-                return { kind: "primitiveType", name: "boolean" };
-            }
-            if (op === ts.SyntaxKind.PlusToken ||
-                op === ts.SyntaxKind.MinusToken ||
-                op === ts.SyntaxKind.AsteriskToken ||
-                op === ts.SyntaxKind.SlashToken ||
-                op === ts.SyntaxKind.PercentToken) {
-                const leftType = inferExpressionType(unwrapped.left, env);
-                const rightType = inferExpressionType(unwrapped.right, env);
-                if (!leftType || !rightType)
-                    return undefined;
-                // String concatenation
-                if (op === ts.SyntaxKind.PlusToken &&
-                    ((leftType.kind === "primitiveType" && leftType.name === "string") ||
-                        (rightType.kind === "primitiveType" && rightType.name === "string"))) {
-                    return { kind: "primitiveType", name: "string" };
-                }
-                const leftKind = getNumericKindFromIrType(leftType);
-                const rightKind = getNumericKindFromIrType(rightType);
-                if (!leftKind || !rightKind)
-                    return undefined;
-                return deriveTypeFromNumericKind(getBinaryResultKind(leftKind, rightKind));
-            }
-        }
-        return undefined;
-    };
-    const inferLambdaType = (expr, expectedType) => {
-        const unwrapped = unwrapParens(expr);
-        if (!ts.isArrowFunction(unwrapped) && !ts.isFunctionExpression(unwrapped)) {
-            return undefined;
-        }
-        const expectedFnType = expectedType?.kind === "functionType"
-            ? expectedType
-            : expectedType
-                ? delegateToFunctionType(expectedType)
-                : undefined;
-        const parameters = unwrapped.parameters.map((p, index) => {
-            const name = ts.isIdentifier(p.name) ? p.name.text : `arg${index}`;
-            const paramType = p.type
-                ? convertTypeNode(p.type)
-                : expectedFnType?.parameters[index]?.type;
-            return {
-                kind: "parameter",
-                pattern: {
-                    kind: "identifierPattern",
-                    name,
-                },
-                type: paramType,
-                initializer: undefined,
-                isOptional: !!p.questionToken,
-                isRest: !!p.dotDotDotToken,
-                passing: "value",
-            };
-        });
-        const env = new Map();
-        for (const p of parameters) {
-            if (p.pattern.kind === "identifierPattern" && p.pattern.name && p.type) {
-                env.set(p.pattern.name, p.type);
-            }
-        }
-        const explicitReturnType = "type" in unwrapped && unwrapped.type
-            ? convertTypeNode(unwrapped.type)
-            : undefined;
-        const expectedReturnType = expectedFnType?.returnType;
-        const inferredReturnType = explicitReturnType ??
-            (expectedReturnType && !containsTypeParameter(expectedReturnType)
-                ? expectedReturnType
-                : undefined) ??
-            (() => {
-                if (ts.isBlock(unwrapped.body)) {
-                    const returns = [];
-                    const visit = (n) => {
-                        if (ts.isFunctionLike(n) && n !== unwrapped)
-                            return;
-                        if (ts.isReturnStatement(n) && n.expression) {
-                            returns.push(n.expression);
-                        }
-                        n.forEachChild(visit);
-                    };
-                    unwrapped.body.forEachChild(visit);
-                    if (returns.length === 0)
-                        return { kind: "voidType" };
-                    const first = inferExpressionType(returns[0], env);
-                    if (!first)
-                        return undefined;
-                    for (let i = 1; i < returns.length; i++) {
-                        const t = inferExpressionType(returns[i], env);
-                        if (!t || !typesEqual(t, first))
-                            return undefined;
-                    }
-                    return first;
-                }
-                return inferExpressionType(unwrapped.body, env);
-            })();
-        if (!inferredReturnType)
-            return undefined;
-        return {
-            kind: "functionType",
-            parameters,
-            returnType: inferredReturnType,
-        };
-    };
-    /**
-     * Try to infer type from a variable declaration's literal initializer.
-     *
-     * DETERMINISM: Uses the raw lexeme form of the literal, not TS computed types.
-     * Only handles simple literal initializers:
-     * - Numeric literals → inferred via inferNumericKindFromRaw
-     * - String literals → primitiveType("string")
-     * - Boolean literals → primitiveType("boolean")
-     *
-     * Returns undefined if the initializer is not a simple literal.
-     */
-    const tryInferTypeFromLiteralInitializer = (declNode) => {
-        // TypeScript's VariableDeclaration has an `initializer` property
-        const decl = declNode;
-        // Must have an initializer
-        if (!decl.initializer)
-            return undefined;
-        const init = decl.initializer;
-        if (init.kind === ts.SyntaxKind.NumericLiteral && init.getText) {
-            const raw = init.getText();
-            const numericKind = inferNumericKindFromRaw(raw);
-            return deriveTypeFromNumericKind(numericKind);
-        }
-        if (init.kind === ts.SyntaxKind.StringLiteral) {
-            return { kind: "primitiveType", name: "string" };
-        }
-        if (init.kind === ts.SyntaxKind.NoSubstitutionTemplateLiteral ||
-            init.kind === ts.SyntaxKind.TemplateExpression) {
-            return { kind: "primitiveType", name: "string" };
-        }
-        if (init.kind === ts.SyntaxKind.TrueKeyword ||
-            init.kind === ts.SyntaxKind.FalseKeyword) {
-            return { kind: "primitiveType", name: "boolean" };
-        }
-        // Not a simple literal - cannot infer
-        return undefined;
-    };
-    /**
-     * Try to infer type from a variable declaration's initializer using only
-     * deterministic sources (declarations + explicit syntax).
-     *
-     * Handles:
-     * - simple literals (delegates to tryInferTypeFromLiteralInitializer)
-     * - call expressions where the callee has an explicit declared return type
-     * - new expressions with explicit type arguments (or best-effort nominal type)
-     * - identifier initializers (propagate deterministically)
-     */
-    const tryInferReturnTypeFromCallExpression = (call, env) => {
-        const sigId = resolveCallSignature(call);
-        if (!sigId)
-            return undefined;
-        const explicitTypeArgs = call.typeArguments && call.typeArguments.length > 0
-            ? call.typeArguments.map((ta) => convertTypeNode(ta))
-            : undefined;
-        const receiverType = (() => {
-            if (!ts.isPropertyAccessExpression(call.expression))
-                return undefined;
-            const receiverExpr = call.expression.expression;
-            const receiver = inferExpressionType(receiverExpr, env);
-            return receiver && receiver.kind !== "unknownType" ? receiver : undefined;
-        })();
-        const argumentCount = call.arguments.length;
-        // Two-pass: resolve once to get expected parameter types, then infer non-lambda args,
-        // then infer lambda arg types (from expected types + body), then final resolve.
-        const initialResolved = resolveCall({
-            sigId,
-            argumentCount,
-            receiverType,
-            explicitTypeArgs,
-        });
-        const initialParameterTypes = initialResolved.parameterTypes;
-        const argTypesWorking = Array(argumentCount).fill(undefined);
-        for (let index = 0; index < call.arguments.length; index++) {
-            const arg = call.arguments[index];
-            if (!arg)
-                continue;
-            if (ts.isSpreadElement(arg))
-                continue;
-            if (isLambdaExpression(arg))
-                continue;
-            if (ts.isNumericLiteral(arg)) {
-                const numericKind = inferNumericKindFromRaw(arg.getText());
-                argTypesWorking[index] = deriveTypeFromNumericKind(numericKind);
-                continue;
-            }
-            if (ts.isStringLiteral(arg)) {
-                argTypesWorking[index] = { kind: "primitiveType", name: "string" };
-                continue;
-            }
-            if (arg.kind === ts.SyntaxKind.TrueKeyword ||
-                arg.kind === ts.SyntaxKind.FalseKeyword) {
-                argTypesWorking[index] = {
-                    kind: "primitiveType",
-                    name: "boolean",
-                };
-                continue;
-            }
-            if (ts.isIdentifier(arg)) {
-                const argDeclId = resolveIdentifier(arg);
-                if (!argDeclId)
-                    continue;
-                const t = typeOfDecl(argDeclId);
-                if (t.kind !== "unknownType") {
-                    argTypesWorking[index] = t;
-                }
-                continue;
-            }
-            if (ts.isCallExpression(arg)) {
-                const t = tryInferReturnTypeFromCallExpression(arg, env);
-                if (t) {
-                    argTypesWorking[index] = t;
-                }
-                continue;
-            }
-            if (ts.isNewExpression(arg)) {
-                const nestedSigId = resolveConstructorSignature(arg);
-                if (!nestedSigId)
-                    continue;
-                const nestedExplicitTypeArgs = arg.typeArguments && arg.typeArguments.length > 0
-                    ? arg.typeArguments.map((ta) => convertTypeNode(ta))
-                    : undefined;
-                const nestedResolved = resolveCall({
-                    sigId: nestedSigId,
-                    argumentCount: arg.arguments?.length ?? 0,
-                    explicitTypeArgs: nestedExplicitTypeArgs,
-                });
-                if (nestedResolved.returnType.kind !== "unknownType") {
-                    argTypesWorking[index] = nestedResolved.returnType;
-                }
-                continue;
-            }
-            // Fallback: infer from a small deterministic expression set (identifiers, literals,
-            // arithmetic, nested member/index access, calls, etc).
-            const t = inferExpressionType(arg, env);
-            if (t && t.kind !== "unknownType") {
-                argTypesWorking[index] = t;
-                continue;
-            }
-        }
-        const lambdaContextResolved = resolveCall({
-            sigId,
-            argumentCount,
-            receiverType,
-            explicitTypeArgs,
-            argTypes: argTypesWorking,
-        });
-        const parameterTypesForLambdaContext = lambdaContextResolved.parameterTypes ?? initialParameterTypes;
-        for (let index = 0; index < call.arguments.length; index++) {
-            const arg = call.arguments[index];
-            if (!arg)
-                continue;
-            if (ts.isSpreadElement(arg))
-                continue;
-            if (!isLambdaExpression(arg))
-                continue;
-            const expectedType = parameterTypesForLambdaContext[index];
-            const lambdaType = inferLambdaType(arg, expectedType);
-            if (lambdaType) {
-                argTypesWorking[index] = lambdaType;
-            }
-        }
-        const finalResolved = resolveCall({
-            sigId,
-            argumentCount,
-            receiverType,
-            explicitTypeArgs,
-            argTypes: argTypesWorking,
-        });
-        return finalResolved.returnType.kind === "unknownType"
-            ? undefined
-            : finalResolved.returnType;
-    };
-    const tryInferTypeFromInitializer = (declNode) => {
-        const literalType = tryInferTypeFromLiteralInitializer(declNode);
-        if (literalType)
-            return literalType;
-        if (!declNode || typeof declNode !== "object")
-            return undefined;
-        const node = declNode;
-        if (!ts.isVariableDeclaration(node))
-            return undefined;
-        let init = node.initializer;
-        if (!init)
-            return undefined;
-        while (ts.isParenthesizedExpression(init)) {
-            init = init.expression;
-        }
-        // Explicit type assertions are deterministic sources for variable typing.
-        // This supports patterns like:
-        //   const xs = numbers as unknown as LinqSeq<int>;
-        // where the user intentionally supplies the type at the assertion site.
-        if (ts.isAsExpression(init) || ts.isTypeAssertionExpression(init)) {
-            return convertTypeNode(init.type);
-        }
-        if (ts.isNonNullExpression(init)) {
-            const inner = inferExpressionType(init.expression, new Map());
-            if (!inner || inner.kind === "unknownType")
-                return undefined;
-            return stripNullishForInference(inner);
-        }
-        if (ts.isAwaitExpression(init)) {
-            const inner = inferExpressionType(init.expression, new Map());
-            if (!inner || inner.kind === "unknownType")
-                return undefined;
-            return unwrapAwaitedForInference(inner);
-        }
-        if (ts.isCallExpression(init)) {
-            return tryInferReturnTypeFromCallExpression(init, new Map());
-        }
-        if (ts.isArrayLiteralExpression(init)) {
-            // Deterministic array literal typing for variable declarations:
-            // infer `T[]` only when all element types are deterministically known and equal.
-            const elementTypes = [];
-            const emptyEnv = new Map();
-            for (const el of init.elements) {
-                if (ts.isOmittedExpression(el)) {
-                    return undefined;
-                }
-                if (ts.isSpreadElement(el)) {
-                    return undefined;
-                }
-                const t = inferExpressionType(el, emptyEnv);
-                if (!t || t.kind === "unknownType") {
-                    return undefined;
-                }
-                elementTypes.push(t);
-            }
-            if (elementTypes.length === 0)
-                return undefined;
-            const first = elementTypes[0];
-            if (first && elementTypes.every((t) => typesEqual(t, first))) {
-                return { kind: "arrayType", elementType: first };
-            }
-            return undefined;
-        }
-        // Phase 15: NewExpression branch - use constructor signature with argTypes
-        if (ts.isNewExpression(init)) {
-            const sigId = resolveConstructorSignature(init);
-            if (!sigId)
-                return undefined;
-            const explicitTypeArgs = init.typeArguments && init.typeArguments.length > 0
-                ? init.typeArguments.map((ta) => convertTypeNode(ta))
-                : undefined;
-            // Derive argTypes conservatively from syntax (same pattern as CallExpression)
-            const args = init.arguments ?? [];
-            const argTypes = args.map((arg) => {
-                if (ts.isSpreadElement(arg))
-                    return undefined;
-                if (ts.isNumericLiteral(arg)) {
-                    const numericKind = inferNumericKindFromRaw(arg.getText());
-                    return deriveTypeFromNumericKind(numericKind);
-                }
-                if (ts.isStringLiteral(arg)) {
-                    return { kind: "primitiveType", name: "string" };
-                }
-                if (arg.kind === ts.SyntaxKind.TrueKeyword ||
-                    arg.kind === ts.SyntaxKind.FalseKeyword) {
-                    return { kind: "primitiveType", name: "boolean" };
-                }
-                if (ts.isIdentifier(arg)) {
-                    const argDeclId = resolveIdentifier(arg);
-                    if (!argDeclId)
-                        return undefined;
-                    const t = typeOfDecl(argDeclId);
-                    return t.kind === "unknownType" ? undefined : t;
-                }
-                // Recursive handling for nested new expressions
-                if (ts.isNewExpression(arg)) {
-                    const nestedSigId = resolveConstructorSignature(arg);
-                    if (!nestedSigId)
-                        return undefined;
-                    const nestedExplicitTypeArgs = arg.typeArguments && arg.typeArguments.length > 0
-                        ? arg.typeArguments.map((ta) => convertTypeNode(ta))
-                        : undefined;
-                    const nestedResolved = resolveCall({
-                        sigId: nestedSigId,
-                        argumentCount: arg.arguments?.length ?? 0,
-                        explicitTypeArgs: nestedExplicitTypeArgs,
-                    });
-                    return nestedResolved.returnType.kind === "unknownType"
-                        ? undefined
-                        : nestedResolved.returnType;
-                }
-                return undefined;
-            });
-            // Resolve constructor call with argTypes for inference
-            const resolved = resolveCall({
-                sigId,
-                argumentCount: args.length,
-                explicitTypeArgs,
-                argTypes,
-            });
-            return resolved.returnType.kind === "unknownType"
-                ? undefined
-                : resolved.returnType;
-        }
-        if (ts.isIdentifier(init)) {
-            const sourceDeclId = resolveIdentifier(init);
-            if (!sourceDeclId)
-                return undefined;
-            const sourceType = typeOfDecl(sourceDeclId);
-            return sourceType.kind === "unknownType" ? undefined : sourceType;
-        }
-        // Property access: const output = response.outputStream
-        // DETERMINISTIC: Infer via TypeSystem member lookup on a deterministically typed receiver.
-        if (ts.isPropertyAccessExpression(init)) {
-            const receiverType = inferExpressionType(init.expression, new Map());
-            if (!receiverType || receiverType.kind === "unknownType")
-                return undefined;
-            const memberType = typeOfMember(receiverType, {
-                kind: "byName",
-                name: init.name.text,
-            });
-            return memberType.kind === "unknownType" ? undefined : memberType;
-        }
-        // Element access: const first = items[0]
-        // DETERMINISTIC: Infer element type from a deterministically typed receiver.
-        if (ts.isElementAccessExpression(init)) {
-            const inferred = inferExpressionType(init, new Map());
-            return inferred && inferred.kind !== "unknownType" ? inferred : undefined;
-        }
-        return undefined;
-    };
-    const typeOfDecl = (declId) => {
-        // Check cache first
-        const cached = declTypeCache.get(declId.id);
-        if (cached)
-            return cached;
-        const declInfo = handleRegistry.getDecl(declId);
-        if (!declInfo) {
-            emitDiagnostic("TSN5203", "Cannot resolve declaration");
-            const result = unknownType;
-            declTypeCache.set(declId.id, result);
-            return result;
-        }
-        let result;
-        if (declInfo.typeNode) {
-            // Explicit type annotation - convert to IR
-            result = convertTypeNode(declInfo.typeNode);
-        }
-        else if (declInfo.kind === "class" ||
-            declInfo.kind === "interface" ||
-            declInfo.kind === "enum") {
-            // Class/interface/enum - return reference type
-            result = {
-                kind: "referenceType",
-                name: declInfo.fqName ?? "unknown",
-            };
-        }
-        else if (declInfo.kind === "function") {
-            // Function without type annotation - need to build function type from signature
-            // For now, return unknownType as we need the signature ID
-            emitDiagnostic("TSN5201", `Function '${declInfo.fqName ?? "unknown"}' requires explicit return type`);
-            result = unknownType;
-        }
-        else if (declInfo.kind === "variable" && declInfo.declNode) {
-            // Variable without type annotation - infer from deterministic initializer
-            const inferred = tryInferTypeFromInitializer(declInfo.declNode);
-            if (inferred) {
-                result = inferred;
-            }
-            else {
-                // Not a simple literal - require explicit type annotation
-                emitDiagnostic("TSN5201", `Declaration requires explicit type annotation`);
-                result = unknownType;
-            }
-        }
-        else {
-            // Parameter or other declaration without type annotation
-            emitDiagnostic("TSN5201", `Declaration requires explicit type annotation`);
-            result = unknownType;
-        }
-        declTypeCache.set(declId.id, result);
-        return result;
-    };
-    // ─────────────────────────────────────────────────────────────────────────
-    // typeOfMember — Get declared type of a member (with inheritance substitution)
-    // ─────────────────────────────────────────────────────────────────────────
-    const typeOfMember = (receiver, member, site) => {
-        const memberName = member.kind === "byName" ? member.name : "unknown"; // MemberId.name not defined yet
-        // Common nullish unions (T | undefined | null) should behave like T for member lookup.
-        // This preserves deterministic typing for patterns like:
-        //   const url = request.url; if (!url) return; url.absolutePath
-        const effectiveReceiver = receiver.kind === "unionType"
-            ? (() => {
-                const nonNullish = receiver.types.filter((t) => t && !isNullishPrimitive(t));
-                return nonNullish.length === 1 && nonNullish[0]
-                    ? nonNullish[0]
-                    : receiver;
-            })()
-            : receiver;
-        // 1. Normalize receiver to nominal form
-        const normalized = normalizeToNominal(effectiveReceiver);
-        if (!normalized) {
-            // Handle structural types (objectType)
-            if (effectiveReceiver.kind === "objectType" ||
-                (effectiveReceiver.kind === "referenceType" &&
-                    effectiveReceiver.structuralMembers)) {
-                return lookupStructuralMember(effectiveReceiver, memberName, site);
-            }
-            emitDiagnostic("TSN5203", `Cannot resolve member '${memberName}' on type`, site);
-            return unknownType;
-        }
-        // 2. Check cache (use clrName as key for compatibility)
-        const cacheKey = makeMemberCacheKey(normalized.typeId.stableId, memberName, normalized.typeArgs);
-        const cached = memberDeclaredTypeCache.get(cacheKey);
-        if (cached)
-            return cached;
-        // 3. Use NominalEnv to find declaring type + substitution (Phase 6: TypeId-based)
-        const lookupResult = nominalEnv.findMemberDeclaringType(normalized.typeId, normalized.typeArgs, memberName);
-        // 4a. If NominalEnv found the member, get its declared type from Universe
-        if (lookupResult) {
-            const memberEntry = unifiedCatalog.getMember(lookupResult.declaringTypeId, memberName);
-            // Property/field member: return its declared type.
-            const memberType = memberEntry?.type;
-            if (memberType) {
-                const result = irSubstitute(memberType, lookupResult.substitution);
-                memberDeclaredTypeCache.set(cacheKey, result);
-                return result;
-            }
-            // Method member: materialize a callable function type from the first signature.
-            // Call resolution (resolveCall) uses SignatureId for overload selection; this
-            // type is used only to keep member access expressions deterministic.
-            const firstSig = memberEntry?.signatures?.[0];
-            if (firstSig) {
-                const funcType = {
-                    kind: "functionType",
-                    parameters: firstSig.parameters.map((p) => ({
-                        kind: "parameter",
-                        pattern: {
-                            kind: "identifierPattern",
-                            name: p.name,
-                        },
-                        type: p.type,
-                        initializer: undefined,
-                        isOptional: p.isOptional,
-                        isRest: p.isRest,
-                        passing: p.mode,
-                    })),
-                    returnType: firstSig.returnType,
-                };
-                const result = irSubstitute(funcType, lookupResult.substitution);
-                memberDeclaredTypeCache.set(cacheKey, result);
-                return result;
-            }
-        }
-        // 5. Member not found anywhere
-        emitDiagnostic("TSN5203", `Member '${memberName}' not found`, site);
-        return unknownType;
-    };
-    const parseIndexerKeyClrType = (stableId) => {
-        const memberSep = stableId.indexOf("::");
-        if (memberSep < 0)
-            return undefined;
-        const bracketStart = stableId.indexOf("[", memberSep);
-        if (bracketStart < 0)
-            return undefined;
-        let depth = 0;
-        let bracketEnd = -1;
-        for (let i = bracketStart; i < stableId.length; i++) {
-            const ch = stableId[i];
-            if (ch === "[")
-                depth++;
-            if (ch === "]") {
-                depth--;
-                if (depth === 0) {
-                    bracketEnd = i;
-                    break;
-                }
-            }
-        }
-        if (bracketEnd < 0)
-            return undefined;
-        const rawParams = stableId.slice(bracketStart + 1, bracketEnd);
-        // Split on top-level commas to support nested generic types.
-        const splitTopLevel = (value) => {
-            const parts = [];
-            let start = 0;
-            let bracketDepth = 0;
-            for (let i = 0; i < value.length; i++) {
-                const c = value[i];
-                if (c === "[")
-                    bracketDepth++;
-                else if (c === "]" && bracketDepth > 0)
-                    bracketDepth--;
-                else if (c === "," && bracketDepth === 0) {
-                    parts.push(value.slice(start, i).trim());
-                    start = i + 1;
-                }
-            }
-            parts.push(value.slice(start).trim());
-            return parts.filter((p) => p.length > 0);
-        };
-        const params = splitTopLevel(rawParams);
-        if (params.length !== 1)
-            return undefined;
-        const first = params[0];
-        if (!first)
-            return undefined;
-        // Strip assembly qualification (", Assembly, Version=..., ...") if present.
-        const withoutAsm = first.includes(",")
-            ? (first.split(",")[0] ?? first)
-            : first;
-        return withoutAsm.trim();
-    };
-    const getIndexerInfo = (receiver, _site) => {
-        const normalized = normalizeToNominal(receiver);
-        if (!normalized)
-            return undefined;
-        // Walk inheritance chain to find the first indexer property.
-        const chain = nominalEnv.getInheritanceChain(normalized.typeId);
-        for (const typeId of chain) {
-            const members = unifiedCatalog.getMembers(typeId);
-            const indexers = Array.from(members.values()).filter((m) => m.memberKind === "property" && m.isIndexer);
-            if (indexers.length === 0)
-                continue;
-            if (indexers.length > 1)
-                return undefined;
-            const indexer = indexers[0];
-            if (!indexer?.type)
-                return undefined;
-            const keyClrType = parseIndexerKeyClrType(indexer.stableId);
-            if (!keyClrType)
-                return undefined;
-            const inst = nominalEnv.getInstantiation(normalized.typeId, normalized.typeArgs, typeId);
-            const valueType = inst && inst.size > 0
-                ? irSubstitute(indexer.type, inst)
-                : indexer.type;
-            return { keyClrType, valueType };
-        }
-        return undefined;
-    };
-    // ─────────────────────────────────────────────────────────────────────────
-    // resolveCall — THE HEART OF DETERMINISM
-    // Resolve a call site: returns fully instantiated param/return types + modes
-    // ─────────────────────────────────────────────────────────────────────────
-    /**
-     * Deterministically infer method type parameters from argument types.
-     *
-     * This is intentionally conservative: it only infers when it can unify
-     * parameter and argument shapes without ambiguity.
-     */
-    const inferMethodTypeArgsFromArguments = (methodTypeParams, parameterTypes, argTypes) => {
-        if (methodTypeParams.length === 0)
-            return new Map();
-        const methodTypeParamNames = new Set(methodTypeParams.map((p) => p.name));
-        const substitution = new Map();
-        const tryUnify = (parameterType, argumentType) => {
-            // Method type parameter position: infer directly
-            if (parameterType.kind === "typeParameterType") {
-                if (!methodTypeParamNames.has(parameterType.name)) {
-                    // Not a method type parameter (could be outer generic) — ignore
-                    return true;
-                }
-                const existing = substitution.get(parameterType.name);
-                if (existing) {
-                    // A self-mapping like `B -> B` can be produced when a lambda argument was typed
-                    // contextually from the unresolved expected signature. This provides no real
-                    // inference signal and must not block later concrete inference.
-                    if (existing.kind === "typeParameterType" &&
-                        existing.name === parameterType.name) {
-                        substitution.set(parameterType.name, argumentType);
-                        return true;
-                    }
-                    return typesEqual(existing, argumentType);
-                }
-                substitution.set(parameterType.name, argumentType);
-                return true;
-            }
-            // Poison/any provides no deterministic information
-            if (argumentType.kind === "unknownType" ||
-                argumentType.kind === "anyType") {
-                return true;
-            }
-            // Intersection argument types: unify through each constituent.
-            //
-            // This is required for airplane-grade extension method typing where the receiver
-            // often has the form `TShape & <extension markers> & <method table>`.
-            // Generic inference must still be able to infer through the real CLR shape in the intersection.
-            if (argumentType.kind === "intersectionType") {
-                for (const part of argumentType.types) {
-                    if (!part)
-                        continue;
-                    if (!tryUnify(parameterType, part))
-                        return false;
-                }
-                return true;
-            }
-            // Expression<TDelegate> wrapper: infer through the underlying delegate shape.
-            // This is required for Queryable APIs that use Expression<Func<...>>.
-            if (parameterType.kind === "referenceType" &&
-                parameterType.name === "Expression_1" &&
-                (parameterType.typeArguments?.length ?? 0) === 1) {
-                const inner = parameterType.typeArguments?.[0];
-                return inner ? tryUnify(inner, argumentType) : true;
-            }
-            // Delegate unification: allow deterministic inference through the delegate's
-            // Invoke signature when a lambda (functionType) is passed to a CLR delegate
-            // parameter (Func/Action/custom delegates).
-            //
-            // Without this, generic methods like:
-            //   Select<TResult>(selector: Func<TSource, TResult>)
-            // cannot infer TResult from a lambda argument, causing TSN5201/TSN5202.
-            if (parameterType.kind === "referenceType" &&
-                argumentType.kind === "functionType") {
-                const delegateFn = delegateToFunctionType(parameterType);
-                if (delegateFn)
-                    return tryUnify(delegateFn, argumentType);
-            }
-            if (parameterType.kind === "functionType" &&
-                argumentType.kind === "referenceType") {
-                const delegateFn = delegateToFunctionType(argumentType);
-                if (delegateFn)
-                    return tryUnify(parameterType, delegateFn);
-            }
-            // Array<T> ↔ T[] unification
-            if (parameterType.kind === "referenceType" &&
-                parameterType.name === "Array" &&
-                (parameterType.typeArguments?.length ?? 0) === 1 &&
-                argumentType.kind === "arrayType") {
-                const elementParam = parameterType.typeArguments?.[0];
-                return elementParam
-                    ? tryUnify(elementParam, argumentType.elementType)
-                    : true;
-            }
-            // Union parameter type: allow deterministic inference through common nullish unions.
-            // Example: constructor(value: T | null) with argument of type T.
-            if (parameterType.kind === "unionType") {
-                const nonNullish = parameterType.types.filter((t) => t && !isNullishPrimitive(t));
-                const nullish = parameterType.types.filter((t) => t && isNullishPrimitive(t));
-                const candidates = isNullishPrimitive(argumentType)
-                    ? nullish
-                    : nonNullish;
-                if (candidates.length === 1) {
-                    const only = candidates[0];
-                    return only ? tryUnify(only, argumentType) : true;
-                }
-                // Conservative: ambiguous unions provide no deterministic signal.
-                return true;
-            }
-            if (parameterType.kind === "arrayType" &&
-                argumentType.kind === "referenceType" &&
-                argumentType.name === "Array" &&
-                (argumentType.typeArguments?.length ?? 0) === 1) {
-                const elementArg = argumentType.typeArguments?.[0];
-                return elementArg
-                    ? tryUnify(parameterType.elementType, elementArg)
-                    : true;
-            }
-            // Same-kind structural unification
-            if (parameterType.kind !== argumentType.kind) {
-                // Type mismatch provides no deterministic inference signal.
-                return true;
-            }
-            switch (parameterType.kind) {
-                case "primitiveType":
-                    return true;
-                case "literalType":
-                    return true;
-                case "referenceType": {
-                    const argRef = argumentType;
-                    const sameNominal = (() => {
-                        if (parameterType.typeId && argRef.typeId) {
-                            return parameterType.typeId.stableId === argRef.typeId.stableId;
-                        }
-                        return parameterType.name === argRef.name;
-                    })();
-                    // Direct generic unification when the nominals match
-                    if (sameNominal) {
-                        const paramArgs = parameterType.typeArguments ?? [];
-                        const argArgs = argRef.typeArguments ?? [];
-                        if (paramArgs.length !== argArgs.length)
-                            return true;
-                        for (let i = 0; i < paramArgs.length; i++) {
-                            const pa = paramArgs[i];
-                            const aa = argArgs[i];
-                            if (!pa || !aa)
-                                continue;
-                            if (!tryUnify(pa, aa))
-                                return false;
-                        }
-                        return true;
-                    }
-                    // Inheritance/interface unification: allow argumentType to flow through
-                    // its inheritance chain to the parameter type (e.g., List<T> → IEnumerable<T>).
-                    const paramNominal = normalizeToNominal(parameterType);
-                    const argNominal = normalizeToNominal(argRef);
-                    if (paramNominal && argNominal) {
-                        const inst = nominalEnv.getInstantiation(argNominal.typeId, argNominal.typeArgs, paramNominal.typeId);
-                        if (inst) {
-                            const targetTypeParams = unifiedCatalog.getTypeParameters(paramNominal.typeId);
-                            const instantiatedArgs = targetTypeParams.map((tp) => inst.get(tp.name));
-                            const paramArgs = parameterType.typeArguments ?? [];
-                            if (instantiatedArgs.every((t) => t !== undefined) &&
-                                paramArgs.length === instantiatedArgs.length) {
-                                for (let i = 0; i < paramArgs.length; i++) {
-                                    const pa = paramArgs[i];
-                                    const aa = instantiatedArgs[i];
-                                    if (!pa || !aa)
-                                        continue;
-                                    if (!tryUnify(pa, aa))
-                                        return false;
-                                }
-                            }
-                        }
-                    }
-                    return true;
-                }
-                case "arrayType":
-                    return tryUnify(parameterType.elementType, argumentType.elementType);
-                case "tupleType": {
-                    const argTuple = argumentType;
-                    if (parameterType.elementTypes.length !== argTuple.elementTypes.length) {
-                        return true;
-                    }
-                    for (let i = 0; i < parameterType.elementTypes.length; i++) {
-                        const pe = parameterType.elementTypes[i];
-                        const ae = argTuple.elementTypes[i];
-                        if (!pe || !ae)
-                            continue;
-                        if (!tryUnify(pe, ae))
-                            return false;
-                    }
-                    return true;
-                }
-                case "functionType": {
-                    const argFn = argumentType;
-                    if (parameterType.parameters.length !== argFn.parameters.length) {
-                        return true;
-                    }
-                    for (let i = 0; i < parameterType.parameters.length; i++) {
-                        const pp = parameterType.parameters[i];
-                        const ap = argFn.parameters[i];
-                        const pt = pp?.type;
-                        const at = ap?.type;
-                        if (pt && at) {
-                            if (!tryUnify(pt, at))
-                                return false;
-                        }
-                    }
-                    return tryUnify(parameterType.returnType, argFn.returnType);
-                }
-                case "objectType":
-                case "dictionaryType":
-                    // Conservative: only infer through these when shapes already match exactly.
-                    return true;
-                case "voidType":
-                case "neverType":
-                    return true;
-                default:
-                    return true;
-            }
-        };
-        const pairs = Math.min(parameterTypes.length, argTypes.length);
-        for (let i = 0; i < pairs; i++) {
-            const paramType = parameterTypes[i];
-            const argType = argTypes[i];
-            if (!paramType || !argType)
-                continue;
-            if (!tryUnify(paramType, argType))
-                return undefined;
-        }
-        return substitution;
-    };
-    const containsMethodTypeParameter = (type, unresolved) => {
-        if (type.kind === "typeParameterType")
-            return unresolved.has(type.name);
-        if (type.kind === "referenceType") {
-            return (type.typeArguments ?? []).some((t) => t ? containsMethodTypeParameter(t, unresolved) : false);
-        }
-        if (type.kind === "arrayType") {
-            return containsMethodTypeParameter(type.elementType, unresolved);
-        }
-        if (type.kind === "tupleType") {
-            return type.elementTypes.some((t) => t ? containsMethodTypeParameter(t, unresolved) : false);
-        }
-        if (type.kind === "functionType") {
-            const paramsContain = type.parameters.some((p) => p.type ? containsMethodTypeParameter(p.type, unresolved) : false);
-            return (paramsContain ||
-                containsMethodTypeParameter(type.returnType, unresolved));
-        }
-        if (type.kind === "unionType" || type.kind === "intersectionType") {
-            return type.types.some((t) => t ? containsMethodTypeParameter(t, unresolved) : false);
-        }
-        if (type.kind === "objectType") {
-            return type.members.some((m) => {
-                if (m.kind === "propertySignature") {
-                    return containsMethodTypeParameter(m.type, unresolved);
-                }
-                if (m.kind === "methodSignature") {
-                    const paramsContain = m.parameters.some((p) => p.type ? containsMethodTypeParameter(p.type, unresolved) : false);
-                    return (paramsContain ||
-                        (m.returnType
-                            ? containsMethodTypeParameter(m.returnType, unresolved)
-                            : false));
-                }
-                return false;
-            });
-        }
-        return false;
-    };
-    const normalizeCatalogTsName = (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 isArityCompatible = (signature, argumentCount) => {
-        const params = signature.parameters;
-        if (params.length === 0)
-            return argumentCount === 0;
-        // Rest parameter can absorb any extra args.
-        const restIndex = params.findIndex((p) => p.isRest);
-        if (restIndex >= 0) {
-            // Only support `...rest` in the last position.
-            if (restIndex !== params.length - 1)
-                return false;
-            // Must supply all non-rest parameters.
-            if (argumentCount < restIndex)
-                return false;
-            return true;
-        }
-        // Too many args for non-rest signature.
-        if (argumentCount > params.length)
-            return false;
-        // Missing args must correspond to optional parameters.
-        for (let i = argumentCount; i < params.length; i++) {
-            const p = params[i];
-            if (!p || !p.isOptional)
-                return false;
-        }
-        return true;
-    };
-    const scoreSignatureMatch = (parameterTypes, argTypes, argumentCount) => {
-        let score = 0;
-        const pairs = Math.min(argumentCount, parameterTypes.length, argTypes.length);
-        for (let i = 0; i < pairs; i++) {
-            const pt = parameterTypes[i];
-            const at = argTypes[i];
-            if (!pt || !at)
-                continue;
-            if (typesEqual(pt, at)) {
-                score += 3;
-                continue;
-            }
-            const pNom = normalizeToNominal(pt);
-            const aNom = normalizeToNominal(at);
-            if (!pNom || !aNom)
-                continue;
-            if (pNom.typeId.stableId === aNom.typeId.stableId) {
-                score += 2;
-                continue;
-            }
-            const inst = nominalEnv.getInstantiation(aNom.typeId, aNom.typeArgs, pNom.typeId);
-            if (inst)
-                score += 1;
-        }
-        return score;
-    };
-    const tryResolveCallFromUnifiedCatalog = (declaringTypeTsName, declaringMemberName, query) => {
-        const { argumentCount, receiverType, explicitTypeArgs, argTypes } = query;
-        if (!argTypes)
-            return undefined;
-        if (argTypes.length < argumentCount)
-            return undefined;
-        for (let i = 0; i < argumentCount; i++) {
-            if (!argTypes[i])
-                return undefined;
-        }
-        const catalogTypeName = normalizeCatalogTsName(declaringTypeTsName);
-        const declaringTypeId = resolveTypeIdByName(catalogTypeName);
-        if (!declaringTypeId)
-            return undefined;
-        const entry = unifiedCatalog.getByTypeId(declaringTypeId);
-        if (!entry || entry.origin !== "assembly")
-            return undefined;
-        const member = unifiedCatalog.getMember(declaringTypeId, declaringMemberName);
-        const candidates = member?.signatures;
-        if (!candidates || candidates.length === 0)
-            return undefined;
-        const resolveCandidate = (signature) => {
-            if (!isArityCompatible(signature, argumentCount))
-                return undefined;
-            let workingParams = signature.parameters.map((p) => p.type);
-            let workingReturn = signature.returnType;
-            // Receiver substitution (class type params) for instance calls.
-            if (receiverType) {
-                const receiverSubst = computeReceiverSubstitution(receiverType, catalogTypeName, declaringMemberName);
-                if (receiverSubst && receiverSubst.size > 0) {
-                    workingParams = workingParams.map((p) => irSubstitute(p, receiverSubst));
-                    workingReturn = irSubstitute(workingReturn, receiverSubst);
-                }
-            }
-            // Method type parameter substitution.
-            const methodTypeParams = signature.typeParameters.map((tp) => ({
-                name: tp.name,
-                constraint: tp.constraint,
-                defaultType: tp.defaultType,
-            }));
-            if (methodTypeParams.length > 0) {
-                const callSubst = new Map();
-                if (explicitTypeArgs) {
-                    for (let i = 0; i < Math.min(explicitTypeArgs.length, methodTypeParams.length); i++) {
-                        const param = methodTypeParams[i];
-                        const arg = explicitTypeArgs[i];
-                        if (param && arg) {
-                            callSubst.set(param.name, arg);
-                        }
-                    }
-                }
-                const paramsForInference = callSubst.size > 0
-                    ? workingParams.map((p) => irSubstitute(p, callSubst))
-                    : workingParams;
-                const inferred = inferMethodTypeArgsFromArguments(methodTypeParams, paramsForInference, argTypes);
-                if (!inferred)
-                    return undefined;
-                for (const [name, inferredType] of inferred) {
-                    const existing = callSubst.get(name);
-                    if (existing) {
-                        if (!typesEqual(existing, inferredType))
-                            return undefined;
-                        continue;
-                    }
-                    callSubst.set(name, inferredType);
-                }
-                for (const tp of methodTypeParams) {
-                    if (!callSubst.has(tp.name) && tp.defaultType) {
-                        callSubst.set(tp.name, tp.defaultType);
-                    }
-                }
-                if (callSubst.size > 0) {
-                    workingParams = workingParams.map((p) => irSubstitute(p, callSubst));
-                    workingReturn = irSubstitute(workingReturn, callSubst);
-                }
-                const unresolved = new Set(methodTypeParams
-                    .map((tp) => tp.name)
-                    .filter((name) => !callSubst.has(name)));
-                if (unresolved.size > 0 &&
-                    containsMethodTypeParameter(workingReturn, unresolved)) {
-                    return undefined;
-                }
-            }
-            return {
-                parameterTypes: workingParams,
-                parameterModes: signature.parameters.map((p) => p.mode),
-                returnType: workingReturn,
-                typePredicate: undefined,
-                diagnostics: [],
-            };
-        };
-        let best;
-        for (const sig of candidates) {
-            const resolved = resolveCandidate(sig);
-            if (!resolved)
-                continue;
-            if (resolved.returnType.kind === "unknownType")
-                continue;
-            const candidate = {
-                resolved,
-                score: scoreSignatureMatch(resolved.parameterTypes, argTypes, argumentCount),
-                typeParamCount: sig.typeParameters.length,
-                parameterCount: sig.parameters.length,
-                stableId: sig.stableId,
-            };
-            if (!best) {
-                best = candidate;
-                continue;
-            }
-            const better = candidate.score > best.score ||
-                (candidate.score === best.score &&
-                    candidate.typeParamCount < best.typeParamCount) ||
-                (candidate.score === best.score &&
-                    candidate.typeParamCount === best.typeParamCount &&
-                    candidate.parameterCount < best.parameterCount) ||
-                (candidate.score === best.score &&
-                    candidate.typeParamCount === best.typeParamCount &&
-                    candidate.parameterCount === best.parameterCount &&
-                    candidate.stableId < best.stableId);
-            if (better)
-                best = candidate;
-        }
-        return best?.resolved;
-    };
-    const resolveCall = (query) => {
-        const { sigId, argumentCount, receiverType, explicitTypeArgs, argTypes, site, } = query;
-        // 1. Load raw signature (cached)
-        const rawSig = getRawSignature(sigId);
-        if (!rawSig) {
-            // BINDING CONTRACT VIOLATION (Alice's spec): If Binding returned a
-            // SignatureId, HandleRegistry.getSignature(sigId) MUST succeed.
-            // This indicates a bug in Binding, not a normal runtime condition.
-            //
-            // However, we cannot throw during normal compilation as it would
-            // crash the compiler. Instead, emit diagnostic and return poisoned
-            // result with correct arity.
-            emitDiagnostic("TSN5203", `Cannot resolve signature (Binding contract violation: ID ${sigId.id} not in HandleRegistry)`, site);
-            return poisonedCall(argumentCount, diagnostics.slice());
-        }
-        // 2. Start with raw types
-        let workingParams = [...rawSig.parameterTypes];
-        let workingThisParam = rawSig.thisParameterType;
-        let workingReturn = rawSig.returnType;
-        let workingPredicate = rawSig.typePredicate;
-        // 3. Compute receiver substitution (class type params)
-        if (receiverType &&
-            rawSig.declaringTypeTsName &&
-            rawSig.declaringMemberName) {
-            const receiverSubst = computeReceiverSubstitution(receiverType, rawSig.declaringTypeTsName, rawSig.declaringMemberName);
-            if (receiverSubst && receiverSubst.size > 0) {
-                workingParams = workingParams.map((p) => p ? irSubstitute(p, receiverSubst) : undefined);
-                if (workingThisParam) {
-                    workingThisParam = irSubstitute(workingThisParam, receiverSubst);
-                }
-                workingReturn = irSubstitute(workingReturn, receiverSubst);
-                if (workingPredicate) {
-                    workingPredicate =
-                        workingPredicate.kind === "param"
-                            ? {
-                                ...workingPredicate,
-                                targetType: irSubstitute(workingPredicate.targetType, receiverSubst),
-                            }
-                            : {
-                                ...workingPredicate,
-                                targetType: irSubstitute(workingPredicate.targetType, receiverSubst),
-                            };
-                }
-            }
-        }
-        // 4. Compute call substitution (method type params)
-        const methodTypeParams = rawSig.typeParameters;
-        if (methodTypeParams.length > 0) {
-            const callSubst = new Map();
-            // Source 1: Explicit type args from call syntax
-            if (explicitTypeArgs) {
-                for (let i = 0; i < Math.min(explicitTypeArgs.length, methodTypeParams.length); i++) {
-                    const param = methodTypeParams[i];
-                    const arg = explicitTypeArgs[i];
-                    if (param && arg) {
-                        callSubst.set(param.name, arg);
-                    }
-                }
-            }
-            // Source 2: Deterministic argument-driven unification
-            // 2a) Receiver-driven unification via TS `this:` parameter
-            //
-            // Method-table extension typing represents the receiver as an explicit `this:` parameter
-            // in the `.d.ts` signature. Generic methods like:
-            //   ToArrayAsync<T>(this: IQueryable<T>, ...): Task<T[]>
-            // must infer T from the receiver even when there are ZERO call arguments.
-            //
-            // This is airplane-grade determinism: we anchor inference to the selected TS signature’s
-            // `this:` type and the IR receiver type (not TS structural tricks).
-            if (receiverType && workingThisParam) {
-                const receiverParamForInference = callSubst.size > 0
-                    ? irSubstitute(workingThisParam, callSubst)
-                    : workingThisParam;
-                const inferredFromReceiver = inferMethodTypeArgsFromArguments(methodTypeParams, [receiverParamForInference], [receiverType]);
-                if (inferredFromReceiver) {
-                    for (const [name, inferredType] of inferredFromReceiver) {
-                        const existing = callSubst.get(name);
-                        if (existing) {
-                            if (!typesEqual(existing, inferredType)) {
-                                emitDiagnostic("TSN5202", `Conflicting type argument inference for '${name}' (receiver)`, site);
-                                return poisonedCall(argumentCount, diagnostics.slice());
-                            }
-                            continue;
-                        }
-                        callSubst.set(name, inferredType);
-                    }
-                }
-            }
-            // 2b) Argument-driven unification (run even when argTypes is empty).
-            if (argTypes) {
-                const paramsForInference = callSubst.size > 0
-                    ? workingParams.map((p) => p ? irSubstitute(p, callSubst) : undefined)
-                    : workingParams;
-                const inferred = inferMethodTypeArgsFromArguments(methodTypeParams, paramsForInference, argTypes);
-                if (!inferred) {
-                    emitDiagnostic("TSN5202", "Type arguments cannot be inferred deterministically from arguments", site);
-                    return poisonedCall(argumentCount, diagnostics.slice());
-                }
-                for (const [name, inferredType] of inferred) {
-                    const existing = callSubst.get(name);
-                    if (existing) {
-                        if (!typesEqual(existing, inferredType)) {
-                            emitDiagnostic("TSN5202", `Conflicting type argument inference for '${name}'`, site);
-                            return poisonedCall(argumentCount, diagnostics.slice());
-                        }
-                        continue;
-                    }
-                    callSubst.set(name, inferredType);
-                }
-            }
-            // Source 3: Default type parameters
-            for (const tp of methodTypeParams) {
-                if (!callSubst.has(tp.name) && tp.defaultType) {
-                    callSubst.set(tp.name, tp.defaultType);
-                }
-            }
-            // Apply call substitution
-            if (callSubst.size > 0) {
-                workingParams = workingParams.map((p) => p ? irSubstitute(p, callSubst) : undefined);
-                workingReturn = irSubstitute(workingReturn, callSubst);
-                if (workingPredicate) {
-                    workingPredicate =
-                        workingPredicate.kind === "param"
-                            ? {
-                                ...workingPredicate,
-                                targetType: irSubstitute(workingPredicate.targetType, callSubst),
-                            }
-                            : {
-                                ...workingPredicate,
-                                targetType: irSubstitute(workingPredicate.targetType, callSubst),
-                            };
-                }
-            }
-            // Check for unresolved method type parameters (after explicit/arg/default inference)
-            const unresolved = new Set(methodTypeParams
-                .map((tp) => tp.name)
-                .filter((name) => !callSubst.has(name)));
-            if (unresolved.size > 0 &&
-                containsMethodTypeParameter(workingReturn, unresolved)) {
-                const fallback = argTypes && rawSig.declaringTypeTsName && rawSig.declaringMemberName
-                    ? tryResolveCallFromUnifiedCatalog(rawSig.declaringTypeTsName, rawSig.declaringMemberName, query)
-                    : undefined;
-                if (fallback) {
-                    return fallback;
-                }
-                emitDiagnostic("TSN5202", "Return type contains unresolved type parameters - explicit type arguments required", site);
-                workingReturn = unknownType;
-            }
-        }
-        const resolved = {
-            parameterTypes: workingParams,
-            parameterModes: rawSig.parameterModes,
-            returnType: workingReturn,
-            typePredicate: workingPredicate,
-            diagnostics: [],
-        };
-        // CLR overload correction (airplane-grade determinism):
-        //
-        // TypeScript cannot always select the correct overload for CLR APIs because some
-        // Tsonic surface types intentionally erase to TS primitives (e.g., `char` is `string`
-        // in @tsonic/core for TSC compatibility). This can cause TS to resolve calls like
-        // Console.writeLine("Hello") to a `char` overload, which is semantically invalid.
-        //
-        // When we have full argument types, and the call targets an assembly-origin type,
-        // prefer the best matching overload from the UnifiedTypeCatalog if it scores higher
-        // than the TS-selected signature.
-        if (!resolved.typePredicate &&
-            argTypes &&
-            rawSig.declaringTypeTsName &&
-            rawSig.declaringMemberName) {
-            const hasAllArgTypes = argTypes.length >= argumentCount &&
-                Array.from({ length: argumentCount }, (_, i) => argTypes[i]).every((t) => t !== undefined);
-            if (hasAllArgTypes) {
-                const catalogResolved = tryResolveCallFromUnifiedCatalog(rawSig.declaringTypeTsName, rawSig.declaringMemberName, query);
-                if (catalogResolved) {
-                    const currentScore = scoreSignatureMatch(resolved.parameterTypes, argTypes, argumentCount);
-                    const catalogScore = scoreSignatureMatch(catalogResolved.parameterTypes, argTypes, argumentCount);
-                    if (catalogScore > currentScore) {
-                        return catalogResolved;
-                    }
-                }
-            }
-        }
-        return resolved;
-    };
-    // ─────────────────────────────────────────────────────────────────────────
-    // expandUtility — Utility type expansion (Step 8)
-    //
-    // Implements all 13 utility types with deterministic constraints:
-    // - Partial/Required/Readonly: T must be object-like
-    // - Pick/Omit: K must be string literal union (finite keys)
-    // - ReturnType/Parameters: F must be function type
-    // - NonNullable: Works on any type
-    // - Exclude/Extract: Works on any types
-    // - Awaited: Recursive on Promise<T>, Task<T>, ValueTask<T>
-    // - Record: K must be finite literal union (string/number infinite → dictionary)
-    // ─────────────────────────────────────────────────────────────────────────
-    const expandUtility = (name, args, site) => {
-        const firstArg = args[0];
-        if (!firstArg) {
-            emitDiagnostic("TSN7414", `Utility type '${name}' requires a type argument`, site);
-            return unknownType;
-        }
-        // Check if first arg contains type parameters (cannot expand)
-        if (containsTypeParameter(firstArg)) {
-            // Return unknownType - cannot expand utility types with type parameters
-            return unknownType;
-        }
-        switch (name) {
-            case "NonNullable":
-                return expandNonNullableUtility(firstArg);
-            case "Partial":
-                return expandMappedUtility(firstArg, "optional", site);
-            case "Required":
-                return expandMappedUtility(firstArg, "required", site);
-            case "Readonly":
-                return expandMappedUtility(firstArg, "readonly", site);
-            case "Pick": {
-                const keysArg = args[1];
-                if (!keysArg) {
-                    emitDiagnostic("TSN7414", `Pick requires two type arguments`, site);
-                    return unknownType;
-                }
-                return expandPickOmitUtility(firstArg, keysArg, true, site);
-            }
-            case "Omit": {
-                const keysArg = args[1];
-                if (!keysArg) {
-                    emitDiagnostic("TSN7414", `Omit requires two type arguments`, site);
-                    return unknownType;
-                }
-                return expandPickOmitUtility(firstArg, keysArg, false, site);
-            }
-            case "ReturnType":
-                return expandReturnTypeUtility(firstArg, site);
-            case "Parameters":
-                return expandParametersUtility(firstArg, site);
-            case "Exclude": {
-                const excludeArg = args[1];
-                if (!excludeArg) {
-                    emitDiagnostic("TSN7414", `Exclude requires two type arguments`, site);
-                    return unknownType;
-                }
-                return expandExcludeExtractUtility(firstArg, excludeArg, false);
-            }
-            case "Extract": {
-                const extractArg = args[1];
-                if (!extractArg) {
-                    emitDiagnostic("TSN7414", `Extract requires two type arguments`, site);
-                    return unknownType;
-                }
-                return expandExcludeExtractUtility(firstArg, extractArg, true);
-            }
-            case "Awaited":
-                return expandAwaitedUtility(firstArg);
-            case "Record": {
-                const valueArg = args[1];
-                if (!valueArg) {
-                    emitDiagnostic("TSN7414", `Record requires two type arguments`, site);
-                    return unknownType;
-                }
-                return expandRecordUtility(firstArg, valueArg, site);
-            }
-            default:
-                emitDiagnostic("TSN7414", `Utility type '${name}' is not supported`, site);
-                return unknownType;
-        }
-    };
-    // ─────────────────────────────────────────────────────────────────────────
-    // Utility Type Helper Functions
-    // ─────────────────────────────────────────────────────────────────────────
-    /**
-     * Expand NonNullable<T>: Filter out null and undefined from union
-     */
-    const expandNonNullableUtility = (type) => {
-        // Direct null/undefined
-        if (isNullishPrimitive(type)) {
-            return neverType;
-        }
-        // Not a union - return as-is
-        if (type.kind !== "unionType") {
-            return type;
-        }
-        // Filter out null and undefined from union
-        const filtered = type.types.filter((t) => !isNullishPrimitive(t));
-        if (filtered.length === 0) {
-            return neverType;
-        }
-        if (filtered.length === 1 && filtered[0]) {
-            return filtered[0];
-        }
-        return { kind: "unionType", types: filtered };
-    };
-    /**
-     * Expand Partial/Required/Readonly<T>: Mapped type transformation
-     */
-    const expandMappedUtility = (type, mode, site) => {
-        // Must be object-like
-        if (type.kind !== "objectType") {
-            // For reference types, we need structural members
-            if (type.kind === "referenceType") {
-                // Try to get structural members from type
-                const members = getStructuralMembersForType(type);
-                if (members.length === 0) {
-                    emitDiagnostic("TSN7414", `${mode === "optional" ? "Partial" : mode === "required" ? "Required" : "Readonly"} requires a concrete object type`, site);
-                    return unknownType;
-                }
-                // Transform the members
-                return {
-                    kind: "objectType",
-                    members: transformMembers(members, mode),
-                };
-            }
-            emitDiagnostic("TSN7414", `${mode === "optional" ? "Partial" : mode === "required" ? "Required" : "Readonly"} requires an object type`, site);
-            return unknownType;
-        }
-        return {
-            kind: "objectType",
-            members: transformMembers(type.members, mode),
-        };
-    };
-    /**
-     * Transform members for Partial/Required/Readonly
-     */
-    const transformMembers = (members, mode) => {
-        return members.map((m) => {
-            if (m.kind === "propertySignature") {
-                return {
-                    ...m,
-                    isOptional: mode === "optional"
-                        ? true
-                        : mode === "required"
-                            ? false
-                            : m.isOptional,
-                    isReadonly: mode === "readonly" ? true : m.isReadonly,
-                };
-            }
-            return m;
-        });
-    };
-    /**
-     * Get structural members for a reference type
-     */
-    const getStructuralMembersForType = (type) => {
-        if (type.structuralMembers) {
-            return type.structuralMembers;
-        }
-        // Try to look up in registry
-        const fqName = typeRegistry.getFQName(type.name);
-        const entry = fqName
-            ? typeRegistry.resolveNominal(fqName)
-            : typeRegistry.resolveBySimpleName(type.name);
-        if (!entry)
-            return [];
-        // Convert registry members to IR members
-        const members = [];
-        entry.members.forEach((info, name) => {
-            if (info.kind === "property" && info.type) {
-                members.push({
-                    kind: "propertySignature",
-                    name,
-                    type: info.type,
-                    isOptional: info.isOptional,
-                    isReadonly: info.isReadonly,
-                });
-            }
-        });
-        return members;
-    };
-    /**
-     * Expand Pick/Omit<T, K>: Filter members by keys
-     */
-    const expandPickOmitUtility = (type, keysType, isPick, site) => {
-        // Extract literal keys from keysType
-        const keys = extractLiteralKeys(keysType);
-        if (keys === null) {
-            emitDiagnostic("TSN7414", `${isPick ? "Pick" : "Omit"} requires literal string keys`, site);
-            return unknownType;
-        }
-        // Get members from type
-        let members;
-        if (type.kind === "objectType") {
-            members = type.members;
-        }
-        else if (type.kind === "referenceType") {
-            members = getStructuralMembersForType(type);
-        }
-        else {
-            emitDiagnostic("TSN7414", `${isPick ? "Pick" : "Omit"} requires an object type`, site);
-            return unknownType;
-        }
-        // Filter members
-        const filtered = members.filter((m) => {
-            const include = isPick ? keys.has(m.name) : !keys.has(m.name);
-            return include;
-        });
-        return { kind: "objectType", members: filtered };
-    };
-    /**
-     * Extract literal keys from a type (string literals or union of string literals)
-     */
-    const extractLiteralKeys = (type) => {
-        if (type.kind === "literalType" && typeof type.value === "string") {
-            return new Set([type.value]);
-        }
-        if (type.kind === "unionType") {
-            const keys = new Set();
-            for (const t of type.types) {
-                if (t.kind === "literalType" && typeof t.value === "string") {
-                    keys.add(t.value);
-                }
-                else if (t.kind === "literalType" && typeof t.value === "number") {
-                    keys.add(String(t.value));
-                }
-                else {
-                    return null; // Non-literal in union
-                }
-            }
-            return keys;
-        }
-        return null;
-    };
-    /**
-     * Expand ReturnType<F>: Extract return type from function type
-     */
-    const expandReturnTypeUtility = (type, site) => {
-        if (type.kind === "functionType") {
-            return type.returnType ?? voidType;
-        }
-        emitDiagnostic("TSN7414", `ReturnType requires a function type argument`, site);
-        return unknownType;
-    };
-    /**
-     * Expand Parameters<F>: Extract parameters as tuple from function type
-     */
-    const expandParametersUtility = (type, site) => {
-        if (type.kind === "functionType") {
-            const elementTypes = type.parameters.map((p) => p.type ?? { kind: "anyType" });
-            return { kind: "tupleType", elementTypes };
-        }
-        emitDiagnostic("TSN7414", `Parameters requires a function type argument`, site);
-        return unknownType;
-    };
-    /**
-     * Expand Exclude<T, U> or Extract<T, U>
-     */
-    const expandExcludeExtractUtility = (tType, uType, isExtract) => {
-        // If T is not a union, check if it matches U
-        if (tType.kind !== "unionType") {
-            const matches = typesEqual(tType, uType) ||
-                (uType.kind === "unionType" &&
-                    uType.types.some((u) => typesEqual(tType, u)));
-            if (isExtract) {
-                return matches ? tType : neverType;
-            }
-            else {
-                return matches ? neverType : tType;
-            }
-        }
-        // T is a union - filter its constituents
-        const uTypes = uType.kind === "unionType" ? uType.types : [uType];
-        const filtered = tType.types.filter((t) => {
-            const matches = uTypes.some((u) => typesEqual(t, u));
-            return isExtract ? matches : !matches;
-        });
-        if (filtered.length === 0) {
-            return neverType;
-        }
-        if (filtered.length === 1 && filtered[0]) {
-            return filtered[0];
-        }
-        return { kind: "unionType", types: filtered };
-    };
-    /**
-     * Expand Awaited<T>: Unwrap Promise / Task / ValueTask types recursively.
-     */
-    const expandAwaitedUtility = (type) => {
-        if (type.kind === "unionType") {
-            return {
-                kind: "unionType",
-                types: type.types.map((t) => expandAwaitedUtility(t)),
-            };
-        }
-        // Check for Promise<T>
-        if (type.kind === "referenceType" &&
-            (type.name === "Promise" || type.name === "PromiseLike")) {
-            const innerType = type.typeArguments?.[0];
-            if (innerType) {
-                // Recursively unwrap
-                return expandAwaitedUtility(innerType);
-            }
-        }
-        // CLR awaitables: Task / ValueTask
-        if (type.kind === "referenceType") {
-            const clrName = type.typeId?.clrName;
-            // Non-generic: await Task / await ValueTask => void
-            if (clrName === "System.Threading.Tasks.Task" ||
-                clrName === "System.Threading.Tasks.ValueTask") {
-                return voidType;
-            }
-            // Generic: await Task<T> / await ValueTask<T> => T (recursively)
-            if (clrName?.startsWith("System.Threading.Tasks.Task`") ||
-                clrName?.startsWith("System.Threading.Tasks.ValueTask`")) {
-                const innerType = type.typeArguments?.[0];
-                if (innerType)
-                    return expandAwaitedUtility(innerType);
-            }
-        }
-        // Not an awaitable - return as-is
-        return type;
-    };
-    /**
-     * Expand Record<K, V>: Create object type from literal keys
-     */
-    const expandRecordUtility = (keyType, valueType, site) => {
-        // Check if K is a finite set of literal keys
-        const keys = extractLiteralKeys(keyType);
-        if (keys === null) {
-            // Non-finite key type - cannot expand to object, use dictionary instead
-            // Return unknownType to signal that caller should use dictionaryType
-            emitDiagnostic("TSN7414", `Record with non-literal keys cannot be expanded to object type`, site);
-            return unknownType;
-        }
-        // Build object type with a property for each key
-        const members = Array.from(keys).map((key) => ({
-            kind: "propertySignature",
-            name: key,
-            type: valueType,
-            isOptional: false,
-            isReadonly: false,
-        }));
-        return { kind: "objectType", members };
-    };
-    // ─────────────────────────────────────────────────────────────────────────
-    // substitute — Delegate to ir-substitution
-    // ─────────────────────────────────────────────────────────────────────────
-    const substitute = (type, subst) => {
-        // Convert TypeSubstitutionMap to IrSubstitutionMap if needed
-        // (they're the same type, just different naming)
-        return irSubstitute(type, subst);
-    };
-    // ─────────────────────────────────────────────────────────────────────────
-    // instantiate — Instantiate a generic type with type arguments
-    // ─────────────────────────────────────────────────────────────────────────
-    const instantiate = (typeName, typeArgs, site) => {
-        // Look up the type in registry
-        const fqName = typeRegistry.getFQName(typeName);
-        const entry = fqName
-            ? typeRegistry.resolveNominal(fqName)
-            : typeRegistry.resolveBySimpleName(typeName);
-        if (!entry) {
-            emitDiagnostic("TSN5203", `Cannot resolve type '${typeName}'`, site);
-            return unknownType;
-        }
-        // Build substitution map from type parameters to arguments
-        const subst = new Map();
-        const typeParams = entry.typeParameters;
-        for (let i = 0; i < Math.min(typeParams.length, typeArgs.length); i++) {
-            const param = typeParams[i];
-            const arg = typeArgs[i];
-            if (param && arg) {
-                subst.set(param.name, arg);
-            }
-        }
-        // Return instantiated reference type
-        const result = {
-            kind: "referenceType",
-            name: entry.name,
-            typeArguments: typeArgs.length > 0 ? [...typeArgs] : undefined,
-        };
-        return result;
-    };
-    // ─────────────────────────────────────────────────────────────────────────
-    // isAssignableTo — Conservative subtype check
-    // ─────────────────────────────────────────────────────────────────────────
-    const isAssignableTo = (source, target) => {
-        // Same type - always assignable
-        if (typesEqual(source, target))
-            return true;
-        // any is assignable to anything, anything is assignable to any
-        if (source.kind === "anyType" || target.kind === "anyType")
-            return true;
-        // never is assignable to anything
-        if (source.kind === "neverType")
-            return true;
-        // undefined/null assignability (represented as primitiveType with name "null"/"undefined")
-        if (isNullishPrimitive(source)) {
-            // Assignable to union containing undefined/null
-            if (target.kind === "unionType") {
-                return target.types.some((t) => t.kind === "primitiveType" && t.name === source.name);
-            }
-            return false;
-        }
-        // Primitives - same primitive type
-        if (source.kind === "primitiveType" && target.kind === "primitiveType") {
-            return source.name === target.name;
-        }
-        // Union source - all members must be assignable
-        if (source.kind === "unionType") {
-            return source.types.every((t) => isAssignableTo(t, target));
-        }
-        // Union target - source must be assignable to at least one member
-        if (target.kind === "unionType") {
-            return target.types.some((t) => isAssignableTo(source, t));
-        }
-        // Array types
-        if (source.kind === "arrayType" && target.kind === "arrayType") {
-            return isAssignableTo(source.elementType, target.elementType);
-        }
-        // Reference types - check nominal compatibility via TypeId
-        if (source.kind === "referenceType" && target.kind === "referenceType") {
-            const sourceNominal = normalizeToNominal(source);
-            const targetNominal = normalizeToNominal(target);
-            if (!sourceNominal || !targetNominal)
-                return false;
-            if (sourceNominal.typeId.stableId === targetNominal.typeId.stableId) {
-                const sourceArgs = sourceNominal.typeArgs;
-                const targetArgs = targetNominal.typeArgs;
-                if (sourceArgs.length !== targetArgs.length)
-                    return false;
-                return sourceArgs.every((sa, i) => {
-                    const ta = targetArgs[i];
-                    return ta ? typesEqual(sa, ta) : false;
-                });
-            }
-            const chain = nominalEnv.getInheritanceChain(sourceNominal.typeId);
-            return chain.some((t) => t.stableId === targetNominal.typeId.stableId);
-        }
-        // Conservative - return false if unsure
-        return false;
-    };
-    // ─────────────────────────────────────────────────────────────────────────
-    // typesEqual — Structural equality check
-    // ─────────────────────────────────────────────────────────────────────────
-    const typesEqual = (a, b) => {
-        if (a.kind !== b.kind)
-            return false;
-        switch (a.kind) {
-            case "primitiveType":
-                return b.kind === "primitiveType" && a.name === b.name;
-            case "referenceType": {
-                if (b.kind !== "referenceType")
-                    return false;
-                if (a.name !== b.name)
-                    return false;
-                const aArgs = a.typeArguments ?? [];
-                const bArgs = b.typeArguments ?? [];
-                if (aArgs.length !== bArgs.length)
-                    return false;
-                return aArgs.every((arg, i) => {
-                    const bArg = bArgs[i];
-                    return bArg ? typesEqual(arg, bArg) : false;
-                });
-            }
-            case "arrayType":
-                return (b.kind === "arrayType" &&
-                    typesEqual(a.elementType, b.elementType));
-            case "tupleType": {
-                if (b.kind !== "tupleType")
-                    return false;
-                const bTyped = b;
-                if (a.elementTypes.length !== bTyped.elementTypes.length)
-                    return false;
-                return a.elementTypes.every((el, i) => {
-                    const bEl = bTyped.elementTypes[i];
-                    return bEl ? typesEqual(el, bEl) : false;
-                });
-            }
-            case "unionType":
-            case "intersectionType": {
-                if (b.kind !== a.kind)
-                    return false;
-                const bTyped = b;
-                if (a.types.length !== bTyped.types.length)
-                    return false;
-                // Order-independent comparison for unions/intersections
-                return a.types.every((at) => bTyped.types.some((bt) => typesEqual(at, bt)));
-            }
-            case "functionType": {
-                if (b.kind !== "functionType")
-                    return false;
-                const bTyped = b;
-                if (a.parameters.length !== bTyped.parameters.length)
-                    return false;
-                const paramsEqual = a.parameters.every((ap, i) => {
-                    const bp = bTyped.parameters[i];
-                    if (!bp)
-                        return false;
-                    if (ap.type && bp.type)
-                        return typesEqual(ap.type, bp.type);
-                    return !ap.type && !bp.type;
-                });
-                if (!paramsEqual)
-                    return false;
-                if (a.returnType && bTyped.returnType) {
-                    return typesEqual(a.returnType, bTyped.returnType);
-                }
-                return !a.returnType && !bTyped.returnType;
-            }
-            case "typeParameterType":
-                return (b.kind === "typeParameterType" && a.name === b.name);
-            case "literalType":
-                return b.kind === "literalType" && a.value === b.value;
-            case "voidType":
-            case "neverType":
-            case "unknownType":
-            case "anyType":
-                return a.kind === b.kind;
-            default:
-                // For other types, fall back to JSON comparison
-                return JSON.stringify(a) === JSON.stringify(b);
-        }
-    };
-    // ─────────────────────────────────────────────────────────────────────────
-    // containsTypeParameter — Check if type contains unresolved type params
-    // ─────────────────────────────────────────────────────────────────────────
-    const containsTypeParameter = (type) => {
-        if (type.kind === "typeParameterType")
-            return true;
-        if (type.kind === "referenceType") {
-            return (type.typeArguments ?? []).some(containsTypeParameter);
-        }
-        if (type.kind === "arrayType") {
-            return containsTypeParameter(type.elementType);
-        }
-        if (type.kind === "functionType") {
-            const paramsContain = type.parameters.some((p) => p.type && containsTypeParameter(p.type));
-            const returnContains = type.returnType && containsTypeParameter(type.returnType);
-            return paramsContain || !!returnContains;
-        }
-        if (type.kind === "unionType" || type.kind === "intersectionType") {
-            return type.types.some(containsTypeParameter);
-        }
-        if (type.kind === "tupleType") {
-            return type.elementTypes.some(containsTypeParameter);
-        }
-        if (type.kind === "objectType") {
-            return type.members.some((m) => {
-                if (m.kind === "propertySignature") {
-                    return containsTypeParameter(m.type);
-                }
-                if (m.kind === "methodSignature") {
-                    const paramsContain = m.parameters.some((p) => p.type && containsTypeParameter(p.type));
-                    const returnContains = m.returnType && containsTypeParameter(m.returnType);
-                    return paramsContain || !!returnContains;
-                }
-                return false;
-            });
-        }
-        return false;
-    };
-    const getDiagnostics = () => {
-        return diagnostics.slice();
-    };
-    const clearDiagnostics = () => {
-        diagnostics.length = 0;
-    };
-    // ─────────────────────────────────────────────────────────────────────────
-    // hasTypeParameters — Check if declaration has type parameters
-    // ─────────────────────────────────────────────────────────────────────────
-    const hasTypeParameters = (declId) => {
-        const declInfo = handleRegistry.getDecl(declId);
-        if (!declInfo?.declNode)
-            return false;
-        // Check the declaration node for type parameters
-        // We need to import ts to check for type parameter declarations
-        // Access the declNode as any to check for typeParameters property
-        const declNode = declInfo.declNode;
-        return !!(declNode.typeParameters && declNode.typeParameters.length > 0);
-    };
-    // ─────────────────────────────────────────────────────────────────────────
-    // typeOfMemberId — Get type of member by handle
-    // ─────────────────────────────────────────────────────────────────────────
-    const typeOfMemberId = (memberId) => {
-        const memberInfo = handleRegistry.getMember(memberId);
-        if (!memberInfo) {
-            return unknownType;
-        }
-        // If the member has a type node, convert it
-        if (memberInfo.typeNode) {
-            return convertTypeNode(memberInfo.typeNode);
-        }
-        // Otherwise, attempt to recover type deterministically from the member declaration.
-        // This is required for namespace imports (`import * as X`) where members are
-        // function declarations / const declarations (no typeNode captured by Binding).
-        const decl = memberInfo.declNode;
-        if (decl) {
-            if (ts.isFunctionDeclaration(decl)) {
-                // Determinism: require explicit parameter + return annotations.
-                if (!decl.type)
-                    return unknownType;
-                if (decl.parameters.some((p) => p.type === undefined))
-                    return unknownType;
-                const parameters = decl.parameters.map((p) => ({
-                    kind: "parameter",
-                    pattern: {
-                        kind: "identifierPattern",
-                        name: ts.isIdentifier(p.name) ? p.name.text : "param",
-                    },
-                    type: p.type ? convertTypeNode(p.type) : undefined,
-                    initializer: undefined,
-                    isOptional: !!p.questionToken || !!p.initializer,
-                    isRest: !!p.dotDotDotToken,
-                    passing: "value",
-                }));
-                const returnType = convertTypeNode(decl.type);
-                const fnType = {
-                    kind: "functionType",
-                    parameters,
-                    returnType,
-                };
-                return fnType;
-            }
-            if (ts.isVariableDeclaration(decl)) {
-                if (decl.type)
-                    return convertTypeNode(decl.type);
-                const inferred = tryInferTypeFromInitializer(decl);
-                return inferred ?? unknownType;
-            }
-        }
-        return unknownType;
-    };
-    // ─────────────────────────────────────────────────────────────────────────
-    // getFQNameOfDecl — Get fully-qualified name of declaration
-    // ─────────────────────────────────────────────────────────────────────────
-    const getFQNameOfDecl = (declId) => {
-        const declInfo = handleRegistry.getDecl(declId);
-        return declInfo?.fqName;
-    };
-    // ─────────────────────────────────────────────────────────────────────────
-    // isTypeDecl — Check if declaration is a type
-    // ─────────────────────────────────────────────────────────────────────────
-    const isTypeDecl = (declId) => {
-        const declInfo = handleRegistry.getDecl(declId);
-        if (!declInfo)
-            return false;
-        const typeKinds = [
-            "interface",
-            "class",
-            "typeAlias",
-            "enum",
-        ];
-        return typeKinds.includes(declInfo.kind);
-    };
-    // ─────────────────────────────────────────────────────────────────────────
-    // isInterfaceDecl — Check if declaration is an interface
-    // ─────────────────────────────────────────────────────────────────────────
-    const isInterfaceDecl = (declId) => {
-        const declInfo = handleRegistry.getDecl(declId);
-        return declInfo?.kind === "interface";
-    };
-    // ─────────────────────────────────────────────────────────────────────────
-    // isTypeAliasToObjectLiteral — Check if type alias points to object literal
-    // ─────────────────────────────────────────────────────────────────────────
-    const isTypeAliasToObjectLiteral = (declId) => {
-        const declInfo = handleRegistry.getDecl(declId);
-        if (!declInfo || declInfo.kind !== "typeAlias")
-            return false;
-        // Check if the typeNode is a type literal node
-        // We need to access the declNode to get the type alias declaration
-        const declNode = declInfo.declNode;
-        if (!declNode?.type)
-            return false;
-        return declNode.type.kind === ts.SyntaxKind.TypeLiteral;
-    };
-    // Suppress unused variable warning for nominalMemberLookupCache
-    // Will be used for more advanced caching in future
-    void nominalMemberLookupCache;
-    // ─────────────────────────────────────────────────────────────────────────
-    // signatureHasConditionalReturn — Check for conditional return type
-    // ─────────────────────────────────────────────────────────────────────────
-    const signatureHasConditionalReturn = (sigId) => {
-        const sigInfo = handleRegistry.getSignature(sigId);
-        if (!sigInfo)
-            return false;
-        const returnTypeNode = sigInfo.returnTypeNode;
-        if (!returnTypeNode)
-            return false;
-        return returnTypeNode.kind === ts.SyntaxKind.ConditionalType;
-    };
-    // ─────────────────────────────────────────────────────────────────────────
-    // signatureHasVariadicTypeParams — Check for variadic type parameters
-    // ─────────────────────────────────────────────────────────────────────────
-    const signatureHasVariadicTypeParams = (sigId) => {
-        const sigInfo = handleRegistry.getSignature(sigId);
-        if (!sigInfo)
-            return false;
-        if (!sigInfo.typeParameters)
-            return false;
-        for (const typeParam of sigInfo.typeParameters) {
-            const constraintNode = typeParam.constraintNode;
-            if (!constraintNode)
-                continue;
-            // Check if constraint is an array type (variadic pattern: T extends unknown[])
-            if (constraintNode.kind === ts.SyntaxKind.ArrayType) {
-                const elementType = constraintNode.elementType;
-                if (!elementType)
-                    continue;
-                // Check for unknown[] or any[] constraint
-                if (elementType.kind === ts.SyntaxKind.UnknownKeyword ||
-                    elementType.kind === ts.SyntaxKind.AnyKeyword) {
-                    return true;
-                }
-                // Also check for type reference to "unknown" or "any"
-                const typeName = elementType.typeName?.text;
-                if (typeName === "unknown" || typeName === "any") {
-                    return true;
-                }
-            }
-        }
-        return false;
-    };
-    // ─────────────────────────────────────────────────────────────────────────
-    // declHasTypeAnnotation — Check if declaration has explicit type
-    // ─────────────────────────────────────────────────────────────────────────
-    const declHasTypeAnnotation = (declId) => {
-        const declInfo = handleRegistry.getDecl(declId);
-        return declInfo?.typeNode !== undefined;
-    };
-    // ─────────────────────────────────────────────────────────────────────────
-    // checkTsClassMemberOverride — Check if member can be overridden
-    // ─────────────────────────────────────────────────────────────────────────
-    /**
-     * Check if a class member overrides a base class member.
-     *
-     * ALICE'S SPEC: Uses captured ClassMemberNames (pure data) from Binding.
-     * No TS AST inspection, no SyntaxKind numbers. TS-version safe.
-     */
-    const checkTsClassMemberOverride = (declId, memberName, memberKind) => {
-        const declInfo = handleRegistry.getDecl(declId);
-        const members = declInfo?.classMemberNames;
-        // No class member info available
-        if (!members) {
-            return { isOverride: false, isShadow: false };
-        }
-        // Check if base class has this member
-        const has = memberKind === "method"
-            ? members.methods.has(memberName)
-            : members.properties.has(memberName);
-        // In TypeScript, all methods can be overridden (no `final` keyword)
-        return has
-            ? { isOverride: true, isShadow: false }
-            : { isOverride: false, isShadow: false };
-    };
-    // ─────────────────────────────────────────────────────────────────────────
-    // typeFromSyntax — Convert captured type syntax to IrType
-    // ─────────────────────────────────────────────────────────────────────────
-    /**
-     * Convert a captured type syntax to IrType.
-     *
-     * This method takes a TypeSyntaxId handle (opaque to caller) and looks up
-     * the captured TypeNode in the HandleRegistry, then converts it.
-     *
-     * ALICE'S SPEC (Phase 2): TypeSystem receives opaque handles, not ts.TypeNode.
-     */
-    const typeFromSyntax = (typeSyntaxId) => {
-        const syntaxInfo = handleRegistry.getTypeSyntax(typeSyntaxId);
-        if (!syntaxInfo) {
-            // Invalid handle - return unknownType
-            return { kind: "unknownType" };
-        }
-        // Phase 5: convertTypeNode accepts unknown, cast is inside type-system/internal
-        return convertTypeNode(syntaxInfo.typeNode);
+    // SHARED STATE — DI container for all split functions
+    // ─────────────────────────────────────────────────────────────────────────
+    const state = {
+        handleRegistry,
+        typeRegistry,
+        nominalEnv,
+        convertTypeNodeRaw,
+        unifiedCatalog,
+        aliasTable,
+        resolveIdentifier,
+        resolveCallSignature,
+        resolveConstructorSignature,
+        declTypeCache,
+        memberDeclaredTypeCache,
+        signatureRawCache,
+        nominalMemberLookupCache,
+        diagnostics,
     };
     // ─────────────────────────────────────────────────────────────────────────
     // RETURN TYPESYSTEM INSTANCE
     // ─────────────────────────────────────────────────────────────────────────
     return {
-        typeFromSyntax,
-        typeOfDecl,
-        typeOfMember,
-        getIndexerInfo,
-        typeOfMemberId,
-        getFQNameOfDecl,
-        isTypeDecl,
-        isInterfaceDecl,
-        isTypeAliasToObjectLiteral,
-        signatureHasConditionalReturn,
-        signatureHasVariadicTypeParams,
-        declHasTypeAnnotation,
-        checkTsClassMemberOverride,
-        resolveCall,
-        delegateToFunctionType,
-        expandUtility,
-        substitute,
-        instantiate,
-        isAssignableTo,
-        typesEqual,
-        containsTypeParameter,
-        hasTypeParameters,
-        getDiagnostics,
-        clearDiagnostics,
+        // Type syntax conversion (inference module)
+        typeFromSyntax: (typeSyntaxId) => infTypeFromSyntax(state, typeSyntaxId),
+        // Declaration types (inference module)
+        typeOfDecl: (declId) => infTypeOfDecl(state, declId),
+        // Member types (inference module)
+        typeOfMember: (receiver, member, site) => infTypeOfMember(state, receiver, member, site),
+        getIndexerInfo: (receiver, site) => infGetIndexerInfo(state, receiver, site),
+        // Call resolution (call-resolution module)
+        resolveCall: (query) => crResolveCall(state, query),
+        delegateToFunctionType: (type) => crDelegateToFunctionType(state, type),
+        // Utility type expansion (utilities module)
+        expandUtility: (name, args, site) => utExpandUtility(state, name, args, site),
+        // Substitution & instantiation (relations module)
+        substitute: (type, subst) => relSubstitute(type, subst),
+        instantiate: (typeName, typeArgs, site) => relInstantiate(state, typeName, typeArgs, site),
+        // Type relations (relations module)
+        isAssignableTo: (source, target) => relIsAssignableTo(state, source, target),
+        typesEqual: (a, b) => relTypesEqual(a, b),
+        containsTypeParameter: (type) => relContainsTypeParameter(type),
+        // Declaration inspection (inference module)
+        hasTypeParameters: (declId) => infHasTypeParameters(state, declId),
+        typeOfMemberId: (memberId) => infTypeOfMemberId(state, memberId),
+        getFQNameOfDecl: (declId) => infGetFQNameOfDecl(state, declId),
+        isTypeDecl: (declId) => infIsTypeDecl(state, declId),
+        isInterfaceDecl: (declId) => infIsInterfaceDecl(state, declId),
+        isTypeAliasToObjectLiteral: (declId) => infIsTypeAliasToObjectLiteral(state, declId),
+        signatureHasConditionalReturn: (sigId) => infSignatureHasConditionalReturn(state, sigId),
+        signatureHasVariadicTypeParams: (sigId) => infSignatureHasVariadicTypeParams(state, sigId),
+        declHasTypeAnnotation: (declId) => infDeclHasTypeAnnotation(state, declId),
+        checkTsClassMemberOverride: (declId, memberName, memberKind) => infCheckTsClassMemberOverride(state, declId, memberName, memberKind),
+        // Diagnostics
+        getDiagnostics: () => diagnostics.slice(),
+        clearDiagnostics: () => {
+            diagnostics.length = 0;
+        },
     };
 };
 //# sourceMappingURL=type-system.js.map