@tsonic/frontend 0.0.14 → 0.0.16

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

@@ -0,0 +1,535 @@
+/**
+ * TypeRegistry - Pure IR source of truth for type declarations
+ *
+ * ALICE'S SPEC (Step 3): This registry stores IrType (pure IR), NOT ts.TypeNode.
+ * Types are converted at registration time, making queries deterministic.
+ *
+ * CANONICAL CLR IDENTITY: Well-known runtime types from @tsonic/globals,
+ * @tsonic/core, and @tsonic/dotnet are registered with canonical CLR FQ names
+ * (e.g., String → System.String, String$instance → System.String$instance).
+ *
+ * Part of Alice's specification for deterministic IR typing.
+ */
+import * as ts from "typescript";
+import { getNamespaceFromPath } from "../../../resolver/namespace.js";
+import { GLOBALS_TO_CLR_FQ } from "./universe/alias-table.js";
+// ═══════════════════════════════════════════════════════════════════════════
+// CANONICAL CLR NAME HELPERS
+// ═══════════════════════════════════════════════════════════════════════════
+/**
+ * Check if a source file is from a well-known Tsonic library.
+ * These libraries contain runtime types that need canonical CLR FQ names.
+ */
+const isWellKnownLibrary = (fileName) => {
+    return (fileName.includes("@tsonic/globals") ||
+        fileName.includes("@tsonic/core") ||
+        fileName.includes("@tsonic/dotnet"));
+};
+/**
+ * Get the canonical CLR FQ name for a type from a well-known library.
+ * Returns undefined if the type should use its default FQ name.
+ *
+ * Handles:
+ * - Global types: String → System.String, Array → System.Array
+ * - $instance companions: String$instance → System.String$instance
+ * - Core primitives: int → System.Int32, etc. (handled via type aliases)
+ */
+const getCanonicalClrFQName = (simpleName, isFromWellKnownLib) => {
+    if (!isFromWellKnownLib)
+        return undefined;
+    // Check direct mapping (String, Array, Number, etc.)
+    const directMapping = GLOBALS_TO_CLR_FQ[simpleName];
+    if (directMapping)
+        return directMapping;
+    // Handle $instance companions - they map to System.X$instance
+    if (simpleName.endsWith("$instance")) {
+        const baseName = simpleName.slice(0, -9); // Remove "$instance"
+        const baseClrName = GLOBALS_TO_CLR_FQ[baseName];
+        if (baseClrName) {
+            return `${baseClrName}$instance`;
+        }
+    }
+    // Handle __X$views companions - they map to System.X$views
+    if (simpleName.includes("$views")) {
+        const baseName = simpleName.replace("__", "").replace("$views", "");
+        const baseClrName = GLOBALS_TO_CLR_FQ[baseName];
+        if (baseClrName) {
+            return `${baseClrName}$views`;
+        }
+    }
+    return undefined;
+};
+// ═══════════════════════════════════════════════════════════════════════════
+// HELPER FUNCTIONS
+// ═══════════════════════════════════════════════════════════════════════════
+/**
+ * Extract type parameters from a declaration
+ */
+const extractTypeParameters = (typeParams, convertType) => {
+    if (!typeParams)
+        return [];
+    return typeParams.map((p) => ({
+        name: p.name.text,
+        constraint: p.constraint ? convertType(p.constraint) : undefined,
+        defaultType: p.default ? convertType(p.default) : undefined,
+    }));
+};
+/**
+ * Get the name from a TypeNode (for heritage clauses)
+ */
+const getTypeNodeName = (typeNode) => {
+    if (ts.isTypeReferenceNode(typeNode)) {
+        if (ts.isIdentifier(typeNode.typeName)) {
+            return typeNode.typeName.text;
+        }
+        if (ts.isQualifiedName(typeNode.typeName)) {
+            return typeNode.typeName.getText();
+        }
+    }
+    if (ts.isExpressionWithTypeArguments(typeNode)) {
+        if (ts.isIdentifier(typeNode.expression)) {
+            return typeNode.expression.text;
+        }
+    }
+    return undefined;
+};
+/**
+ * Resolve a heritage clause type name to the same fully-qualified form used by
+ * TypeRegistry entries.
+ *
+ * This is required so UnifiedUniverse can build correct stableIds for inheritance
+ * edges (projectName:fullyQualifiedName), enabling NominalEnv substitution through
+ * inheritance chains.
+ *
+ * DETERMINISTIC: Uses symbol resolution only (no ts.Type queries).
+ */
+const resolveHeritageTypeName = (typeNode, checker, sourceRoot, rootNamespace, namespaceNamingPolicy) => {
+    const expr = typeNode.expression;
+    const symbol = (() => {
+        if (ts.isIdentifier(expr))
+            return checker.getSymbolAtLocation(expr);
+        if (ts.isPropertyAccessExpression(expr)) {
+            return checker.getSymbolAtLocation(expr.name);
+        }
+        return undefined;
+    })();
+    const resolvedSymbol = symbol && symbol.flags & ts.SymbolFlags.Alias
+        ? checker.getAliasedSymbol(symbol)
+        : symbol;
+    const decl = resolvedSymbol?.getDeclarations()?.[0];
+    const sourceFile = decl?.getSourceFile();
+    const simpleName = (() => {
+        if (decl &&
+            (ts.isClassDeclaration(decl) ||
+                ts.isInterfaceDeclaration(decl) ||
+                ts.isTypeAliasDeclaration(decl) ||
+                ts.isEnumDeclaration(decl)) &&
+            decl.name) {
+            return decl.name.text;
+        }
+        if (resolvedSymbol)
+            return resolvedSymbol.getName();
+        if (ts.isIdentifier(expr))
+            return expr.text;
+        if (ts.isPropertyAccessExpression(expr))
+            return expr.name.text;
+        return undefined;
+    })();
+    if (!simpleName)
+        return undefined;
+    // Canonicalize well-known runtime types to CLR FQ names.
+    const canonical = getCanonicalClrFQName(simpleName, sourceFile ? isWellKnownLibrary(sourceFile.fileName) : false);
+    if (canonical)
+        return canonical;
+    // Source-authored types use namespace-based FQ names.
+    const ns = sourceFile && !sourceFile.isDeclarationFile
+        ? getNamespaceFromPath(sourceFile.fileName, sourceRoot, rootNamespace, namespaceNamingPolicy)
+        : undefined;
+    return ns ? `${ns}.${simpleName}` : simpleName;
+};
+/**
+ * Extract member information from a class or interface - PURE IR version
+ */
+const extractMembers = (members, convertType) => {
+    const result = new Map();
+    for (const member of members) {
+        // Constructor parameter properties (class)
+        // e.g., `constructor(public name: string, private password: string) {}`
+        if (ts.isConstructorDeclaration(member)) {
+            for (const param of member.parameters) {
+                const isParameterProperty = param.modifiers?.some((m) => m.kind === ts.SyntaxKind.PublicKeyword ||
+                    m.kind === ts.SyntaxKind.PrivateKeyword ||
+                    m.kind === ts.SyntaxKind.ProtectedKeyword ||
+                    m.kind === ts.SyntaxKind.ReadonlyKeyword) ?? false;
+                if (!isParameterProperty)
+                    continue;
+                if (!ts.isIdentifier(param.name))
+                    continue;
+                const name = param.name.text;
+                const isOptional = !!param.questionToken || !!param.initializer;
+                const isReadonly = param.modifiers?.some((m) => m.kind === ts.SyntaxKind.ReadonlyKeyword) ??
+                    false;
+                result.set(name, {
+                    kind: "property",
+                    name,
+                    type: param.type ? convertType(param.type) : undefined,
+                    isOptional,
+                    isReadonly,
+                });
+            }
+        }
+        // Property declarations (class)
+        if (ts.isPropertyDeclaration(member)) {
+            const name = member.name.getText();
+            const isOptional = member.questionToken !== undefined || member.initializer !== undefined;
+            const isReadonly = member.modifiers?.some((m) => m.kind === ts.SyntaxKind.ReadonlyKeyword);
+            result.set(name, {
+                kind: "property",
+                name,
+                type: member.type ? convertType(member.type) : undefined,
+                isOptional,
+                isReadonly: isReadonly ?? false,
+            });
+        }
+        // Property signatures (interface)
+        if (ts.isPropertySignature(member)) {
+            const name = member.name.getText();
+            result.set(name, {
+                kind: "property",
+                name,
+                type: member.type ? convertType(member.type) : undefined,
+                isOptional: member.questionToken !== undefined,
+                isReadonly: member.modifiers?.some((m) => m.kind === ts.SyntaxKind.ReadonlyKeyword) ?? false,
+            });
+        }
+        // Method declarations (class)
+        if (ts.isMethodDeclaration(member)) {
+            const name = member.name.getText();
+            const existing = result.get(name);
+            const newSig = convertMethodToSignature(member, convertType);
+            const signatures = existing?.methodSignatures
+                ? [...existing.methodSignatures, newSig]
+                : [newSig];
+            result.set(name, {
+                kind: "method",
+                name,
+                type: undefined, // Methods have signatures, not a single type
+                isOptional: member.questionToken !== undefined,
+                isReadonly: false,
+                methodSignatures: signatures,
+            });
+        }
+        // Method signatures (interface)
+        if (ts.isMethodSignature(member)) {
+            const name = member.name.getText();
+            const existing = result.get(name);
+            const newSig = convertMethodSignatureToIr(member, convertType);
+            const signatures = existing?.methodSignatures
+                ? [...existing.methodSignatures, newSig]
+                : [newSig];
+            result.set(name, {
+                kind: "method",
+                name,
+                type: undefined, // Methods have signatures, not a single type
+                isOptional: member.questionToken !== undefined,
+                isReadonly: false,
+                methodSignatures: signatures,
+            });
+        }
+        // Index signatures (interface)
+        if (ts.isIndexSignatureDeclaration(member)) {
+            const param = member.parameters[0];
+            const keyType = param?.type;
+            const keyName = keyType
+                ? ts.isTypeReferenceNode(keyType)
+                    ? keyType.typeName.getText()
+                    : keyType.getText()
+                : "unknown";
+            const name = `[${keyName}]`;
+            result.set(name, {
+                kind: "indexSignature",
+                name,
+                type: member.type ? convertType(member.type) : undefined,
+                isOptional: false,
+                isReadonly: member.modifiers?.some((m) => m.kind === ts.SyntaxKind.ReadonlyKeyword) ?? false,
+            });
+        }
+    }
+    return result;
+};
+/**
+ * Extract members from an already-converted object type.
+ *
+ * This is used for object-like type aliases that expand deterministically to
+ * `IrObjectType` during registration (e.g., `type StatusMap = Record<...>`).
+ * Registering these members enables TypeSystem member lookups on aliased types.
+ */
+const extractMembersFromAliasedObjectType = (aliased) => {
+    if (aliased.kind !== "objectType")
+        return new Map();
+    const result = new Map();
+    for (const member of aliased.members) {
+        if (member.kind === "propertySignature") {
+            result.set(member.name, {
+                kind: "property",
+                name: member.name,
+                type: member.type,
+                isOptional: member.isOptional,
+                isReadonly: member.isReadonly,
+            });
+            continue;
+        }
+        if (member.kind === "methodSignature") {
+            const existing = result.get(member.name);
+            const signatures = existing?.methodSignatures
+                ? [...existing.methodSignatures, member]
+                : [member];
+            result.set(member.name, {
+                kind: "method",
+                name: member.name,
+                type: undefined,
+                isOptional: false,
+                isReadonly: false,
+                methodSignatures: signatures,
+            });
+            continue;
+        }
+    }
+    return result;
+};
+/**
+ * Convert method declaration to IrMethodSignature
+ */
+const convertMethodToSignature = (method, convertType) => ({
+    kind: "methodSignature",
+    name: method.name.getText(),
+    parameters: method.parameters.map((p) => ({
+        kind: "parameter",
+        pattern: {
+            kind: "identifierPattern",
+            name: ts.isIdentifier(p.name) ? p.name.text : "param",
+        },
+        type: p.type ? convertType(p.type) : undefined,
+        isOptional: !!p.questionToken || !!p.initializer,
+        isRest: !!p.dotDotDotToken,
+        passing: "value",
+    })),
+    returnType: method.type ? convertType(method.type) : undefined,
+    typeParameters: method.typeParameters?.map((tp) => ({
+        kind: "typeParameter",
+        name: tp.name.text,
+        constraint: tp.constraint ? convertType(tp.constraint) : undefined,
+        default: tp.default ? convertType(tp.default) : undefined,
+    })),
+});
+/**
+ * Convert method signature to IrMethodSignature
+ */
+const convertMethodSignatureToIr = (method, convertType) => ({
+    kind: "methodSignature",
+    name: method.name.getText(),
+    parameters: method.parameters.map((p) => ({
+        kind: "parameter",
+        pattern: {
+            kind: "identifierPattern",
+            name: ts.isIdentifier(p.name) ? p.name.text : "param",
+        },
+        type: p.type ? convertType(p.type) : undefined,
+        isOptional: !!p.questionToken || !!p.initializer,
+        isRest: !!p.dotDotDotToken,
+        passing: "value",
+    })),
+    returnType: method.type ? convertType(method.type) : undefined,
+    typeParameters: method.typeParameters?.map((tp) => ({
+        kind: "typeParameter",
+        name: tp.name.text,
+        constraint: tp.constraint ? convertType(tp.constraint) : undefined,
+        default: tp.default ? convertType(tp.default) : undefined,
+    })),
+});
+/**
+ * Extract heritage clauses - PURE IR version
+ */
+const extractHeritage = (clauses, checker, sourceRoot, rootNamespace, namespaceNamingPolicy, convertType, canonicalize) => {
+    if (!clauses)
+        return [];
+    const result = [];
+    for (const clause of clauses) {
+        const kind = clause.token === ts.SyntaxKind.ExtendsKeyword ? "extends" : "implements";
+        for (const type of clause.types) {
+            const resolvedName = resolveHeritageTypeName(type, checker, sourceRoot, rootNamespace, namespaceNamingPolicy);
+            const rawTypeName = resolvedName ?? getTypeNodeName(type);
+            if (rawTypeName) {
+                // Canonicalize the type name if a canonicalizer is provided
+                const typeName = canonicalize ? canonicalize(rawTypeName) : rawTypeName;
+                result.push({
+                    kind,
+                    baseType: convertType(type),
+                    typeName,
+                });
+            }
+        }
+    }
+    return result;
+};
+// ═══════════════════════════════════════════════════════════════════════════
+// BUILD FUNCTION
+// ═══════════════════════════════════════════════════════════════════════════
+/**
+ * Build a TypeRegistry from source files.
+ *
+ * @param sourceFiles Source files to scan for declarations
+ * @param checker TypeChecker for symbol resolution only (NOT for type inference)
+ * @param sourceRoot Absolute path to source root directory
+ * @param rootNamespace Root namespace for the project
+ * @param convertType Optional type converter for pure IR storage
+ */
+export const buildTypeRegistry = (sourceFiles, checker, sourceRoot, rootNamespace, options = {}) => {
+    // Map from FQ name to pure IR entry
+    const entries = new Map();
+    // Map from simple name to FQ name (for reverse lookup)
+    const simpleNameToFQ = new Map();
+    // Default converter returns unknownType (used during bootstrap)
+    const convert = options.convertType ?? (() => ({ kind: "unknownType" }));
+    const namespaceNamingPolicy = options.namespaceNamingPolicy;
+    // Helper function to process a declaration node
+    const processDeclaration = (node, sf, ns) => {
+        // Check if this file is from a well-known Tsonic library
+        const isFromWellKnownLib = isWellKnownLibrary(sf.fileName);
+        // Canonicalize a type name to CLR FQ name if it's a well-known type
+        // This is used for both the type itself and its heritage references
+        const canonicalize = (simpleName) => {
+            // Check for canonical CLR name (works for both the current file and heritage refs)
+            // Heritage refs like String$instance should be canonicalized even if
+            // the current file isn't from a well-known lib (though it usually is)
+            const canonicalName = getCanonicalClrFQName(simpleName, true);
+            if (canonicalName)
+                return canonicalName;
+            return simpleName;
+        };
+        // Make FQ name - use canonical CLR FQ name for well-known types
+        const makeFQName = (simpleName) => {
+            // First check if this is a well-known type that needs canonical CLR name
+            const canonicalName = getCanonicalClrFQName(simpleName, isFromWellKnownLib);
+            if (canonicalName)
+                return canonicalName;
+            // Otherwise use namespace-based FQ name
+            return ns ? `${ns}.${simpleName}` : simpleName;
+        };
+        // Class declarations
+        if (ts.isClassDeclaration(node) && node.name) {
+            const simpleName = node.name.text;
+            const fqName = makeFQName(simpleName);
+            // Pure IR entry
+            entries.set(fqName, {
+                kind: "class",
+                name: simpleName,
+                fullyQualifiedName: fqName,
+                typeParameters: extractTypeParameters(node.typeParameters, convert),
+                members: extractMembers(node.members, convert),
+                heritage: extractHeritage(node.heritageClauses, checker, sourceRoot, rootNamespace, namespaceNamingPolicy, convert, canonicalize),
+            });
+            simpleNameToFQ.set(simpleName, fqName);
+        }
+        // Interface declarations
+        if (ts.isInterfaceDeclaration(node)) {
+            const simpleName = node.name.text;
+            const fqName = makeFQName(simpleName);
+            // Merge with existing interface (for module augmentation)
+            const existing = entries.get(fqName);
+            if (existing && existing.kind === "interface") {
+                // Merge members
+                const mergedMembers = new Map(existing.members);
+                for (const [memberName, memberInfo] of extractMembers(node.members, convert)) {
+                    mergedMembers.set(memberName, memberInfo);
+                }
+                entries.set(fqName, {
+                    ...existing,
+                    members: mergedMembers,
+                    heritage: [
+                        ...existing.heritage,
+                        ...extractHeritage(node.heritageClauses, checker, sourceRoot, rootNamespace, namespaceNamingPolicy, convert, canonicalize),
+                    ],
+                });
+            }
+            else {
+                entries.set(fqName, {
+                    kind: "interface",
+                    name: simpleName,
+                    fullyQualifiedName: fqName,
+                    typeParameters: extractTypeParameters(node.typeParameters, convert),
+                    members: extractMembers(node.members, convert),
+                    heritage: extractHeritage(node.heritageClauses, checker, sourceRoot, rootNamespace, namespaceNamingPolicy, convert, canonicalize),
+                });
+                simpleNameToFQ.set(simpleName, fqName);
+            }
+        }
+        // Type alias declarations
+        if (ts.isTypeAliasDeclaration(node)) {
+            const simpleName = node.name.text;
+            const fqName = makeFQName(simpleName);
+            // Pure IR entry
+            const aliasedType = convert(node.type);
+            const aliasedMembers = extractMembersFromAliasedObjectType(aliasedType);
+            entries.set(fqName, {
+                kind: "typeAlias",
+                name: simpleName,
+                fullyQualifiedName: fqName,
+                typeParameters: extractTypeParameters(node.typeParameters, convert),
+                members: aliasedMembers,
+                heritage: [],
+                aliasedType,
+            });
+            simpleNameToFQ.set(simpleName, fqName);
+        }
+        // Handle 'declare global { ... }' blocks
+        if (ts.isModuleDeclaration(node) &&
+            ts.isIdentifier(node.name) &&
+            node.name.text === "global" &&
+            node.body &&
+            ts.isModuleBlock(node.body)) {
+            for (const stmt of node.body.statements) {
+                processDeclaration(stmt, sf, undefined);
+            }
+        }
+    };
+    for (const sourceFile of sourceFiles) {
+        const namespace = sourceFile.isDeclarationFile
+            ? undefined
+            : getNamespaceFromPath(sourceFile.fileName, sourceRoot, rootNamespace, namespaceNamingPolicy);
+        ts.forEachChild(sourceFile, (node) => {
+            processDeclaration(node, sourceFile, namespace);
+        });
+    }
+    return {
+        // Pure IR API
+        resolveNominal: (fqName) => {
+            return entries.get(fqName);
+        },
+        resolveBySimpleName: (simpleName) => {
+            const fqName = simpleNameToFQ.get(simpleName);
+            return fqName ? entries.get(fqName) : undefined;
+        },
+        getFQName: (simpleName) => {
+            return simpleNameToFQ.get(simpleName);
+        },
+        getMemberType: (fqNominal, memberName) => {
+            const entry = entries.get(fqNominal);
+            if (!entry)
+                return undefined;
+            const member = entry.members.get(memberName);
+            return member?.type;
+        },
+        getHeritageTypes: (fqNominal) => {
+            const entry = entries.get(fqNominal);
+            return entry?.heritage ?? [];
+        },
+        getAllTypeNames: () => {
+            return [...entries.keys()];
+        },
+        hasType: (fqName) => {
+            return entries.has(fqName);
+        },
+    };
+};
+//# sourceMappingURL=type-registry.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"type-registry.js","sourceRoot":"","sources":["../../../../src/ir/type-system/internal/type-registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,oBAAoB,EAAE,MAAM,gCAAgC,CAAC;AAEtE,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAE9D,8EAA8E;AAC9E,6BAA6B;AAC7B,8EAA8E;AAE9E;;;GAGG;AACH,MAAM,kBAAkB,GAAG,CAAC,QAAgB,EAAW,EAAE;IACvD,OAAO,CACL,QAAQ,CAAC,QAAQ,CAAC,iBAAiB,CAAC;QACpC,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC;QACjC,QAAQ,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CACpC,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,qBAAqB,GAAG,CAC5B,UAAkB,EAClB,kBAA2B,EACP,EAAE;IACtB,IAAI,CAAC,kBAAkB;QAAE,OAAO,SAAS,CAAC;IAE1C,qDAAqD;IACrD,MAAM,aAAa,GAAG,iBAAiB,CAAC,UAAU,CAAC,CAAC;IACpD,IAAI,aAAa;QAAE,OAAO,aAAa,CAAC;IAExC,8DAA8D;IAC9D,IAAI,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QACrC,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,qBAAqB;QAC/D,MAAM,WAAW,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAI,WAAW,EAAE,CAAC;YAChB,OAAO,GAAG,WAAW,WAAW,CAAC;QACnC,CAAC;IACH,CAAC;IAED,2DAA2D;IAC3D,IAAI,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClC,MAAM,QAAQ,GAAG,UAAU,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QACpE,MAAM,WAAW,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAI,WAAW,EAAE,CAAC;YAChB,OAAO,GAAG,WAAW,QAAQ,CAAC;QAChC,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAkHF,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E;;GAEG;AACH,MAAM,qBAAqB,GAAG,CAC5B,UAAiE,EACjE,WAA0B,EACK,EAAE;IACjC,IAAI,CAAC,UAAU;QAAE,OAAO,EAAE,CAAC;IAC3B,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5B,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI;QACjB,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS;QAChE,WAAW,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;KAC5D,CAAC,CAAC,CAAC;AACN,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,eAAe,GAAG,CAAC,QAAqB,EAAsB,EAAE;IACpE,IAAI,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrC,IAAI,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YACvC,OAAO,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC;QAChC,CAAC;QACD,IAAI,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC1C,OAAO,QAAQ,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;QACrC,CAAC;IACH,CAAC;IACD,IAAI,EAAE,CAAC,6BAA6B,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/C,IAAI,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;YACzC,OAAO,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC;QAClC,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,uBAAuB,GAAG,CAC9B,QAAwC,EACxC,OAAuB,EACvB,UAAkB,EAClB,aAAqB,EACrB,qBAA+C,EAC3B,EAAE;IACtB,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,CAAC;IAEjC,MAAM,MAAM,GAAG,CAAC,GAAG,EAAE;QACnB,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YAAE,OAAO,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACpE,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,OAAO,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC,EAAE,CAAC;IAEL,MAAM,cAAc,GAClB,MAAM,IAAI,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK;QAC3C,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC;QAClC,CAAC,CAAC,MAAM,CAAC;IAEb,MAAM,IAAI,GAAG,cAAc,EAAE,eAAe,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACpD,MAAM,UAAU,GAAG,IAAI,EAAE,aAAa,EAAE,CAAC;IAEzC,MAAM,UAAU,GAAG,CAAC,GAAG,EAAE;QACvB,IACE,IAAI;YACJ,CAAC,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;gBAC1B,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;gBAC/B,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;gBAC/B,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;YAC7B,IAAI,CAAC,IAAI,EACT,CAAC;YACD,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QACxB,CAAC;QACD,IAAI,cAAc;YAAE,OAAO,cAAc,CAAC,OAAO,EAAE,CAAC;QACpD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,IAAI,CAAC;QAC5C,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAC/D,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC,EAAE,CAAC;IAEL,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAElC,yDAAyD;IACzD,MAAM,SAAS,GAAG,qBAAqB,CACrC,UAAU,EACV,UAAU,CAAC,CAAC,CAAC,kBAAkB,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAC7D,CAAC;IACF,IAAI,SAAS;QAAE,OAAO,SAAS,CAAC;IAEhC,sDAAsD;IACtD,MAAM,EAAE,GACN,UAAU,IAAI,CAAC,UAAU,CAAC,iBAAiB;QACzC,CAAC,CAAC,oBAAoB,CAClB,UAAU,CAAC,QAAQ,EACnB,UAAU,EACV,aAAa,EACb,qBAAqB,CACtB;QACH,CAAC,CAAC,SAAS,CAAC;IAEhB,OAAO,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,UAAU,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC;AACjD,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,cAAc,GAAG,CACrB,OAAqE,EACrE,WAA0B,EACO,EAAE;IACnC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAsB,CAAC;IAE7C,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,2CAA2C;QAC3C,wEAAwE;QACxE,IAAI,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC,EAAE,CAAC;YACxC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;gBACtC,MAAM,mBAAmB,GACvB,KAAK,CAAC,SAAS,EAAE,IAAI,CACnB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;oBACtC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;oBACvC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;oBACzC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAC3C,IAAI,KAAK,CAAC;gBAEb,IAAI,CAAC,mBAAmB;oBAAE,SAAS;gBACnC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC;oBAAE,SAAS;gBAE3C,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC7B,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,aAAa,IAAI,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC;gBAChE,MAAM,UAAU,GACd,KAAK,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC;oBACtE,KAAK,CAAC;gBAER,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE;oBACf,IAAI,EAAE,UAAU;oBAChB,IAAI;oBACJ,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;oBACtD,UAAU;oBACV,UAAU;iBACX,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,gCAAgC;QAChC,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YACnC,MAAM,UAAU,GACd,MAAM,CAAC,aAAa,KAAK,SAAS,IAAI,MAAM,CAAC,WAAW,KAAK,SAAS,CAAC;YACzE,MAAM,UAAU,GAAG,MAAM,CAAC,SAAS,EAAE,IAAI,CACvC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAChD,CAAC;YACF,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE;gBACf,IAAI,EAAE,UAAU;gBAChB,IAAI;gBACJ,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;gBACxD,UAAU;gBACV,UAAU,EAAE,UAAU,IAAI,KAAK;aAChC,CAAC,CAAC;QACL,CAAC;QAED,kCAAkC;QAClC,IAAI,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YACnC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE;gBACf,IAAI,EAAE,UAAU;gBAChB,IAAI;gBACJ,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;gBACxD,UAAU,EAAE,MAAM,CAAC,aAAa,KAAK,SAAS;gBAC9C,UAAU,EACR,MAAM,CAAC,SAAS,EAAE,IAAI,CACpB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAChD,IAAI,KAAK;aACb,CAAC,CAAC;QACL,CAAC;QAED,8BAA8B;QAC9B,IAAI,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YACnC,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAClC,MAAM,MAAM,GAAG,wBAAwB,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;YAC7D,MAAM,UAAU,GAAG,QAAQ,EAAE,gBAAgB;gBAC3C,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;gBACxC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YACb,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE;gBACf,IAAI,EAAE,QAAQ;gBACd,IAAI;gBACJ,IAAI,EAAE,SAAS,EAAE,6CAA6C;gBAC9D,UAAU,EAAE,MAAM,CAAC,aAAa,KAAK,SAAS;gBAC9C,UAAU,EAAE,KAAK;gBACjB,gBAAgB,EAAE,UAAU;aAC7B,CAAC,CAAC;QACL,CAAC;QAED,gCAAgC;QAChC,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,CAAC;YACjC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YACnC,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAClC,MAAM,MAAM,GAAG,0BAA0B,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;YAC/D,MAAM,UAAU,GAAG,QAAQ,EAAE,gBAAgB;gBAC3C,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;gBACxC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YACb,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE;gBACf,IAAI,EAAE,QAAQ;gBACd,IAAI;gBACJ,IAAI,EAAE,SAAS,EAAE,6CAA6C;gBAC9D,UAAU,EAAE,MAAM,CAAC,aAAa,KAAK,SAAS;gBAC9C,UAAU,EAAE,KAAK;gBACjB,gBAAgB,EAAE,UAAU;aAC7B,CAAC,CAAC;QACL,CAAC;QAED,+BAA+B;QAC/B,IAAI,EAAE,CAAC,2BAA2B,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3C,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YACnC,MAAM,OAAO,GAAG,KAAK,EAAE,IAAI,CAAC;YAC5B,MAAM,OAAO,GAAG,OAAO;gBACrB,CAAC,CAAC,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC;oBAC/B,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,EAAE;oBAC5B,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE;gBACrB,CAAC,CAAC,SAAS,CAAC;YACd,MAAM,IAAI,GAAG,IAAI,OAAO,GAAG,CAAC;YAC5B,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE;gBACf,IAAI,EAAE,gBAAgB;gBACtB,IAAI;gBACJ,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;gBACxD,UAAU,EAAE,KAAK;gBACjB,UAAU,EACR,MAAM,CAAC,SAAS,EAAE,IAAI,CACpB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAChD,IAAI,KAAK;aACb,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,mCAAmC,GAAG,CAC1C,OAAe,EACkB,EAAE;IACnC,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,IAAI,GAAG,EAAE,CAAC;IAEpD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAsB,CAAC;IAE7C,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACrC,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACxC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE;gBACtB,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,UAAU,EAAE,MAAM,CAAC,UAAU;gBAC7B,UAAU,EAAE,MAAM,CAAC,UAAU;aAC9B,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,IAAI,MAAM,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YACtC,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACzC,MAAM,UAAU,GAAG,QAAQ,EAAE,gBAAgB;gBAC3C,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;gBACxC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YAEb,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE;gBACtB,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,IAAI,EAAE,SAAS;gBACf,UAAU,EAAE,KAAK;gBACjB,UAAU,EAAE,KAAK;gBACjB,gBAAgB,EAAE,UAAU;aAC7B,CAAC,CAAC;YACH,SAAS;QACX,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,wBAAwB,GAAG,CAC/B,MAA4B,EAC5B,WAA0B,EACP,EAAE,CAAC,CAAC;IACvB,IAAI,EAAE,iBAAiB;IACvB,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE;IAC3B,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACxC,IAAI,EAAE,WAAoB;QAC1B,OAAO,EAAE;YACP,IAAI,EAAE,mBAA4B;YAClC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO;SACtD;QACD,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;QAC9C,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW;QAChD,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc;QAC1B,OAAO,EAAE,OAAgB;KAC1B,CAAC,CAAC;IACH,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;IAC9D,cAAc,EAAE,MAAM,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAClD,IAAI,EAAE,eAAwB;QAC9B,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI;QAClB,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS;QAClE,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;KAC1D,CAAC,CAAC;CACJ,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,0BAA0B,GAAG,CACjC,MAA0B,EAC1B,WAA0B,EACP,EAAE,CAAC,CAAC;IACvB,IAAI,EAAE,iBAAiB;IACvB,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE;IAC3B,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACxC,IAAI,EAAE,WAAoB;QAC1B,OAAO,EAAE;YACP,IAAI,EAAE,mBAA4B;YAClC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO;SACtD;QACD,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;QAC9C,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW;QAChD,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc;QAC1B,OAAO,EAAE,OAAgB;KAC1B,CAAC,CAAC;IACH,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;IAC9D,cAAc,EAAE,MAAM,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAClD,IAAI,EAAE,eAAwB;QAC9B,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI;QAClB,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS;QAClE,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;KAC1D,CAAC,CAAC;CACJ,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,eAAe,GAAG,CACtB,OAAoD,EACpD,OAAuB,EACvB,UAAkB,EAClB,aAAqB,EACrB,qBAA+C,EAC/C,WAA0B,EAC1B,YAAuC,EACd,EAAE;IAC3B,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IAExB,MAAM,MAAM,GAAmB,EAAE,CAAC;IAClC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,IAAI,GACR,MAAM,CAAC,KAAK,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC;QAC3E,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAChC,MAAM,YAAY,GAAG,uBAAuB,CAC1C,IAAI,EACJ,OAAO,EACP,UAAU,EACV,aAAa,EACb,qBAAqB,CACtB,CAAC;YACF,MAAM,WAAW,GAAG,YAAY,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC;YAC1D,IAAI,WAAW,EAAE,CAAC;gBAChB,4DAA4D;gBAC5D,MAAM,QAAQ,GAAG,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC;gBACxE,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI;oBACJ,QAAQ,EAAE,WAAW,CAAC,IAAI,CAAC;oBAC3B,QAAQ;iBACT,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,8EAA8E;AAC9E,iBAAiB;AACjB,8EAA8E;AAE9E;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,WAAqC,EACrC,OAAuB,EACvB,UAAkB,EAClB,aAAqB,EACrB,UAAoC,EAAE,EACxB,EAAE;IAChB,oCAAoC;IACpC,MAAM,OAAO,GAAG,IAAI,GAAG,EAA6B,CAAC;IACrD,uDAAuD;IACvD,MAAM,cAAc,GAAG,IAAI,GAAG,EAAkB,CAAC;IAEjD,gEAAgE;IAChE,MAAM,OAAO,GACX,OAAO,CAAC,WAAW,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC;IAC3D,MAAM,qBAAqB,GAAG,OAAO,CAAC,qBAAqB,CAAC;IAE5D,gDAAgD;IAChD,MAAM,kBAAkB,GAAG,CACzB,IAAa,EACb,EAAiB,EACjB,EAAsB,EAChB,EAAE;QACR,yDAAyD;QACzD,MAAM,kBAAkB,GAAG,kBAAkB,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;QAE3D,oEAAoE;QACpE,oEAAoE;QACpE,MAAM,YAAY,GAAG,CAAC,UAAkB,EAAU,EAAE;YAClD,mFAAmF;YACnF,qEAAqE;YACrE,sEAAsE;YACtE,MAAM,aAAa,GAAG,qBAAqB,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;YAC9D,IAAI,aAAa;gBAAE,OAAO,aAAa,CAAC;YACxC,OAAO,UAAU,CAAC;QACpB,CAAC,CAAC;QAEF,gEAAgE;QAChE,MAAM,UAAU,GAAG,CAAC,UAAkB,EAAU,EAAE;YAChD,yEAAyE;YACzE,MAAM,aAAa,GAAG,qBAAqB,CACzC,UAAU,EACV,kBAAkB,CACnB,CAAC;YACF,IAAI,aAAa;gBAAE,OAAO,aAAa,CAAC;YAExC,wCAAwC;YACxC,OAAO,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,UAAU,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC;QACjD,CAAC,CAAC;QAEF,qBAAqB;QACpB,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC7C,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAClC,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;YAEvC,gBAAgB;YACf,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE;gBAClB,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,UAAU;gBAChB,kBAAkB,EAAE,MAAM;gBAC1B,cAAc,EAAE,qBAAqB,CAAC,IAAI,CAAC,cAAc,EAAE,OAAO,CAAC;gBACnE,OAAO,EAAE,cAAc,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC;gBAC9C,QAAQ,EAAE,eAAe,CACvB,IAAI,CAAC,eAAe,EACpB,OAAO,EACP,UAAU,EACV,aAAa,EACb,qBAAqB,EACrB,OAAO,EACP,YAAY,CACb;aACF,CAAC,CAAC;YAEH,cAAc,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QACzC,CAAC;QAEF,yBAAyB;QACxB,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAClC,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;YAEtC,0DAA0D;YAC1D,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAEtC,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC9C,gBAAgB;gBAChB,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;gBAChD,KAAK,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,IAAI,cAAc,CACnD,IAAI,CAAC,OAAO,EACZ,OAAO,CACR,EAAE,CAAC;oBACF,aAAa,CAAC,GAAG,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;gBAC5C,CAAC;gBACD,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE;oBAClB,GAAG,QAAQ;oBACX,OAAO,EAAE,aAAa;oBACtB,QAAQ,EAAE;wBACR,GAAG,QAAQ,CAAC,QAAQ;wBACpB,GAAG,eAAe,CAChB,IAAI,CAAC,eAAe,EACpB,OAAO,EACP,UAAU,EACV,aAAa,EACb,qBAAqB,EACrB,OAAO,EACP,YAAY,CACb;qBACF;iBACF,CAAC,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE;oBAClB,IAAI,EAAE,WAAW;oBACjB,IAAI,EAAE,UAAU;oBAChB,kBAAkB,EAAE,MAAM;oBAC3B,cAAc,EAAE,qBAAqB,CAAC,IAAI,CAAC,cAAc,EAAE,OAAO,CAAC;oBACnE,OAAO,EAAE,cAAc,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC;oBAC9C,QAAQ,EAAE,eAAe,CACvB,IAAI,CAAC,eAAe,EACpB,OAAO,EACP,UAAU,EACV,aAAa,EACb,qBAAqB,EACrB,OAAO,EACP,YAAY,CACb;iBACD,CAAC,CAAC;gBACH,cAAc,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;YACzC,CAAC;QACH,CAAC;QAEF,0BAA0B;QACzB,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAClC,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;YAEvC,gBAAgB;YAChB,MAAM,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvC,MAAM,cAAc,GAAG,mCAAmC,CAAC,WAAW,CAAC,CAAC;YAEvE,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE;gBAClB,IAAI,EAAE,WAAW;gBACjB,IAAI,EAAE,UAAU;gBAChB,kBAAkB,EAAE,MAAM;gBAC1B,cAAc,EAAE,qBAAqB,CAAC,IAAI,CAAC,cAAc,EAAE,OAAO,CAAC;gBACnE,OAAO,EAAE,cAAc;gBACvB,QAAQ,EAAE,EAAE;gBACZ,WAAW;aACZ,CAAC,CAAC;YAEH,cAAc,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QACzC,CAAC;QAEF,yCAAyC;QACzC,IACE,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAC5B,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;YAC3B,IAAI,CAAC,IAAI;YACT,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAC3B,CAAC;YACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;gBACxC,kBAAkB,CAAC,IAAI,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC;YAC1C,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IAEF,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,MAAM,SAAS,GAAG,UAAU,CAAC,iBAAiB;YAC5C,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,oBAAoB,CAClB,UAAU,CAAC,QAAQ,EACnB,UAAU,EACV,aAAa,EACb,qBAAqB,CACtB,CAAC;QAEN,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;YACnC,kBAAkB,CAAC,IAAI,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;QAClD,CAAC,CAAC,CAAC;IACL,CAAC;IAED,OAAO;QACL,cAAc;QACd,cAAc,EAAE,CAAC,MAAc,EAAiC,EAAE;YAChE,OAAO,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC7B,CAAC;QAED,mBAAmB,EAAE,CACnB,UAAkB,EACa,EAAE;YACjC,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YAC9C,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAClD,CAAC;QAED,SAAS,EAAE,CAAC,UAAkB,EAAsB,EAAE;YACpD,OAAO,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACxC,CAAC;QAED,aAAa,EAAE,CACb,SAAiB,EACjB,UAAkB,EACE,EAAE;YACtB,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACrC,IAAI,CAAC,KAAK;gBAAE,OAAO,SAAS,CAAC;YAC7B,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YAC7C,OAAO,MAAM,EAAE,IAAI,CAAC;QACtB,CAAC;QAED,gBAAgB,EAAE,CAAC,SAAiB,EAA2B,EAAE;YAC/D,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACrC,OAAO,KAAK,EAAE,QAAQ,IAAI,EAAE,CAAC;QAC/B,CAAC;QAED,eAAe,EAAE,GAAsB,EAAE;YACvC,OAAO,CAAC,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;QAC7B,CAAC;QAEA,OAAO,EAAE,CAAC,MAAc,EAAW,EAAE;YACnC,OAAO,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC7B,CAAC;KACF,CAAC;AACL,CAAC,CAAC"}

package/dist/ir/type-system/internal/universe/alias-table.d.ts

@@ -0,0 +1,92 @@
+/**
+ * Alias Table — Maps Surface Names to Canonical TypeIds
+ *
+ * This module provides the alias table that maps TypeScript surface names
+ * to their canonical CLR TypeIds. This replaces the scattered type mappings
+ * in clr-type-mappings.ts with a unified, TypeId-based approach.
+ *
+ * INVARIANT: All surface names (primitives, globals, $instance interfaces)
+ * resolve to the same TypeId as their CLR counterparts.
+ *
+ * Example:
+ * - "string" → TypeId(System.String)
+ * - "String" → TypeId(System.String)
+ * - "System.String" → TypeId(System.String)
+ * - "String$instance" → TypeId(System.String)
+ *
+ * This unification is critical for Alice's TypeSystem spec:
+ * > "string and System.String unify to the same TypeId (stableId)"
+ */
+import type { TypeId, AssemblyTypeCatalog } from "./types.js";
+/**
+ * Alias table maps surface names to canonical TypeIds.
+ *
+ * This is a read-only map built once at universe construction time.
+ */
+export type AliasTable = ReadonlyMap<string, TypeId>;
+/**
+ * Record-based primitive type → CLR System.* mappings.
+ * Used for direct property access in type normalization.
+ *
+ * @deprecated Use normalizeToClrName() instead
+ */
+export declare const PRIMITIVE_TO_CLR_FQ: Readonly<Record<string, string>>;
+/**
+ * Record-based globals → CLR System.* mappings.
+ * Used for direct property access in type normalization.
+ *
+ * @deprecated Use normalizeToClrName() instead
+ */
+export declare const GLOBALS_TO_CLR_FQ: Readonly<Record<string, string>>;
+/**
+ * Build the alias table from a CLR catalog.
+ *
+ * For each alias, we look up the corresponding CLR type in the catalog
+ * and map the alias to that TypeId.
+ *
+ * @param clrCatalog - The CLR catalog containing loaded type metadata
+ * @returns AliasTable mapping surface names to TypeIds
+ */
+export declare const buildAliasTable: (clrCatalog: AssemblyTypeCatalog) => AliasTable;
+/**
+ * Resolve a type name to its canonical TypeId using the alias table.
+ *
+ * @param name - The type name to resolve (primitive, global, or CLR name)
+ * @param aliasTable - The alias table
+ * @returns The TypeId if found, undefined otherwise
+ */
+export declare const resolveAlias: (name: string, aliasTable: AliasTable) => TypeId | undefined;
+/**
+ * Check if a name is a known alias.
+ */
+export declare const isKnownAlias: (name: string, aliasTable: AliasTable) => boolean;
+/**
+ * Check if a type name is a known stdlib type (primitive, global, or System.*).
+ *
+ * This is used for fatal diagnostic stratification:
+ * - Missing stdlib type → fatal
+ * - Missing third-party type → error + unknownType
+ */
+export declare const isStdlibTypeName: (name: string) => boolean;
+/**
+ * Get all primitive type names.
+ */
+export declare const getPrimitiveNames: () => readonly string[];
+/**
+ * Get all global type names.
+ */
+export declare const getGlobalNames: () => readonly string[];
+/**
+ * Normalize a type name to its CLR fully-qualified name.
+ *
+ * @param typeName - Simple or already-qualified type name
+ * @returns CLR FQ name (e.g., "System.String") or original if no mapping exists
+ */
+export declare const normalizeToClrName: (typeName: string) => string;
+/**
+ * Get the $instance interface name for a CLR type.
+ *
+ * E.g., "System.String" → "String$instance", "String" → "String$instance"
+ */
+export declare const getInstanceInterfaceName: (typeName: string) => string;
+//# sourceMappingURL=alias-table.d.ts.map

package/dist/ir/type-system/internal/universe/alias-table.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"alias-table.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/universe/alias-table.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAM9D;;;;GAIG;AACH,MAAM,MAAM,UAAU,GAAG,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AAqErD;;;;;GAKG;AACH,eAAO,MAAM,mBAAmB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAC1B,CAAC;AAExC;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAC1B,CAAC;AAMtC;;;;;;;;GAQG;AACH,eAAO,MAAM,eAAe,GAC1B,YAAY,mBAAmB,KAC9B,UA2CF,CAAC;AAMF;;;;;;GAMG;AACH,eAAO,MAAM,YAAY,GACvB,MAAM,MAAM,EACZ,YAAY,UAAU,KACrB,MAAM,GAAG,SAEX,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,YAAY,GAAI,MAAM,MAAM,EAAE,YAAY,UAAU,KAAG,OAEnE,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,gBAAgB,GAAI,MAAM,MAAM,KAAG,OAM/C,CAAC;AAMF;;GAEG;AACH,eAAO,MAAM,iBAAiB,QAAO,SAAS,MAAM,EAEnD,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,cAAc,QAAO,SAAS,MAAM,EAEhD,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB,GAAI,UAAU,MAAM,KAAG,MAWrD,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,GAAI,UAAU,MAAM,KAAG,MAS3D,CAAC"}