@tsonic/frontend 0.0.13 → 0.0.15

package/dist/ir/type-system/internal/handle-types.js

@@ -0,0 +1,13 @@
+/**
+ * Internal Handle Types — NOT FOR PUBLIC EXPORT
+ *
+ * ALICE'S SPEC: These types are INTERNAL ONLY.
+ * They may contain raw TypeNodes (as unknown) for internal use.
+ * They must NOT be exported from type-system/index.ts.
+ *
+ * Allowed importers:
+ * - ir/type-system/**
+ * - ir/binding/**
+ */
+export {};
+//# sourceMappingURL=handle-types.js.map

package/dist/ir/type-system/internal/handle-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"handle-types.js","sourceRoot":"","sources":["../../../../src/ir/type-system/internal/handle-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG"}

package/dist/ir/type-system/internal/nominal-env.d.ts

@@ -0,0 +1,66 @@
+/**
+ * NominalEnv - Inheritance instantiation environment
+ *
+ * Phase 6 (Alice's spec): TypeId-based, Universe-driven.
+ *
+ * Computes type parameter substitution through inheritance chains
+ * deterministically, using only the UnifiedTypeCatalog (no TypeNodes).
+ */
+import type { IrType } from "../../types/index.js";
+import type { UnifiedTypeCatalog, TypeId } from "./universe/types.js";
+/**
+ * Map from type parameter name to concrete IR type
+ */
+export type InstantiationEnv = ReadonlyMap<string, IrType>;
+/**
+ * Substitution result for a specific type in the inheritance chain
+ */
+export type SubstitutionResult = {
+    readonly declaringTypeId: TypeId;
+    readonly substitution: InstantiationEnv;
+};
+/**
+ * NominalEnv API - Phase 6: TypeId-based
+ */
+export type NominalEnv = {
+    /**
+     * Find which nominal type in the inheritance chain declares a given member.
+     * Returns the TypeId and the substitution needed to access that member.
+     */
+    readonly findMemberDeclaringType: (receiverTypeId: TypeId, receiverTypeArgs: readonly IrType[], memberName: string) => SubstitutionResult | undefined;
+    /**
+     * Get type parameter substitution for accessing a member from a target type
+     * when the receiver has the given TypeId and type arguments.
+     *
+     * Example:
+     * ```typescript
+     * class SomeBase<T> { value: List<T>; }
+     * class SomeClass extends SomeBase<int> {}
+     *
+     * // getInstantiation(SomeClassId, [], SomeBaseId)
+     * // → { "T" → int }
+     * ```
+     */
+    readonly getInstantiation: (receiverTypeId: TypeId, receiverTypeArgs: readonly IrType[], targetTypeId: TypeId) => InstantiationEnv | undefined;
+    /**
+     * Get the complete inheritance chain for a nominal type.
+     * Returns TypeIds in order from child to parent.
+     *
+     * Only follows "extends" edges (matches legacy behavior).
+     */
+    readonly getInheritanceChain: (typeId: TypeId) => readonly TypeId[];
+};
+/**
+ * Apply a substitution map to an IrType.
+ * Replaces typeParameterType nodes with their concrete values.
+ */
+export declare const substituteIrType: (type: IrType, subst: InstantiationEnv) => IrType;
+/**
+ * Build a NominalEnv from a UnifiedTypeCatalog.
+ *
+ * Phase 6: Uses ONLY the catalog for all lookups. No TypeRegistry, no TypeNodes.
+ *
+ * @param catalog The UnifiedTypeCatalog to use for lookups
+ */
+export declare const buildNominalEnv: (catalog: UnifiedTypeCatalog) => NominalEnv;
+//# sourceMappingURL=nominal-env.d.ts.map

package/dist/ir/type-system/internal/nominal-env.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"nominal-env.d.ts","sourceRoot":"","sources":["../../../../src/ir/type-system/internal/nominal-env.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AACnD,OAAO,KAAK,EACV,kBAAkB,EAClB,MAAM,EAEP,MAAM,qBAAqB,CAAC;AAE7B;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AAE3D;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,YAAY,EAAE,gBAAgB,CAAC;CACzC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG;IACvB;;;OAGG;IACH,QAAQ,CAAC,uBAAuB,EAAE,CAChC,cAAc,EAAE,MAAM,EACtB,gBAAgB,EAAE,SAAS,MAAM,EAAE,EACnC,UAAU,EAAE,MAAM,KACf,kBAAkB,GAAG,SAAS,CAAC;IAEpC;;;;;;;;;;;;OAYG;IACH,QAAQ,CAAC,gBAAgB,EAAE,CACzB,cAAc,EAAE,MAAM,EACtB,gBAAgB,EAAE,SAAS,MAAM,EAAE,EACnC,YAAY,EAAE,MAAM,KACjB,gBAAgB,GAAG,SAAS,CAAC;IAElC;;;;;OAKG;IACH,QAAQ,CAAC,mBAAmB,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,SAAS,MAAM,EAAE,CAAC;CACrE,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,gBAAgB,GAC3B,MAAM,MAAM,EACZ,OAAO,gBAAgB,KACtB,MA8HF,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,eAAe,GAAI,SAAS,kBAAkB,KAAG,UAqM7D,CAAC"}

package/dist/ir/type-system/internal/nominal-env.js

@@ -0,0 +1,301 @@
+/**
+ * NominalEnv - Inheritance instantiation environment
+ *
+ * Phase 6 (Alice's spec): TypeId-based, Universe-driven.
+ *
+ * Computes type parameter substitution through inheritance chains
+ * deterministically, using only the UnifiedTypeCatalog (no TypeNodes).
+ */
+/**
+ * Apply a substitution map to an IrType.
+ * Replaces typeParameterType nodes with their concrete values.
+ */
+export const substituteIrType = (type, subst) => {
+    switch (type.kind) {
+        case "typeParameterType": {
+            const replacement = subst.get(type.name);
+            return replacement ?? type;
+        }
+        case "referenceType": {
+            // Check if the type itself is a type parameter (legacy format)
+            const replacement = subst.get(type.name);
+            if (replacement)
+                return replacement;
+            // Substitute in type arguments and structural members
+            const hasTypeArgs = type.typeArguments && type.typeArguments.length > 0;
+            const hasStructural = type.structuralMembers && type.structuralMembers.length > 0;
+            if (hasTypeArgs || hasStructural) {
+                return {
+                    ...type,
+                    typeArguments: hasTypeArgs
+                        ? type.typeArguments.map((arg) => substituteIrType(arg, subst))
+                        : type.typeArguments,
+                    structuralMembers: hasStructural
+                        ? type.structuralMembers.map((m) => {
+                            if (m.kind === "propertySignature") {
+                                return {
+                                    ...m,
+                                    type: substituteIrType(m.type, subst),
+                                };
+                            }
+                            // methodSignature
+                            return {
+                                ...m,
+                                returnType: m.returnType
+                                    ? substituteIrType(m.returnType, subst)
+                                    : m.returnType,
+                                parameters: m.parameters.map((p) => ({
+                                    ...p,
+                                    type: p.type ? substituteIrType(p.type, subst) : p.type,
+                                })),
+                            };
+                        })
+                        : type.structuralMembers,
+                };
+            }
+            return type;
+        }
+        case "arrayType": {
+            return {
+                ...type,
+                elementType: substituteIrType(type.elementType, subst),
+            };
+        }
+        case "functionType": {
+            return {
+                ...type,
+                parameters: type.parameters.map((p) => ({
+                    ...p,
+                    type: p.type ? substituteIrType(p.type, subst) : p.type,
+                })),
+                returnType: type.returnType
+                    ? substituteIrType(type.returnType, subst)
+                    : type.returnType,
+            };
+        }
+        case "unionType": {
+            return {
+                ...type,
+                types: type.types.map((t) => substituteIrType(t, subst)),
+            };
+        }
+        case "tupleType": {
+            return {
+                ...type,
+                elementTypes: type.elementTypes.map((t) => substituteIrType(t, subst)),
+            };
+        }
+        case "dictionaryType": {
+            return {
+                ...type,
+                keyType: substituteIrType(type.keyType, subst),
+                valueType: substituteIrType(type.valueType, subst),
+            };
+        }
+        case "intersectionType": {
+            return {
+                ...type,
+                types: type.types.map((t) => substituteIrType(t, subst)),
+            };
+        }
+        case "objectType": {
+            return {
+                ...type,
+                members: type.members.map((m) => {
+                    if (m.kind === "propertySignature") {
+                        return {
+                            ...m,
+                            type: substituteIrType(m.type, subst),
+                        };
+                    }
+                    // methodSignature
+                    return {
+                        ...m,
+                        returnType: m.returnType
+                            ? substituteIrType(m.returnType, subst)
+                            : m.returnType,
+                        parameters: m.parameters.map((p) => ({
+                            ...p,
+                            type: p.type ? substituteIrType(p.type, subst) : p.type,
+                        })),
+                    };
+                }),
+            };
+        }
+        default:
+            return type;
+    }
+};
+/**
+ * Build a NominalEnv from a UnifiedTypeCatalog.
+ *
+ * Phase 6: Uses ONLY the catalog for all lookups. No TypeRegistry, no TypeNodes.
+ *
+ * @param catalog The UnifiedTypeCatalog to use for lookups
+ */
+export const buildNominalEnv = (catalog) => {
+    // Cache for computed inheritance chains
+    // Key: stableId
+    const inheritanceChainCache = new Map();
+    // Cache for computed instantiations
+    // Key: "receiverStableId|serialized args|targetStableId"
+    const instantiationCache = new Map();
+    /**
+     * Serialize type args for cache key.
+     */
+    const serializeTypeArgs = (typeArgs) => {
+        if (typeArgs.length === 0)
+            return "";
+        return typeArgs.map((a) => JSON.stringify(a)).join(",");
+    };
+    /**
+     * Get the inheritance chain for a nominal type.
+     * Returns TypeIds in order from child to parent.
+     *
+     * Phase 6 (Alice's spec): This must be sufficient for nominal assignability and
+     * member lookup across both class inheritance and implemented interfaces.
+     */
+    const getInheritanceChain = (typeId) => {
+        const cached = inheritanceChainCache.get(typeId.stableId);
+        if (cached)
+            return cached;
+        const chain = [typeId];
+        const visited = new Set([typeId.stableId]);
+        const queue = [typeId];
+        while (queue.length > 0) {
+            const currentTypeId = queue.shift();
+            if (!currentTypeId)
+                continue;
+            const heritage = [...catalog.getHeritage(currentTypeId)].sort((a, b) => {
+                const rank = (k) => (k === "extends" ? 0 : 1);
+                const ra = rank(a.kind);
+                const rb = rank(b.kind);
+                if (ra !== rb)
+                    return ra - rb;
+                return a.targetStableId.localeCompare(b.targetStableId);
+            });
+            for (const edge of heritage) {
+                if (visited.has(edge.targetStableId))
+                    continue;
+                const parentEntry = catalog.getByStableId(edge.targetStableId);
+                if (!parentEntry)
+                    continue;
+                visited.add(edge.targetStableId);
+                chain.push(parentEntry.typeId);
+                queue.push(parentEntry.typeId);
+            }
+        }
+        inheritanceChainCache.set(typeId.stableId, chain);
+        return chain;
+    };
+    /**
+     * Get instantiation for a specific target in the inheritance chain.
+     */
+    const getInstantiation = (receiverTypeId, receiverTypeArgs, targetTypeId) => {
+        // Check cache
+        const cacheKey = `${receiverTypeId.stableId}|${serializeTypeArgs(receiverTypeArgs)}|${targetTypeId.stableId}`;
+        const cached = instantiationCache.get(cacheKey);
+        if (cached)
+            return cached;
+        // If receiver is the target, build initial substitution from receiver's type args
+        if (receiverTypeId.stableId === targetTypeId.stableId) {
+            const receiverTypeParams = catalog.getTypeParameters(receiverTypeId);
+            const subst = new Map();
+            for (let i = 0; i < receiverTypeParams.length; i++) {
+                const paramName = receiverTypeParams[i]?.name;
+                const arg = receiverTypeArgs[i];
+                if (paramName && arg) {
+                    subst.set(paramName, arg);
+                }
+            }
+            instantiationCache.set(cacheKey, subst);
+            return subst;
+        }
+        // Start with receiver's type args (receiver param → concrete type)
+        const receiverTypeParams = catalog.getTypeParameters(receiverTypeId);
+        let currentSubst = new Map();
+        for (let i = 0; i < receiverTypeParams.length; i++) {
+            const paramName = receiverTypeParams[i]?.name;
+            const arg = receiverTypeArgs[i];
+            if (paramName && arg) {
+                currentSubst.set(paramName, arg);
+            }
+        }
+        const serializeSubst = (typeId, subst) => {
+            const typeParams = catalog.getTypeParameters(typeId);
+            return typeParams
+                .map((tp) => JSON.stringify(subst.get(tp.name) ?? null))
+                .join(",");
+        };
+        const visited = new Set();
+        const queue = [
+            {
+                typeId: receiverTypeId,
+                subst: currentSubst,
+            },
+        ];
+        while (queue.length > 0) {
+            const state = queue.shift();
+            if (!state)
+                continue;
+            if (state.typeId.stableId === targetTypeId.stableId) {
+                instantiationCache.set(cacheKey, state.subst);
+                return state.subst;
+            }
+            const heritage = [...catalog.getHeritage(state.typeId)].sort((a, b) => {
+                const rank = (k) => (k === "extends" ? 0 : 1);
+                const ra = rank(a.kind);
+                const rb = rank(b.kind);
+                if (ra !== rb)
+                    return ra - rb;
+                return a.targetStableId.localeCompare(b.targetStableId);
+            });
+            for (const edge of heritage) {
+                const parentEntry = catalog.getByStableId(edge.targetStableId);
+                if (!parentEntry)
+                    continue;
+                const parentTypeId = parentEntry.typeId;
+                const parentTypeParams = catalog.getTypeParameters(parentTypeId);
+                const nextSubst = new Map();
+                for (let i = 0; i < parentTypeParams.length; i++) {
+                    const paramName = parentTypeParams[i]?.name;
+                    const argType = edge.typeArguments[i];
+                    if (paramName && argType) {
+                        nextSubst.set(paramName, substituteIrType(argType, state.subst));
+                    }
+                }
+                const visitKey = `${parentTypeId.stableId}|${serializeSubst(parentTypeId, nextSubst)}`;
+                if (visited.has(visitKey))
+                    continue;
+                visited.add(visitKey);
+                queue.push({ typeId: parentTypeId, subst: nextSubst });
+            }
+        }
+        return undefined;
+    };
+    /**
+     * Find which type in the inheritance chain declares a given member.
+     */
+    const findMemberDeclaringType = (receiverTypeId, receiverTypeArgs, memberName) => {
+        const chain = getInheritanceChain(receiverTypeId);
+        for (const typeId of chain) {
+            const member = catalog.getMember(typeId, memberName);
+            if (member) {
+                const subst = getInstantiation(receiverTypeId, receiverTypeArgs, typeId);
+                if (subst) {
+                    return {
+                        declaringTypeId: typeId,
+                        substitution: subst,
+                    };
+                }
+            }
+        }
+        return undefined;
+    };
+    return {
+        getInstantiation,
+        findMemberDeclaringType,
+        getInheritanceChain,
+    };
+};
+//# sourceMappingURL=nominal-env.js.map

package/dist/ir/type-system/internal/nominal-env.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nominal-env.js","sourceRoot":"","sources":["../../../../src/ir/type-system/internal/nominal-env.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAgEH;;;GAGG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,IAAY,EACZ,KAAuB,EACf,EAAE;IACV,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,mBAAmB,CAAC,CAAC,CAAC;YACzB,MAAM,WAAW,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzC,OAAO,WAAW,IAAI,IAAI,CAAC;QAC7B,CAAC;QAED,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,+DAA+D;YAC/D,MAAM,WAAW,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzC,IAAI,WAAW;gBAAE,OAAO,WAAW,CAAC;YAEpC,sDAAsD;YACtD,MAAM,WAAW,GAAG,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC;YACxE,MAAM,aAAa,GACjB,IAAI,CAAC,iBAAiB,IAAI,IAAI,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC;YAE9D,IAAI,WAAW,IAAI,aAAa,EAAE,CAAC;gBACjC,OAAO;oBACL,GAAG,IAAI;oBACP,aAAa,EAAE,WAAW;wBACxB,CAAC,CAAC,IAAI,CAAC,aAAc,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,gBAAgB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;wBAChE,CAAC,CAAC,IAAI,CAAC,aAAa;oBACtB,iBAAiB,EAAE,aAAa;wBAC9B,CAAC,CAAC,IAAI,CAAC,iBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;4BAChC,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;gCACnC,OAAO;oCACL,GAAG,CAAC;oCACJ,IAAI,EAAE,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC;iCACtC,CAAC;4BACJ,CAAC;4BACD,kBAAkB;4BAClB,OAAO;gCACL,GAAG,CAAC;gCACJ,UAAU,EAAE,CAAC,CAAC,UAAU;oCACtB,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,UAAU,EAAE,KAAK,CAAC;oCACvC,CAAC,CAAC,CAAC,CAAC,UAAU;gCAChB,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oCACnC,GAAG,CAAC;oCACJ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;iCACxD,CAAC,CAAC;6BACJ,CAAC;wBACJ,CAAC,CAAC;wBACJ,CAAC,CAAC,IAAI,CAAC,iBAAiB;iBAC3B,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,OAAO;gBACL,GAAG,IAAI;gBACP,WAAW,EAAE,gBAAgB,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC;aACvD,CAAC;QACJ,CAAC;QAED,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBACtC,GAAG,CAAC;oBACJ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;iBACxD,CAAC,CAAC;gBACH,UAAU,EAAE,IAAI,CAAC,UAAU;oBACzB,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC;oBAC1C,CAAC,CAAC,IAAI,CAAC,UAAU;aACpB,CAAC;QACJ,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,OAAO;gBACL,GAAG,IAAI;gBACP,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;aACzD,CAAC;QACJ,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,OAAO;gBACL,GAAG,IAAI;gBACP,YAAY,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;aACvE,CAAC;QACJ,CAAC;QAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,OAAO;gBACL,GAAG,IAAI;gBACP,OAAO,EAAE,gBAAgB,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC;gBAC9C,SAAS,EAAE,gBAAgB,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC;aACnD,CAAC;QACJ,CAAC;QAED,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,OAAO;gBACL,GAAG,IAAI;gBACP,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;aACzD,CAAC;QACJ,CAAC;QAED,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,OAAO;gBACL,GAAG,IAAI;gBACP,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;oBAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;wBACnC,OAAO;4BACL,GAAG,CAAC;4BACJ,IAAI,EAAE,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC;yBACtC,CAAC;oBACJ,CAAC;oBACD,kBAAkB;oBAClB,OAAO;wBACL,GAAG,CAAC;wBACJ,UAAU,EAAE,CAAC,CAAC,UAAU;4BACtB,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,UAAU,EAAE,KAAK,CAAC;4BACvC,CAAC,CAAC,CAAC,CAAC,UAAU;wBAChB,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;4BACnC,GAAG,CAAC;4BACJ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;yBACxD,CAAC,CAAC;qBACJ,CAAC;gBACJ,CAAC,CAAC;aACH,CAAC;QACJ,CAAC;QAED;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,OAA2B,EAAc,EAAE;IACzE,wCAAwC;IACxC,gBAAgB;IAChB,MAAM,qBAAqB,GAAG,IAAI,GAAG,EAA6B,CAAC;IAEnE,oCAAoC;IACpC,yDAAyD;IACzD,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAA4B,CAAC;IAE/D;;OAEG;IACH,MAAM,iBAAiB,GAAG,CAAC,QAA2B,EAAU,EAAE;QAChE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QACrC,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1D,CAAC,CAAC;IAEF;;;;;;OAMG;IACH,MAAM,mBAAmB,GAAG,CAAC,MAAc,EAAqB,EAAE;QAChE,MAAM,MAAM,GAAG,qBAAqB,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC1D,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;QAE1B,MAAM,KAAK,GAAa,CAAC,MAAM,CAAC,CAAC;QACjC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAEnD,MAAM,KAAK,GAAa,CAAC,MAAM,CAAC,CAAC;QAEjC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,aAAa,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;YACpC,IAAI,CAAC,aAAa;gBAAE,SAAS;YAE7B,MAAM,QAAQ,GAAG,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBACrE,MAAM,IAAI,GAAG,CAAC,CAAuB,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACpE,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACxB,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACxB,IAAI,EAAE,KAAK,EAAE;oBAAE,OAAO,EAAE,GAAG,EAAE,CAAC;gBAC9B,OAAO,CAAC,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;YAC1D,CAAC,CAAC,CAAC;YAEH,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;gBAC5B,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC;oBAAE,SAAS;gBAE/C,MAAM,WAAW,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;gBAC/D,IAAI,CAAC,WAAW;oBAAE,SAAS;gBAE3B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;gBACjC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;gBAC/B,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;YACjC,CAAC;QACH,CAAC;QAED,qBAAqB,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QAClD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF;;OAEG;IACH,MAAM,gBAAgB,GAAG,CACvB,cAAsB,EACtB,gBAAmC,EACnC,YAAoB,EACU,EAAE;QAChC,cAAc;QACd,MAAM,QAAQ,GAAG,GAAG,cAAc,CAAC,QAAQ,IAAI,iBAAiB,CAAC,gBAAgB,CAAC,IAAI,YAAY,CAAC,QAAQ,EAAE,CAAC;QAC9G,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;QAE1B,kFAAkF;QAClF,IAAI,cAAc,CAAC,QAAQ,KAAK,YAAY,CAAC,QAAQ,EAAE,CAAC;YACtD,MAAM,kBAAkB,GAAG,OAAO,CAAC,iBAAiB,CAAC,cAAc,CAAC,CAAC;YACrE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;YACxC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACnD,MAAM,SAAS,GAAG,kBAAkB,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;gBAC9C,MAAM,GAAG,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;gBAChC,IAAI,SAAS,IAAI,GAAG,EAAE,CAAC;oBACrB,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;gBAC5B,CAAC;YACH,CAAC;YACD,kBAAkB,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YACxC,OAAO,KAAK,CAAC;QACf,CAAC;QAED,mEAAmE;QACnE,MAAM,kBAAkB,GAAG,OAAO,CAAC,iBAAiB,CAAC,cAAc,CAAC,CAAC;QACrE,IAAI,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACnD,MAAM,SAAS,GAAG,kBAAkB,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;YAC9C,MAAM,GAAG,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;YAChC,IAAI,SAAS,IAAI,GAAG,EAAE,CAAC;gBACrB,YAAY,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YACnC,CAAC;QACH,CAAC;QAKD,MAAM,cAAc,GAAG,CAAC,MAAc,EAAE,KAAuB,EAAU,EAAE;YACzE,MAAM,UAAU,GAAG,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;YACrD,OAAO,UAAU;iBACd,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC;iBACvD,IAAI,CAAC,GAAG,CAAC,CAAC;QACf,CAAC,CAAC;QAEF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,MAAM,KAAK,GAAY;YACrB;gBACE,MAAM,EAAE,cAAc;gBACtB,KAAK,EAAE,YAAY;aACpB;SACF,CAAC;QAEF,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;YAC5B,IAAI,CAAC,KAAK;gBAAE,SAAS;YAErB,IAAI,KAAK,CAAC,MAAM,CAAC,QAAQ,KAAK,YAAY,CAAC,QAAQ,EAAE,CAAC;gBACpD,kBAAkB,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;gBAC9C,OAAO,KAAK,CAAC,KAAK,CAAC;YACrB,CAAC;YAED,MAAM,QAAQ,GAAG,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBACpE,MAAM,IAAI,GAAG,CAAC,CAAuB,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACpE,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACxB,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACxB,IAAI,EAAE,KAAK,EAAE;oBAAE,OAAO,EAAE,GAAG,EAAE,CAAC;gBAC9B,OAAO,CAAC,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;YAC1D,CAAC,CAAC,CAAC;YAEH,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;gBAC5B,MAAM,WAAW,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;gBAC/D,IAAI,CAAC,WAAW;oBAAE,SAAS;gBAE3B,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,CAAC;gBACxC,MAAM,gBAAgB,GAAG,OAAO,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC;gBAEjE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;gBAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,gBAAgB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACjD,MAAM,SAAS,GAAG,gBAAgB,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;oBAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;oBACtC,IAAI,SAAS,IAAI,OAAO,EAAE,CAAC;wBACzB,SAAS,CAAC,GAAG,CAAC,SAAS,EAAE,gBAAgB,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;oBACnE,CAAC;gBACH,CAAC;gBAED,MAAM,QAAQ,GAAG,GAAG,YAAY,CAAC,QAAQ,IAAI,cAAc,CAAC,YAAY,EAAE,SAAS,CAAC,EAAE,CAAC;gBACvF,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC;oBAAE,SAAS;gBACpC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBAEtB,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;YACzD,CAAC;QACH,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IAEF;;OAEG;IACH,MAAM,uBAAuB,GAAG,CAC9B,cAAsB,EACtB,gBAAmC,EACnC,UAAkB,EACc,EAAE;QAClC,MAAM,KAAK,GAAG,mBAAmB,CAAC,cAAc,CAAC,CAAC;QAElD,KAAK,MAAM,MAAM,IAAI,KAAK,EAAE,CAAC;YAC3B,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;YACrD,IAAI,MAAM,EAAE,CAAC;gBACX,MAAM,KAAK,GAAG,gBAAgB,CAC5B,cAAc,EACd,gBAAgB,EAChB,MAAM,CACP,CAAC;gBACF,IAAI,KAAK,EAAE,CAAC;oBACV,OAAO;wBACL,eAAe,EAAE,MAAM;wBACvB,YAAY,EAAE,KAAK;qBACpB,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IAEF,OAAO;QACL,gBAAgB;QAChB,uBAAuB;QACvB,mBAAmB;KACpB,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/type-system/internal/type-converter/arrays.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Array type conversion
+ */
+import * as ts from "typescript";
+import { IrType } from "../../../types.js";
+import type { Binding } from "../../../binding/index.js";
+/**
+ * Convert TypeScript array type to IR array type
+ */
+export declare const convertArrayType: (node: ts.ArrayTypeNode, binding: Binding, convertType: (node: ts.TypeNode, binding: Binding) => IrType) => IrType;
+//# sourceMappingURL=arrays.d.ts.map

package/dist/ir/type-system/internal/type-converter/arrays.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"arrays.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/arrays.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,2BAA2B,CAAC;AAEzD;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAC3B,MAAM,EAAE,CAAC,aAAa,EACtB,SAAS,OAAO,EAChB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,KAAK,MAAM,KAC3D,MAMF,CAAC"}

package/dist/ir/{type-converter → type-system/internal/type-converter}/arrays.js

@@ -4,10 +4,10 @@
 /**
  * Convert TypeScript array type to IR array type
  */
-export const convertArrayType = (node, checker, convertType) => {
+export const convertArrayType = (node, binding, convertType) => {
     return {
         kind: "arrayType",
-        elementType: convertType(node.elementType, checker),
+        elementType: convertType(node.elementType, binding),
         origin: "explicit",
     };
 };

package/dist/ir/type-system/internal/type-converter/arrays.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"arrays.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/arrays.ts"],"names":[],"mappings":"AAAA;;GAEG;AAMH;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,IAAsB,EACtB,OAAgB,EAChB,WAA4D,EACpD,EAAE;IACV,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,WAAW,EAAE,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC;QACnD,MAAM,EAAE,UAAU;KACnB,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/type-system/internal/type-converter/converter.d.ts

@@ -0,0 +1,17 @@
+/**
+ * Type converter - TypeScript types to IR types
+ * Main dispatcher - re-exports from orchestrator
+ *
+ * Phase 5 Step 4: Added convertCapturedTypeNode for cast encapsulation.
+ */
+import { IrType } from "../../../types.js";
+import type { Binding } from "../../../binding/index.js";
+export { convertType, convertFunctionType, convertObjectType, } from "./orchestrator.js";
+/**
+ * Convert a captured type node (unknown) to IrType.
+ *
+ * This function encapsulates the ts.TypeNode cast in one place.
+ * Per Alice's spec: all TypeNode casts should be inside type-system/internal.
+ */
+export declare const convertCapturedTypeNode: (node: unknown, binding: Binding) => IrType;
+//# sourceMappingURL=converter.d.ts.map

package/dist/ir/type-system/internal/type-converter/converter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"converter.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/converter.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,2BAA2B,CAAC;AAGzD,OAAO,EACL,WAAW,EACX,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,mBAAmB,CAAC;AAE3B;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,OAAO,EACb,SAAS,OAAO,KACf,MAA2D,CAAC"}

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

@@ -0,0 +1,16 @@
+/**
+ * Type converter - TypeScript types to IR types
+ * Main dispatcher - re-exports from orchestrator
+ *
+ * Phase 5 Step 4: Added convertCapturedTypeNode for cast encapsulation.
+ */
+import { convertType as convertTypeInternal } from "./orchestrator.js";
+export { convertType, convertFunctionType, convertObjectType, } from "./orchestrator.js";
+/**
+ * Convert a captured type node (unknown) to IrType.
+ *
+ * This function encapsulates the ts.TypeNode cast in one place.
+ * Per Alice's spec: all TypeNode casts should be inside type-system/internal.
+ */
+export const convertCapturedTypeNode = (node, binding) => convertTypeInternal(node, binding);
+//# sourceMappingURL=converter.js.map

package/dist/ir/type-system/internal/type-converter/converter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"converter.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/converter.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAKH,OAAO,EAAE,WAAW,IAAI,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAEvE,OAAO,EACL,WAAW,EACX,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,mBAAmB,CAAC;AAE3B;;;;;GAKG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAAa,EACb,OAAgB,EACR,EAAE,CAAC,mBAAmB,CAAC,IAAmB,EAAE,OAAO,CAAC,CAAC"}

package/dist/ir/type-system/internal/type-converter/functions.d.ts

@@ -0,0 +1,14 @@
+/**
+ * Function type conversion
+ *
+ * Phase 5 Step 4: Uses local parameter helper (no ProgramContext dependency).
+ * Type conversion should NOT depend on statement conversion.
+ */
+import * as ts from "typescript";
+import { IrType, IrFunctionType } from "../../../types.js";
+import type { Binding } from "../../../binding/index.js";
+/**
+ * Convert TypeScript function type to IR function type
+ */
+export declare const convertFunctionType: (node: ts.FunctionTypeNode, binding: Binding, convertType: (node: ts.TypeNode, binding: Binding) => IrType) => IrFunctionType;
+//# sourceMappingURL=functions.d.ts.map

package/dist/ir/type-system/internal/type-converter/functions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"functions.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/functions.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,cAAc,EAAe,MAAM,mBAAmB,CAAC;AAExE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,2BAA2B,CAAC;AAEzD;;GAEG;AACH,eAAO,MAAM,mBAAmB,GAC9B,MAAM,EAAE,CAAC,gBAAgB,EACzB,SAAS,OAAO,EAChB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,KAAK,MAAM,KAC3D,cAMF,CAAC"}

package/dist/ir/type-system/internal/type-converter/functions.js

@@ -0,0 +1,66 @@
+/**
+ * Function type conversion
+ *
+ * Phase 5 Step 4: Uses local parameter helper (no ProgramContext dependency).
+ * Type conversion should NOT depend on statement conversion.
+ */
+import * as ts from "typescript";
+import { convertBindingName } from "../../../syntax/binding-patterns.js";
+/**
+ * Convert TypeScript function type to IR function type
+ */
+export const convertFunctionType = (node, binding, convertType) => {
+    return {
+        kind: "functionType",
+        parameters: convertTypeParameters(node.parameters, binding, convertType),
+        returnType: convertType(node.type, binding),
+    };
+};
+/**
+ * Convert parameters for type signatures (no initializers, no ProgramContext).
+ *
+ * This is used for FunctionTypeNode and MethodSignature in type contexts.
+ * Unlike statement-converter's convertParameters, this:
+ * - Does NOT convert initializers (type signatures don't have them)
+ * - Does NOT require ProgramContext
+ * - Takes a convertType function for type node conversion
+ */
+const convertTypeParameters = (parameters, binding, convertType) => {
+    return parameters.map((param) => {
+        let passing = "value";
+        let actualType = param.type;
+        // Detect ref<T>, out<T>, in<T>, inref<T> wrapper types
+        if (param.type &&
+            ts.isTypeReferenceNode(param.type) &&
+            ts.isIdentifier(param.type.typeName)) {
+            const typeName = param.type.typeName.text;
+            if ((typeName === "ref" ||
+                typeName === "out" ||
+                typeName === "in" ||
+                typeName === "inref") &&
+                param.type.typeArguments &&
+                param.type.typeArguments.length > 0) {
+                // Set passing mode (both "in" and "inref" map to C# "in")
+                passing =
+                    typeName === "in" || typeName === "inref"
+                        ? "in"
+                        : typeName;
+                // Extract wrapped type
+                actualType = param.type.typeArguments[0];
+            }
+        }
+        // Convert type if present
+        const paramType = actualType ? convertType(actualType, binding) : undefined;
+        return {
+            kind: "parameter",
+            pattern: convertBindingName(param.name),
+            type: paramType,
+            // Type signatures don't have initializers
+            initializer: undefined,
+            isOptional: !!param.questionToken,
+            isRest: !!param.dotDotDotToken,
+            passing,
+        };
+    });
+};
+//# sourceMappingURL=functions.js.map

package/dist/ir/type-system/internal/type-converter/functions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"functions.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/functions.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AAGzE;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAyB,EACzB,OAAgB,EAChB,WAA4D,EAC5C,EAAE;IAClB,OAAO;QACL,IAAI,EAAE,cAAc;QACpB,UAAU,EAAE,qBAAqB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,WAAW,CAAC;QACxE,UAAU,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC;KAC5C,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,qBAAqB,GAAG,CAC5B,UAAiD,EACjD,OAAgB,EAChB,WAA4D,EACpC,EAAE;IAC1B,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAC9B,IAAI,OAAO,GAAmC,OAAO,CAAC;QACtD,IAAI,UAAU,GAA4B,KAAK,CAAC,IAAI,CAAC;QAErD,uDAAuD;QACvD,IACE,KAAK,CAAC,IAAI;YACV,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,IAAI,CAAC;YAClC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,EACpC,CAAC;YACD,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC1C,IACE,CAAC,QAAQ,KAAK,KAAK;gBACjB,QAAQ,KAAK,KAAK;gBAClB,QAAQ,KAAK,IAAI;gBACjB,QAAQ,KAAK,OAAO,CAAC;gBACvB,KAAK,CAAC,IAAI,CAAC,aAAa;gBACxB,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EACnC,CAAC;gBACD,0DAA0D;gBAC1D,OAAO;oBACL,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,OAAO;wBACvC,CAAC,CAAC,IAAI;wBACN,CAAC,CAAE,QAA0B,CAAC;gBAClC,uBAAuB;gBACvB,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;YAC3C,CAAC;QACH,CAAC;QAED,0BAA0B;QAC1B,MAAM,SAAS,GAAG,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAE5E,OAAO;YACL,IAAI,EAAE,WAAoB;YAC1B,OAAO,EAAE,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC;YACvC,IAAI,EAAE,SAAS;YACf,0CAA0C;YAC1C,WAAW,EAAE,SAAS;YACtB,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa;YACjC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,cAAc;YAC9B,OAAO;SACR,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC"}

package/dist/ir/type-system/internal/type-converter/index.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Type converter - Public API
+ *
+ * NOTE: convertBindingName was moved to ir/syntax/binding-patterns.ts
+ * per Alice's spec (it's syntax→IR conversion, not type logic).
+ *
+ * Phase 5 Step 4: Added convertCapturedTypeNode for cast encapsulation.
+ */
+export { convertType, convertFunctionType, convertObjectType, convertCapturedTypeNode, } from "./converter.js";
+export { inferLambdaParamTypes, type LambdaParamInferenceResult, } from "./inference.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/ir/type-system/internal/type-converter/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,WAAW,EACX,mBAAmB,EACnB,iBAAiB,EACjB,uBAAuB,GACxB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,qBAAqB,EACrB,KAAK,0BAA0B,GAChC,MAAM,gBAAgB,CAAC"}

package/dist/ir/type-system/internal/type-converter/index.js

@@ -0,0 +1,11 @@
+/**
+ * Type converter - Public API
+ *
+ * NOTE: convertBindingName was moved to ir/syntax/binding-patterns.ts
+ * per Alice's spec (it's syntax→IR conversion, not type logic).
+ *
+ * Phase 5 Step 4: Added convertCapturedTypeNode for cast encapsulation.
+ */
+export { convertType, convertFunctionType, convertObjectType, convertCapturedTypeNode, } from "./converter.js";
+export { inferLambdaParamTypes, } from "./inference.js";
+//# sourceMappingURL=index.js.map

package/dist/ir/type-system/internal/type-converter/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,WAAW,EACX,mBAAmB,EACnB,iBAAiB,EACjB,uBAAuB,GACxB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,qBAAqB,GAEtB,MAAM,gBAAgB,CAAC"}

package/dist/ir/type-system/internal/type-converter/inference.d.ts

@@ -0,0 +1,37 @@
+/**
+ * Type inference - Deterministic IR typing for lambda parameters
+ *
+ * IMPORTANT: Contextual type inference has been removed for INV-0 compliance.
+ * Lambda parameter types must now come from:
+ * 1. Explicit type annotations on parameters
+ * 2. ExpectedType threaded from call argument position
+ *
+ * The banned APIs (getContextualType, getTypeOfSymbolAtLocation, typeToTypeNode)
+ * are no longer used here. All typing is deterministic.
+ */
+import type * as ts from "typescript";
+import type { IrType } from "../../../types.js";
+import type { Binding } from "../../../binding/index.js";
+/**
+ * Result of inferring lambda parameter types from contextual signature.
+ * Returns array of IrType (one per parameter) if all params can be inferred,
+ * or undefined if inference fails for any parameter.
+ */
+export type LambdaParamInferenceResult = {
+    readonly paramTypes: readonly (IrType | undefined)[];
+    readonly allInferred: boolean;
+};
+/**
+ * Infer parameter types for a lambda (arrow function or function expression).
+ *
+ * DETERMINISTIC IR TYPING (INV-0 compliant):
+ * This function no longer uses contextual type inference from TypeScript.
+ * Lambda parameter types are determined by:
+ * 1. Explicit type annotations on parameters → handled by param.type
+ * 2. ExpectedType threaded from call argument position → handled by calls.ts
+ *
+ * Returns undefined to indicate that no contextual inference is performed.
+ * The caller (expression converter) will use expectedType from the call site.
+ */
+export declare const inferLambdaParamTypes: (_node: ts.ArrowFunction | ts.FunctionExpression, _binding: Binding) => LambdaParamInferenceResult | undefined;
+//# sourceMappingURL=inference.d.ts.map