@tsonic/emitter 0.0.73 → 0.0.75

package/dist/core/semantic/ternary-guards.js

@@ -0,0 +1,232 @@
+/**
+ * Ternary (conditional expression) guard detection helpers.
+ *
+ * Pure detection module — extracts TernaryGuardInfo from condition expressions
+ * for use by the conditional-emitter. Lives in core/semantic to avoid a module
+ * cycle between expressions/ and statements/control/.
+ *
+ * The ternary guard path differs from the if-statement guard path in two ways:
+ * - Uses `findRuntimeUnionMemberIndices` (semantic matching) instead of
+ *   `findExactRuntimeUnionMemberIndices` (strict key matching).
+ * - Uses `buildRuntimeUnionLayout` (not `resolveRuntimeUnionFrame`) for
+ *   discriminant equality detection.
+ */
+import { getPropertyType } from "./type-resolution.js";
+import { emitRemappedLocalName } from "../format/local-names.js";
+import { resolveIteratorResultReferenceType } from "./structural-resolution.js";
+import { getCanonicalRuntimeUnionMembers, findRuntimeUnionMemberIndices, } from "./runtime-unions.js";
+import { getSemanticUnionMembers, findSemanticUnionMemberIndex, } from "./semantic-union-members.js";
+import { resolveNarrowedUnionMembers } from "./narrowed-union-resolution.js";
+import { resolveLocalTypesForReference, tryGetLiteralSet, } from "./guard-primitives.js";
+/**
+ * Try to extract ternary guard info from a type predicate call expression.
+ *
+ * Note: Uses `findRuntimeUnionMemberIndices` (semantic matching) rather than
+ * `findExactRuntimeUnionMemberIndices` (strict key matching) used by the
+ * if-statement predicate guard, because ternary inline narrowing needs the
+ * looser matching semantics.
+ */
+const tryResolveTernaryPredicateGuard = (call, context) => {
+    const narrowing = call.narrowing;
+    if (!narrowing || narrowing.kind !== "typePredicate")
+        return undefined;
+    const arg = call.arguments[narrowing.argIndex];
+    if (!arg ||
+        ("kind" in arg && arg.kind === "spread") ||
+        arg.kind !== "identifier") {
+        return undefined;
+    }
+    const originalName = arg.name;
+    const unionSourceType = arg.inferredType;
+    if (!unionSourceType)
+        return undefined;
+    // Two-phase guard detection:
+    // 1. Semantic gate — use alias-preserving member discovery to confirm
+    //    this is a union and find which semantic member the predicate targets.
+    //    This works regardless of whether moduleMap/typeAliasIndex expands aliases.
+    const semanticMembers = getSemanticUnionMembers(unionSourceType, context);
+    if (!semanticMembers)
+        return undefined;
+    const semanticIdx = findSemanticUnionMemberIndex(semanticMembers, narrowing.targetType, context);
+    if (semanticIdx === undefined)
+        return undefined;
+    // 2. Runtime member index — the emitted code uses .IsN()/.AsN() which
+    //    reference runtime carrier slot numbers. The runtime carrier may have
+    //    different member numbering if aliases are expanded. Use the runtime
+    //    member list to find the correct slot index for the matched semantic member.
+    const runtimeMembers = getCanonicalRuntimeUnionMembers(unionSourceType, context);
+    if (!runtimeMembers)
+        return undefined;
+    const runtimeIndices = findRuntimeUnionMemberIndices(runtimeMembers, narrowing.targetType, context);
+    if (runtimeIndices.length !== 1)
+        return undefined;
+    const runtimeIdx = runtimeIndices[0];
+    if (runtimeIdx === undefined)
+        return undefined;
+    const narrowedType = runtimeMembers[runtimeIdx];
+    if (!narrowedType)
+        return undefined;
+    return {
+        originalName,
+        memberN: runtimeIdx + 1,
+        narrowedType,
+        sourceType: unionSourceType,
+        escapedOrig: emitRemappedLocalName(originalName, context),
+        polarity: "positive",
+    };
+};
+/**
+ * Try to extract ternary guard info from a discriminant literal equality check.
+ *
+ * Note: Uses `buildRuntimeUnionLayout` (not `resolveRuntimeUnionFrame`) and
+ * does its own property type resolution, preserving the original ternary
+ * emission strategy which differs from the if-statement path.
+ *
+ * Accepts `emitTypeAst` as a callback to avoid importing from the root
+ * type-emitter module (which would create a layer violation).
+ */
+const tryResolveTernaryDiscriminantEqualityGuard = (expr, context, _emitTypeAst) => {
+    // Normalize `!(x.prop === lit)` to `x.prop !== lit` (and vice versa) by flipping polarity.
+    if (expr.kind === "unary" && expr.operator === "!") {
+        const inner = tryResolveTernaryDiscriminantEqualityGuard(expr.expression, context, _emitTypeAst);
+        if (!inner)
+            return undefined;
+        return {
+            ...inner,
+            polarity: inner.polarity === "positive" ? "negative" : "positive",
+        };
+    }
+    if (expr.kind !== "binary")
+        return undefined;
+    if (expr.operator !== "===" &&
+        expr.operator !== "!==" &&
+        expr.operator !== "==" &&
+        expr.operator !== "!=") {
+        return undefined;
+    }
+    const extract = (left, right) => {
+        if (left.kind !== "memberAccess")
+            return undefined;
+        if (left.isOptional)
+            return undefined;
+        if (left.isComputed)
+            return undefined;
+        if (left.object.kind !== "identifier")
+            return undefined;
+        if (typeof left.property !== "string")
+            return undefined;
+        if (right.kind !== "literal")
+            return undefined;
+        if (typeof right.value !== "string" &&
+            typeof right.value !== "number" &&
+            typeof right.value !== "boolean") {
+            return undefined;
+        }
+        return {
+            receiver: left.object,
+            propertyName: left.property,
+            literal: right.value,
+        };
+    };
+    const direct = extract(expr.left, expr.right);
+    const swapped = direct ? undefined : extract(expr.right, expr.left);
+    const match = direct ?? swapped;
+    if (!match)
+        return undefined;
+    const { receiver, propertyName, literal } = match;
+    const originalName = receiver.name;
+    if (context.narrowedBindings?.has(originalName))
+        return undefined;
+    const unionSourceType = receiver.inferredType;
+    if (!unionSourceType)
+        return undefined;
+    if (resolveIteratorResultReferenceType(unionSourceType, context)) {
+        return undefined;
+    }
+    const narrowedMembers = resolveNarrowedUnionMembers(originalName, unionSourceType, context);
+    if (!narrowedMembers)
+        return undefined;
+    const { members, candidateMemberNs } = narrowedMembers;
+    const unionArity = members.length;
+    if (unionArity < 2)
+        return undefined;
+    const matchingMembers = [];
+    for (let i = 0; i < members.length; i++) {
+        const member = members[i];
+        if (!member)
+            continue;
+        let propType;
+        if (member.kind === "objectType") {
+            const prop = member.members.find((m) => m.kind === "propertySignature" && m.name === propertyName);
+            propType = prop?.type;
+        }
+        else if (member.kind === "referenceType") {
+            const localTypes = resolveLocalTypesForReference(member, context);
+            if (!localTypes)
+                continue;
+            const lookupName = member.name.includes(".")
+                ? (member.name.split(".").pop() ?? member.name)
+                : member.name;
+            propType = getPropertyType({ ...member, name: lookupName }, propertyName, { ...context, localTypes });
+        }
+        else {
+            continue;
+        }
+        if (!propType)
+            continue;
+        const literals = tryGetLiteralSet(propType, context);
+        if (!literals)
+            continue;
+        if (literals.has(literal)) {
+            matchingMembers.push({
+                memberN: candidateMemberNs[i] ?? i + 1,
+                type: member,
+            });
+        }
+    }
+    if (matchingMembers.length !== 1)
+        return undefined;
+    const narrowedMatch = matchingMembers[0];
+    if (!narrowedMatch)
+        return undefined;
+    const isInequality = expr.operator === "!==" || expr.operator === "!=";
+    return {
+        originalName,
+        memberN: narrowedMatch.memberN,
+        narrowedType: narrowedMatch.type,
+        sourceType: unionSourceType,
+        escapedOrig: emitRemappedLocalName(originalName, context),
+        polarity: isInequality ? "negative" : "positive",
+    };
+};
+/**
+ * Try to extract ternary guard info from a condition expression.
+ * Handles type predicate calls (`isUser(x)`), negated calls (`!isUser(x)`),
+ * and discriminant literal equality (`x.kind === "circle"`).
+ * Returns guard info with polarity indicating which branch to narrow.
+ *
+ * Accepts `emitTypeAst` as a callback (threaded to discriminant equality
+ * detection via `buildRuntimeUnionLayout`) to keep this module free of
+ * upward imports into the root emitter layer.
+ */
+export const tryResolveTernaryGuard = (condition, context, emitTypeAst) => {
+    // Direct call: isUser(x) -> narrow whenTrue
+    if (condition.kind === "call") {
+        return tryResolveTernaryPredicateGuard(condition, context);
+    }
+    // Discriminant literal equality: x.kind === "circle"
+    const discr = tryResolveTernaryDiscriminantEqualityGuard(condition, context, emitTypeAst);
+    if (discr)
+        return discr;
+    // Negated call: !isUser(x) -> narrow whenFalse
+    if (condition.kind === "unary" &&
+        condition.operator === "!" &&
+        condition.expression.kind === "call") {
+        const guard = tryResolveTernaryPredicateGuard(condition.expression, context);
+        if (guard) {
+            return { ...guard, polarity: "negative" };
+        }
+    }
+    return undefined;
+};
+//# sourceMappingURL=ternary-guards.js.map

package/dist/core/semantic/ternary-guards.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ternary-guards.js","sourceRoot":"","sources":["../../../src/core/semantic/ternary-guards.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,kCAAkC,EAAE,MAAM,4BAA4B,CAAC;AAChF,OAAO,EACL,+BAA+B,EAC/B,6BAA6B,GAE9B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,uBAAuB,EACvB,4BAA4B,GAC7B,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,2BAA2B,EAAE,MAAM,gCAAgC,CAAC;AAC7E,OAAO,EACL,6BAA6B,EAC7B,gBAAgB,GACjB,MAAM,uBAAuB,CAAC;AAkB/B;;;;;;;GAOG;AACH,MAAM,+BAA+B,GAAG,CACtC,IAA6C,EAC7C,OAAuB,EACO,EAAE;IAChC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;IACjC,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvE,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC/C,IACE,CAAC,GAAG;QACJ,CAAC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC;QACxC,GAAG,CAAC,IAAI,KAAK,YAAY,EACzB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,YAAY,GAAG,GAAG,CAAC,IAAI,CAAC;IAC9B,MAAM,eAAe,GAAG,GAAG,CAAC,YAAY,CAAC;IACzC,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,6BAA6B;IAC7B,sEAAsE;IACtE,2EAA2E;IAC3E,gFAAgF;IAChF,MAAM,eAAe,GAAG,uBAAuB,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;IAC1E,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,MAAM,WAAW,GAAG,4BAA4B,CAC9C,eAAe,EACf,SAAS,CAAC,UAAU,EACpB,OAAO,CACR,CAAC;IACF,IAAI,WAAW,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAEhD,sEAAsE;IACtE,0EAA0E;IAC1E,yEAAyE;IACzE,iFAAiF;IACjF,MAAM,cAAc,GAAG,+BAA+B,CACpD,eAAe,EACf,OAAO,CACR,CAAC;IACF,IAAI,CAAC,cAAc;QAAE,OAAO,SAAS,CAAC;IAEtC,MAAM,cAAc,GAAG,6BAA6B,CAClD,cAAc,EACd,SAAS,CAAC,UAAU,EACpB,OAAO,CACR,CAAC;IACF,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAClD,MAAM,UAAU,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;IACrC,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC/C,MAAM,YAAY,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;IAChD,IAAI,CAAC,YAAY;QAAE,OAAO,SAAS,CAAC;IAEpC,OAAO;QACL,YAAY;QACZ,OAAO,EAAE,UAAU,GAAG,CAAC;QACvB,YAAY;QACZ,UAAU,EAAE,eAAe;QAC3B,WAAW,EAAE,qBAAqB,CAAC,YAAY,EAAE,OAAO,CAAC;QACzD,QAAQ,EAAE,UAAU;KACrB,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,0CAA0C,GAAG,CACjD,IAAkB,EAClB,OAAuB,EACvB,YAA6B,EACC,EAAE;IAChC,2FAA2F;IAC3F,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;QACnD,MAAM,KAAK,GAAG,0CAA0C,CACtD,IAAI,CAAC,UAAU,EACf,OAAO,EACP,YAAY,CACb,CAAC;QACF,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAC7B,OAAO;YACL,GAAG,KAAK;YACR,QAAQ,EAAE,KAAK,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU;SAClE,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAC7C,IACE,IAAI,CAAC,QAAQ,KAAK,KAAK;QACvB,IAAI,CAAC,QAAQ,KAAK,KAAK;QACvB,IAAI,CAAC,QAAQ,KAAK,IAAI;QACtB,IAAI,CAAC,QAAQ,KAAK,IAAI,EACtB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,OAAO,GAAG,CACd,IAAkB,EAClB,KAAmB,EAOP,EAAE;QACd,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc;YAAE,OAAO,SAAS,CAAC;QACnD,IAAI,IAAI,CAAC,UAAU;YAAE,OAAO,SAAS,CAAC;QACtC,IAAI,IAAI,CAAC,UAAU;YAAE,OAAO,SAAS,CAAC;QACtC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;YAAE,OAAO,SAAS,CAAC;QACxD,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QACxD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC/C,IACE,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;YAC/B,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;YAC/B,OAAO,KAAK,CAAC,KAAK,KAAK,SAAS,EAChC,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO;YACL,QAAQ,EAAE,IAAI,CAAC,MAAM;YACrB,YAAY,EAAE,IAAI,CAAC,QAAQ;YAC3B,OAAO,EAAE,KAAK,CAAC,KAAK;SACrB,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACpE,MAAM,KAAK,GAAG,MAAM,IAAI,OAAO,CAAC;IAChC,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAClD,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC;IAEnC,IAAI,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC;QAAE,OAAO,SAAS,CAAC;IAElE,MAAM,eAAe,GAAG,QAAQ,CAAC,YAAY,CAAC;IAC9C,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,IAAI,kCAAkC,CAAC,eAAe,EAAE,OAAO,CAAC,EAAE,CAAC;QACjE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,eAAe,GAAG,2BAA2B,CACjD,YAAY,EACZ,eAAe,EACf,OAAO,CACR,CAAC;IACF,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,MAAM,EAAE,OAAO,EAAE,iBAAiB,EAAE,GAAG,eAAe,CAAC;IACvD,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC;IAClC,IAAI,UAAU,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAErC,MAAM,eAAe,GACnB,EAAE,CAAC;IAEL,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,CAAC,MAAM;YAAE,SAAS;QAEtB,IAAI,QAA4B,CAAC;QAEjC,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACjC,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAC9B,CAAC,CAAC,EAAyD,EAAE,CAC3D,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CAC5D,CAAC;YACF,QAAQ,GAAG,IAAI,EAAE,IAAI,CAAC;QACxB,CAAC;aAAM,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAC3C,MAAM,UAAU,GAAG,6BAA6B,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YAClE,IAAI,CAAC,UAAU;gBAAE,SAAS;YAE1B,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAC1C,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC;gBAC/C,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;YAEhB,QAAQ,GAAG,eAAe,CACxB,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,EAC/B,YAAY,EACZ,EAAE,GAAG,OAAO,EAAE,UAAU,EAAE,CAC3B,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,SAAS;QACX,CAAC;QAED,IAAI,CAAC,QAAQ;YAAE,SAAS;QAExB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACrD,IAAI,CAAC,QAAQ;YAAE,SAAS;QACxB,IAAI,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1B,eAAe,CAAC,IAAI,CAAC;gBACnB,OAAO,EAAE,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;gBACtC,IAAI,EAAE,MAAM;aACb,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACnD,MAAM,aAAa,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,CAAC,aAAa;QAAE,OAAO,SAAS,CAAC;IAErC,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,KAAK,KAAK,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC;IAEvE,OAAO;QACL,YAAY;QACZ,OAAO,EAAE,aAAa,CAAC,OAAO;QAC9B,YAAY,EAAE,aAAa,CAAC,IAAI;QAChC,UAAU,EAAE,eAAe;QAC3B,WAAW,EAAE,qBAAqB,CAAC,YAAY,EAAE,OAAO,CAAC;QACzD,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU;KACjD,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,SAAuB,EACvB,OAAuB,EACvB,WAA4B,EACE,EAAE;IAChC,4CAA4C;IAC5C,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC9B,OAAO,+BAA+B,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC7D,CAAC;IAED,qDAAqD;IACrD,MAAM,KAAK,GAAG,0CAA0C,CACtD,SAAS,EACT,OAAO,EACP,WAAW,CACZ,CAAC;IACF,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC;IAExB,+CAA+C;IAC/C,IACE,SAAS,CAAC,IAAI,KAAK,OAAO;QAC1B,SAAS,CAAC,QAAQ,KAAK,GAAG;QAC1B,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM,EACpC,CAAC;QACD,MAAM,KAAK,GAAG,+BAA+B,CAC3C,SAAS,CAAC,UAAU,EACpB,OAAO,CACR,CAAC;QACF,IAAI,KAAK,EAAE,CAAC;YACV,OAAO,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;QAC5C,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}

package/dist/core/semantic/transparent-expressions.d.ts

@@ -0,0 +1,6 @@
+import type { IrExpression } from "@tsonic/frontend";
+export declare const unwrapTransparentExpression: (expr: IrExpression) => IrExpression;
+export declare const unwrapTransparentNarrowingTarget: (expr: IrExpression) => Extract<IrExpression, {
+    kind: "identifier" | "memberAccess";
+}> | undefined;
+//# sourceMappingURL=transparent-expressions.d.ts.map

package/dist/core/semantic/transparent-expressions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"transparent-expressions.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/transparent-expressions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAErD,eAAO,MAAM,2BAA2B,GACtC,MAAM,YAAY,KACjB,YAUF,CAAC;AAEF,eAAO,MAAM,gCAAgC,GAC3C,MAAM,YAAY,KAEhB,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,GAAG,cAAc,CAAA;CAAE,CAAC,GAC9D,SAKH,CAAC"}

package/dist/core/semantic/transparent-expressions.js

@@ -0,0 +1,18 @@
+export const unwrapTransparentExpression = (expr) => {
+    switch (expr.kind) {
+        case "typeAssertion":
+        case "numericNarrowing":
+        case "asinterface":
+        case "trycast":
+            return unwrapTransparentExpression(expr.expression);
+        default:
+            return expr;
+    }
+};
+export const unwrapTransparentNarrowingTarget = (expr) => {
+    const unwrapped = unwrapTransparentExpression(expr);
+    return unwrapped.kind === "identifier" || unwrapped.kind === "memberAccess"
+        ? unwrapped
+        : undefined;
+};
+//# sourceMappingURL=transparent-expressions.js.map

package/dist/core/semantic/transparent-expressions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"transparent-expressions.js","sourceRoot":"","sources":["../../../src/core/semantic/transparent-expressions.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,IAAkB,EACJ,EAAE;IAChB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe,CAAC;QACrB,KAAK,kBAAkB,CAAC;QACxB,KAAK,aAAa,CAAC;QACnB,KAAK,SAAS;YACZ,OAAO,2BAA2B,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACtD;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAC9C,IAAkB,EAGN,EAAE;IACd,MAAM,SAAS,GAAG,2BAA2B,CAAC,IAAI,CAAC,CAAC;IACpD,OAAO,SAAS,CAAC,IAAI,KAAK,YAAY,IAAI,SAAS,CAAC,IAAI,KAAK,cAAc;QACzE,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC,CAAC"}

package/dist/core/semantic/truthiness-evaluation.d.ts

@@ -0,0 +1,58 @@
+/**
+ * Truthiness evaluation helpers (AST construction + runtime truthiness)
+ *
+ * This module provides:
+ * - AST construction helpers for boolean-context lowering
+ * - The runtime truthiness switch expression builder
+ * - Type coercion and analysis helpers for boolean contexts
+ * - The `isBooleanType` predicate
+ *
+ * IMPORTANT:
+ * - This operates on IR + emitted AST; it must not import emitExpressionAst to avoid cycles.
+ */
+import type { IrExpression, IrType } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+import type { CSharpExpressionAst, CSharpPatternAst, CSharpPredefinedTypeKeyword, CSharpTypeAst } from "../format/backend-ast/types.js";
+export declare const stripGlobalPrefix: (name: string) => string;
+/**
+ * Coerce CLR primitive reference types (System.Boolean, System.Int32, ...) to IR primitiveType.
+ *
+ * This prevents boolean-context lowering from emitting `x != null` for CLR value types,
+ * which is both semantically wrong and can silently miscompile (it compiles with boxing).
+ */
+export declare const coerceClrPrimitiveToPrimitiveType: (type: IrType) => IrType | undefined;
+/**
+ * Expressions that are always boolean in JS/TS, even if the IR is missing inferredType.
+ *
+ * This makes boolean-context emission robust: comparisons and `!expr` are already valid
+ * C# conditions and should not be rewritten to `!= null` fallbacks.
+ */
+export declare const isInherentlyBooleanExpression: (expr: IrExpression) => boolean;
+/** Wrap an AST expression in parentheses if it has lower precedence than `is` (relational = 10). */
+export declare const wrapForIs: (ast: CSharpExpressionAst) => CSharpExpressionAst;
+export declare const identifierExpr: (name: string) => CSharpExpressionAst;
+export declare const typeReferenceExpr: (type: CSharpTypeAst) => CSharpExpressionAst;
+export declare const predefinedType: (keyword: CSharpPredefinedTypeKeyword) => CSharpTypeAst;
+export declare const identifierType: (name: string) => CSharpTypeAst;
+export declare const castExpr: (type: CSharpTypeAst, expression: CSharpExpressionAst) => CSharpExpressionAst;
+export declare const typePattern: (type: CSharpTypeAst) => CSharpPatternAst;
+export declare const notEqualsExpr: (left: CSharpExpressionAst, right: CSharpExpressionAst) => CSharpExpressionAst;
+export declare const andExpr: (left: CSharpExpressionAst, right: CSharpExpressionAst) => CSharpExpressionAst;
+export declare const notExpr: (operand: CSharpExpressionAst) => CSharpExpressionAst;
+export declare const staticMemberExpr: (typeExpr: CSharpExpressionAst, memberName: string) => CSharpExpressionAst;
+export declare const callExpr: (callee: CSharpExpressionAst, args: readonly CSharpExpressionAst[]) => CSharpExpressionAst;
+export declare const makeSwitchArm: (pattern: CSharpPatternAst, expression: CSharpExpressionAst) => {
+    readonly pattern: CSharpPatternAst;
+    readonly expression: CSharpExpressionAst;
+};
+export declare const buildTruthySwitchAst: (tmp: string) => CSharpExpressionAst;
+export declare const emitRuntimeTruthinessConditionAst: (emittedAst: CSharpExpressionAst, context: EmitterContext) => [CSharpExpressionAst, EmitterContext];
+export declare const resolveLocalTypeAlias: (type: IrType, context: EmitterContext) => IrType;
+export declare const getLiteralUnionBasePrimitive: (types: readonly IrType[]) => "string" | "number" | "boolean" | undefined;
+/**
+ * Whether a type is boolean.
+ *
+ * Used by callers that need a fast check (e.g., logical operator selection).
+ */
+export declare const isBooleanType: (type: IrType | undefined) => boolean;
+//# sourceMappingURL=truthiness-evaluation.d.ts.map

package/dist/core/semantic/truthiness-evaluation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"truthiness-evaluation.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/truthiness-evaluation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAUrD,OAAO,KAAK,EACV,mBAAmB,EACnB,gBAAgB,EAChB,2BAA2B,EAC3B,aAAa,EACd,MAAM,gCAAgC,CAAC;AAExC,eAAO,MAAM,iBAAiB,GAAI,MAAM,MAAM,KAAG,MACmB,CAAC;AAErE;;;;;GAKG;AACH,eAAO,MAAM,iCAAiC,GAC5C,MAAM,MAAM,KACX,MAAM,GAAG,SA+BX,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,6BAA6B,GAAI,MAAM,YAAY,KAAG,OAqBlE,CAAC;AAMF,oGAAoG;AACpG,eAAO,MAAM,SAAS,GAAI,KAAK,mBAAmB,KAAG,mBA0BpD,CAAC;AAEF,eAAO,MAAM,cAAc,GAAI,MAAM,MAAM,KAAG,mBAG5C,CAAC;AAEH,eAAO,MAAM,iBAAiB,GAC5B,MAAM,aAAa,KAClB,mBAGD,CAAC;AAEH,eAAO,MAAM,cAAc,GACzB,SAAS,2BAA2B,KACnC,aAGD,CAAC;AAEH,eAAO,MAAM,cAAc,GAAI,MAAM,MAAM,KAAG,aACnB,CAAC;AAE5B,eAAO,MAAM,QAAQ,GACnB,MAAM,aAAa,EACnB,YAAY,mBAAmB,KAC9B,mBAID,CAAC;AAEH,eAAO,MAAM,WAAW,GAAI,MAAM,aAAa,KAAG,gBAGhD,CAAC;AAEH,eAAO,MAAM,aAAa,GACxB,MAAM,mBAAmB,EACzB,OAAO,mBAAmB,KACzB,mBAKD,CAAC;AAEH,eAAO,MAAM,OAAO,GAClB,MAAM,mBAAmB,EACzB,OAAO,mBAAmB,KACzB,mBAKD,CAAC;AAEH,eAAO,MAAM,OAAO,GAAI,SAAS,mBAAmB,KAAG,mBAIrD,CAAC;AAEH,eAAO,MAAM,gBAAgB,GAC3B,UAAU,mBAAmB,EAC7B,YAAY,MAAM,KACjB,mBAID,CAAC;AAEH,eAAO,MAAM,QAAQ,GACnB,QAAQ,mBAAmB,EAC3B,MAAM,SAAS,mBAAmB,EAAE,KACnC,mBAID,CAAC;AAEH,eAAO,MAAM,aAAa,GACxB,SAAS,gBAAgB,EACzB,YAAY,mBAAmB,KAC9B;IACD,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IACnC,QAAQ,CAAC,UAAU,EAAE,mBAAmB,CAAC;CACb,CAAC;AAE/B,eAAO,MAAM,oBAAoB,GAAI,KAAK,MAAM,KAAG,mBA8GlD,CAAC;AAMF,eAAO,MAAM,iCAAiC,GAC5C,YAAY,mBAAmB,EAC/B,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAuCtC,CAAC;AAMF,eAAO,MAAM,qBAAqB,GAChC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,MA2BF,CAAC;AAEF,eAAO,MAAM,4BAA4B,GACvC,OAAO,SAAS,MAAM,EAAE,KACvB,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,SAkBpC,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,aAAa,GAAI,MAAM,MAAM,GAAG,SAAS,KAAG,OAUxD,CAAC"}

package/dist/core/semantic/truthiness-evaluation.js

@@ -0,0 +1,295 @@
+/**
+ * Truthiness evaluation helpers (AST construction + runtime truthiness)
+ *
+ * This module provides:
+ * - AST construction helpers for boolean-context lowering
+ * - The runtime truthiness switch expression builder
+ * - Type coercion and analysis helpers for boolean contexts
+ * - The `isBooleanType` predicate
+ *
+ * IMPORTANT:
+ * - This operates on IR + emitted AST; it must not import emitExpressionAst to avoid cycles.
+ */
+import { allocateLocalName } from "../format/local-names.js";
+import { substituteTypeArgs } from "./type-resolution.js";
+import { booleanLiteral, charLiteral, decimalIntegerLiteral, identifierType as buildIdentifierType, numericLiteral, } from "../format/backend-ast/builders.js";
+export const stripGlobalPrefix = (name) => name.startsWith("global::") ? name.slice("global::".length) : name;
+/**
+ * Coerce CLR primitive reference types (System.Boolean, System.Int32, ...) to IR primitiveType.
+ *
+ * This prevents boolean-context lowering from emitting `x != null` for CLR value types,
+ * which is both semantically wrong and can silently miscompile (it compiles with boxing).
+ */
+export const coerceClrPrimitiveToPrimitiveType = (type) => {
+    if (type.kind !== "referenceType")
+        return undefined;
+    const resolved = type.resolvedClrType ?? type.typeId?.clrName;
+    if (!resolved)
+        return undefined;
+    const clr = stripGlobalPrefix(resolved);
+    switch (clr) {
+        case "System.Boolean":
+        case "bool":
+            return { kind: "primitiveType", name: "boolean" };
+        case "System.String":
+        case "string":
+            return { kind: "primitiveType", name: "string" };
+        case "System.Int32":
+        case "int":
+            return { kind: "primitiveType", name: "int" };
+        case "System.Double":
+        case "double":
+            return { kind: "primitiveType", name: "number" };
+        case "System.Char":
+        case "char":
+            return { kind: "primitiveType", name: "char" };
+    }
+    return undefined;
+};
+/**
+ * Expressions that are always boolean in JS/TS, even if the IR is missing inferredType.
+ *
+ * This makes boolean-context emission robust: comparisons and `!expr` are already valid
+ * C# conditions and should not be rewritten to `!= null` fallbacks.
+ */
+export const isInherentlyBooleanExpression = (expr) => {
+    if (expr.kind === "binary") {
+        return (expr.operator === "==" ||
+            expr.operator === "!=" ||
+            expr.operator === "===" ||
+            expr.operator === "!==" ||
+            expr.operator === "<" ||
+            expr.operator === ">" ||
+            expr.operator === "<=" ||
+            expr.operator === ">=" ||
+            expr.operator === "instanceof" ||
+            expr.operator === "in");
+    }
+    if (expr.kind === "unary") {
+        return expr.operator === "!";
+    }
+    return false;
+};
+// ============================================================
+// AST construction helpers
+// ============================================================
+/** Wrap an AST expression in parentheses if it has lower precedence than `is` (relational = 10). */
+export const wrapForIs = (ast) => {
+    switch (ast.kind) {
+        case "assignmentExpression":
+        case "conditionalExpression":
+        case "lambdaExpression":
+        case "throwExpression":
+            return { kind: "parenthesizedExpression", expression: ast };
+        case "binaryExpression": {
+            // Binary operators with precedence < relational (10) need wrapping
+            switch (ast.operatorToken) {
+                case "??":
+                case "||":
+                case "&&":
+                case "|":
+                case "^":
+                case "&":
+                case "==":
+                case "!=":
+                    return { kind: "parenthesizedExpression", expression: ast };
+                default:
+                    return ast;
+            }
+        }
+        default:
+            return ast;
+    }
+};
+export const identifierExpr = (name) => ({
+    kind: "identifierExpression",
+    identifier: name,
+});
+export const typeReferenceExpr = (type) => ({
+    kind: "typeReferenceExpression",
+    type,
+});
+export const predefinedType = (keyword) => ({
+    kind: "predefinedType",
+    keyword,
+});
+export const identifierType = (name) => buildIdentifierType(name);
+export const castExpr = (type, expression) => ({
+    kind: "castExpression",
+    type,
+    expression,
+});
+export const typePattern = (type) => ({
+    kind: "typePattern",
+    type,
+});
+export const notEqualsExpr = (left, right) => ({
+    kind: "binaryExpression",
+    operatorToken: "!=",
+    left,
+    right,
+});
+export const andExpr = (left, right) => ({
+    kind: "binaryExpression",
+    operatorToken: "&&",
+    left,
+    right,
+});
+export const notExpr = (operand) => ({
+    kind: "prefixUnaryExpression",
+    operatorToken: "!",
+    operand,
+});
+export const staticMemberExpr = (typeExpr, memberName) => ({
+    kind: "memberAccessExpression",
+    expression: typeExpr,
+    memberName,
+});
+export const callExpr = (callee, args) => ({
+    kind: "invocationExpression",
+    expression: callee,
+    arguments: args,
+});
+export const makeSwitchArm = (pattern, expression) => ({ pattern, expression });
+export const buildTruthySwitchAst = (tmp) => {
+    const tmpExpr = identifierExpr(tmp);
+    const typedNonZeroArm = (type, zeroExpr) => makeSwitchArm(typePattern(type), notEqualsExpr(castExpr(type, tmpExpr), zeroExpr));
+    const floatLikeArm = (type, isNaNStaticTypeName, zeroExpr) => {
+        const casted = castExpr(type, tmpExpr);
+        const nonZero = notEqualsExpr(casted, zeroExpr);
+        const isNaNCall = callExpr(staticMemberExpr(typeReferenceExpr(identifierType(isNaNStaticTypeName)), "IsNaN"), [castExpr(type, tmpExpr)]);
+        return makeSwitchArm(typePattern(type), andExpr(nonZero, notExpr(isNaNCall)));
+    };
+    return {
+        kind: "switchExpression",
+        governingExpression: tmpExpr,
+        arms: [
+            makeSwitchArm(typePattern(predefinedType("bool")), castExpr(predefinedType("bool"), tmpExpr)),
+            makeSwitchArm(typePattern(predefinedType("string")), notEqualsExpr({
+                kind: "memberAccessExpression",
+                expression: castExpr(predefinedType("string"), tmpExpr),
+                memberName: "Length",
+            }, decimalIntegerLiteral(0))),
+            typedNonZeroArm(predefinedType("sbyte"), decimalIntegerLiteral(0)),
+            typedNonZeroArm(predefinedType("byte"), decimalIntegerLiteral(0)),
+            typedNonZeroArm(predefinedType("short"), decimalIntegerLiteral(0)),
+            typedNonZeroArm(predefinedType("ushort"), decimalIntegerLiteral(0)),
+            typedNonZeroArm(predefinedType("int"), decimalIntegerLiteral(0)),
+            typedNonZeroArm(predefinedType("uint"), numericLiteral({ base: "decimal", wholePart: "0", suffix: "U" })),
+            typedNonZeroArm(predefinedType("long"), numericLiteral({ base: "decimal", wholePart: "0", suffix: "L" })),
+            typedNonZeroArm(predefinedType("ulong"), numericLiteral({ base: "decimal", wholePart: "0", suffix: "UL" })),
+            typedNonZeroArm(predefinedType("nint"), decimalIntegerLiteral(0)),
+            typedNonZeroArm(predefinedType("nuint"), decimalIntegerLiteral(0)),
+            typedNonZeroArm(identifierType("global::System.Int128"), decimalIntegerLiteral(0)),
+            typedNonZeroArm(identifierType("global::System.UInt128"), decimalIntegerLiteral(0)),
+            floatLikeArm(identifierType("global::System.Half"), "global::System.Half", castExpr(identifierType("global::System.Half"), decimalIntegerLiteral(0))),
+            floatLikeArm(predefinedType("float"), "global::System.Single", numericLiteral({ base: "decimal", wholePart: "0", suffix: "f" })),
+            floatLikeArm(predefinedType("double"), "global::System.Double", numericLiteral({ base: "decimal", wholePart: "0", suffix: "d" })),
+            typedNonZeroArm(predefinedType("decimal"), numericLiteral({ base: "decimal", wholePart: "0", suffix: "m" })),
+            typedNonZeroArm(predefinedType("char"), charLiteral("\0")),
+            makeSwitchArm({ kind: "discardPattern" }, booleanLiteral(true)),
+        ],
+    };
+};
+// ============================================================
+// Runtime truthiness (AST-native)
+// ============================================================
+export const emitRuntimeTruthinessConditionAst = (emittedAst, context) => {
+    // Use a pattern variable to evaluate the operand exactly once, then apply JS-like truthiness.
+    //
+    // This is the airplane-grade fallback when we cannot trust inferredType:
+    // - Never emit `x != null` for unknowns (silently miscompiles boxed value types like bool/int).
+    // - Use runtime type checks to preserve semantics deterministically.
+    const nextId = (context.tempVarId ?? 0) + 1;
+    const ctxWithId = { ...context, tempVarId: nextId };
+    const alloc = allocateLocalName(`__tsonic_truthy_${nextId}`, ctxWithId);
+    const tmp = alloc.emittedName;
+    // Build: (operand is object __tmp && (__tmp switch { ... }))
+    const isObjectExpr = {
+        kind: "isExpression",
+        expression: wrapForIs(emittedAst),
+        pattern: {
+            kind: "declarationPattern",
+            type: { kind: "predefinedType", keyword: "object" },
+            designation: tmp,
+        },
+    };
+    const switchExpr = {
+        kind: "parenthesizedExpression",
+        expression: buildTruthySwitchAst(tmp),
+    };
+    return [
+        {
+            kind: "parenthesizedExpression",
+            expression: {
+                kind: "binaryExpression",
+                operatorToken: "&&",
+                left: isObjectExpr,
+                right: switchExpr,
+            },
+        },
+        alloc.context,
+    ];
+};
+// ============================================================
+// Type resolution helpers
+// ============================================================
+export const resolveLocalTypeAlias = (type, context) => {
+    let current = type;
+    const visited = new Set();
+    while (current.kind === "referenceType") {
+        const name = current.name;
+        if (visited.has(name))
+            break;
+        visited.add(name);
+        const local = context.localTypes?.get(name);
+        if (!local || local.kind !== "typeAlias")
+            break;
+        // If the alias is generic, substitute type arguments when provided.
+        if (local.typeParameters.length > 0) {
+            if (!current.typeArguments || current.typeArguments.length === 0)
+                break;
+            current = substituteTypeArgs(local.type, local.typeParameters, current.typeArguments);
+            continue;
+        }
+        current = local.type;
+    }
+    return current;
+};
+export const getLiteralUnionBasePrimitive = (types) => {
+    let base;
+    for (const t of types) {
+        if (t.kind !== "literalType")
+            return undefined;
+        const v = t.value;
+        const next = typeof v === "string"
+            ? "string"
+            : typeof v === "number"
+                ? "number"
+                : typeof v === "boolean"
+                    ? "boolean"
+                    : undefined;
+        if (!next)
+            return undefined;
+        if (!base)
+            base = next;
+        else if (base !== next)
+            return undefined;
+    }
+    return base;
+};
+/**
+ * Whether a type is boolean.
+ *
+ * Used by callers that need a fast check (e.g., logical operator selection).
+ */
+export const isBooleanType = (type) => {
+    if (!type)
+        return false;
+    if (type.kind === "primitiveType") {
+        return type.name === "boolean";
+    }
+    const coerced = coerceClrPrimitiveToPrimitiveType(type);
+    return (!!coerced && coerced.kind === "primitiveType" && coerced.name === "boolean");
+};
+//# sourceMappingURL=truthiness-evaluation.js.map

package/dist/core/semantic/truthiness-evaluation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"truthiness-evaluation.js","sourceRoot":"","sources":["../../../src/core/semantic/truthiness-evaluation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EACL,cAAc,EACd,WAAW,EACX,qBAAqB,EACrB,cAAc,IAAI,mBAAmB,EACrC,cAAc,GACf,MAAM,mCAAmC,CAAC;AAQ3C,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,IAAY,EAAU,EAAE,CACxD,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAErE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,IAAY,EACQ,EAAE;IACtB,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,SAAS,CAAC;IAEpD,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,IAAI,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC;IAC9D,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAEhC,MAAM,GAAG,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IAExC,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,gBAAgB,CAAC;QACtB,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAY,CAAC;QAE9D,KAAK,eAAe,CAAC;QACrB,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAY,CAAC;QAE7D,KAAK,cAAc,CAAC;QACpB,KAAK,KAAK;YACR,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAY,CAAC;QAE1D,KAAK,eAAe,CAAC;QACrB,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAY,CAAC;QAE7D,KAAK,aAAa,CAAC;QACnB,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAY,CAAC;IAC7D,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC,IAAkB,EAAW,EAAE;IAC3E,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,OAAO,CACL,IAAI,CAAC,QAAQ,KAAK,IAAI;YACtB,IAAI,CAAC,QAAQ,KAAK,IAAI;YACtB,IAAI,CAAC,QAAQ,KAAK,KAAK;YACvB,IAAI,CAAC,QAAQ,KAAK,KAAK;YACvB,IAAI,CAAC,QAAQ,KAAK,GAAG;YACrB,IAAI,CAAC,QAAQ,KAAK,GAAG;YACrB,IAAI,CAAC,QAAQ,KAAK,IAAI;YACtB,IAAI,CAAC,QAAQ,KAAK,IAAI;YACtB,IAAI,CAAC,QAAQ,KAAK,YAAY;YAC9B,IAAI,CAAC,QAAQ,KAAK,IAAI,CACvB,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC,QAAQ,KAAK,GAAG,CAAC;IAC/B,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,+DAA+D;AAC/D,2BAA2B;AAC3B,+DAA+D;AAE/D,oGAAoG;AACpG,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,GAAwB,EAAuB,EAAE;IACzE,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,sBAAsB,CAAC;QAC5B,KAAK,uBAAuB,CAAC;QAC7B,KAAK,kBAAkB,CAAC;QACxB,KAAK,iBAAiB;YACpB,OAAO,EAAE,IAAI,EAAE,yBAAyB,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;QAC9D,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,mEAAmE;YACnE,QAAQ,GAAG,CAAC,aAAa,EAAE,CAAC;gBAC1B,KAAK,IAAI,CAAC;gBACV,KAAK,IAAI,CAAC;gBACV,KAAK,IAAI,CAAC;gBACV,KAAK,GAAG,CAAC;gBACT,KAAK,GAAG,CAAC;gBACT,KAAK,GAAG,CAAC;gBACT,KAAK,IAAI,CAAC;gBACV,KAAK,IAAI;oBACP,OAAO,EAAE,IAAI,EAAE,yBAAyB,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;gBAC9D;oBACE,OAAO,GAAG,CAAC;YACf,CAAC;QACH,CAAC;QACD;YACE,OAAO,GAAG,CAAC;IACf,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,IAAY,EAAuB,EAAE,CAAC,CAAC;IACpE,IAAI,EAAE,sBAAsB;IAC5B,UAAU,EAAE,IAAI;CACjB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,IAAmB,EACE,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,yBAAyB;IAC/B,IAAI;CACL,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,OAAoC,EACrB,EAAE,CAAC,CAAC;IACnB,IAAI,EAAE,gBAAgB;IACtB,OAAO;CACR,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,IAAY,EAAiB,EAAE,CAC5D,mBAAmB,CAAC,IAAI,CAAC,CAAC;AAE5B,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,IAAmB,EACnB,UAA+B,EACV,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,gBAAgB;IACtB,IAAI;IACJ,UAAU;CACX,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,IAAmB,EAAoB,EAAE,CAAC,CAAC;IACrE,IAAI,EAAE,aAAa;IACnB,IAAI;CACL,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,IAAyB,EACzB,KAA0B,EACL,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,kBAAkB;IACxB,aAAa,EAAE,IAAI;IACnB,IAAI;IACJ,KAAK;CACN,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,OAAO,GAAG,CACrB,IAAyB,EACzB,KAA0B,EACL,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,kBAAkB;IACxB,aAAa,EAAE,IAAI;IACnB,IAAI;IACJ,KAAK;CACN,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,OAA4B,EAAuB,EAAE,CAAC,CAAC;IAC7E,IAAI,EAAE,uBAAuB;IAC7B,aAAa,EAAE,GAAG;IAClB,OAAO;CACR,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,QAA6B,EAC7B,UAAkB,EACG,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,wBAAwB;IAC9B,UAAU,EAAE,QAAQ;IACpB,UAAU;CACX,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,MAA2B,EAC3B,IAAoC,EACf,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,sBAAsB;IAC5B,UAAU,EAAE,MAAM;IAClB,SAAS,EAAE,IAAI;CAChB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,OAAyB,EACzB,UAA+B,EAI/B,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC;AAE/B,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,GAAW,EAAuB,EAAE;IACvE,MAAM,OAAO,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IAEpC,MAAM,eAAe,GAAG,CACtB,IAAmB,EACnB,QAA6B,EAI7B,EAAE,CACF,aAAa,CACX,WAAW,CAAC,IAAI,CAAC,EACjB,aAAa,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,QAAQ,CAAC,CACjD,CAAC;IAEJ,MAAM,YAAY,GAAG,CACnB,IAAmB,EACnB,mBAA2B,EAC3B,QAA6B,EAI7B,EAAE;QACF,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACvC,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAChD,MAAM,SAAS,GAAG,QAAQ,CACxB,gBAAgB,CACd,iBAAiB,CAAC,cAAc,CAAC,mBAAmB,CAAC,CAAC,EACtD,OAAO,CACR,EACD,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAC1B,CAAC;QACF,OAAO,aAAa,CAClB,WAAW,CAAC,IAAI,CAAC,EACjB,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,CACrC,CAAC;IACJ,CAAC,CAAC;IAEF,OAAO;QACL,IAAI,EAAE,kBAAkB;QACxB,mBAAmB,EAAE,OAAO;QAC5B,IAAI,EAAE;YACJ,aAAa,CACX,WAAW,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,EACnC,QAAQ,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAC1C;YACD,aAAa,CACX,WAAW,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,EACrC,aAAa,CACX;gBACE,IAAI,EAAE,wBAAwB;gBAC9B,UAAU,EAAE,QAAQ,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;gBACvD,UAAU,EAAE,QAAQ;aACrB,EACD,qBAAqB,CAAC,CAAC,CAAC,CACzB,CACF;YACD,eAAe,CAAC,cAAc,CAAC,OAAO,CAAC,EAAE,qBAAqB,CAAC,CAAC,CAAC,CAAC;YAClE,eAAe,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,qBAAqB,CAAC,CAAC,CAAC,CAAC;YACjE,eAAe,CAAC,cAAc,CAAC,OAAO,CAAC,EAAE,qBAAqB,CAAC,CAAC,CAAC,CAAC;YAClE,eAAe,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,qBAAqB,CAAC,CAAC,CAAC,CAAC;YACnE,eAAe,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,qBAAqB,CAAC,CAAC,CAAC,CAAC;YAChE,eAAe,CACb,cAAc,CAAC,MAAM,CAAC,EACtB,cAAc,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CACjE;YACD,eAAe,CACb,cAAc,CAAC,MAAM,CAAC,EACtB,cAAc,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CACjE;YACD,eAAe,CACb,cAAc,CAAC,OAAO,CAAC,EACvB,cAAc,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAClE;YACD,eAAe,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,qBAAqB,CAAC,CAAC,CAAC,CAAC;YACjE,eAAe,CAAC,cAAc,CAAC,OAAO,CAAC,EAAE,qBAAqB,CAAC,CAAC,CAAC,CAAC;YAClE,eAAe,CACb,cAAc,CAAC,uBAAuB,CAAC,EACvC,qBAAqB,CAAC,CAAC,CAAC,CACzB;YACD,eAAe,CACb,cAAc,CAAC,wBAAwB,CAAC,EACxC,qBAAqB,CAAC,CAAC,CAAC,CACzB;YACD,YAAY,CACV,cAAc,CAAC,qBAAqB,CAAC,EACrC,qBAAqB,EACrB,QAAQ,CACN,cAAc,CAAC,qBAAqB,CAAC,EACrC,qBAAqB,CAAC,CAAC,CAAC,CACzB,CACF;YACD,YAAY,CACV,cAAc,CAAC,OAAO,CAAC,EACvB,uBAAuB,EACvB,cAAc,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CACjE;YACD,YAAY,CACV,cAAc,CAAC,QAAQ,CAAC,EACxB,uBAAuB,EACvB,cAAc,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CACjE;YACD,eAAe,CACb,cAAc,CAAC,SAAS,CAAC,EACzB,cAAc,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CACjE;YACD,eAAe,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;YAC1D,aAAa,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,cAAc,CAAC,IAAI,CAAC,CAAC;SAChE;KACF,CAAC;AACJ,CAAC,CAAC;AAEF,+DAA+D;AAC/D,kCAAkC;AAClC,+DAA+D;AAE/D,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,UAA+B,EAC/B,OAAuB,EACgB,EAAE;IACzC,8FAA8F;IAC9F,EAAE;IACF,yEAAyE;IACzE,gGAAgG;IAChG,qEAAqE;IACrE,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAmB,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IACpE,MAAM,KAAK,GAAG,iBAAiB,CAAC,mBAAmB,MAAM,EAAE,EAAE,SAAS,CAAC,CAAC;IACxE,MAAM,GAAG,GAAG,KAAK,CAAC,WAAW,CAAC;IAE9B,6DAA6D;IAC7D,MAAM,YAAY,GAAwB;QACxC,IAAI,EAAE,cAAc;QACpB,UAAU,EAAE,SAAS,CAAC,UAAU,CAAC;QACjC,OAAO,EAAE;YACP,IAAI,EAAE,oBAAoB;YAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;YACnD,WAAW,EAAE,GAAG;SACjB;KACF,CAAC;IAEF,MAAM,UAAU,GAAwB;QACtC,IAAI,EAAE,yBAAyB;QAC/B,UAAU,EAAE,oBAAoB,CAAC,GAAG,CAAC;KACtC,CAAC;IAEF,OAAO;QACL;YACE,IAAI,EAAE,yBAAyB;YAC/B,UAAU,EAAE;gBACV,IAAI,EAAE,kBAAkB;gBACxB,aAAa,EAAE,IAAI;gBACnB,IAAI,EAAE,YAAY;gBAClB,KAAK,EAAE,UAAU;aAClB;SACF;QACD,KAAK,CAAC,OAAO;KACd,CAAC;AACJ,CAAC,CAAC;AAEF,+DAA+D;AAC/D,0BAA0B;AAC1B,+DAA+D;AAE/D,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAY,EACZ,OAAuB,EACf,EAAE;IACV,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAElC,OAAO,OAAO,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;QAC1B,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,MAAM;QAC7B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAElB,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW;YAAE,MAAM;QAEhD,oEAAoE;QACpE,IAAI,KAAK,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpC,IAAI,CAAC,OAAO,CAAC,aAAa,IAAI,OAAO,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;gBAAE,MAAM;YACxE,OAAO,GAAG,kBAAkB,CAC1B,KAAK,CAAC,IAAI,EACV,KAAK,CAAC,cAAc,EACpB,OAAO,CAAC,aAAa,CACtB,CAAC;YACF,SAAS;QACX,CAAC;QAED,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC;IACvB,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,KAAwB,EACqB,EAAE;IAC/C,IAAI,IAAiD,CAAC;IACtD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa;YAAE,OAAO,SAAS,CAAC;QAC/C,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;QAClB,MAAM,IAAI,GACR,OAAO,CAAC,KAAK,QAAQ;YACnB,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ;gBACrB,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,OAAO,CAAC,KAAK,SAAS;oBACtB,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC,SAAS,CAAC;QACpB,IAAI,CAAC,IAAI;YAAE,OAAO,SAAS,CAAC;QAC5B,IAAI,CAAC,IAAI;YAAE,IAAI,GAAG,IAAI,CAAC;aAClB,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,SAAS,CAAC;IAC3C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAwB,EAAW,EAAE;IACjE,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;IACjC,CAAC;IAED,MAAM,OAAO,GAAG,iCAAiC,CAAC,IAAI,CAAC,CAAC;IACxD,OAAO,CACL,CAAC,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,eAAe,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,CAC5E,CAAC;AACJ,CAAC,CAAC"}