@tsonic/frontend 0.0.74 → 0.0.75

package/dist/ir/validation/char-validation-pass.js

@@ -1,508 +1,10 @@
 /**
- * Char Validation Pass
+ * Char Validation Pass — Facade
  *
- * Tsonic models `char` as a distinct CLR primitive.
- *
- * TypeScript uses string literals for single characters ("a"), but C# requires
- * a char literal ('a') when a `char` is expected.
- *
- * This pass enforces that any position that *expects* `char` is provided either:
- * - a single-character string literal, or
- * - an expression whose inferred type is `char`.
- *
- * This is a HARD GATE. Any errors prevent emission.
- *
- * IMPORTANT: The emitter contains a safety-net ICE for invalid `char` literals.
- * This pass must catch those cases so the compiler fails with diagnostics, not ICE.
+ * Re-exports from sub-modules:
+ * - char-validation-types: CharValidationResult, runCharValidationPass,
+ *     validation context and helpers
+ * - char-validation-expressions: expression and statement validation
  */
-import { createDiagnostic, } from "../../types/diagnostic.js";
-const moduleLocation = (ctx) => ({
-    file: ctx.filePath,
-    line: 1,
-    column: 1,
-    length: 1,
-});
-const stripNullish = (type) => {
-    if (!type)
-        return undefined;
-    if (type.kind !== "unionType")
-        return type;
-    const nonNullish = type.types.filter((t) => !(t.kind === "primitiveType" &&
-        (t.name === "null" || t.name === "undefined")));
-    if (nonNullish.length === 0)
-        return undefined;
-    if (nonNullish.length === 1)
-        return nonNullish[0];
-    return { kind: "unionType", types: nonNullish };
-};
-const resolveTypeAliases = (type, ctx, seen = new Set()) => {
-    if (!type)
-        return undefined;
-    if (type.kind === "referenceType") {
-        const alias = ctx.typeAliases.get(type.name);
-        const hasTypeArgs = (type.typeArguments?.length ?? 0) > 0;
-        const hasTypeParams = (alias?.typeParameters?.length ?? 0) > 0;
-        // Only resolve local, non-generic aliases deterministically.
-        if (alias && !hasTypeArgs && !hasTypeParams) {
-            if (seen.has(type.name))
-                return type;
-            const nextSeen = new Set(seen);
-            nextSeen.add(type.name);
-            return resolveTypeAliases(alias.type, ctx, nextSeen);
-        }
-    }
-    if (type.kind === "unionType") {
-        return {
-            kind: "unionType",
-            types: type.types.map((t) => resolveTypeAliases(t, ctx, seen) ?? t),
-        };
-    }
-    if (type.kind === "intersectionType") {
-        return {
-            kind: "intersectionType",
-            types: type.types.map((t) => resolveTypeAliases(t, ctx, seen) ?? t),
-        };
-    }
-    return type;
-};
-const isCharType = (type, ctx) => {
-    const resolved = stripNullish(resolveTypeAliases(type, ctx));
-    if (!resolved)
-        return false;
-    if (resolved.kind === "primitiveType")
-        return resolved.name === "char";
-    if (resolved.kind === "referenceType")
-        return resolved.name === "char";
-    return false;
-};
-const isCharTypedExpression = (expr, ctx) => isCharType(expr.inferredType, ctx);
-const isStringCharAccessExpression = (expr) => expr.kind === "memberAccess" &&
-    expr.isComputed &&
-    expr.accessKind === "stringChar" &&
-    !expr.isOptional;
-const addCharDiagnostic = (ctx, message, location, hint) => {
-    ctx.diagnostics.push(createDiagnostic("TSN7418", "error", message, location, hint));
-};
-const validateCharExpected = (expr, expectedType, ctx) => {
-    if (!isCharType(expectedType, ctx))
-        return;
-    const location = expr.sourceSpan ?? moduleLocation(ctx);
-    // Special case: allow single-character string literals in char positions.
-    if (expr.kind === "literal" && typeof expr.value === "string") {
-        if (expr.value.length !== 1) {
-            addCharDiagnostic(ctx, `Invalid char literal: expected a single-character string, got length ${expr.value.length}.`, location, `Use a single character like "A" for char, or call System.Char.Parse(...) for dynamic strings.`);
-        }
-        return;
-    }
-    // Conditional expressions are validated by validating each branch in the same expectedType.
-    if (expr.kind === "conditional") {
-        return;
-    }
-    if (isStringCharAccessExpression(expr)) {
-        return;
-    }
-    // Otherwise, the expression itself must already be typed as char.
-    if (!isCharTypedExpression(expr, ctx)) {
-        addCharDiagnostic(ctx, "Invalid char value: expected a single-character string literal or a value typed as char.", location, `Use "A" in a char-typed position, or assign a char-typed expression (e.g., from a method returning char).`);
-    }
-};
-const validatePattern = (pattern, ctx) => {
-    switch (pattern.kind) {
-        case "identifierPattern":
-            return;
-        case "arrayPattern":
-            for (const elem of pattern.elements) {
-                if (!elem)
-                    continue;
-                validatePattern(elem.pattern, ctx);
-                if (elem.defaultExpr) {
-                    validateExpression(elem.defaultExpr, ctx);
-                }
-            }
-            return;
-        case "objectPattern":
-            for (const prop of pattern.properties) {
-                if (prop.kind === "property") {
-                    validatePattern(prop.value, ctx);
-                    if (prop.defaultExpr) {
-                        validateExpression(prop.defaultExpr, ctx);
-                    }
-                }
-                else {
-                    validatePattern(prop.pattern, ctx);
-                }
-            }
-            return;
-        default:
-            return;
-    }
-};
-const getPropertyExpectedType = (expectedType, propertyName, ctx) => {
-    const resolved = stripNullish(resolveTypeAliases(expectedType, ctx));
-    if (!resolved)
-        return undefined;
-    if (resolved.kind === "objectType") {
-        const member = resolved.members.find((m) => m.kind === "propertySignature" && m.name === propertyName);
-        return member?.kind === "propertySignature" ? member.type : undefined;
-    }
-    if (resolved.kind === "referenceType" && resolved.structuralMembers) {
-        const member = resolved.structuralMembers.find((m) => m.kind === "propertySignature" && m.name === propertyName);
-        return member?.kind === "propertySignature" ? member.type : undefined;
-    }
-    return undefined;
-};
-const validateExpression = (expr, ctx, expectedType) => {
-    // Hard gate for char expected positions (prevents emitter ICE).
-    validateCharExpected(expr, expectedType, ctx);
-    switch (expr.kind) {
-        case "literal":
-        case "identifier":
-        case "this":
-            return;
-        case "array": {
-            const resolvedExpected = stripNullish(resolveTypeAliases(expectedType, ctx));
-            const elementExpectedType = resolvedExpected?.kind === "arrayType"
-                ? resolvedExpected.elementType
-                : undefined;
-            for (const elem of expr.elements) {
-                if (!elem)
-                    continue;
-                if (elem.kind === "spread") {
-                    validateExpression(elem.expression, ctx);
-                }
-                else {
-                    validateExpression(elem, ctx, elementExpectedType);
-                }
-            }
-            return;
-        }
-        case "object": {
-            const effectiveType = expectedType ?? expr.contextualType;
-            for (const prop of expr.properties) {
-                if (prop.kind === "spread") {
-                    validateExpression(prop.expression, ctx);
-                    continue;
-                }
-                if (typeof prop.key === "string") {
-                    const propExpectedType = getPropertyExpectedType(effectiveType, prop.key, ctx);
-                    validateExpression(prop.value, ctx, propExpectedType);
-                }
-                else {
-                    validateExpression(prop.key, ctx);
-                    validateExpression(prop.value, ctx);
-                }
-            }
-            return;
-        }
-        case "memberAccess": {
-            validateExpression(expr.object, ctx);
-            if (expr.isComputed && typeof expr.property !== "string") {
-                validateExpression(expr.property, ctx);
-            }
-            return;
-        }
-        case "call": {
-            validateExpression(expr.callee, ctx);
-            const paramTypes = expr.parameterTypes ?? [];
-            for (let i = 0; i < expr.arguments.length; i++) {
-                const arg = expr.arguments[i];
-                if (!arg)
-                    continue;
-                const expected = paramTypes[i];
-                if (arg.kind === "spread") {
-                    validateExpression(arg.expression, ctx);
-                }
-                else {
-                    validateExpression(arg, ctx, expected);
-                }
-            }
-            if (expr.dynamicImportNamespace) {
-                validateExpression(expr.dynamicImportNamespace, ctx);
-            }
-            return;
-        }
-        case "new": {
-            validateExpression(expr.callee, ctx);
-            const paramTypes = expr.parameterTypes ?? [];
-            for (let i = 0; i < expr.arguments.length; i++) {
-                const arg = expr.arguments[i];
-                if (!arg)
-                    continue;
-                const expected = paramTypes[i];
-                if (arg.kind === "spread") {
-                    validateExpression(arg.expression, ctx);
-                }
-                else {
-                    validateExpression(arg, ctx, expected);
-                }
-            }
-            return;
-        }
-        case "binary":
-            validateExpression(expr.left, ctx);
-            validateExpression(expr.right, ctx);
-            return;
-        case "logical":
-            validateExpression(expr.left, ctx);
-            validateExpression(expr.right, ctx);
-            return;
-        case "unary":
-            validateExpression(expr.expression, ctx, expectedType);
-            return;
-        case "update":
-            validateExpression(expr.expression, ctx);
-            return;
-        case "assignment": {
-            const leftIsPattern = "kind" in expr.left &&
-                (expr.left.kind === "identifierPattern" ||
-                    expr.left.kind === "arrayPattern" ||
-                    expr.left.kind === "objectPattern");
-            if (leftIsPattern) {
-                validatePattern(expr.left, ctx);
-                validateExpression(expr.right, ctx);
-                return;
-            }
-            const leftExpr = expr.left;
-            validateExpression(leftExpr, ctx);
-            validateExpression(expr.right, ctx, leftExpr.inferredType);
-            return;
-        }
-        case "conditional":
-            validateExpression(expr.condition, ctx);
-            validateExpression(expr.whenTrue, ctx, expectedType);
-            validateExpression(expr.whenFalse, ctx, expectedType);
-            return;
-        case "functionExpression":
-            validateBlock(expr.body, ctx, expr.returnType);
-            return;
-        case "arrowFunction":
-            if (expr.body.kind === "blockStatement") {
-                validateBlock(expr.body, ctx, expr.returnType);
-            }
-            else {
-                validateExpression(expr.body, ctx, expr.returnType);
-            }
-            return;
-        case "templateLiteral":
-            for (const subExpr of expr.expressions) {
-                validateExpression(subExpr, ctx);
-            }
-            return;
-        case "spread":
-            validateExpression(expr.expression, ctx);
-            return;
-        case "await":
-            validateExpression(expr.expression, ctx);
-            return;
-        case "numericNarrowing":
-            validateExpression(expr.expression, ctx);
-            return;
-        case "typeAssertion":
-            // Validate the operand in the asserted type context (this is where char literals matter).
-            validateExpression(expr.expression, ctx, expr.targetType);
-            return;
-        case "trycast":
-            validateExpression(expr.expression, ctx);
-            return;
-        case "stackalloc":
-            validateExpression(expr.size, ctx);
-            return;
-        default:
-            return;
-    }
-};
-const validateBlock = (block, ctx, currentReturnType) => {
-    if (!block)
-        return;
-    for (const stmt of block.statements) {
-        validateStatement(stmt, ctx, currentReturnType);
-    }
-};
-const validateClassMember = (member, ctx) => {
-    switch (member.kind) {
-        case "propertyDeclaration":
-            if (member.initializer) {
-                validateExpression(member.initializer, ctx, member.type);
-            }
-            if (member.getterBody) {
-                validateBlock(member.getterBody, ctx, member.type);
-            }
-            if (member.setterBody) {
-                validateBlock(member.setterBody, ctx, undefined);
-            }
-            return;
-        case "methodDeclaration":
-            validateBlock(member.body, ctx, member.returnType);
-            return;
-        case "constructorDeclaration":
-            validateBlock(member.body, ctx, undefined);
-            return;
-        default:
-            return;
-    }
-};
-const validateStatement = (stmt, ctx, currentReturnType) => {
-    switch (stmt.kind) {
-        case "variableDeclaration":
-            for (const decl of stmt.declarations) {
-                if (decl.initializer) {
-                    validateExpression(decl.initializer, ctx, decl.type);
-                }
-            }
-            return;
-        case "functionDeclaration":
-            validateBlock(stmt.body, ctx, stmt.returnType);
-            return;
-        case "classDeclaration":
-            for (const member of stmt.members) {
-                validateClassMember(member, ctx);
-            }
-            return;
-        case "interfaceDeclaration":
-        case "enumDeclaration":
-        case "typeAliasDeclaration":
-            return;
-        case "expressionStatement":
-            validateExpression(stmt.expression, ctx);
-            return;
-        case "returnStatement":
-            if (stmt.expression) {
-                validateExpression(stmt.expression, ctx, currentReturnType);
-            }
-            return;
-        case "ifStatement":
-            validateExpression(stmt.condition, ctx);
-            validateStatement(stmt.thenStatement, ctx, currentReturnType);
-            if (stmt.elseStatement) {
-                validateStatement(stmt.elseStatement, ctx, currentReturnType);
-            }
-            return;
-        case "blockStatement":
-            validateBlock(stmt, ctx, currentReturnType);
-            return;
-        case "forStatement":
-            if (stmt.initializer) {
-                if ("kind" in stmt.initializer &&
-                    stmt.initializer.kind === "variableDeclaration") {
-                    validateStatement(stmt.initializer, ctx, currentReturnType);
-                }
-                else {
-                    validateExpression(stmt.initializer, ctx);
-                }
-            }
-            if (stmt.condition)
-                validateExpression(stmt.condition, ctx);
-            if (stmt.update)
-                validateExpression(stmt.update, ctx);
-            validateStatement(stmt.body, ctx, currentReturnType);
-            return;
-        case "forOfStatement":
-            validatePattern(stmt.variable, ctx);
-            validateExpression(stmt.expression, ctx);
-            validateStatement(stmt.body, ctx, currentReturnType);
-            return;
-        case "whileStatement":
-            validateExpression(stmt.condition, ctx);
-            validateStatement(stmt.body, ctx, currentReturnType);
-            return;
-        case "switchStatement":
-            validateExpression(stmt.expression, ctx);
-            for (const c of stmt.cases) {
-                if (c.test)
-                    validateExpression(c.test, ctx);
-                for (const s of c.statements) {
-                    validateStatement(s, ctx, currentReturnType);
-                }
-            }
-            return;
-        case "throwStatement":
-            validateExpression(stmt.expression, ctx);
-            return;
-        case "tryStatement":
-            validateBlock(stmt.tryBlock, ctx, currentReturnType);
-            if (stmt.catchClause) {
-                if (stmt.catchClause.parameter) {
-                    validatePattern(stmt.catchClause.parameter, ctx);
-                }
-                validateBlock(stmt.catchClause.body, ctx, currentReturnType);
-            }
-            if (stmt.finallyBlock) {
-                validateBlock(stmt.finallyBlock, ctx, currentReturnType);
-            }
-            return;
-        case "breakStatement":
-        case "continueStatement":
-        case "emptyStatement":
-            return;
-        case "yieldStatement":
-            if (stmt.output) {
-                validateExpression(stmt.output, ctx);
-            }
-            if (stmt.receiveTarget) {
-                validatePattern(stmt.receiveTarget, ctx);
-            }
-            return;
-        case "generatorReturnStatement":
-            if (stmt.expression) {
-                validateExpression(stmt.expression, ctx);
-            }
-            return;
-        default:
-            return;
-    }
-};
-const collectTypeAliases = (module) => {
-    const aliases = new Map();
-    const collectFromStatement = (stmt) => {
-        if (stmt.kind === "typeAliasDeclaration") {
-            aliases.set(stmt.name, stmt);
-        }
-    };
-    for (const stmt of module.body) {
-        collectFromStatement(stmt);
-    }
-    for (const exp of module.exports) {
-        if (exp.kind === "declaration") {
-            collectFromStatement(exp.declaration);
-        }
-    }
-    return aliases;
-};
-const validateModule = (module) => {
-    const ctx = {
-        filePath: module.filePath,
-        diagnostics: [],
-        typeAliases: collectTypeAliases(module),
-    };
-    for (const stmt of module.body) {
-        validateStatement(stmt, ctx, undefined);
-    }
-    for (const exp of module.exports) {
-        switch (exp.kind) {
-            case "default":
-                validateExpression(exp.expression, ctx);
-                break;
-            case "declaration":
-                validateStatement(exp.declaration, ctx, undefined);
-                break;
-            case "named":
-            case "reexport":
-                break;
-            default:
-                break;
-        }
-    }
-    return ctx.diagnostics;
-};
-export const runCharValidationPass = (modules) => {
-    const diagnostics = [];
-    for (const module of modules) {
-        diagnostics.push(...validateModule(module));
-    }
-    return {
-        ok: diagnostics.length === 0,
-        modules,
-        diagnostics,
-    };
-};
+export { runCharValidationPass } from "./char-validation-types.js";
 //# sourceMappingURL=char-validation-pass.js.map

package/dist/ir/validation/char-validation-pass.js.map

@@ -1 +1 @@
-{"version":3,"file":"char-validation-pass.js","sourceRoot":"","sources":["../../../src/ir/validation/char-validation-pass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EACL,gBAAgB,GAGjB,MAAM,2BAA2B,CAAC;AAwBnC,MAAM,cAAc,GAAG,CAAC,GAA0B,EAAkB,EAAE,CAAC,CAAC;IACtE,IAAI,EAAE,GAAG,CAAC,QAAQ;IAClB,IAAI,EAAE,CAAC;IACP,MAAM,EAAE,CAAC;IACT,MAAM,EAAE,CAAC;CACV,CAAC,CAAC;AAEH,MAAM,YAAY,GAAG,CAAC,IAAwB,EAAsB,EAAE;IACpE,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAClC,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CACC,CAAC,CAAC,IAAI,KAAK,eAAe;QAC1B,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAC9C,CACJ,CAAC;IACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9C,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC;IAClD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;AAClD,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,IAAwB,EACxB,GAA0B,EAC1B,OAA4B,IAAI,GAAG,EAAE,EACjB,EAAE;IACtB,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAE5B,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,MAAM,WAAW,GAAG,CAAC,IAAI,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QAC1D,MAAM,aAAa,GAAG,CAAC,KAAK,EAAE,cAAc,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QAE/D,6DAA6D;QAC7D,IAAI,KAAK,IAAI,CAAC,WAAW,IAAI,CAAC,aAAa,EAAE,CAAC;YAC5C,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YACrC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;YAC/B,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,OAAO,kBAAkB,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;SACpE,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACrC,OAAO;YACL,IAAI,EAAE,kBAAkB;YACxB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;SACpE,CAAC;IACJ,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CACjB,IAAwB,EACxB,GAA0B,EACjB,EAAE;IACX,MAAM,QAAQ,GAAG,YAAY,CAAC,kBAAkB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IAC7D,IAAI,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5B,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC;IACvE,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC;IACvE,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,IAAkB,EAClB,GAA0B,EACjB,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC;AAEjD,MAAM,4BAA4B,GAAG,CAAC,IAAkB,EAAW,EAAE,CACnE,IAAI,CAAC,IAAI,KAAK,cAAc;IAC5B,IAAI,CAAC,UAAU;IACf,IAAI,CAAC,UAAU,KAAK,YAAY;IAChC,CAAC,IAAI,CAAC,UAAU,CAAC;AAEnB,MAAM,iBAAiB,GAAG,CACxB,GAA0B,EAC1B,OAAe,EACf,QAAwB,EACxB,IAAa,EACP,EAAE;IACR,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,CAC9D,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,IAAkB,EAClB,YAAgC,EAChC,GAA0B,EACpB,EAAE;IACR,IAAI,CAAC,UAAU,CAAC,YAAY,EAAE,GAAG,CAAC;QAAE,OAAO;IAE3C,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,IAAI,cAAc,CAAC,GAAG,CAAC,CAAC;IAExD,0EAA0E;IAC1E,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9D,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,iBAAiB,CACf,GAAG,EACH,wEAAwE,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,EAC5F,QAAQ,EACR,+FAA+F,CAChG,CAAC;QACJ,CAAC;QACD,OAAO;IACT,CAAC;IAED,4FAA4F;IAC5F,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QAChC,OAAO;IACT,CAAC;IAED,IAAI,4BAA4B,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,OAAO;IACT,CAAC;IAED,kEAAkE;IAClE,IAAI,CAAC,qBAAqB,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;QACtC,iBAAiB,CACf,GAAG,EACH,0FAA0F,EAC1F,QAAQ,EACR,2GAA2G,CAC5G,CAAC;IACJ,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CACtB,OAAkB,EAClB,GAA0B,EACpB,EAAE;IACR,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,mBAAmB;YACtB,OAAO;QAET,KAAK,cAAc;YACjB,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;gBACpC,IAAI,CAAC,IAAI;oBAAE,SAAS;gBACpB,eAAe,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;gBACnC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;oBACrB,kBAAkB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;gBAC5C,CAAC;YACH,CAAC;YACD,OAAO;QAET,KAAK,eAAe;YAClB,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;gBACtC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBAC7B,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;oBACjC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;wBACrB,kBAAkB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;oBAC5C,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,eAAe,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;gBACrC,CAAC;YACH,CAAC;YACD,OAAO;QAET;YACE,OAAO;IACX,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAC9B,YAAgC,EAChC,YAAoB,EACpB,GAA0B,EACN,EAAE;IACtB,MAAM,QAAQ,GAAG,YAAY,CAAC,kBAAkB,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,CAAC;IACrE,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAEhC,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAClC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CACjE,CAAC;QACF,OAAO,MAAM,EAAE,IAAI,KAAK,mBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IACxE,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,iBAAiB,EAAE,CAAC;QACpE,MAAM,MAAM,GAAG,QAAQ,CAAC,iBAAiB,CAAC,IAAI,CAC5C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CACjE,CAAC;QACF,OAAO,MAAM,EAAE,IAAI,KAAK,mBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IACxE,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,IAAkB,EAClB,GAA0B,EAC1B,YAAqB,EACf,EAAE;IACR,gEAAgE;IAChE,oBAAoB,CAAC,IAAI,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;IAE9C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS,CAAC;QACf,KAAK,YAAY,CAAC;QAClB,KAAK,MAAM;YACT,OAAO;QAET,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,gBAAgB,GAAG,YAAY,CACnC,kBAAkB,CAAC,YAAY,EAAE,GAAG,CAAC,CACtC,CAAC;YACF,MAAM,mBAAmB,GACvB,gBAAgB,EAAE,IAAI,KAAK,WAAW;gBACpC,CAAC,CAAC,gBAAgB,CAAC,WAAW;gBAC9B,CAAC,CAAC,SAAS,CAAC;YAChB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACjC,IAAI,CAAC,IAAI;oBAAE,SAAS;gBACpB,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC3B,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;gBAC3C,CAAC;qBAAM,CAAC;oBACN,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,mBAAmB,CAAC,CAAC;gBACrD,CAAC;YACH,CAAC;YACD,OAAO;QACT,CAAC;QAED,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,aAAa,GAAG,YAAY,IAAI,IAAI,CAAC,cAAc,CAAC;YAC1D,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACnC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC3B,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;oBACzC,SAAS;gBACX,CAAC;gBACD,IAAI,OAAO,IAAI,CAAC,GAAG,KAAK,QAAQ,EAAE,CAAC;oBACjC,MAAM,gBAAgB,GAAG,uBAAuB,CAC9C,aAAa,EACb,IAAI,CAAC,GAAG,EACR,GAAG,CACJ,CAAC;oBACF,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,gBAAgB,CAAC,CAAC;gBACxD,CAAC;qBAAM,CAAC;oBACN,kBAAkB,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;oBAClC,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBACtC,CAAC;YACH,CAAC;YACD,OAAO;QACT,CAAC;QAED,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,kBAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YACrC,IAAI,IAAI,CAAC,UAAU,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;gBACzD,kBAAkB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YACzC,CAAC;YACD,OAAO;QACT,CAAC;QAED,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,kBAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YACrC,MAAM,UAAU,GAAG,IAAI,CAAC,cAAc,IAAI,EAAE,CAAC;YAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;gBAC9B,IAAI,CAAC,GAAG;oBAAE,SAAS;gBACnB,MAAM,QAAQ,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;gBAC/B,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC1B,kBAAkB,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;gBAC1C,CAAC;qBAAM,CAAC;oBACN,kBAAkB,CAAC,GAAG,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;gBACzC,CAAC;YACH,CAAC;YACD,IAAI,IAAI,CAAC,sBAAsB,EAAE,CAAC;gBAChC,kBAAkB,CAAC,IAAI,CAAC,sBAAsB,EAAE,GAAG,CAAC,CAAC;YACvD,CAAC;YACD,OAAO;QACT,CAAC;QAED,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,kBAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YACrC,MAAM,UAAU,GAAG,IAAI,CAAC,cAAc,IAAI,EAAE,CAAC;YAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;gBAC9B,IAAI,CAAC,GAAG;oBAAE,SAAS;gBACnB,MAAM,QAAQ,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;gBAC/B,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC1B,kBAAkB,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;gBAC1C,CAAC;qBAAM,CAAC;oBACN,kBAAkB,CAAC,GAAG,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;gBACzC,CAAC;YACH,CAAC;YACD,OAAO;QACT,CAAC;QAED,KAAK,QAAQ;YACX,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACnC,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACpC,OAAO;QAET,KAAK,SAAS;YACZ,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACnC,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACpC,OAAO;QAET,KAAK,OAAO;YACV,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;YACvD,OAAO;QAET,KAAK,QAAQ;YACX,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YACzC,OAAO;QAET,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,aAAa,GACjB,MAAM,IAAI,IAAI,CAAC,IAAI;gBACnB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;oBACrC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc;oBACjC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC;YAExC,IAAI,aAAa,EAAE,CAAC;gBAClB,eAAe,CAAC,IAAI,CAAC,IAAiB,EAAE,GAAG,CAAC,CAAC;gBAC7C,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBACpC,OAAO;YACT,CAAC;YAED,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAoB,CAAC;YAC3C,kBAAkB,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YAClC,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAC;YAC3D,OAAO;QACT,CAAC;QAED,KAAK,aAAa;YAChB,kBAAkB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YACxC,kBAAkB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;YACrD,kBAAkB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;YACtD,OAAO;QAET,KAAK,oBAAoB;YACvB,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;YAC/C,OAAO;QAET,KAAK,eAAe;YAClB,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;gBACxC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;YACjD,CAAC;iBAAM,CAAC;gBACN,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;YACtD,CAAC;YACD,OAAO;QAET,KAAK,iBAAiB;YACpB,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACvC,kBAAkB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;YACnC,CAAC;YACD,OAAO;QAET,KAAK,QAAQ;YACX,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YACzC,OAAO;QAET,KAAK,OAAO;YACV,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YACzC,OAAO;QAET,KAAK,kBAAkB;YACrB,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YACzC,OAAO;QAET,KAAK,eAAe;YAClB,0FAA0F;YAC1F,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;YAC1D,OAAO;QAET,KAAK,SAAS;YACZ,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YACzC,OAAO;QAET,KAAK,YAAY;YACf,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACnC,OAAO;QAET;YACE,OAAO;IACX,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CACpB,KAAmC,EACnC,GAA0B,EAC1B,iBAAqC,EAC/B,EAAE;IACR,IAAI,CAAC,KAAK;QAAE,OAAO;IACnB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACpC,iBAAiB,CAAC,IAAI,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;IAClD,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,MAAqB,EACrB,GAA0B,EACpB,EAAE;IACR,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,qBAAqB;YACxB,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;gBACvB,kBAAkB,CAAC,MAAM,CAAC,WAAW,EAAE,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;YAC3D,CAAC;YACD,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;gBACtB,aAAa,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;YACrD,CAAC;YACD,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;gBACtB,aAAa,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;YACnD,CAAC;YACD,OAAO;QACT,KAAK,mBAAmB;YACtB,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;YACnD,OAAO;QACT,KAAK,wBAAwB;YAC3B,aAAa,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;YAC3C,OAAO;QACT;YACE,OAAO;IACX,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,IAAiB,EACjB,GAA0B,EAC1B,iBAAqC,EAC/B,EAAE;IACR,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,qBAAqB;YACxB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACrC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;oBACrB,kBAAkB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBACvD,CAAC;YACH,CAAC;YACD,OAAO;QAET,KAAK,qBAAqB;YACxB,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;YAC/C,OAAO;QAET,KAAK,kBAAkB;YACrB,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAClC,mBAAmB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YACnC,CAAC;YACD,OAAO;QAET,KAAK,sBAAsB,CAAC;QAC5B,KAAK,iBAAiB,CAAC;QACvB,KAAK,sBAAsB;YACzB,OAAO;QAET,KAAK,qBAAqB;YACxB,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YACzC,OAAO;QAET,KAAK,iBAAiB;YACpB,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpB,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;YAC9D,CAAC;YACD,OAAO;QAET,KAAK,aAAa;YAChB,kBAAkB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YACxC,iBAAiB,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;YAC9D,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;gBACvB,iBAAiB,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;YAChE,CAAC;YACD,OAAO;QAET,KAAK,gBAAgB;YACnB,aAAa,CAAC,IAAI,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;YAC5C,OAAO;QAET,KAAK,cAAc;YACjB,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACrB,IACE,MAAM,IAAI,IAAI,CAAC,WAAW;oBAC1B,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,qBAAqB,EAC/C,CAAC;oBACD,iBAAiB,CACf,IAAI,CAAC,WAA0B,EAC/B,GAAG,EACH,iBAAiB,CAClB,CAAC;gBACJ,CAAC;qBAAM,CAAC;oBACN,kBAAkB,CAAC,IAAI,CAAC,WAA2B,EAAE,GAAG,CAAC,CAAC;gBAC5D,CAAC;YACH,CAAC;YACD,IAAI,IAAI,CAAC,SAAS;gBAAE,kBAAkB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YAC5D,IAAI,IAAI,CAAC,MAAM;gBAAE,kBAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YACtD,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;YACrD,OAAO;QAET,KAAK,gBAAgB;YACnB,eAAe,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YACpC,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YACzC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;YACrD,OAAO;QAET,KAAK,gBAAgB;YACnB,kBAAkB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YACxC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;YACrD,OAAO;QAET,KAAK,iBAAiB;YACpB,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YACzC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC3B,IAAI,CAAC,CAAC,IAAI;oBAAE,kBAAkB,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBAC5C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;oBAC7B,iBAAiB,CAAC,CAAC,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;gBAC/C,CAAC;YACH,CAAC;YACD,OAAO;QAET,KAAK,gBAAgB;YACnB,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YACzC,OAAO;QAET,KAAK,cAAc;YACjB,aAAa,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;YACrD,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACrB,IAAI,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC;oBAC/B,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;gBACnD,CAAC;gBACD,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;YAC/D,CAAC;YACD,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACtB,aAAa,CAAC,IAAI,CAAC,YAAY,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;YAC3D,CAAC;YACD,OAAO;QAET,KAAK,gBAAgB,CAAC;QACtB,KAAK,mBAAmB,CAAC;QACzB,KAAK,gBAAgB;YACnB,OAAO;QAET,KAAK,gBAAgB;YACnB,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChB,kBAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YACvC,CAAC;YACD,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;gBACvB,eAAe,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC;YAC3C,CAAC;YACD,OAAO;QAET,KAAK,0BAA0B;YAC7B,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpB,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAC3C,CAAC;YACD,OAAO;QAET;YACE,OAAO;IACX,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,MAAgB,EAC6B,EAAE;IAC/C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkC,CAAC;IAE1D,MAAM,oBAAoB,GAAG,CAAC,IAAiB,EAAQ,EAAE;QACvD,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;YACzC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAC/B,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACjC,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAC/B,oBAAoB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CAAC,MAAgB,EAAyB,EAAE;IACjE,MAAM,GAAG,GAA0B;QACjC,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,WAAW,EAAE,EAAE;QACf,WAAW,EAAE,kBAAkB,CAAC,MAAM,CAAC;KACxC,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAC/B,iBAAiB,CAAC,IAAI,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;IAC1C,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACjC,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;YACjB,KAAK,SAAS;gBACZ,kBAAkB,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;gBACxC,MAAM;YACR,KAAK,aAAa;gBAChB,iBAAiB,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;gBACnD,MAAM;YACR,KAAK,OAAO,CAAC;YACb,KAAK,UAAU;gBACb,MAAM;YACR;gBACE,MAAM;QACV,CAAC;IACH,CAAC;IAED,OAAO,GAAG,CAAC,WAAW,CAAC;AACzB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,OAA4B,EACN,EAAE;IACxB,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,WAAW,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO;QACL,EAAE,EAAE,WAAW,CAAC,MAAM,KAAK,CAAC;QAC5B,OAAO;QACP,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"char-validation-pass.js","sourceRoot":"","sources":["../../../src/ir/validation/char-validation-pass.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC"}

package/dist/ir/validation/char-validation-types.d.ts

@@ -0,0 +1,28 @@
+/**
+ * Char Validation — Type resolution and char type detection helpers.
+ *
+ * Contains CharValidationContext, type alias resolution, char type detection,
+ * module-level validation orchestration, and the main runCharValidationPass entry point.
+ */
+import { Diagnostic, SourceLocation } from "../../types/diagnostic.js";
+import { IrModule, IrType, IrTypeAliasDeclaration, IrExpression } from "../types.js";
+export type CharValidationResult = {
+    readonly ok: boolean;
+    readonly modules: readonly IrModule[];
+    readonly diagnostics: readonly Diagnostic[];
+};
+export type CharValidationContext = {
+    readonly filePath: string;
+    readonly diagnostics: Diagnostic[];
+    readonly typeAliases: ReadonlyMap<string, IrTypeAliasDeclaration>;
+};
+export declare const moduleLocation: (ctx: CharValidationContext) => SourceLocation;
+export declare const stripNullish: (type: IrType | undefined) => IrType | undefined;
+export declare const resolveTypeAliases: (type: IrType | undefined, ctx: CharValidationContext, seen?: ReadonlySet<string>) => IrType | undefined;
+export declare const isCharType: (type: IrType | undefined, ctx: CharValidationContext) => boolean;
+export declare const isCharTypedExpression: (expr: IrExpression, ctx: CharValidationContext) => boolean;
+export declare const isStringCharAccessExpression: (expr: IrExpression) => boolean;
+export declare const addCharDiagnostic: (ctx: CharValidationContext, message: string, location: SourceLocation, hint?: string) => void;
+export declare const getPropertyExpectedType: (expectedType: IrType | undefined, propertyName: string, ctx: CharValidationContext) => IrType | undefined;
+export declare const runCharValidationPass: (modules: readonly IrModule[]) => CharValidationResult;
+//# sourceMappingURL=char-validation-types.d.ts.map

package/dist/ir/validation/char-validation-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"char-validation-types.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/char-validation-types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAEL,UAAU,EACV,cAAc,EACf,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,QAAQ,EAER,MAAM,EACN,sBAAsB,EACtB,YAAY,EACb,MAAM,aAAa,CAAC;AAMrB,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAC;IACtC,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAAG;IAClC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC;IACnC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC;CACnE,CAAC;AAEF,eAAO,MAAM,cAAc,GAAI,KAAK,qBAAqB,KAAG,cAK1D,CAAC;AAEH,eAAO,MAAM,YAAY,GAAI,MAAM,MAAM,GAAG,SAAS,KAAG,MAAM,GAAG,SAahE,CAAC;AAEF,eAAO,MAAM,kBAAkB,GAC7B,MAAM,MAAM,GAAG,SAAS,EACxB,KAAK,qBAAqB,EAC1B,OAAM,WAAW,CAAC,MAAM,CAAa,KACpC,MAAM,GAAG,SAgCX,CAAC;AAEF,eAAO,MAAM,UAAU,GACrB,MAAM,MAAM,GAAG,SAAS,EACxB,KAAK,qBAAqB,KACzB,OAMF,CAAC;AAEF,eAAO,MAAM,qBAAqB,GAChC,MAAM,YAAY,EAClB,KAAK,qBAAqB,KACzB,OAA6C,CAAC;AAEjD,eAAO,MAAM,4BAA4B,GAAI,MAAM,YAAY,KAAG,OAIhD,CAAC;AAEnB,eAAO,MAAM,iBAAiB,GAC5B,KAAK,qBAAqB,EAC1B,SAAS,MAAM,EACf,UAAU,cAAc,EACxB,OAAO,MAAM,KACZ,IAIF,CAAC;AAEF,eAAO,MAAM,uBAAuB,GAClC,cAAc,MAAM,GAAG,SAAS,EAChC,cAAc,MAAM,EACpB,KAAK,qBAAqB,KACzB,MAAM,GAAG,SAmBX,CAAC;AAwDF,eAAO,MAAM,qBAAqB,GAChC,SAAS,SAAS,QAAQ,EAAE,KAC3B,oBAUF,CAAC"}