@tsonic/frontend 0.0.73 → 0.0.75

package/dist/ir/converters/flow-narrowing.js

@@ -1,420 +1,9 @@
 /**
- * Flow narrowing helpers (frontend).
+ * Flow narrowing helpers (frontend) -- facade.
  *
- * Airplane-grade requirement:
- * - Deterministic (TS-free) narrowing logic
- * - Correct lexical scoping (key by DeclId.id, not by identifier text)
- *
- * Currently supports:
- * - `x instanceof T` in boolean (truthy) contexts
- * - Conjunction: `(x instanceof T) && ...` (collects narrowings from both sides)
- * - `istype<T>(x)` in boolean (truthy) contexts (compiler-only type guard)
- */
-import * as ts from "typescript";
-const unwrapExpr = (expr) => {
-    let current = expr;
-    while (ts.isParenthesizedExpression(current)) {
-        current = current.expression;
-    }
-    return current;
-};
-const getStringLiteralText = (expr) => {
-    const unwrapped = unwrapExpr(expr);
-    if (ts.isStringLiteral(unwrapped) ||
-        ts.isNoSubstitutionTemplateLiteral(unwrapped)) {
-        return unwrapped.text;
-    }
-    return undefined;
-};
-const extractIdentifierPropertyAccess = (value, ctx) => {
-    const candidate = unwrapExpr(value);
-    if (ts.isPropertyAccessExpression(candidate)) {
-        const object = unwrapExpr(candidate.expression);
-        if (!ts.isIdentifier(object))
-            return undefined;
-        const declId = ctx.binding.resolveIdentifier(object);
-        if (!declId)
-            return undefined;
-        return { declId, propertyName: candidate.name.text };
-    }
-    if (ts.isElementAccessExpression(candidate)) {
-        const object = unwrapExpr(candidate.expression);
-        const argument = candidate.argumentExpression
-            ? unwrapExpr(candidate.argumentExpression)
-            : undefined;
-        if (!ts.isIdentifier(object) || !argument)
-            return undefined;
-        const propertyName = getStringLiteralText(argument);
-        if (!propertyName)
-            return undefined;
-        const declId = ctx.binding.resolveIdentifier(object);
-        if (!declId)
-            return undefined;
-        return { declId, propertyName };
-    }
-    return undefined;
-};
-const genericTypeofTarget = (tag) => {
-    switch (tag) {
-        case "string":
-            return { kind: "primitiveType", name: "string" };
-        case "number":
-            return { kind: "primitiveType", name: "number" };
-        case "boolean":
-            return { kind: "primitiveType", name: "boolean" };
-        case "undefined":
-            return { kind: "primitiveType", name: "undefined" };
-        default:
-            return undefined;
-    }
-};
-const matchesTypeofTag = (type, tag) => {
-    if (type.kind === "literalType") {
-        switch (tag) {
-            case "string":
-                return typeof type.value === "string";
-            case "number":
-                return typeof type.value === "number";
-            case "boolean":
-                return typeof type.value === "boolean";
-            default:
-                return false;
-        }
-    }
-    if (type.kind !== "primitiveType")
-        return false;
-    switch (tag) {
-        case "string":
-            return type.name === "string";
-        case "number":
-            return type.name === "number" || type.name === "int";
-        case "boolean":
-            return type.name === "boolean";
-        case "undefined":
-            return type.name === "undefined";
-        default:
-            return false;
-    }
-};
-const narrowTypeByTypeofTag = (currentType, tag) => {
-    if (!currentType)
-        return genericTypeofTarget(tag);
-    if (currentType.kind === "unionType") {
-        const kept = currentType.types.filter((member) => !!member && matchesTypeofTag(member, tag));
-        if (kept.length === 1)
-            return kept[0];
-        if (kept.length > 1) {
-            return { kind: "unionType", types: kept };
-        }
-        return genericTypeofTarget(tag);
-    }
-    return matchesTypeofTag(currentType, tag)
-        ? currentType
-        : genericTypeofTarget(tag);
-};
-const tryResolveTruthyNarrowing = (expr, ctx) => {
-    const unwrapped = unwrapExpr(expr);
-    const getCurrentType = (declId) => ctx.typeEnv?.get(declId.id) ?? ctx.typeSystem.typeOfDecl(declId);
-    const getMemberTypeForNarrowing = (type, propertyName) => {
-        if (type.kind === "objectType") {
-            const member = type.members.find((candidate) => candidate.kind === "propertySignature" &&
-                candidate.name === propertyName);
-            return member && member.kind === "propertySignature"
-                ? member.type
-                : undefined;
-        }
-        if (type.kind === "referenceType" &&
-            type.structuralMembers &&
-            type.structuralMembers.length > 0) {
-            const member = type.structuralMembers.find((candidate) => candidate.kind === "propertySignature" &&
-                candidate.name === propertyName);
-            return member && member.kind === "propertySignature"
-                ? member.type
-                : undefined;
-        }
-        const memberType = ctx.typeSystem.typeOfMember(type, {
-            kind: "byName",
-            name: propertyName,
-        });
-        return memberType.kind === "unknownType" ? undefined : memberType;
-    };
-    const propertyTypeIsDefinitelyTruthy = (type) => {
-        if (!type)
-            return false;
-        if (type.kind === "literalType") {
-            return type.value === true;
-        }
-        return false;
-    };
-    const propertyTypeIsDefinitelyFalsy = (type) => {
-        if (!type)
-            return false;
-        if (type.kind === "literalType") {
-            return type.value === false;
-        }
-        if (type.kind === "primitiveType") {
-            return type.name === "undefined" || type.name === "null";
-        }
-        return false;
-    };
-    const collectPropertyNarrowingCandidates = (currentType) => {
-        const expanded = ctx.typeSystem.collectNarrowingCandidates(currentType);
-        return expanded.length > 0 ? expanded : [currentType];
-    };
-    const narrowTypeByPropertyTruthiness = (currentType, propertyName, wantTruthy) => {
-        const kept = collectPropertyNarrowingCandidates(currentType).filter((member) => {
-            if (!member)
-                return false;
-            const memberType = getMemberTypeForNarrowing(member, propertyName);
-            return wantTruthy
-                ? propertyTypeIsDefinitelyTruthy(memberType)
-                : propertyTypeIsDefinitelyFalsy(memberType);
-        });
-        if (kept.length === 0)
-            return undefined;
-        if (kept.length === 1)
-            return kept[0];
-        return { kind: "unionType", types: kept };
-    };
-    const narrowTypeByPropertyPresence = (currentType, propertyName, wantPresent) => {
-        const kept = collectPropertyNarrowingCandidates(currentType).filter((member) => {
-            if (!member)
-                return false;
-            const hasMember = getMemberTypeForNarrowing(member, propertyName) !== undefined;
-            return hasMember === wantPresent;
-        });
-        if (kept.length === 0)
-            return undefined;
-        if (kept.length === 1)
-            return kept[0];
-        return { kind: "unionType", types: kept };
-    };
-    const propertyAccess = extractIdentifierPropertyAccess(unwrapped, ctx);
-    if (propertyAccess) {
-        const currentType = getCurrentType(propertyAccess.declId);
-        const targetType = narrowTypeByPropertyTruthiness(currentType, propertyAccess.propertyName, true);
-        if (targetType) {
-            return { declId: propertyAccess.declId.id, targetType };
-        }
-    }
-    if (ts.isBinaryExpression(unwrapped) &&
-        unwrapped.operatorToken.kind === ts.SyntaxKind.InKeyword) {
-        const propertyName = getStringLiteralText(unwrapped.left);
-        const object = unwrapExpr(unwrapped.right);
-        if (propertyName && ts.isIdentifier(object)) {
-            const declId = ctx.binding.resolveIdentifier(object);
-            if (declId) {
-                const targetType = narrowTypeByPropertyPresence(getCurrentType(declId), propertyName, true);
-                if (targetType) {
-                    return { declId: declId.id, targetType };
-                }
-            }
-        }
-    }
-    // istype<T>(x)
-    if (ts.isCallExpression(unwrapped) &&
-        ts.isIdentifier(unwrapped.expression) &&
-        unwrapped.expression.text === "istype" &&
-        unwrapped.typeArguments &&
-        unwrapped.typeArguments.length === 1 &&
-        unwrapped.arguments.length === 1) {
-        const typeArg = unwrapped.typeArguments[0];
-        const rawArg = unwrapped.arguments[0];
-        if (!typeArg || !rawArg)
-            return undefined;
-        const valueArg = unwrapExpr(rawArg);
-        if (!ts.isIdentifier(valueArg))
-            return undefined;
-        const targetType = ctx.typeSystem.typeFromSyntax(ctx.binding.captureTypeSyntax(typeArg));
-        if (targetType.kind === "unknownType")
-            return undefined;
-        const narrowedDeclId = ctx.binding.resolveIdentifier(valueArg);
-        if (!narrowedDeclId)
-            return undefined;
-        return { declId: narrowedDeclId.id, targetType };
-    }
-    // typeof x === "string" / "number" / "boolean" / "undefined"
-    if (ts.isBinaryExpression(unwrapped) &&
-        (unwrapped.operatorToken.kind === ts.SyntaxKind.EqualsEqualsEqualsToken ||
-            unwrapped.operatorToken.kind === ts.SyntaxKind.EqualsEqualsToken)) {
-        const left = unwrapExpr(unwrapped.left);
-        const right = unwrapExpr(unwrapped.right);
-        const leftLiteral = getStringLiteralText(left);
-        const rightLiteral = getStringLiteralText(right);
-        const extractTypeofIdentifier = (expr) => {
-            if (!ts.isTypeOfExpression(expr))
-                return undefined;
-            const operand = unwrapExpr(expr.expression);
-            return ts.isIdentifier(operand) ? operand : undefined;
-        };
-        const leftTypeofIdent = extractTypeofIdentifier(left);
-        const rightTypeofIdent = extractTypeofIdentifier(right);
-        const tag = leftTypeofIdent && rightLiteral
-            ? rightLiteral
-            : rightTypeofIdent && leftLiteral
-                ? leftLiteral
-                : undefined;
-        const narrowedIdent = leftTypeofIdent ?? rightTypeofIdent;
-        if (!tag || !narrowedIdent)
-            return undefined;
-        const narrowedDeclId = ctx.binding.resolveIdentifier(narrowedIdent);
-        if (!narrowedDeclId)
-            return undefined;
-        const currentType = ctx.typeEnv?.get(narrowedDeclId.id) ??
-            ctx.typeSystem.typeOfDecl(narrowedDeclId);
-        const targetType = narrowTypeByTypeofTag(currentType, tag);
-        if (!targetType)
-            return undefined;
-        return { declId: narrowedDeclId.id, targetType };
-    }
-    // x instanceof T
-    if (!ts.isBinaryExpression(unwrapped))
-        return undefined;
-    if (unwrapped.operatorToken.kind !== ts.SyntaxKind.InstanceOfKeyword)
-        return undefined;
-    const left = unwrapExpr(unwrapped.left);
-    const right = unwrapExpr(unwrapped.right);
-    if (!ts.isIdentifier(left))
-        return undefined;
-    if (!ts.isIdentifier(right))
-        return undefined;
-    const targetDeclId = ctx.binding.resolveIdentifier(right);
-    if (!targetDeclId)
-        return undefined;
-    const targetType = ctx.typeSystem.typeOfDecl(targetDeclId);
-    if (targetType.kind === "unknownType")
-        return undefined;
-    const narrowedDeclId = ctx.binding.resolveIdentifier(left);
-    if (!narrowedDeclId)
-        return undefined;
-    return { declId: narrowedDeclId.id, targetType };
-};
-/**
- * Collect `instanceof` narrowings that are guaranteed to hold when `expr` is truthy.
- *
- * We only collect from conjunctions (&&) because truthiness of `A && B` implies both
- * `A` and `B` are truthy; for `A || B` it does not guarantee either side.
+ * Re-exports from sub-modules:
+ *   - narrowing-resolvers.ts  (type-level narrowing helpers)
+ *   - narrowing-collection.ts (collection orchestration & env application)
  */
-export const collectTypeNarrowingsInTruthyExpr = (expr, ctx) => {
-    const unwrapped = unwrapExpr(expr);
-    if (ts.isPrefixUnaryExpression(unwrapped) &&
-        unwrapped.operator === ts.SyntaxKind.ExclamationToken) {
-        return collectTypeNarrowingsInFalsyExpr(unwrapped.operand, ctx);
-    }
-    const direct = tryResolveTruthyNarrowing(unwrapped, ctx);
-    if (direct)
-        return [direct];
-    if (ts.isBinaryExpression(unwrapped)) {
-        if (unwrapped.operatorToken.kind === ts.SyntaxKind.AmpersandAmpersandToken) {
-            return [
-                ...collectTypeNarrowingsInTruthyExpr(unwrapped.left, ctx),
-                ...collectTypeNarrowingsInTruthyExpr(unwrapped.right, ctx),
-            ];
-        }
-    }
-    return [];
-};
-const tryResolveFalsyNarrowing = (expr, ctx) => {
-    const unwrapped = unwrapExpr(expr);
-    if (ts.isPrefixUnaryExpression(unwrapped) &&
-        unwrapped.operator === ts.SyntaxKind.ExclamationToken) {
-        const truthy = collectTypeNarrowingsInTruthyExpr(unwrapped.operand, ctx);
-        return truthy[0];
-    }
-    const getCurrentType = (declId) => ctx.typeEnv?.get(declId.id) ?? ctx.typeSystem.typeOfDecl(declId);
-    const getMemberTypeForNarrowing = (type, propertyName) => {
-        if (type.kind === "objectType") {
-            const member = type.members.find((candidate) => candidate.kind === "propertySignature" &&
-                candidate.name === propertyName);
-            return member && member.kind === "propertySignature"
-                ? member.type
-                : undefined;
-        }
-        if (type.kind === "referenceType" &&
-            type.structuralMembers &&
-            type.structuralMembers.length > 0) {
-            const member = type.structuralMembers.find((candidate) => candidate.kind === "propertySignature" &&
-                candidate.name === propertyName);
-            return member && member.kind === "propertySignature"
-                ? member.type
-                : undefined;
-        }
-        const memberType = ctx.typeSystem.typeOfMember(type, {
-            kind: "byName",
-            name: propertyName,
-        });
-        return memberType.kind === "unknownType" ? undefined : memberType;
-    };
-    const collectPropertyNarrowingCandidates = (currentType) => {
-        const expanded = ctx.typeSystem.collectNarrowingCandidates(currentType);
-        return expanded.length > 0 ? expanded : [currentType];
-    };
-    const narrowTypeByPropertyTruthiness = (currentType, propertyName, wantTruthy) => {
-        const kept = collectPropertyNarrowingCandidates(currentType).filter((member) => {
-            if (!member)
-                return false;
-            const memberType = getMemberTypeForNarrowing(member, propertyName);
-            if (!memberType || memberType.kind !== "literalType")
-                return false;
-            return wantTruthy ? memberType.value === true : memberType.value === false;
-        });
-        if (kept.length === 0)
-            return undefined;
-        if (kept.length === 1)
-            return kept[0];
-        return { kind: "unionType", types: kept };
-    };
-    const narrowTypeByPropertyPresence = (currentType, propertyName, wantPresent) => {
-        const kept = collectPropertyNarrowingCandidates(currentType).filter((member) => {
-            if (!member)
-                return false;
-            const hasMember = getMemberTypeForNarrowing(member, propertyName) !== undefined;
-            return hasMember === wantPresent;
-        });
-        if (kept.length === 0)
-            return undefined;
-        if (kept.length === 1)
-            return kept[0];
-        return { kind: "unionType", types: kept };
-    };
-    const propertyAccess = extractIdentifierPropertyAccess(unwrapped, ctx);
-    if (propertyAccess) {
-        const currentType = getCurrentType(propertyAccess.declId);
-        const targetType = narrowTypeByPropertyTruthiness(currentType, propertyAccess.propertyName, false);
-        if (targetType) {
-            return { declId: propertyAccess.declId.id, targetType };
-        }
-    }
-    if (ts.isBinaryExpression(unwrapped) &&
-        unwrapped.operatorToken.kind === ts.SyntaxKind.InKeyword) {
-        const propertyName = getStringLiteralText(unwrapped.left);
-        const object = unwrapExpr(unwrapped.right);
-        if (propertyName && ts.isIdentifier(object)) {
-            const declId = ctx.binding.resolveIdentifier(object);
-            if (declId) {
-                const targetType = narrowTypeByPropertyPresence(getCurrentType(declId), propertyName, false);
-                if (targetType) {
-                    return { declId: declId.id, targetType };
-                }
-            }
-        }
-    }
-    return undefined;
-};
-export const collectTypeNarrowingsInFalsyExpr = (expr, ctx) => {
-    const unwrapped = unwrapExpr(expr);
-    const direct = tryResolveFalsyNarrowing(unwrapped, ctx);
-    if (direct)
-        return [direct];
-    return [];
-};
-export const withAppliedNarrowings = (ctx, narrowings) => {
-    if (narrowings.length === 0)
-        return ctx;
-    const next = new Map(ctx.typeEnv ?? []);
-    for (const n of narrowings) {
-        next.set(n.declId, n.targetType);
-    }
-    return { ...ctx, typeEnv: next };
-};
+export { collectTypeNarrowingsInTruthyExpr, collectTypeNarrowingsInFalsyExpr, withAppliedNarrowings, withAssignedAccessPathType, } from "./narrowing-collection.js";
 //# sourceMappingURL=flow-narrowing.js.map

package/dist/ir/converters/flow-narrowing.js.map

@@ -1 +1 @@
-{"version":3,"file":"flow-narrowing.js","sourceRoot":"","sources":["../../../src/ir/converters/flow-narrowing.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAYjC,MAAM,UAAU,GAAG,CAAC,IAAmB,EAAiB,EAAE;IACxD,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,OAAO,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7C,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;IAC/B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAAC,IAAmB,EAAsB,EAAE;IACvE,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IACnC,IACE,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC;QAC7B,EAAE,CAAC,+BAA+B,CAAC,SAAS,CAAC,EAC7C,CAAC;QACD,OAAO,SAAS,CAAC,IAAI,CAAC;IACxB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,+BAA+B,GAAG,CACtC,KAAoB,EACpB,GAAmB,EACsC,EAAE;IAC3D,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IAEpC,IAAI,EAAE,CAAC,0BAA0B,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7C,MAAM,MAAM,GAAG,UAAU,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QAChD,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;YAAE,OAAO,SAAS,CAAC;QAC/C,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;QACrD,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC9B,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;IACvD,CAAC;IAED,IAAI,EAAE,CAAC,yBAAyB,CAAC,SAAS,CAAC,EAAE,CAAC;QAC5C,MAAM,MAAM,GAAG,UAAU,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QAChD,MAAM,QAAQ,GAAG,SAAS,CAAC,kBAAkB;YAC3C,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,kBAAkB,CAAC;YAC1C,CAAC,CAAC,SAAS,CAAC;QACd,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ;YAAE,OAAO,SAAS,CAAC;QAC5D,MAAM,YAAY,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QACpD,IAAI,CAAC,YAAY;YAAE,OAAO,SAAS,CAAC;QACpC,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;QACrD,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC9B,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;IAClC,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAAC,GAAW,EAAsB,EAAE;IAC9D,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD,KAAK,SAAS;YACZ,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QACpD,KAAK,WAAW;YACd,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QACtD;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CAAC,IAAY,EAAE,GAAW,EAAW,EAAE;IAC9D,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QAChC,QAAQ,GAAG,EAAE,CAAC;YACZ,KAAK,QAAQ;gBACX,OAAO,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC;YACxC,KAAK,QAAQ;gBACX,OAAO,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC;YACxC,KAAK,SAAS;gBACZ,OAAO,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC;YACzC;gBACE,OAAO,KAAK,CAAC;QACjB,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,KAAK,CAAC;IAEhD,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC;QAChC,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC;QACvD,KAAK,SAAS;YACZ,OAAO,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;QACjC,KAAK,WAAW;YACd,OAAO,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC;QACnC;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,WAA+B,EAC/B,GAAW,EACS,EAAE;IACtB,IAAI,CAAC,WAAW;QAAE,OAAO,mBAAmB,CAAC,GAAG,CAAC,CAAC;IAElD,IAAI,WAAW,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,MAAM,CACnC,CAAC,MAAM,EAAoB,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,gBAAgB,CAAC,MAAM,EAAE,GAAG,CAAC,CACxE,CAAC;QACF,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC;QACtC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpB,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAC5C,CAAC;QACD,OAAO,mBAAmB,CAAC,GAAG,CAAC,CAAC;IAClC,CAAC;IAED,OAAO,gBAAgB,CAAC,WAAW,EAAE,GAAG,CAAC;QACvC,CAAC,CAAC,WAAW;QACb,CAAC,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC;AAC/B,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAChC,IAAmB,EACnB,GAAmB,EACQ,EAAE;IAC7B,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAEnC,MAAM,cAAc,GAAG,CAAC,MAAiB,EAAU,EAAE,CACnD,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAEnE,MAAM,yBAAyB,GAAG,CAChC,IAAY,EACZ,YAAoB,EACA,EAAE;QACtB,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAC9B,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,IAAI,KAAK,mBAAmB;gBACtC,SAAS,CAAC,IAAI,KAAK,YAAY,CAClC,CAAC;YACF,OAAO,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB;gBAClD,CAAC,CAAC,MAAM,CAAC,IAAI;gBACb,CAAC,CAAC,SAAS,CAAC;QAChB,CAAC;QAED,IACE,IAAI,CAAC,IAAI,KAAK,eAAe;YAC7B,IAAI,CAAC,iBAAiB;YACtB,IAAI,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EACjC,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,iBAAiB,CAAC,IAAI,CACxC,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,IAAI,KAAK,mBAAmB;gBACtC,SAAS,CAAC,IAAI,KAAK,YAAY,CAClC,CAAC;YACF,OAAO,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB;gBAClD,CAAC,CAAC,MAAM,CAAC,IAAI;gBACb,CAAC,CAAC,SAAS,CAAC;QAChB,CAAC;QAED,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC,YAAY,CAAC,IAAI,EAAE;YACnD,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,YAAY;SACnB,CAAC,CAAC;QACH,OAAO,UAAU,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC;IACpE,CAAC,CAAC;IAEF,MAAM,8BAA8B,GAAG,CAAC,IAAwB,EAAW,EAAE;QAC3E,IAAI,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACxB,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAChC,OAAO,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC;QAC7B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,MAAM,6BAA6B,GAAG,CAAC,IAAwB,EAAW,EAAE;QAC1E,IAAI,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACxB,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAChC,OAAO,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC;QAC9B,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAClC,OAAO,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC;QAC3D,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,MAAM,kCAAkC,GAAG,CACzC,WAAmB,EACA,EAAE;QACrB,MAAM,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAC,0BAA0B,CAAC,WAAW,CAAC,CAAC;QACxE,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IACxD,CAAC,CAAC;IAEF,MAAM,8BAA8B,GAAG,CACrC,WAAmB,EACnB,YAAoB,EACpB,UAAmB,EACC,EAAE;QACtB,MAAM,IAAI,GAAG,kCAAkC,CAAC,WAAW,CAAC,CAAC,MAAM,CACjE,CAAC,MAAM,EAAoB,EAAE;YAC3B,IAAI,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YAC1B,MAAM,UAAU,GAAG,yBAAyB,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;YACnE,OAAO,UAAU;gBACf,CAAC,CAAC,8BAA8B,CAAC,UAAU,CAAC;gBAC5C,CAAC,CAAC,6BAA6B,CAAC,UAAU,CAAC,CAAC;QAChD,CAAC,CACF,CAAC;QAEF,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QACxC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC;QACtC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAC5C,CAAC,CAAC;IAEF,MAAM,4BAA4B,GAAG,CACnC,WAAmB,EACnB,YAAoB,EACpB,WAAoB,EACA,EAAE;QACtB,MAAM,IAAI,GAAG,kCAAkC,CAAC,WAAW,CAAC,CAAC,MAAM,CACjE,CAAC,MAAM,EAAoB,EAAE;YAC3B,IAAI,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YAC1B,MAAM,SAAS,GAAG,yBAAyB,CAAC,MAAM,EAAE,YAAY,CAAC,KAAK,SAAS,CAAC;YAChF,OAAO,SAAS,KAAK,WAAW,CAAC;QACnC,CAAC,CACF,CAAC;QAEF,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QACxC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC;QACtC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAC5C,CAAC,CAAC;IAEF,MAAM,cAAc,GAAG,+BAA+B,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IACvE,IAAI,cAAc,EAAE,CAAC;QACnB,MAAM,WAAW,GAAG,cAAc,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;QAC1D,MAAM,UAAU,GAAG,8BAA8B,CAC/C,WAAW,EACX,cAAc,CAAC,YAAY,EAC3B,IAAI,CACL,CAAC;QACF,IAAI,UAAU,EAAE,CAAC;YACf,OAAO,EAAE,MAAM,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC;QAC1D,CAAC;IACH,CAAC;IAED,IACE,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC;QAChC,SAAS,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS,EACxD,CAAC;QACD,MAAM,YAAY,GAAG,oBAAoB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC1D,MAAM,MAAM,GAAG,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC3C,IAAI,YAAY,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5C,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;YACrD,IAAI,MAAM,EAAE,CAAC;gBACX,MAAM,UAAU,GAAG,4BAA4B,CAC7C,cAAc,CAAC,MAAM,CAAC,EACtB,YAAY,EACZ,IAAI,CACL,CAAC;gBACF,IAAI,UAAU,EAAE,CAAC;oBACf,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC;gBAC3C,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,eAAe;IACf,IACE,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC;QAC9B,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,UAAU,CAAC;QACrC,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ;QACtC,SAAS,CAAC,aAAa;QACvB,SAAS,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;QACpC,SAAS,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAChC,CAAC;QACD,MAAM,OAAO,GAAG,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACtC,IAAI,CAAC,OAAO,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC1C,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QACpC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC;YAAE,OAAO,SAAS,CAAC;QAEjD,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC,cAAc,CAC9C,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,CACvC,CAAC;QACF,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa;YAAE,OAAO,SAAS,CAAC;QAExD,MAAM,cAAc,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;QAC/D,IAAI,CAAC,cAAc;YAAE,OAAO,SAAS,CAAC;QAEtC,OAAO,EAAE,MAAM,EAAE,cAAc,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC;IACnD,CAAC;IAED,6DAA6D;IAC7D,IACE,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC;QAChC,CAAC,SAAS,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;YACrE,SAAS,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB,CAAC,EACnE,CAAC;QACD,MAAM,IAAI,GAAG,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACxC,MAAM,KAAK,GAAG,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC1C,MAAM,WAAW,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;QAC/C,MAAM,YAAY,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;QAEjD,MAAM,uBAAuB,GAAG,CAC9B,IAAmB,EACQ,EAAE;YAC7B,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;gBAAE,OAAO,SAAS,CAAC;YACnD,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC5C,OAAO,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;QACxD,CAAC,CAAC;QAEF,MAAM,eAAe,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;QACtD,MAAM,gBAAgB,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;QAExD,MAAM,GAAG,GACP,eAAe,IAAI,YAAY;YAC7B,CAAC,CAAC,YAAY;YACd,CAAC,CAAC,gBAAgB,IAAI,WAAW;gBAC/B,CAAC,CAAC,WAAW;gBACb,CAAC,CAAC,SAAS,CAAC;QAClB,MAAM,aAAa,GAAG,eAAe,IAAI,gBAAgB,CAAC;QAC1D,IAAI,CAAC,GAAG,IAAI,CAAC,aAAa;YAAE,OAAO,SAAS,CAAC;QAE7C,MAAM,cAAc,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,aAAa,CAAC,CAAC;QACpE,IAAI,CAAC,cAAc;YAAE,OAAO,SAAS,CAAC;QAEtC,MAAM,WAAW,GACf,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC;YACnC,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;QAC5C,MAAM,UAAU,GAAG,qBAAqB,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;QAC3D,IAAI,CAAC,UAAU;YAAE,OAAO,SAAS,CAAC;QAElC,OAAO,EAAE,MAAM,EAAE,cAAc,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC;IACnD,CAAC;IAED,iBAAiB;IACjB,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IACxD,IAAI,SAAS,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB;QAClE,OAAO,SAAS,CAAC;IAEnB,MAAM,IAAI,GAAG,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,KAAK,GAAG,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAE1C,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7C,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAE9C,MAAM,YAAY,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;IAC1D,IAAI,CAAC,YAAY;QAAE,OAAO,SAAS,CAAC;IAEpC,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;IAC3D,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO,SAAS,CAAC;IAExD,MAAM,cAAc,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAC3D,IAAI,CAAC,cAAc;QAAE,OAAO,SAAS,CAAC;IAEtC,OAAO,EAAE,MAAM,EAAE,cAAc,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC;AACnD,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,IAAmB,EACnB,GAAmB,EACO,EAAE;IAC5B,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAEnC,IACE,EAAE,CAAC,uBAAuB,CAAC,SAAS,CAAC;QACrC,SAAS,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EACrD,CAAC;QACD,OAAO,gCAAgC,CAAC,SAAS,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAClE,CAAC;IAED,MAAM,MAAM,GAAG,yBAAyB,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IACzD,IAAI,MAAM;QAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAE5B,IAAI,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC,EAAE,CAAC;QACrC,IACE,SAAS,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,EACtE,CAAC;YACD,OAAO;gBACL,GAAG,iCAAiC,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC;gBACzD,GAAG,iCAAiC,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC;aAC3D,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,EAAE,CAAC;AACZ,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,IAAmB,EACnB,GAAmB,EACQ,EAAE;IAC7B,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAEnC,IACE,EAAE,CAAC,uBAAuB,CAAC,SAAS,CAAC;QACrC,SAAS,CAAC,QAAQ,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,EACrD,CAAC;QACD,MAAM,MAAM,GAAG,iCAAiC,CAAC,SAAS,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QACzE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;IACnB,CAAC;IAED,MAAM,cAAc,GAAG,CAAC,MAAiB,EAAU,EAAE,CACnD,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAEnE,MAAM,yBAAyB,GAAG,CAChC,IAAY,EACZ,YAAoB,EACA,EAAE;QACtB,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAC9B,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,IAAI,KAAK,mBAAmB;gBACtC,SAAS,CAAC,IAAI,KAAK,YAAY,CAClC,CAAC;YACF,OAAO,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB;gBAClD,CAAC,CAAC,MAAM,CAAC,IAAI;gBACb,CAAC,CAAC,SAAS,CAAC;QAChB,CAAC;QAED,IACE,IAAI,CAAC,IAAI,KAAK,eAAe;YAC7B,IAAI,CAAC,iBAAiB;YACtB,IAAI,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EACjC,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,iBAAiB,CAAC,IAAI,CACxC,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,IAAI,KAAK,mBAAmB;gBACtC,SAAS,CAAC,IAAI,KAAK,YAAY,CAClC,CAAC;YACF,OAAO,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB;gBAClD,CAAC,CAAC,MAAM,CAAC,IAAI;gBACb,CAAC,CAAC,SAAS,CAAC;QAChB,CAAC;QAED,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC,YAAY,CAAC,IAAI,EAAE;YACnD,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,YAAY;SACnB,CAAC,CAAC;QACH,OAAO,UAAU,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC;IACpE,CAAC,CAAC;IAEF,MAAM,kCAAkC,GAAG,CACzC,WAAmB,EACA,EAAE;QACrB,MAAM,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAC,0BAA0B,CAAC,WAAW,CAAC,CAAC;QACxE,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IACxD,CAAC,CAAC;IAEF,MAAM,8BAA8B,GAAG,CACrC,WAAmB,EACnB,YAAoB,EACpB,UAAmB,EACC,EAAE;QACtB,MAAM,IAAI,GAAG,kCAAkC,CAAC,WAAW,CAAC,CAAC,MAAM,CACjE,CAAC,MAAM,EAAoB,EAAE;YAC3B,IAAI,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YAC1B,MAAM,UAAU,GAAG,yBAAyB,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;YACnE,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa;gBAAE,OAAO,KAAK,CAAC;YACnE,OAAO,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,KAAK,KAAK,CAAC;QAC7E,CAAC,CACF,CAAC;QAEF,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QACxC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC;QACtC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAC5C,CAAC,CAAC;IAEF,MAAM,4BAA4B,GAAG,CACnC,WAAmB,EACnB,YAAoB,EACpB,WAAoB,EACA,EAAE;QACtB,MAAM,IAAI,GAAG,kCAAkC,CAAC,WAAW,CAAC,CAAC,MAAM,CACjE,CAAC,MAAM,EAAoB,EAAE;YAC3B,IAAI,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YAC1B,MAAM,SAAS,GAAG,yBAAyB,CAAC,MAAM,EAAE,YAAY,CAAC,KAAK,SAAS,CAAC;YAChF,OAAO,SAAS,KAAK,WAAW,CAAC;QACnC,CAAC,CACF,CAAC;QAEF,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QACxC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC;QACtC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAC5C,CAAC,CAAC;IAEF,MAAM,cAAc,GAAG,+BAA+B,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IACvE,IAAI,cAAc,EAAE,CAAC;QACnB,MAAM,WAAW,GAAG,cAAc,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;QAC1D,MAAM,UAAU,GAAG,8BAA8B,CAC/C,WAAW,EACX,cAAc,CAAC,YAAY,EAC3B,KAAK,CACN,CAAC;QACF,IAAI,UAAU,EAAE,CAAC;YACf,OAAO,EAAE,MAAM,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC;QAC1D,CAAC;IACH,CAAC;IAED,IACE,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC;QAChC,SAAS,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS,EACxD,CAAC;QACD,MAAM,YAAY,GAAG,oBAAoB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC1D,MAAM,MAAM,GAAG,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC3C,IAAI,YAAY,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5C,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;YACrD,IAAI,MAAM,EAAE,CAAC;gBACX,MAAM,UAAU,GAAG,4BAA4B,CAC7C,cAAc,CAAC,MAAM,CAAC,EACtB,YAAY,EACZ,KAAK,CACN,CAAC;gBACF,IAAI,UAAU,EAAE,CAAC;oBACf,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC;gBAC3C,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAC9C,IAAmB,EACnB,GAAmB,EACO,EAAE;IAC5B,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAEnC,MAAM,MAAM,GAAG,wBAAwB,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IACxD,IAAI,MAAM;QAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAE5B,OAAO,EAAE,CAAC;AACZ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,GAAmB,EACnB,UAAoC,EACpB,EAAE;IAClB,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IAExC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAiB,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;IACxD,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,EAAE,GAAG,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AACnC,CAAC,CAAC"}
+{"version":3,"file":"flow-narrowing.js","sourceRoot":"","sources":["../../../src/ir/converters/flow-narrowing.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,EACL,iCAAiC,EACjC,gCAAgC,EAChC,qBAAqB,EACrB,0BAA0B,GAC3B,MAAM,2BAA2B,CAAC"}

package/dist/ir/converters/heritage-reference-type.d.ts

@@ -0,0 +1,5 @@
+import * as ts from "typescript";
+import type { IrType } from "../types.js";
+import type { ProgramContext } from "../program-context.js";
+export declare const resolveHeritageReferenceType: (typeNode: ts.ExpressionWithTypeArguments, ctx: ProgramContext) => IrType;
+//# sourceMappingURL=heritage-reference-type.d.ts.map

package/dist/ir/converters/heritage-reference-type.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"heritage-reference-type.d.ts","sourceRoot":"","sources":["../../../src/ir/converters/heritage-reference-type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAI5D,eAAO,MAAM,4BAA4B,GACvC,UAAU,EAAE,CAAC,2BAA2B,EACxC,KAAK,cAAc,KAClB,MA+BF,CAAC"}

package/dist/ir/converters/heritage-reference-type.js

@@ -0,0 +1,22 @@
+// eslint-disable-next-line no-restricted-imports -- heritage resolution is a frontend conversion boundary.
+import { resolveHeritageTypeName } from "../type-system/internal/registry-helpers-extraction.js";
+export const resolveHeritageReferenceType = (typeNode, ctx) => {
+    const converted = ctx.typeSystem.typeFromSyntax(ctx.binding.captureTypeSyntax(typeNode));
+    const resolvedName = resolveHeritageTypeName(typeNode, ctx.checker, ctx.sourceRoot, ctx.rootNamespace);
+    if (!resolvedName) {
+        return converted;
+    }
+    if (converted.kind === "referenceType") {
+        return {
+            ...converted,
+            name: resolvedName,
+        };
+    }
+    const typeArguments = typeNode.typeArguments?.map((typeArgument) => ctx.typeSystem.typeFromSyntax(ctx.binding.captureTypeSyntax(typeArgument)));
+    return {
+        kind: "referenceType",
+        name: resolvedName,
+        ...(typeArguments && typeArguments.length > 0 ? { typeArguments } : {}),
+    };
+};
+//# sourceMappingURL=heritage-reference-type.js.map

package/dist/ir/converters/heritage-reference-type.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"heritage-reference-type.js","sourceRoot":"","sources":["../../../src/ir/converters/heritage-reference-type.ts"],"names":[],"mappings":"AAGA,2GAA2G;AAC3G,OAAO,EAAE,uBAAuB,EAAE,MAAM,wDAAwD,CAAC;AAEjG,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,QAAwC,EACxC,GAAmB,EACX,EAAE;IACV,MAAM,SAAS,GAAG,GAAG,CAAC,UAAU,CAAC,cAAc,CAC7C,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CACxC,CAAC;IACF,MAAM,YAAY,GAAG,uBAAuB,CAC1C,QAAQ,EACR,GAAG,CAAC,OAAO,EACX,GAAG,CAAC,UAAU,EACd,GAAG,CAAC,aAAa,CAClB,CAAC;IAEF,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,SAAS,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACvC,OAAO;YACL,GAAG,SAAS;YACZ,IAAI,EAAE,YAAY;SACnB,CAAC;IACJ,CAAC;IAED,MAAM,aAAa,GAAG,QAAQ,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CACjE,GAAG,CAAC,UAAU,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC,CAC3E,CAAC;IAEF,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,YAAY;QAClB,GAAG,CAAC,aAAa,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxE,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/converters/narrowing-candidates.d.ts

@@ -0,0 +1,7 @@
+import type { IrType } from "../types.js";
+type NarrowingCandidateCollector = {
+    collectNarrowingCandidates(type: IrType): readonly IrType[];
+};
+export declare const collectNarrowingCandidateLeaves: (collector: NarrowingCandidateCollector, type: IrType) => readonly IrType[];
+export {};
+//# sourceMappingURL=narrowing-candidates.d.ts.map

package/dist/ir/converters/narrowing-candidates.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"narrowing-candidates.d.ts","sourceRoot":"","sources":["../../../src/ir/converters/narrowing-candidates.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAE1C,KAAK,2BAA2B,GAAG;IACjC,0BAA0B,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAAC;CAC7D,CAAC;AAEF,eAAO,MAAM,+BAA+B,GAC1C,WAAW,2BAA2B,EACtC,MAAM,MAAM,KACX,SAAS,MAAM,EAGjB,CAAC"}

package/dist/ir/converters/narrowing-candidates.js

@@ -0,0 +1,5 @@
+export const collectNarrowingCandidateLeaves = (collector, type) => {
+    const expanded = collector.collectNarrowingCandidates(type);
+    return expanded.length > 0 ? expanded : [type];
+};
+//# sourceMappingURL=narrowing-candidates.js.map

package/dist/ir/converters/narrowing-candidates.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"narrowing-candidates.js","sourceRoot":"","sources":["../../../src/ir/converters/narrowing-candidates.ts"],"names":[],"mappings":"AAMA,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,SAAsC,EACtC,IAAY,EACO,EAAE;IACrB,MAAM,QAAQ,GAAG,SAAS,CAAC,0BAA0B,CAAC,IAAI,CAAC,CAAC;IAC5D,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AACjD,CAAC,CAAC"}

package/dist/ir/converters/narrowing-collection.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Flow narrowing collection & application — Facade
+ *
+ * Re-exports from sub-modules:
+ * - narrowing-truthy: collectTypeNarrowingsInTruthyExpr, collectTypeNarrowingsInFalsyExpr
+ * - narrowing-environment: withAppliedNarrowings, withAssignedAccessPathType
+ */
+export { collectTypeNarrowingsInTruthyExpr, collectTypeNarrowingsInFalsyExpr, } from "./narrowing-truthy.js";
+export { withAppliedNarrowings, withAssignedAccessPathType, } from "./narrowing-environment.js";
+//# sourceMappingURL=narrowing-collection.d.ts.map

package/dist/ir/converters/narrowing-collection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"narrowing-collection.d.ts","sourceRoot":"","sources":["../../../src/ir/converters/narrowing-collection.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,iCAAiC,EACjC,gCAAgC,GACjC,MAAM,uBAAuB,CAAC;AAE/B,OAAO,EACL,qBAAqB,EACrB,0BAA0B,GAC3B,MAAM,4BAA4B,CAAC"}

package/dist/ir/converters/narrowing-collection.js

@@ -0,0 +1,10 @@
+/**
+ * Flow narrowing collection & application — Facade
+ *
+ * Re-exports from sub-modules:
+ * - narrowing-truthy: collectTypeNarrowingsInTruthyExpr, collectTypeNarrowingsInFalsyExpr
+ * - narrowing-environment: withAppliedNarrowings, withAssignedAccessPathType
+ */
+export { collectTypeNarrowingsInTruthyExpr, collectTypeNarrowingsInFalsyExpr, } from "./narrowing-truthy.js";
+export { withAppliedNarrowings, withAssignedAccessPathType, } from "./narrowing-environment.js";
+//# sourceMappingURL=narrowing-collection.js.map

package/dist/ir/converters/narrowing-collection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"narrowing-collection.js","sourceRoot":"","sources":["../../../src/ir/converters/narrowing-collection.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,iCAAiC,EACjC,gCAAgC,GACjC,MAAM,uBAAuB,CAAC;AAE/B,OAAO,EACL,qBAAqB,EACrB,0BAA0B,GAC3B,MAAM,4BAA4B,CAAC"}

package/dist/ir/converters/narrowing-environment.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Flow narrowing environment application helpers.
+ *
+ * Contains withAppliedNarrowings, withAssignedAccessPathType,
+ * and supporting helpers for managing narrowing environments.
+ */
+import type { ProgramContext } from "../program-context.js";
+import type { IrType } from "../types.js";
+import { type AccessPathTarget } from "./access-paths.js";
+import { type TypeNarrowing } from "./narrowing-resolvers.js";
+export declare const withAppliedNarrowings: (ctx: ProgramContext, narrowings: readonly TypeNarrowing[]) => ProgramContext;
+export declare const withAssignedAccessPathType: (ctx: ProgramContext, target: AccessPathTarget, assignedType: IrType | undefined) => ProgramContext;
+//# sourceMappingURL=narrowing-environment.d.ts.map

package/dist/ir/converters/narrowing-environment.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"narrowing-environment.d.ts","sourceRoot":"","sources":["../../../src/ir/converters/narrowing-environment.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,EAAoB,KAAK,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAC5E,OAAO,EAAE,KAAK,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAE9D,eAAO,MAAM,qBAAqB,GAChC,KAAK,cAAc,EACnB,YAAY,SAAS,aAAa,EAAE,KACnC,cAwBF,CAAC;AA8DF,eAAO,MAAM,0BAA0B,GACrC,KAAK,cAAc,EACnB,QAAQ,gBAAgB,EACxB,cAAc,MAAM,GAAG,SAAS,KAC/B,cAqBF,CAAC"}

package/dist/ir/converters/narrowing-environment.js

@@ -0,0 +1,83 @@
+/**
+ * Flow narrowing environment application helpers.
+ *
+ * Contains withAppliedNarrowings, withAssignedAccessPathType,
+ * and supporting helpers for managing narrowing environments.
+ */
+import { getAccessPathKey } from "./access-paths.js";
+export const withAppliedNarrowings = (ctx, narrowings) => {
+    if (narrowings.length === 0)
+        return ctx;
+    let nextTypeEnv;
+    let nextAccessEnv;
+    for (const n of narrowings) {
+        if (n.kind === "decl") {
+            if (!nextTypeEnv)
+                nextTypeEnv = new Map(ctx.typeEnv ?? []);
+            nextTypeEnv.set(n.declId, n.targetType);
+            continue;
+        }
+        if (!nextAccessEnv) {
+            nextAccessEnv = new Map(ctx.accessEnv ?? []);
+        }
+        nextAccessEnv.set(n.key, n.targetType);
+    }
+    return {
+        ...ctx,
+        ...(nextTypeEnv ? { typeEnv: nextTypeEnv } : {}),
+        ...(nextAccessEnv ? { accessEnv: nextAccessEnv } : {}),
+    };
+};
+const isDescendantAccessPath = (target, candidateKey) => {
+    const candidate = JSON.parse(candidateKey);
+    if (candidate.kind !== target.kind) {
+        return false;
+    }
+    if (target.kind === "decl" &&
+        candidate.kind === "decl" &&
+        candidate.declId !== target.declId.id) {
+        return false;
+    }
+    if (candidate.segments.length < target.segments.length) {
+        return false;
+    }
+    return target.segments.every((segment, index) => candidate.segments[index] === segment);
+};
+const withoutAssignedTargetFlow = (ctx, target) => {
+    const nextTypeEnv = new Map(ctx.typeEnv ?? []);
+    const nextAccessEnv = new Map(ctx.accessEnv ?? []);
+    if (target.kind === "decl" && target.segments.length === 0) {
+        nextTypeEnv.delete(target.declId.id);
+    }
+    for (const key of nextAccessEnv.keys()) {
+        if (isDescendantAccessPath(target, key)) {
+            nextAccessEnv.delete(key);
+        }
+    }
+    return {
+        ...ctx,
+        typeEnv: nextTypeEnv,
+        accessEnv: nextAccessEnv,
+    };
+};
+export const withAssignedAccessPathType = (ctx, target, assignedType) => {
+    const cleared = withoutAssignedTargetFlow(ctx, target);
+    if (!assignedType) {
+        return cleared;
+    }
+    if (target.kind === "decl" && target.segments.length === 0) {
+        const nextTypeEnv = new Map(cleared.typeEnv ?? []);
+        nextTypeEnv.set(target.declId.id, assignedType);
+        return {
+            ...cleared,
+            typeEnv: nextTypeEnv,
+        };
+    }
+    const nextAccessEnv = new Map(cleared.accessEnv ?? []);
+    nextAccessEnv.set(getAccessPathKey(target), assignedType);
+    return {
+        ...cleared,
+        accessEnv: nextAccessEnv,
+    };
+};
+//# sourceMappingURL=narrowing-environment.js.map