@tsonic/frontend 0.0.13 → 0.0.15

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

@@ -0,0 +1,456 @@
+/**
+ * TypeSystem Core Implementation
+ *
+ * Implements the TypeSystem interface using TypeRegistry, NominalEnv,
+ * and HandleRegistry. This is the single source of truth for all type queries.
+ *
+ * INVARIANT INV-0: No ts.Type or computed type APIs are used here.
+ * All type information comes from:
+ * 1. HandleRegistry (declaration TypeNodes from Binding layer)
+ * 2. TypeRegistry (nominal type declarations)
+ * 3. NominalEnv (inheritance chain + substitution)
+ */
+import { substituteIrType, typesEqual } from "../types/index.js";
+import { typeOk, typeError, signatureOk, unknownType, voidType, } from "./types.js";
+import { createDiagnostic } from "../../types/diagnostic.js";
+/**
+ * Create a TypeSystem instance.
+ */
+export const createTypeSystem = (config) => {
+    const { registry, nominalEnv, handleRegistry, convertTypeNode, binding } = config;
+    // ─────────────────────────────────────────────────────────────────────────
+    // CORE QUERIES
+    // ─────────────────────────────────────────────────────────────────────────
+    const getDeclType = (decl) => {
+        const info = handleRegistry.getDecl(decl);
+        if (!info) {
+            return typeError([
+                createDiagnostic("TSN5203", "error", "Cannot resolve declaration type"),
+            ]);
+        }
+        // If we have an explicit type annotation, convert it
+        if (info.typeNode) {
+            const irType = convertTypeNode(info.typeNode, binding);
+            return typeOk(irType);
+        }
+        // For declarations without explicit type, return unknownType with diagnostic
+        return typeError([
+            createDiagnostic("TSN5201", "error", `Declaration '${info.fqName ?? "unknown"}' requires explicit type annotation`),
+        ]);
+    };
+    const getSignature = (sig) => {
+        const info = handleRegistry.getSignature(sig);
+        if (!info) {
+            return {
+                parameters: [],
+                returnType: unknownType,
+                diagnostics: [
+                    createDiagnostic("TSN5203", "error", "Cannot resolve signature"),
+                ],
+            };
+        }
+        // Convert parameters
+        const parameters = info.parameters.map((p) => ({
+            name: p.name,
+            type: p.typeNode
+                ? convertTypeNode(p.typeNode, binding)
+                : unknownType,
+            isOptional: p.isOptional,
+            isRest: p.isRest,
+        }));
+        // Convert return type
+        const returnType = info.returnTypeNode
+            ? convertTypeNode(info.returnTypeNode, binding)
+            : voidType;
+        // Convert type parameters
+        const typeParameters = info.typeParameters?.map((tp) => ({
+            name: tp.name,
+            constraint: tp.constraintNode
+                ? convertTypeNode(tp.constraintNode, binding)
+                : undefined,
+            defaultType: tp.defaultNode
+                ? convertTypeNode(tp.defaultNode, binding)
+                : undefined,
+        }));
+        return signatureOk(parameters, returnType, typeParameters);
+    };
+    const getMemberType = (_type, member) => {
+        const info = handleRegistry.getMember(member);
+        if (!info) {
+            return typeError([
+                createDiagnostic("TSN5203", "error", `Cannot resolve member '${member.name}'`),
+            ]);
+        }
+        if (!info.typeNode) {
+            return typeError([
+                createDiagnostic("TSN5201", "error", `Member '${member.name}' requires explicit type annotation`),
+            ]);
+        }
+        const irType = convertTypeNode(info.typeNode, binding);
+        return typeOk(irType);
+    };
+    const instantiate = (type, args) => {
+        if (type.kind !== "referenceType") {
+            return typeOk(type); // Non-reference types don't have type parameters
+        }
+        // Look up the type in registry to get its type parameters
+        const entry = registry.resolveBySimpleName(type.name);
+        if (!entry) {
+            // Type not in registry - just attach type arguments
+            return typeOk({
+                ...type,
+                typeArguments: args,
+            });
+        }
+        // Build substitution map
+        const subst = new Map();
+        entry.typeParameters.forEach((param, i) => {
+            const arg = args[i];
+            if (arg !== undefined) {
+                subst.set(param.name, arg);
+            }
+        });
+        // Substitute in structural members if present
+        const substitutedMembers = type.structuralMembers?.map((m) => substituteIrMember(m, subst));
+        return typeOk({
+            ...type,
+            typeArguments: args,
+            structuralMembers: substitutedMembers,
+        });
+    };
+    const getExpectedType = (_position) => {
+        // This is a simplified implementation
+        // The full implementation would walk up the AST to find contextual type
+        // For now, return unknownType - the actual implementation is in helpers.ts
+        return typeOk(unknownType);
+    };
+    // ─────────────────────────────────────────────────────────────────────────
+    // UTILITY TYPE EXPANSION
+    // ─────────────────────────────────────────────────────────────────────────
+    const expandUtilityType = (utilityName, typeArgs, _sourceTypeArgs) => {
+        const firstArg = typeArgs[0];
+        if (!firstArg) {
+            return typeError([
+                createDiagnostic("TSN7414", "error", `Utility type '${utilityName}' requires a type argument`),
+            ]);
+        }
+        switch (utilityName) {
+            case "NonNullable":
+                return expandNonNullable(firstArg);
+            case "Partial":
+            case "Required":
+            case "Readonly":
+                return expandMappedUtility(utilityName, firstArg);
+            default:
+                return typeError([
+                    createDiagnostic("TSN7414", "error", `Utility type '${utilityName}' expansion not yet implemented in TypeSystem`),
+                ]);
+        }
+    };
+    // ─────────────────────────────────────────────────────────────────────────
+    // STRUCTURAL OPERATIONS
+    // ─────────────────────────────────────────────────────────────────────────
+    const getStructuralMembers = (type) => {
+        if (type.kind === "objectType") {
+            return type.members.map((m) => memberToResult(m, type));
+        }
+        if (type.kind === "referenceType" && type.structuralMembers) {
+            return type.structuralMembers.map((m) => memberToResult(m, type));
+        }
+        if (type.kind === "referenceType") {
+            // Look up in registry and get members
+            const entry = registry.resolveBySimpleName(type.name);
+            if (!entry)
+                return [];
+            const members = [];
+            entry.members.forEach((info, name) => {
+                if (info.kind === "property" && info.type) {
+                    // MemberInfo.type is now pure IrType - no conversion needed
+                    members.push({
+                        name,
+                        type: info.type,
+                        isOptional: info.isOptional,
+                        isReadonly: info.isReadonly,
+                        declaringType: type,
+                    });
+                }
+            });
+            // Include inherited members via NominalEnv
+            const fqName = registry.getFQName(type.name);
+            if (fqName) {
+                const chain = nominalEnv.getInheritanceChain(fqName);
+                for (const parentFqName of chain.slice(1)) {
+                    const parentEntry = registry.resolveNominal(parentFqName);
+                    if (!parentEntry)
+                        continue;
+                    // Get substitution for this parent
+                    const subst = nominalEnv.getInstantiation(fqName, type.typeArguments ?? [], parentFqName);
+                    parentEntry.members.forEach((info, name) => {
+                        // Skip if already have this member (child overrides)
+                        if (members.some((m) => m.name === name))
+                            return;
+                        if (info.kind === "property" && info.type) {
+                            // MemberInfo.type is now pure IrType - apply substitution directly
+                            const memberType = subst
+                                ? substituteIrType(info.type, subst)
+                                : info.type;
+                            members.push({
+                                name,
+                                type: memberType,
+                                isOptional: info.isOptional,
+                                isReadonly: info.isReadonly,
+                                declaringType: {
+                                    kind: "referenceType",
+                                    name: parentEntry.name,
+                                },
+                            });
+                        }
+                    });
+                }
+            }
+            return members;
+        }
+        return [];
+    };
+    const resolvePropertyAccess = (type, propertyName) => {
+        // Handle arrays
+        if (type.kind === "arrayType") {
+            if (propertyName === "length") {
+                return typeOk({ kind: "primitiveType", name: "int" });
+            }
+            return typeError([
+                createDiagnostic("TSN5203", "error", `Property '${propertyName}' not found on array type`),
+            ]);
+        }
+        // Handle tuples
+        if (type.kind === "tupleType") {
+            const index = parseInt(propertyName, 10);
+            const element = type.elementTypes[index];
+            if (!isNaN(index) && index >= 0 && element !== undefined) {
+                return typeOk(element);
+            }
+            if (propertyName === "length") {
+                return typeOk({
+                    kind: "literalType",
+                    value: type.elementTypes.length,
+                });
+            }
+        }
+        // Handle objects and references
+        const members = getStructuralMembers(type);
+        const member = members.find((m) => m.name === propertyName);
+        if (member) {
+            return typeOk(member.type);
+        }
+        return typeError([
+            createDiagnostic("TSN5203", "error", `Property '${propertyName}' not found on type`),
+        ]);
+    };
+    const synthesizeObjectType = (properties) => {
+        const members = properties.map((p) => ({
+            kind: "propertySignature",
+            name: p.name,
+            type: p.value,
+            isOptional: p.isOptional ?? false,
+            isReadonly: false,
+        }));
+        return typeOk({
+            kind: "objectType",
+            members,
+        });
+    };
+    // ─────────────────────────────────────────────────────────────────────────
+    // SUBSTITUTION & INHERITANCE
+    // ─────────────────────────────────────────────────────────────────────────
+    const substitute = (type, substitutions) => {
+        return substituteIrType(type, substitutions);
+    };
+    const getInheritanceChain = (type) => {
+        const fqName = registry.getFQName(type.name);
+        if (!fqName)
+            return [type];
+        const chain = nominalEnv.getInheritanceChain(fqName);
+        return chain.map((name) => {
+            const entry = registry.resolveNominal(name);
+            return {
+                kind: "referenceType",
+                name: entry?.name ?? name,
+            };
+        });
+    };
+    // ─────────────────────────────────────────────────────────────────────────
+    // TYPE COMPARISON
+    // ─────────────────────────────────────────────────────────────────────────
+    const typesEqualFn = (a, b) => {
+        return typesEqual(a, b);
+    };
+    const isAssignableTo = (source, target) => {
+        // Simple structural check for now
+        if (typesEqual(source, target))
+            return true;
+        // any is assignable to anything
+        if (source.kind === "anyType")
+            return true;
+        // anything is assignable to any
+        if (target.kind === "anyType")
+            return true;
+        // unknown accepts anything
+        if (target.kind === "unknownType")
+            return true;
+        // null/undefined assignable to optional types
+        if (source.kind === "primitiveType") {
+            if (source.name === "null" || source.name === "undefined") {
+                if (target.kind === "unionType") {
+                    return target.types.some((t) => t.kind === "primitiveType" &&
+                        (t.name === "null" || t.name === "undefined"));
+                }
+            }
+        }
+        // TODO: More complex subtype checks
+        return false;
+    };
+    return {
+        getDeclType,
+        getSignature,
+        getMemberType,
+        instantiate,
+        getExpectedType,
+        expandUtilityType,
+        getStructuralMembers,
+        resolvePropertyAccess,
+        synthesizeObjectType,
+        substitute,
+        getInheritanceChain,
+        typesEqual: typesEqualFn,
+        isAssignableTo,
+    };
+};
+// ═══════════════════════════════════════════════════════════════════════════
+// HELPER FUNCTIONS
+// ═══════════════════════════════════════════════════════════════════════════
+const substituteIrMember = (member, subst) => {
+    if (member.kind === "propertySignature") {
+        return {
+            ...member,
+            type: substituteIrType(member.type, subst),
+        };
+    }
+    if (member.kind === "methodSignature") {
+        return {
+            ...member,
+            parameters: member.parameters.map((p) => ({
+                ...p,
+                type: p.type ? substituteIrType(p.type, subst) : undefined,
+            })),
+            returnType: member.returnType
+                ? substituteIrType(member.returnType, subst)
+                : undefined,
+        };
+    }
+    return member;
+};
+const memberToResult = (member, declaringType) => {
+    if (member.kind === "propertySignature") {
+        return {
+            name: member.name,
+            type: member.type,
+            isOptional: member.isOptional,
+            isReadonly: member.isReadonly,
+            declaringType,
+        };
+    }
+    // Method signature
+    return {
+        name: member.name,
+        type: getFunctionTypeForMethod(member),
+        isOptional: false,
+        isReadonly: false,
+        declaringType,
+    };
+};
+const getFunctionTypeForMethod = (method) => {
+    return {
+        kind: "functionType",
+        parameters: method.parameters.map((p) => ({
+            kind: "parameter",
+            pattern: {
+                kind: "identifierPattern",
+                name: getParameterName(p),
+            },
+            type: p.type,
+            isOptional: p.isOptional,
+            isRest: p.isRest,
+            passing: p.passing,
+        })),
+        returnType: method.returnType ?? voidType,
+    };
+};
+const getParameterName = (p) => {
+    if (p.pattern.kind === "identifierPattern" && p.pattern.name) {
+        return p.pattern.name;
+    }
+    return "param";
+};
+// ─────────────────────────────────────────────────────────────────────────
+// UTILITY TYPE HELPERS
+// ─────────────────────────────────────────────────────────────────────────
+const expandNonNullable = (type) => {
+    if (type.kind !== "unionType") {
+        // Not a union, check if it's null/undefined directly
+        if (type.kind === "primitiveType") {
+            if (type.name === "null" || type.name === "undefined") {
+                return typeOk({ kind: "neverType" });
+            }
+        }
+        return typeOk(type);
+    }
+    // Filter out null and undefined from union
+    const filtered = type.types.filter((t) => {
+        if (t.kind === "primitiveType") {
+            return t.name !== "null" && t.name !== "undefined";
+        }
+        return true;
+    });
+    if (filtered.length === 0) {
+        return typeOk({ kind: "neverType" });
+    }
+    const first = filtered[0];
+    if (filtered.length === 1 && first !== undefined) {
+        return typeOk(first);
+    }
+    return typeOk({ kind: "unionType", types: filtered });
+};
+const expandMappedUtility = (utilityName, type) => {
+    // Only works on object/reference types
+    if (type.kind !== "objectType" && type.kind !== "referenceType") {
+        return typeError([
+            createDiagnostic("TSN7414", "error", `${utilityName} requires an object type argument`),
+        ]);
+    }
+    // For reference types without structural members, we can't expand
+    if (type.kind === "referenceType" && !type.structuralMembers) {
+        return typeError([
+            createDiagnostic("TSN7414", "error", `${utilityName} requires a concrete object type, not a type parameter`),
+        ]);
+    }
+    const members = type.kind === "objectType" ? type.members : (type.structuralMembers ?? []);
+    const transformedMembers = members.map((m) => {
+        if (m.kind !== "propertySignature")
+            return m;
+        const prop = m;
+        return {
+            ...prop,
+            isOptional: utilityName === "Partial"
+                ? true
+                : utilityName === "Required"
+                    ? false
+                    : prop.isOptional,
+            isReadonly: utilityName === "Readonly" ? true : prop.isReadonly,
+        };
+    });
+    return typeOk({
+        kind: "objectType",
+        members: transformedMembers,
+    });
+};
+//# sourceMappingURL=core.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"core.js","sourceRoot":"","sources":["../../../src/ir/type-system/core.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAWH,OAAO,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAuBjE,OAAO,EACL,MAAM,EACN,SAAS,EACT,WAAW,EACX,WAAW,EACX,QAAQ,GACT,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAc7D;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,MAAwB,EAAc,EAAE;IACvE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,cAAc,EAAE,eAAe,EAAE,OAAO,EAAE,GACtE,MAAM,CAAC;IAET,4EAA4E;IAC5E,eAAe;IACf,4EAA4E;IAE5E,MAAM,WAAW,GAAG,CAAC,IAAY,EAAc,EAAE;QAC/C,MAAM,IAAI,GAAG,cAAc,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,SAAS,CAAC;gBACf,gBAAgB,CAAC,SAAS,EAAE,OAAO,EAAE,iCAAiC,CAAC;aACxE,CAAC,CAAC;QACL,CAAC;QAED,qDAAqD;QACrD,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,QAAuB,EAAE,OAAO,CAAC,CAAC;YACtE,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC;QACxB,CAAC;QAED,6EAA6E;QAC7E,OAAO,SAAS,CAAC;YACf,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,gBAAgB,IAAI,CAAC,MAAM,IAAI,SAAS,qCAAqC,CAC9E;SACF,CAAC,CAAC;IACL,CAAC,CAAC;IAEF,MAAM,YAAY,GAAG,CAAC,GAAgB,EAAmB,EAAE;QACzD,MAAM,IAAI,GAAG,cAAc,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;QAC9C,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO;gBACL,UAAU,EAAE,EAAE;gBACd,UAAU,EAAE,WAAW;gBACvB,WAAW,EAAE;oBACX,gBAAgB,CAAC,SAAS,EAAE,OAAO,EAAE,0BAA0B,CAAC;iBACjE;aACF,CAAC;QACJ,CAAC;QAED,qBAAqB;QACrB,MAAM,UAAU,GAAoB,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC9D,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,IAAI,EAAE,CAAC,CAAC,QAAQ;gBACd,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,QAAuB,EAAE,OAAO,CAAC;gBACrD,CAAC,CAAC,WAAW;YACf,UAAU,EAAE,CAAC,CAAC,UAAU;YACxB,MAAM,EAAE,CAAC,CAAC,MAAM;SACjB,CAAC,CAAC,CAAC;QAEJ,sBAAsB;QACtB,MAAM,UAAU,GAAG,IAAI,CAAC,cAAc;YACpC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,cAA6B,EAAE,OAAO,CAAC;YAC9D,CAAC,CAAC,QAAQ,CAAC;QAEb,0BAA0B;QAC1B,MAAM,cAAc,GAClB,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YAChC,IAAI,EAAE,EAAE,CAAC,IAAI;YACb,UAAU,EAAE,EAAE,CAAC,cAAc;gBAC3B,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,cAA6B,EAAE,OAAO,CAAC;gBAC5D,CAAC,CAAC,SAAS;YACb,WAAW,EAAE,EAAE,CAAC,WAAW;gBACzB,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,WAA0B,EAAE,OAAO,CAAC;gBACzD,CAAC,CAAC,SAAS;SACd,CAAC,CAAC,CAAC;QAEN,OAAO,WAAW,CAAC,UAAU,EAAE,UAAU,EAAE,cAAc,CAAC,CAAC;IAC7D,CAAC,CAAC;IAEF,MAAM,aAAa,GAAG,CAAC,KAAa,EAAE,MAAgB,EAAc,EAAE;QACpE,MAAM,IAAI,GAAG,cAAc,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QAC9C,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,SAAS,CAAC;gBACf,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,0BAA0B,MAAM,CAAC,IAAI,GAAG,CACzC;aACF,CAAC,CAAC;QACL,CAAC;QAED,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACnB,OAAO,SAAS,CAAC;gBACf,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,WAAW,MAAM,CAAC,IAAI,qCAAqC,CAC5D;aACF,CAAC,CAAC;QACL,CAAC;QAED,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,QAAuB,EAAE,OAAO,CAAC,CAAC;QACtE,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC;IACxB,CAAC,CAAC;IAEF,MAAM,WAAW,GAAG,CAAC,IAAY,EAAE,IAAuB,EAAc,EAAE;QACxE,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAClC,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,iDAAiD;QACxE,CAAC;QAED,0DAA0D;QAC1D,MAAM,KAAK,GAAG,QAAQ,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtD,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,oDAAoD;YACpD,OAAO,MAAM,CAAC;gBACZ,GAAG,IAAI;gBACP,aAAa,EAAE,IAAI;aACpB,CAAC,CAAC;QACL,CAAC;QAED,yBAAyB;QACzB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;QACxC,KAAK,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;YACxC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACpB,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBACtB,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,8CAA8C;QAC9C,MAAM,kBAAkB,GAAG,IAAI,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC3D,kBAAkB,CAAC,CAAC,EAAE,KAAK,CAAC,CAC7B,CAAC;QAEF,OAAO,MAAM,CAAC;YACZ,GAAG,IAAI;YACP,aAAa,EAAE,IAAI;YACnB,iBAAiB,EAAE,kBAAkB;SACtC,CAAC,CAAC;IACL,CAAC,CAAC;IAEF,MAAM,eAAe,GAAG,CAAC,SAAyB,EAAc,EAAE;QAChE,sCAAsC;QACtC,wEAAwE;QACxE,2EAA2E;QAC3E,OAAO,MAAM,CAAC,WAAW,CAAC,CAAC;IAC7B,CAAC,CAAC;IAEF,4EAA4E;IAC5E,yBAAyB;IACzB,4EAA4E;IAE5E,MAAM,iBAAiB,GAAG,CACxB,WAA4B,EAC5B,QAA2B,EAC3B,eAAyB,EACb,EAAE;QACd,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,OAAO,SAAS,CAAC;gBACf,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,iBAAiB,WAAW,4BAA4B,CACzD;aACF,CAAC,CAAC;QACL,CAAC;QAED,QAAQ,WAAW,EAAE,CAAC;YACpB,KAAK,aAAa;gBAChB,OAAO,iBAAiB,CAAC,QAAQ,CAAC,CAAC;YAErC,KAAK,SAAS,CAAC;YACf,KAAK,UAAU,CAAC;YAChB,KAAK,UAAU;gBACb,OAAO,mBAAmB,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;YAEpD;gBACE,OAAO,SAAS,CAAC;oBACf,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,iBAAiB,WAAW,+CAA+C,CAC5E;iBACF,CAAC,CAAC;QACP,CAAC;IACH,CAAC,CAAC;IAEF,4EAA4E;IAC5E,wBAAwB;IACxB,4EAA4E;IAE5E,MAAM,oBAAoB,GAAG,CAAC,IAAY,EAA2B,EAAE;QACrE,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAC/B,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QAC1D,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,iBAAiB,EAAE,CAAC;YAC5D,OAAO,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QACpE,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAClC,sCAAsC;YACtC,MAAM,KAAK,GAAG,QAAQ,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtD,IAAI,CAAC,KAAK;gBAAE,OAAO,EAAE,CAAC;YAEtB,MAAM,OAAO,GAAmB,EAAE,CAAC;YACnC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE;gBACnC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;oBAC1C,4DAA4D;oBAC5D,OAAO,CAAC,IAAI,CAAC;wBACX,IAAI;wBACJ,IAAI,EAAE,IAAI,CAAC,IAAI;wBACf,UAAU,EAAE,IAAI,CAAC,UAAU;wBAC3B,UAAU,EAAE,IAAI,CAAC,UAAU;wBAC3B,aAAa,EAAE,IAAI;qBACpB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC,CAAC,CAAC;YAEH,2CAA2C;YAC3C,MAAM,MAAM,GAAG,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7C,IAAI,MAAM,EAAE,CAAC;gBACX,MAAM,KAAK,GAAG,UAAU,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;gBACrD,KAAK,MAAM,YAAY,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC1C,MAAM,WAAW,GAAG,QAAQ,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC;oBAC1D,IAAI,CAAC,WAAW;wBAAE,SAAS;oBAE3B,mCAAmC;oBACnC,MAAM,KAAK,GAAG,UAAU,CAAC,gBAAgB,CACvC,MAAM,EACN,IAAI,CAAC,aAAa,IAAI,EAAE,EACxB,YAAY,CACb,CAAC;oBAEF,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE;wBACzC,qDAAqD;wBACrD,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC;4BAAE,OAAO;wBAEjD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;4BAC1C,mEAAmE;4BACnE,MAAM,UAAU,GAAG,KAAK;gCACtB,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC;gCACpC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;4BACd,OAAO,CAAC,IAAI,CAAC;gCACX,IAAI;gCACJ,IAAI,EAAE,UAAU;gCAChB,UAAU,EAAE,IAAI,CAAC,UAAU;gCAC3B,UAAU,EAAE,IAAI,CAAC,UAAU;gCAC3B,aAAa,EAAE;oCACb,IAAI,EAAE,eAAe;oCACrB,IAAI,EAAE,WAAW,CAAC,IAAI;iCACvB;6BACF,CAAC,CAAC;wBACL,CAAC;oBACH,CAAC,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YAED,OAAO,OAAO,CAAC;QACjB,CAAC;QAED,OAAO,EAAE,CAAC;IACZ,CAAC,CAAC;IAEF,MAAM,qBAAqB,GAAG,CAC5B,IAAY,EACZ,YAAoB,EACR,EAAE;QACd,gBAAgB;QAChB,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC9B,IAAI,YAAY,KAAK,QAAQ,EAAE,CAAC;gBAC9B,OAAO,MAAM,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;YACxD,CAAC;YACD,OAAO,SAAS,CAAC;gBACf,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,aAAa,YAAY,2BAA2B,CACrD;aACF,CAAC,CAAC;QACL,CAAC;QAED,gBAAgB;QAChB,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC9B,MAAM,KAAK,GAAG,QAAQ,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;YACzC,MAAM,OAAO,GAAG,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;YACzC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBACzD,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC;YACzB,CAAC;YACD,IAAI,YAAY,KAAK,QAAQ,EAAE,CAAC;gBAC9B,OAAO,MAAM,CAAC;oBACZ,IAAI,EAAE,aAAa;oBACnB,KAAK,EAAE,IAAI,CAAC,YAAY,CAAC,MAAM;iBAChC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,gCAAgC;QAChC,MAAM,OAAO,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;QAC5D,IAAI,MAAM,EAAE,CAAC;YACX,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC7B,CAAC;QAED,OAAO,SAAS,CAAC;YACf,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,aAAa,YAAY,qBAAqB,CAC/C;SACF,CAAC,CAAC;IACL,CAAC,CAAC;IAEF,MAAM,oBAAoB,GAAG,CAC3B,UAAmC,EACvB,EAAE;QACd,MAAM,OAAO,GAAwB,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC1D,IAAI,EAAE,mBAA4B;YAClC,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,IAAI,EAAE,CAAC,CAAC,KAAK;YACb,UAAU,EAAE,CAAC,CAAC,UAAU,IAAI,KAAK;YACjC,UAAU,EAAE,KAAK;SAClB,CAAC,CAAC,CAAC;QAEJ,OAAO,MAAM,CAAC;YACZ,IAAI,EAAE,YAAY;YAClB,OAAO;SACR,CAAC,CAAC;IACL,CAAC,CAAC;IAEF,4EAA4E;IAC5E,6BAA6B;IAC7B,4EAA4E;IAE5E,MAAM,UAAU,GAAG,CACjB,IAAY,EACZ,aAA+B,EACvB,EAAE;QACV,OAAO,gBAAgB,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;IAC/C,CAAC,CAAC;IAEF,MAAM,mBAAmB,GAAG,CAAC,IAAqB,EAAqB,EAAE;QACvE,MAAM,MAAM,GAAG,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAI,CAAC,MAAM;YAAE,OAAO,CAAC,IAAI,CAAC,CAAC;QAE3B,MAAM,KAAK,GAAG,UAAU,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;QACrD,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;YACxB,MAAM,KAAK,GAAG,QAAQ,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;YAC5C,OAAO;gBACL,IAAI,EAAE,eAAwB;gBAC9B,IAAI,EAAE,KAAK,EAAE,IAAI,IAAI,IAAI;aAC1B,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC;IAEF,4EAA4E;IAC5E,kBAAkB;IAClB,4EAA4E;IAE5E,MAAM,YAAY,GAAG,CAAC,CAAS,EAAE,CAAS,EAAW,EAAE;QACrD,OAAO,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1B,CAAC,CAAC;IAEF,MAAM,cAAc,GAAG,CAAC,MAAc,EAAE,MAAc,EAAW,EAAE;QACjE,kCAAkC;QAClC,IAAI,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC;YAAE,OAAO,IAAI,CAAC;QAE5C,gCAAgC;QAChC,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QAE3C,gCAAgC;QAChC,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QAE3C,2BAA2B;QAC3B,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa;YAAE,OAAO,IAAI,CAAC;QAE/C,8CAA8C;QAC9C,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACpC,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC1D,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;oBAChC,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,CACtB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,eAAe;wBAC1B,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAChD,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,oCAAoC;QACpC,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,OAAO;QACL,WAAW;QACX,YAAY;QACZ,aAAa;QACb,WAAW;QACX,eAAe;QACf,iBAAiB;QACjB,oBAAoB;QACpB,qBAAqB;QACrB,oBAAoB;QACpB,UAAU;QACV,mBAAmB;QACnB,UAAU,EAAE,YAAY;QACxB,cAAc;KACf,CAAC;AACJ,CAAC,CAAC;AAEF,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E,MAAM,kBAAkB,GAAG,CACzB,MAAyB,EACzB,KAAuB,EACJ,EAAE;IACrB,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACxC,OAAO;YACL,GAAG,MAAM;YACT,IAAI,EAAE,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC;SAC3C,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACtC,OAAO;YACL,GAAG,MAAM;YACT,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACxC,GAAG,CAAC;gBACJ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS;aAC3D,CAAC,CAAC;YACH,UAAU,EAAE,MAAM,CAAC,UAAU;gBAC3B,CAAC,CAAC,gBAAgB,CAAC,MAAM,CAAC,UAAU,EAAE,KAAK,CAAC;gBAC5C,CAAC,CAAC,SAAS;SACd,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,MAAyB,EACzB,aAAqB,EACP,EAAE;IAChB,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACxC,OAAO;YACL,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,aAAa;SACd,CAAC;IACJ,CAAC;IACD,mBAAmB;IACnB,OAAO;QACL,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,IAAI,EAAE,wBAAwB,CAAC,MAAM,CAAC;QACtC,UAAU,EAAE,KAAK;QACjB,UAAU,EAAE,KAAK;QACjB,aAAa;KACd,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAAC,MAAyB,EAAU,EAAE;IACrE,OAAO;QACL,IAAI,EAAE,cAAc;QACpB,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACxC,IAAI,EAAE,WAAoB;YAC1B,OAAO,EAAE;gBACP,IAAI,EAAE,mBAA4B;gBAClC,IAAI,EAAE,gBAAgB,CAAC,CAAC,CAAC;aAC1B;YACD,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,UAAU,EAAE,CAAC,CAAC,UAAU;YACxB,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,OAAO,EAAE,CAAC,CAAC,OAAO;SACnB,CAAC,CAAC;QACH,UAAU,EAAE,MAAM,CAAC,UAAU,IAAI,QAAQ;KAC1C,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CAAC,CAEzB,EAAU,EAAE;IACX,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QAC7D,OAAO,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;IACxB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,4EAA4E;AAC5E,uBAAuB;AACvB,4EAA4E;AAE5E,MAAM,iBAAiB,GAAG,CAAC,IAAY,EAAc,EAAE;IACrD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,qDAAqD;QACrD,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAClC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBACtD,OAAO,MAAM,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;QACD,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC;IACtB,CAAC;IAED,2CAA2C;IAC3C,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QACvC,IAAI,CAAC,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAC/B,OAAO,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC;QACrD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;IAEH,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,MAAM,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;IACvC,CAAC;IACD,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC1B,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACjD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,MAAM,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;AACxD,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,WAAgD,EAChD,IAAY,EACA,EAAE;IACd,uCAAuC;IACvC,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAChE,OAAO,SAAS,CAAC;YACf,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,GAAG,WAAW,mCAAmC,CAClD;SACF,CAAC,CAAC;IACL,CAAC;IAED,kEAAkE;IAClE,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,IAAI,CAAC,iBAAiB,EAAE,CAAC;QAC7D,OAAO,SAAS,CAAC;YACf,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,GAAG,WAAW,wDAAwD,CACvE;SACF,CAAC,CAAC;IACL,CAAC;IAED,MAAM,OAAO,GACX,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,iBAAiB,IAAI,EAAE,CAAC,CAAC;IAE7E,MAAM,kBAAkB,GAAwB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAChE,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB;YAAE,OAAO,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAG,CAAwB,CAAC;QACtC,OAAO;YACL,GAAG,IAAI;YACP,UAAU,EACR,WAAW,KAAK,SAAS;gBACvB,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC,WAAW,KAAK,UAAU;oBAC1B,CAAC,CAAC,KAAK;oBACP,CAAC,CAAC,IAAI,CAAC,UAAU;YACvB,UAAU,EAAE,WAAW,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU;SAChE,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,OAAO,MAAM,CAAC;QACZ,IAAI,EAAE,YAAY;QAClB,OAAO,EAAE,kBAAkB;KAC5B,CAAC,CAAC;AACL,CAAC,CAAC"}

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

@@ -0,0 +1,21 @@
+/**
+ * TypeAuthority — Single Source of Truth for All Type Queries
+ *
+ * ALICE'S SPEC (Phase 5): This is the ONLY public API for type operations.
+ * The public module is structurally incapable of supporting a parallel type system.
+ *
+ * INVARIANT: No ts.Type, ts.Symbol, or computed type APIs appear in this layer.
+ * INVARIANT: No raw structures (TypeNodes, declarations, registries) are exported.
+ * INVARIANT: All type information flows through semantic methods only.
+ *
+ * The Binding layer handles TS symbol resolution and produces opaque handles
+ * (DeclId, SignatureId, MemberId, TypeSyntaxId) that cross into this layer.
+ */
+import type { DeclId, SignatureId, MemberId, TypeSyntaxId, TypeResult, SignatureResult, MemberResult, PropertyInit, SyntaxPosition, TypeSubstitution, UtilityTypeName, ParameterMode } from "./types.js";
+export type { DeclId, SignatureId, MemberId, TypeSyntaxId };
+export type { TypeId } from "./internal/universe/types.js";
+export type { TypeResult, SignatureResult, MemberResult, PropertyInit, SyntaxPosition, TypeSubstitution, UtilityTypeName, ParameterMode, };
+export type { TypeAuthority, MemberRef, CallQuery, ResolvedCall, Site, } from "./type-system.js";
+export { makeDeclId, makeSignatureId, makeMemberId, makeTypeSyntaxId, typeOk, typeError, signatureOk, unknownType, neverType, voidType, anyType, } from "./types.js";
+export { BUILTIN_NOMINALS, poisonedCall, createTypeSystem, } from "./type-system.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EACV,MAAM,EACN,WAAW,EACX,QAAQ,EACR,YAAY,EACZ,UAAU,EACV,eAAe,EACf,YAAY,EACZ,YAAY,EACZ,cAAc,EACd,gBAAgB,EAChB,eAAe,EACf,aAAa,EACd,MAAM,YAAY,CAAC;AAMpB,YAAY,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC;AAG5D,YAAY,EAAE,MAAM,EAAE,MAAM,8BAA8B,CAAC;AAM3D,YAAY,EACV,UAAU,EACV,eAAe,EACf,YAAY,EACZ,YAAY,EACZ,cAAc,EACd,gBAAgB,EAChB,eAAe,EACf,aAAa,GACd,CAAC;AAGF,YAAY,EACV,aAAa,EACb,SAAS,EACT,SAAS,EACT,YAAY,EACZ,IAAI,GACL,MAAM,kBAAkB,CAAC;AAM1B,OAAO,EACL,UAAU,EACV,eAAe,EACf,YAAY,EACZ,gBAAgB,EAChB,MAAM,EACN,SAAS,EACT,WAAW,EACX,WAAW,EACX,SAAS,EACT,QAAQ,EACR,OAAO,GACR,MAAM,YAAY,CAAC;AAEpB,OAAO,EACL,gBAAgB,EAChB,YAAY,EACZ,gBAAgB,GACjB,MAAM,kBAAkB,CAAC"}

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

@@ -0,0 +1,43 @@
+/**
+ * TypeAuthority — Single Source of Truth for All Type Queries
+ *
+ * ALICE'S SPEC (Phase 5): This is the ONLY public API for type operations.
+ * The public module is structurally incapable of supporting a parallel type system.
+ *
+ * INVARIANT: No ts.Type, ts.Symbol, or computed type APIs appear in this layer.
+ * INVARIANT: No raw structures (TypeNodes, declarations, registries) are exported.
+ * INVARIANT: All type information flows through semantic methods only.
+ *
+ * The Binding layer handles TS symbol resolution and produces opaque handles
+ * (DeclId, SignatureId, MemberId, TypeSyntaxId) that cross into this layer.
+ */
+// ═══════════════════════════════════════════════════════════════════════════════
+// FACTORY FUNCTIONS — For handle creation and result construction
+// ═══════════════════════════════════════════════════════════════════════════════
+export { makeDeclId, makeSignatureId, makeMemberId, makeTypeSyntaxId, typeOk, typeError, signatureOk, unknownType, neverType, voidType, anyType, } from "./types.js";
+export { BUILTIN_NOMINALS, poisonedCall, createTypeSystem, } from "./type-system.js";
+// ═══════════════════════════════════════════════════════════════════════════════
+// INTERNAL TYPES — NOT EXPORTED
+// ═══════════════════════════════════════════════════════════════════════════════
+//
+// The following types are INTERNAL ONLY and must NOT be exported:
+// - TypeSystemDeps
+// - HandleRegistry
+// - DeclInfo, SignatureInfo, MemberInfo, TypeSyntaxInfo
+// - ParameterNode, TypeParameterNode
+// - SignatureTypePredicate
+// - DeclKind
+// - TypeSystemConfig
+// - TypeRegistryAPI, NominalEnvAPI
+// - RawSignatureInfo
+// - TypeSubstitutionMap (internal)
+// - MemberLookupResult (internal)
+//
+// These are defined in type-system/internal/* and imported only by:
+// - type-system implementation
+// - binding implementation
+//
+// ALICE'S SPEC: The public module is structurally incapable of supporting
+// a parallel type system. No raw structures. No escape hatches.
+// ═══════════════════════════════════════════════════════════════════════════════
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/ir/type-system/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAkDH,kFAAkF;AAClF,kEAAkE;AAClE,kFAAkF;AAElF,OAAO,EACL,UAAU,EACV,eAAe,EACf,YAAY,EACZ,gBAAgB,EAChB,MAAM,EACN,SAAS,EACT,WAAW,EACX,WAAW,EACX,SAAS,EACT,QAAQ,EACR,OAAO,GACR,MAAM,YAAY,CAAC;AAEpB,OAAO,EACL,gBAAgB,EAChB,YAAY,EACZ,gBAAgB,GACjB,MAAM,kBAAkB,CAAC;AAE1B,kFAAkF;AAClF,gCAAgC;AAChC,kFAAkF;AAClF,EAAE;AACF,kEAAkE;AAClE,mBAAmB;AACnB,mBAAmB;AACnB,wDAAwD;AACxD,qCAAqC;AACrC,2BAA2B;AAC3B,aAAa;AACb,qBAAqB;AACrB,mCAAmC;AACnC,qBAAqB;AACrB,mCAAmC;AACnC,kCAAkC;AAClC,EAAE;AACF,oEAAoE;AACpE,+BAA+B;AAC/B,2BAA2B;AAC3B,EAAE;AACF,0EAA0E;AAC1E,gEAAgE;AAChE,kFAAkF"}

package/dist/ir/type-system/internal/handle-types.d.ts

@@ -0,0 +1,98 @@
+/**
+ * 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/**
+ */
+import type { DeclId, SignatureId, MemberId, TypeSyntaxId, ParameterMode } from "../types.js";
+/**
+ * Handle registry — maps opaque handles to their underlying data.
+ *
+ * INTERNAL ONLY. Not exported from public API.
+ */
+export interface HandleRegistry {
+    getDecl(id: DeclId): DeclInfo | undefined;
+    getSignature(id: SignatureId): SignatureInfo | undefined;
+    getMember(id: MemberId): MemberInfo | undefined;
+    getTypeSyntax(id: TypeSyntaxId): TypeSyntaxInfo | undefined;
+}
+/**
+ * Type syntax info stored in the handle registry.
+ */
+export interface TypeSyntaxInfo {
+    readonly typeNode: unknown;
+}
+/**
+ * Captured class member names for override detection.
+ * Pure data — no TS nodes.
+ */
+export interface ClassMemberNames {
+    readonly methods: ReadonlySet<string>;
+    readonly properties: ReadonlySet<string>;
+}
+/**
+ * Declaration info stored in the handle registry.
+ */
+export interface DeclInfo {
+    readonly typeNode?: unknown;
+    readonly kind: DeclKind;
+    readonly fqName?: string;
+    readonly declNode?: unknown;
+    readonly classMemberNames?: ClassMemberNames;
+}
+export type DeclKind = "variable" | "function" | "class" | "interface" | "typeAlias" | "enum" | "parameter" | "property" | "method";
+/**
+ * Signature info stored in the handle registry.
+ */
+export interface SignatureInfo {
+    readonly parameters: readonly ParameterNode[];
+    readonly returnTypeNode?: unknown;
+    readonly typeParameters?: readonly TypeParameterNode[];
+    /**
+     * Declaring type simple TS name (e.g., "Box" not "Test.Box").
+     * TypeSystem uses UnifiedTypeCatalog.resolveTsName() to get CLR FQ name.
+     */
+    readonly declaringTypeTsName?: string;
+    readonly declaringMemberName?: string;
+    readonly typePredicate?: SignatureTypePredicate;
+}
+/**
+ * Type predicate extracted from signature's return type.
+ */
+export type SignatureTypePredicate = {
+    readonly kind: "param";
+    readonly parameterName: string;
+    readonly parameterIndex: number;
+    readonly targetTypeNode: unknown;
+} | {
+    readonly kind: "this";
+    readonly targetTypeNode: unknown;
+};
+export interface ParameterNode {
+    readonly name: string;
+    readonly typeNode?: unknown;
+    readonly isOptional: boolean;
+    readonly isRest: boolean;
+    readonly mode?: ParameterMode;
+}
+export interface TypeParameterNode {
+    readonly name: string;
+    readonly constraintNode?: unknown;
+    readonly defaultNode?: unknown;
+}
+/**
+ * Member info stored in the handle registry.
+ */
+export interface MemberInfo {
+    readonly name: string;
+    readonly declNode?: unknown;
+    readonly typeNode?: unknown;
+    readonly isOptional: boolean;
+    readonly isReadonly: boolean;
+}
+//# sourceMappingURL=handle-types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"handle-types.d.ts","sourceRoot":"","sources":["../../../../src/ir/type-system/internal/handle-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EACV,MAAM,EACN,WAAW,EACX,QAAQ,EACR,YAAY,EACZ,aAAa,EACd,MAAM,aAAa,CAAC;AAMrB;;;;GAIG;AACH,MAAM,WAAW,cAAc;IAC7B,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS,CAAC;IAC1C,YAAY,CAAC,EAAE,EAAE,WAAW,GAAG,aAAa,GAAG,SAAS,CAAC;IACzD,SAAS,CAAC,EAAE,EAAE,QAAQ,GAAG,UAAU,GAAG,SAAS,CAAC;IAChD,aAAa,CAAC,EAAE,EAAE,YAAY,GAAG,cAAc,GAAG,SAAS,CAAC;CAC7D;AAMD;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAC1C;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;CAC9C;AAED,MAAM,MAAM,QAAQ,GAChB,UAAU,GACV,UAAU,GACV,OAAO,GACP,WAAW,GACX,WAAW,GACX,MAAM,GACN,WAAW,GACX,UAAU,GACV,QAAQ,CAAC;AAEb;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,UAAU,EAAE,SAAS,aAAa,EAAE,CAAC;IAC9C,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAClC,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACvD;;;OAGG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,aAAa,CAAC,EAAE,sBAAsB,CAAC;CACjD;AAED;;GAEG;AACH,MAAM,MAAM,sBAAsB,GAC9B;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;CAClC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;CAClC,CAAC;AAEN,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC;CAC/B;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAClC,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;CAC9B"}