@scriptc/compiler 0.2.4 → 0.2.6

package/dist/frontend/lowering/coercions/structural.js

@@ -0,0 +1,616 @@
+import { dynUndefinedExpr, varRef } from "../../../ir/build.js";
+import { buildArrayConversion } from "./builders.js";
+import { InternalCompilerError } from "../../../errors.js";
+import { BOOL, DYN, F64, STRING, UNDEFINED_T } from "../../../ir/ir.js";
+import { typeKey } from "../../type-mapper.js";
+import { findStaticOn, findGenericStaticOn } from "../lower-classes.js";
+import { lowerRecordOvfCaptureHelper } from "../containers/indexed-objects.js";
+/** Convert structural values by copying their supported fields or elements.
+ * Unlike JavaScript width subtyping, these conversions create fresh storage
+ * (SEMANTICS.md). Decline pairs with no validated conversion. */
+export function widthCoerce(lowerer, expr, expected) {
+    if (expected.kind === "record" && expr.type.kind === "record") {
+        // Index-signature pairs reshape through the overflow CAPTURE helper
+        // (the `Object.fromEntries(e) as ModelPricing` pattern — declared
+        // collisions validate at runtime); plain shapes keep the field-copy
+        // width helper. Each declines the other's shapes.
+        const helper = lowerer.recordWidthHelper(expr.type.shapeId, expected.shapeId, expr.loc) ??
+            lowerRecordOvfCaptureHelper(lowerer, expr.type.shapeId, expected.shapeId, expr.loc);
+        if (!helper)
+            return null;
+        return { kind: "call", callee: helper, args: [expr], type: expected, loc: expr.loc };
+    }
+    // A CLASS INSTANCE flowing into a record slot (`new Point(0, 0)` into
+    // `{ x: number; y: number }` — tsc's structural view of classes): the
+    // same field-projecting copy, each target field read off the instance.
+    if (expected.kind === "record" && expr.type.kind === "object") {
+        const helper = lowerer.objRecordWidthHelper(expr.type.className, expected.shapeId, expr.loc);
+        if (!helper)
+            return null;
+        return { kind: "call", callee: helper, args: [expr], type: expected, loc: expr.loc };
+    }
+    // A RECORD flowing into a class-instance slot (`{x: 0, y: 0}` into
+    // `A.Point` — the parameter-property data-class pattern): construction
+    // IS the projection when the constructor is nothing but parameter
+    // properties (recordToClassPlan's gates).
+    if (expected.kind === "object" && expr.type.kind === "record") {
+        const helper = lowerer.recordClassWidthHelper(expr.type.shapeId, expected.className, expr.loc);
+        if (!helper)
+            return null;
+        return { kind: "call", callee: helper, args: [expr], type: expected, loc: expr.loc };
+    }
+    // A CLASS VALUE flowing into a record slot (`var f: ShapeFactory =
+    // Shape` — an interface matched by the class's STATIC side): the
+    // record captures the statics — fields as copies, methods as the
+    // zero-capture closures `const f = C.m` builds. Direct classRef
+    // sources only: the projection reads no runtime value, so an effectful
+    // source expression would lose its evaluation.
+    if (expected.kind === "record" && expr.type.kind === "classval" && expr.kind === "classRef") {
+        return lowerer.classStaticsProjection(expr.type.className, expected.shapeId, expr.loc);
+    }
+    if (expected.kind === "array" && expr.type.kind === "array" && expected.elem.kind !== "jsval") {
+        const helper = lowerer.arrayWidthHelper(expr.type, expected, expr.loc);
+        if (helper)
+            return { kind: "call", callee: helper, args: [expr], type: expected, loc: expr.loc };
+        // The EMPTY-array lift (widthLiftPlan's emptyArr rule), top-level:
+        // `cmd.aliases` typed `(null | undefined)[]` (an `aliases: []`
+        // table) flowing into a `string[]` slot.
+        const lift = lowerer.widthLiftPlan(expr.type, expected);
+        if (lift?.how !== "emptyArr")
+            return null;
+        return lowerer.applyWidthLift(lift, expr, expected, expr.loc);
+    }
+    // A TUPLE flowing into an array slot (`const NAMES = [...] as const`
+    // assigned to a `readonly T[]` — the const-table pattern): TS erases
+    // the arity for free; the monomorphic tuple REBUILDS as a fresh array,
+    // each position's value lifted into the element type (the same copy
+    // stance as every width coercion — later mutations don't alias).
+    if (expected.kind === "array" && expr.type.kind === "record" && expected.elem.kind !== "jsval") {
+        const helper = lowerer.tupleArrayWidthHelper(expr.type.shapeId, expected, expr.loc);
+        if (!helper)
+            return null;
+        return { kind: "call", callee: helper, args: [expr], type: expected, loc: expr.loc };
+    }
+    // An `any[]` slot: any liftable element becomes one island handle per
+    // element (the messages-array pattern — records holding `any` content).
+    if (expected.kind === "array" &&
+        expected.elem.kind === "jsval" &&
+        expr.type.kind === "array" &&
+        expr.type.elem.kind !== "jsval") {
+        const helper = lowerer.arrayToJsvalArrayHelper(expr.type.elem, expr.loc);
+        if (!helper)
+            return null;
+        return { kind: "call", callee: helper, args: [expr], type: expected, loc: expr.loc };
+    }
+    return null;
+}
+/** The build side of widthLiftPlan: the IrExpr converting `value` into
+ * `dst` under a plan the caller validated. Interns whatever helpers the
+ * lift needs (planned first, so the interns cannot fail — a failure here
+ * is a lowerer bug, not a user diagnostic). */
+export function applyWidthLift(lowerer, lift, value, dst, loc) {
+    switch (lift.how) {
+        case "copy":
+            return value;
+        case "wrap": {
+            if (dst.kind !== "union")
+                throw new InternalCompilerError("lowerer bug: wrap lift against a non-union");
+            return { kind: "unionWrap", unionId: dst.unionId, tag: lift.tag, value, type: dst, loc };
+        }
+        case "discriminantWrap": {
+            if (dst.kind !== "union" || value.type.kind !== "record")
+                throw new InternalCompilerError("lowerer bug: record discriminator lift shape");
+            const helper = lowerer.recordUnionWrapHelper(value.type, dst.unionId, loc);
+            if (!helper)
+                throw new InternalCompilerError("lowerer bug: planned record discriminator lift failed to intern");
+            return { kind: "call", callee: helper, args: [value], type: dst, loc };
+        }
+        case "retag": {
+            if (dst.kind !== "union" || value.type.kind !== "union")
+                throw new InternalCompilerError("lowerer bug: retag lift shape");
+            const retag = lowerer.unionRetagHelper(value.type.unionId, dst.unionId, loc);
+            if (!retag)
+                throw new InternalCompilerError("lowerer bug: planned retag lift failed to intern");
+            return { kind: "call", callee: retag, args: [value], type: dst, loc };
+        }
+        case "liftWrap": {
+            if (dst.kind !== "union")
+                throw new InternalCompilerError("lowerer bug: liftWrap lift against a non-union");
+            const inner = lowerer.widthLiftPlan(value.type, lift.arm);
+            if (!inner)
+                throw new InternalCompilerError("lowerer bug: planned liftWrap arm stopped lifting");
+            const lifted = lowerer.applyWidthLift(inner, value, lift.arm, loc);
+            return {
+                kind: "unionWrap",
+                unionId: dst.unionId,
+                tag: lift.tag,
+                value: lifted,
+                type: dst,
+                loc,
+            };
+        }
+        case "width": {
+            if (dst.kind !== "record" || value.type.kind !== "record")
+                throw new InternalCompilerError("lowerer bug: width lift shape");
+            const helper = lowerer.recordWidthHelper(value.type.shapeId, dst.shapeId, loc);
+            if (!helper)
+                throw new InternalCompilerError("lowerer bug: planned width lift failed to intern");
+            return { kind: "call", callee: helper, args: [value], type: dst, loc };
+        }
+        case "unionWidth": {
+            if (dst.kind !== "record" || value.type.kind !== "union")
+                throw new InternalCompilerError("lowerer bug: union width lift shape");
+            const helper = lowerer.unionRecordWidthHelper(value.type.unionId, dst, loc);
+            return { kind: "call", callee: helper, args: [value], type: dst, loc };
+        }
+        case "arr": {
+            if (dst.kind !== "array" || value.type.kind !== "array")
+                throw new InternalCompilerError("lowerer bug: arr lift shape");
+            const helper = lowerer.arrayWidthHelper(value.type, dst, loc);
+            if (!helper)
+                throw new InternalCompilerError("lowerer bug: planned arr lift failed to intern");
+            return { kind: "call", callee: helper, args: [value], type: dst, loc };
+        }
+        case "tupleArr": {
+            if (dst.kind !== "array" || value.type.kind !== "record")
+                throw new InternalCompilerError("lowerer bug: tupleArr lift shape");
+            const helper = lowerer.tupleArrayWidthHelper(value.type.shapeId, dst, loc);
+            if (!helper)
+                throw new InternalCompilerError("lowerer bug: planned tupleArr lift failed to intern");
+            return { kind: "call", callee: helper, args: [value], type: dst, loc };
+        }
+        case "emptyArr": {
+            if (dst.kind !== "array" || value.type.kind !== "array")
+                throw new InternalCompilerError("lowerer bug: emptyArr lift shape");
+            const helper = lowerer.emptyArrayLiftHelper(value.type, dst, loc);
+            return { kind: "call", callee: helper, args: [value], type: dst, loc };
+        }
+        case "objWidth": {
+            if (dst.kind !== "record" || value.type.kind !== "object")
+                throw new InternalCompilerError("lowerer bug: objWidth lift shape");
+            const helper = lowerer.objRecordWidthHelper(value.type.className, dst.shapeId, loc);
+            if (!helper)
+                throw new InternalCompilerError("lowerer bug: planned objWidth lift failed to intern");
+            return { kind: "call", callee: helper, args: [value], type: dst, loc };
+        }
+        case "clsWidth": {
+            if (dst.kind !== "object" || value.type.kind !== "record")
+                throw new InternalCompilerError("lowerer bug: clsWidth lift shape");
+            const helper = lowerer.recordClassWidthHelper(value.type.shapeId, dst.className, loc);
+            if (!helper)
+                throw new InternalCompilerError("lowerer bug: planned clsWidth lift failed to intern");
+            return { kind: "call", callee: helper, args: [value], type: dst, loc };
+        }
+        case "narrow": {
+            if (value.type.kind !== "union")
+                throw new InternalCompilerError("lowerer bug: narrow lift on a non-union");
+            const helper = lowerer.narrowedArmHelper(value.type.unionId, dst, loc);
+            if (!helper)
+                throw new InternalCompilerError("lowerer bug: planned narrow lift failed to intern");
+            return { kind: "call", callee: helper, args: [value], type: dst, loc };
+        }
+        case "dynIn": {
+            if (dst.kind !== "dyn")
+                throw new InternalCompilerError("lowerer bug: dynIn lift against a non-dyn slot");
+            return { kind: "dynFrom", value, type: DYN, loc };
+        }
+        case "upcast": {
+            if (dst.kind !== "object" || value.type.kind !== "object")
+                throw new InternalCompilerError("lowerer bug: upcast lift shape");
+            return lowerer.upcastTo(value, dst.className);
+        }
+        case "funcAdapt": {
+            if (dst.kind !== "func" || value.type.kind !== "func")
+                throw new InternalCompilerError("lowerer bug: funcAdapt lift shape");
+            const adapter = lowerer.funcCoerceAdapter(value.type, dst, loc);
+            if (!adapter)
+                throw new InternalCompilerError("lowerer bug: planned funcAdapt lift failed to intern");
+            return { kind: "call", callee: adapter, args: [value], type: dst, loc };
+        }
+        default: {
+            const _exhaustive = lift;
+            void _exhaustive;
+            throw new InternalCompilerError("unreachable");
+        }
+    }
+}
+/** Dispatch a structural copy from its runtime union tag. Each record
+ * payload has its own field offsets and optional-field completions;
+ * interpreting all arms as the destination layout would corrupt memory.
+ * Intern before descending so recursive record unions can reuse it. */
+export function unionRecordWidthHelper(lowerer, fromId, target, loc) {
+    const key = `unionWidth:${fromId}:${target.shapeId}`;
+    const existing = lowerer.valueHelpers.get(key);
+    if (existing)
+        return existing;
+    const name = `%union.record.${lowerer.valueHelpers.size}`;
+    lowerer.valueHelpers.set(key, name);
+    const type = { kind: "union", unionId: fromId };
+    const value = varRef("value.0", type, loc);
+    const from = lowerer.unions.get(fromId);
+    if (!from)
+        throw new InternalCompilerError("lowerer bug: missing record union");
+    const body = [];
+    from.arms.forEach((arm, tag) => {
+        const lift = lowerer.widthLiftPlan(arm, target);
+        if (!lift || arm.kind !== "record")
+            throw new InternalCompilerError("lowerer bug: invalid union record plan");
+        const narrowed = { kind: "unionNarrow", unionId: fromId, tag, value, type: arm, loc };
+        body.push({
+            kind: "if",
+            cond: { kind: "unionIsTag", unionId: fromId, tag, negated: false, value, type: BOOL, loc },
+            then: [{ kind: "return", value: lowerer.applyWidthLift(lift, narrowed, target, loc), loc }],
+            else_: null,
+            loc,
+        });
+    });
+    body.push({
+        kind: "throw",
+        value: {
+            kind: "libCall",
+            fn: "error.new",
+            args: [{ kind: "strLit", value: "invalid record union tag", type: STRING, loc }],
+            type: { kind: "object", className: "%TypeError" },
+            loc,
+        },
+        loc,
+    });
+    lowerer.liftedFns.push({
+        name,
+        params: [{ localId: "value.0", name: "value", type }],
+        returnType: target,
+        locals: [{ id: "value.0", name: "value", type, mutable: false }],
+        body,
+        loc,
+    });
+    return name;
+}
+export function recordWidthHelper(lowerer, fromId, toId, loc) {
+    const from = lowerer.shapes.get(fromId);
+    const to = lowerer.shapes.get(toId);
+    if (!from || !to)
+        return null;
+    // Plan every target field BEFORE interning anything (interned helpers
+    // are part of the emitted program; a later field's failure must not
+    // orphan one).
+    const plan = lowerer.recordWidthPlan(fromId, toId);
+    if (!plan)
+        return null;
+    const key = `rec:${fromId}:${toId}`;
+    const existing = lowerer.valueHelpers.get(key);
+    if (existing)
+        return existing;
+    const name = `%rec.width.${lowerer.valueHelpers.size}`;
+    // Interned BEFORE the body builds: a recursive nested-width field
+    // (self-referential shapes) resolves to this helper itself.
+    lowerer.valueHelpers.set(key, name);
+    const fromT = { kind: "record", shapeId: fromId };
+    lowerer.liftedFns.push(buildRecordProjection(lowerer, name, fromT, to, plan, loc));
+    return name;
+}
+/** Rebuild a tuple as an array in numeric field order, applying a validated
+ * conversion at each position. Named records do not convert to arrays. */
+export function tupleArrayWidthHelper(lowerer, fromId, toT, loc) {
+    const from = lowerer.shapes.get(fromId);
+    if (!from || !from.tuple)
+        return null;
+    const fields = [...from.fields].sort((a, b) => Number(a.name) - Number(b.name));
+    const lifts = [];
+    for (const f of fields) {
+        const lift = lowerer.widthLiftPlan(f.type, toT.elem);
+        if (!lift)
+            return null;
+        lifts.push(lift);
+    }
+    const key = `tuparr:${fromId}:${typeKey(toT.elem)}`;
+    const existing = lowerer.valueHelpers.get(key);
+    if (existing)
+        return existing;
+    const name = `%tup.arr.${lowerer.valueHelpers.size}`;
+    lowerer.valueHelpers.set(key, name);
+    const fromT = { kind: "record", shapeId: fromId };
+    const t = { kind: "varRef", localId: "t.0", type: fromT, loc };
+    lowerer.liftedFns.push({
+        name,
+        params: [{ localId: "t.0", name: "t", type: fromT }],
+        returnType: toT,
+        locals: [{ id: "t.0", name: "t", type: fromT, mutable: true }],
+        body: [
+            {
+                kind: "return",
+                value: {
+                    kind: "arrayLit",
+                    elems: fields.map((f, i) => lowerer.applyWidthLift(lifts[i], { kind: "recordGet", obj: t, shapeId: fromId, field: f.name, type: f.type, loc }, toT.elem, loc)),
+                    type: toT,
+                    loc,
+                },
+                loc,
+            },
+        ],
+        loc,
+    });
+    return name;
+}
+/** Interned `%arr.empty.<n>(a)` — the EMPTY-array lift's build side: a
+ * unit-only-element array reshapes into any data-element array by
+ * answering a FRESH empty array, after a runtime non-empty trap (a
+ * genuinely inhabited `(null | undefined)[]` cannot reshape — the
+ * catchable-TypeError stance every checked extraction takes). */
+export function emptyArrayLiftHelper(lowerer, fromT, toT, loc) {
+    const key = `emptyarr:${typeKey(fromT.elem)}:${typeKey(toT.elem)}`;
+    const existing = lowerer.valueHelpers.get(key);
+    if (existing)
+        return existing;
+    const name = `%arr.empty.${lowerer.valueHelpers.size}`;
+    lowerer.valueHelpers.set(key, name);
+    const a = { kind: "varRef", localId: "a.0", type: fromT, loc };
+    lowerer.liftedFns.push({
+        name,
+        params: [{ localId: "a.0", name: "a", type: fromT }],
+        returnType: toT,
+        locals: [{ id: "a.0", name: "a", type: fromT, mutable: true }],
+        body: [
+            {
+                kind: "if",
+                cond: {
+                    kind: "bin",
+                    op: "!==",
+                    left: { kind: "arrIntrinsic", method: "length", receiver: a, args: [], type: F64, loc },
+                    right: { kind: "numLit", value: 0, type: F64, loc },
+                    type: BOOL,
+                    loc,
+                },
+                then: [
+                    {
+                        kind: "throw",
+                        value: {
+                            kind: "libCall",
+                            fn: "error.new",
+                            args: [
+                                {
+                                    kind: "strLit",
+                                    value: `expected ${lowerer.fmt(toT)} (a non-empty ${lowerer.fmt(fromT)} has no elements the target can hold)`,
+                                    type: STRING,
+                                    loc,
+                                },
+                            ],
+                            type: { kind: "object", className: "%TypeError" },
+                            loc,
+                        },
+                        loc,
+                    },
+                ],
+                else_: [],
+                loc,
+            },
+            { kind: "return", value: { kind: "arrayLit", elems: [], type: toT, loc }, loc },
+        ],
+        loc,
+    });
+    return name;
+}
+/** Copy an array through its validated element conversion. Intern before
+ * building the body so recursive element conversions can reuse this helper. */
+export function arrayWidthHelper(lowerer, fromT, toT, loc) {
+    const fromElem = fromT.elem;
+    const toElem = toT.elem;
+    const elemLift = lowerer.widthLiftPlan(fromElem, toElem);
+    if (!elemLift || elemLift.how === "copy")
+        return null;
+    const key = `arr:${typeKey(fromElem)}:${typeKey(toElem)}`;
+    const existing = lowerer.valueHelpers.get(key);
+    if (existing)
+        return existing;
+    const name = `%arr.width.${lowerer.valueHelpers.size}`;
+    lowerer.valueHelpers.set(key, name);
+    const arrT = { kind: "array", elem: fromElem };
+    const outT = { kind: "array", elem: toElem };
+    lowerer.liftedFns.push(buildArrayConversion(name, arrT, { kind: "arrayLit", elems: [], type: outT, loc }, (element, _index, result) => ({
+        kind: "arrIntrinsic",
+        method: "push",
+        receiver: result,
+        args: [lowerer.applyWidthLift(elemLift, element, toElem, loc)],
+        type: F64,
+        loc,
+    }), loc));
+    return name;
+}
+/** Interned `%obj.width.<n>(o)` — builds a record from a class
+ * instance's fields under objToRecordPlan: the width-copy stance
+ * (divergence 305 — a fresh record, mutations don't alias, extra class
+ * members drop). */
+export function objRecordWidthHelper(lowerer, className, toId, loc) {
+    const to = lowerer.shapes.get(toId);
+    if (!to)
+        return null;
+    const plan = lowerer.objToRecordPlan(className, toId);
+    if (!plan)
+        return null;
+    const key = `obj:${className}:${toId}`;
+    const existing = lowerer.valueHelpers.get(key);
+    if (existing)
+        return existing;
+    const name = `%obj.width.${lowerer.valueHelpers.size}`;
+    lowerer.valueHelpers.set(key, name);
+    const fromT = { kind: "object", className };
+    lowerer.liftedFns.push(buildRecordProjection(lowerer, name, fromT, to, plan, loc));
+    return name;
+}
+/** Interned `%cls.width.<n>(r)` — `new C(r.p1, ..., r.pn)` under
+ * recordToClassPlan: the record's fields become the trivial
+ * constructor's arguments (divergence 305's copy stance — a fresh
+ * instance, mutations don't alias, and `instanceof C` answers true
+ * where Node's plain object answers false). */
+export function recordClassWidthHelper(lowerer, fromId, className, loc) {
+    const info = lowerer.classes.get(className);
+    if (!info)
+        return null;
+    const plan = lowerer.recordToClassPlan(fromId, className);
+    if (!plan)
+        return null;
+    const key = `cls:${fromId}:${className}`;
+    const existing = lowerer.valueHelpers.get(key);
+    if (existing)
+        return existing;
+    const name = `%cls.width.${lowerer.valueHelpers.size}`;
+    lowerer.valueHelpers.set(key, name);
+    lowerer.noteEdge(`%${className}.constructor`);
+    const fromT = { kind: "record", shapeId: fromId };
+    const toT = { kind: "object", className };
+    const r = { kind: "varRef", localId: "r.0", type: fromT, loc };
+    const args = plan.map((entry, i) => {
+        const shape = info.ctorParams[i];
+        if ("absent" in entry) {
+            const u = lowerer.wrappedUndefined(shape.type, loc);
+            if (!u)
+                throw new InternalCompilerError("lowerer bug: planned absent ctor arg has no undefined arm");
+            return u;
+        }
+        const get = {
+            kind: "recordGet",
+            obj: r,
+            shapeId: fromId,
+            field: entry.field,
+            type: entry.src,
+            loc,
+        };
+        return lowerer.applyWidthLift(entry.lift, get, shape.type, loc);
+    });
+    lowerer.liftedFns.push({
+        name,
+        params: [{ localId: "r.0", name: "r", type: fromT }],
+        returnType: toT,
+        locals: [{ id: "r.0", name: "r", type: fromT, mutable: true }],
+        body: [{ kind: "return", value: { kind: "new", className, args, type: toT, loc }, loc }],
+        loc,
+    });
+    return name;
+}
+/** A CLASS VALUE's statics projected into a record shape (`var f:
+ * ShapeFactory = Shape`): the record literal capturing static FIELDS as
+ * copies of their globals and static METHODS as the zero-capture
+ * closures `const f = C.m` builds (params all required — value-form
+ * completion rules stay out of coercions). Inherited statics resolve
+ * like JS's class-object prototype walk. Divergence 305's copy stance:
+ * later writes to a writable static field don't flow into the record
+ * (Node aliases the one class object). Null when any target field has
+ * no projectable static. */
+export function classStaticsProjection(lowerer, className, toId, loc) {
+    const info = lowerer.classes.get(className);
+    const to = lowerer.shapes.get(toId);
+    if (!info || !to || to.indexValue || to.tuple)
+        return null;
+    if (to.fields.some((f) => f.name.startsWith("%")))
+        return null;
+    if (info.generic || !info.decl)
+        return null;
+    const fields = [];
+    for (const tf of to.fields) {
+        if (findGenericStaticOn(lowerer, info, tf.name))
+            return null;
+        const found = findStaticOn(lowerer, info, tf.name);
+        if (!found) {
+            if (tf.type.kind !== "union")
+                return null;
+            const u = lowerer.wrappedUndefined(tf.type, loc);
+            if (!u)
+                return null;
+            fields.push({ name: tf.name, value: u });
+            continue;
+        }
+        if (found.field !== undefined) {
+            const read = {
+                kind: "varRef",
+                localId: found.field.globalId,
+                type: found.field.type,
+                loc,
+            };
+            const lift = lowerer.widthLiftPlan(found.field.type, tf.type);
+            if (!lift)
+                return null;
+            fields.push({ name: tf.name, value: lowerer.applyWidthLift(lift, read, tf.type, loc) });
+            continue;
+        }
+        if (found.method.params.some((p) => p.mode !== "required"))
+            return null;
+        const funcType = {
+            kind: "func",
+            params: found.method.params.map((p) => p.type),
+            ret: found.method.ret,
+        };
+        const lift = lowerer.widthLiftPlan(funcType, tf.type);
+        if (!lift)
+            return null;
+        const fnName = `%${found.declarer.def.name}.static:${tf.name}`;
+        lowerer.noteEdge(fnName);
+        const closure = { kind: "closure", fnName, captures: [], type: funcType, loc };
+        fields.push({ name: tf.name, value: lowerer.applyWidthLift(lift, closure, tf.type, loc) });
+    }
+    return { kind: "recordLit", fields, type: { kind: "record", shapeId: toId }, loc };
+}
+/** Build both record and class-field projections from the same validated
+ * plan. Missing fields and nested conversions keep target declaration order. */
+function buildRecordProjection(lowerer, name, source, target, plan, loc) {
+    const parameter = source.kind === "record" ? "r" : "o";
+    const localId = parameter + ".0";
+    const receiver = varRef(localId, source, loc);
+    const result = { kind: "record", shapeId: target.id };
+    return {
+        name,
+        params: [{ localId, name: parameter, type: source }],
+        returnType: result,
+        locals: [{ id: localId, name: parameter, type: source, mutable: true }],
+        body: [
+            {
+                kind: "return",
+                value: {
+                    kind: "recordLit",
+                    fields: target.fields.map((field) => {
+                        const conversion = plan.get(field.name);
+                        if ("absentDyn" in conversion)
+                            return { name: field.name, value: dynUndefinedExpr(loc) };
+                        if ("absent" in conversion) {
+                            if (field.type.kind !== "union")
+                                throw new InternalCompilerError("lowerer bug: absent lift against a non-union field");
+                            const value = {
+                                kind: "unionWrap",
+                                unionId: field.type.unionId,
+                                tag: conversion.utag,
+                                value: { kind: "unitLit", unit: "undefined", type: UNDEFINED_T, loc },
+                                type: field.type,
+                                loc,
+                            };
+                            return { name: field.name, value };
+                        }
+                        const read = source.kind === "record"
+                            ? {
+                                kind: "recordGet",
+                                obj: receiver,
+                                shapeId: source.shapeId,
+                                field: field.name,
+                                type: conversion.src,
+                                loc,
+                            }
+                            : {
+                                kind: "fieldGet",
+                                obj: receiver,
+                                className: source.className,
+                                field: field.name,
+                                type: conversion.src,
+                                loc,
+                            };
+                        return {
+                            name: field.name,
+                            value: lowerer.applyWidthLift(conversion.lift, read, field.type, loc),
+                        };
+                    }),
+                    type: result,
+                    loc,
+                },
+                loc,
+            },
+        ],
+        loc,
+    };
+}
+//# sourceMappingURL=structural.js.map

package/dist/frontend/lowering/coercions/structural.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"structural.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/coercions/structural.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAEhE,OAAO,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAErD,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAE3D,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACxE,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AACxE,OAAO,EAAE,2BAA2B,EAAE,MAAM,kCAAkC,CAAC;AAG/E;;iEAEiE;AACjE,MAAM,UAAU,WAAW,CAAC,OAAgB,EAAE,IAAY,EAAE,QAAgB;IAC1E,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC9D,oEAAoE;QACpE,kEAAkE;QAClE,oEAAoE;QACpE,kDAAkD;QAClD,MAAM,MAAM,GACV,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC;YACxE,2BAA2B,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QACtF,IAAI,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;QACzB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;IACvF,CAAC;IACD,sEAAsE;IACtE,sEAAsE;IACtE,uEAAuE;IACvE,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC9D,MAAM,MAAM,GAAG,OAAO,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7F,IAAI,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;QACzB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;IACvF,CAAC;IACD,mEAAmE;IACnE,uEAAuE;IACvE,kEAAkE;IAClE,0CAA0C;IAC1C,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC9D,MAAM,MAAM,GAAG,OAAO,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QAC/F,IAAI,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;QACzB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;IACvF,CAAC;IACD,mEAAmE;IACnE,iEAAiE;IACjE,iEAAiE;IACjE,gEAAgE;IAChE,uEAAuE;IACvE,+CAA+C;IAC/C,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC5F,OAAO,OAAO,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;IACzF,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC9F,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QACvE,IAAI,MAAM;YACR,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;QACvF,mEAAmE;QACnE,+DAA+D;QAC/D,yCAAyC;QACzC,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACxD,IAAI,IAAI,EAAE,GAAG,KAAK,UAAU;YAAE,OAAO,IAAI,CAAC;QAC1C,OAAO,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;IAChE,CAAC;IACD,qEAAqE;IACrE,qEAAqE;IACrE,uEAAuE;IACvE,oEAAoE;IACpE,iEAAiE;IACjE,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC/F,MAAM,MAAM,GAAG,OAAO,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QACpF,IAAI,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;QACzB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;IACvF,CAAC;IACD,sEAAsE;IACtE,wEAAwE;IACxE,IACE,QAAQ,CAAC,IAAI,KAAK,OAAO;QACzB,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAC9B,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAC1B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAC/B,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QACzE,IAAI,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;QACzB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;IACvF,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;+CAG+C;AAC/C,MAAM,UAAU,cAAc,CAC5B,OAAgB,EAChB,IAAe,EACf,KAAa,EACb,GAAW,EACX,GAAW;IAEX,QAAQ,IAAI,CAAC,GAAG,EAAE,CAAC;QACjB,KAAK,MAAM;YACT,OAAO,KAAK,CAAC;QACf,KAAK,MAAM,EAAE,CAAC;YACZ,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO;gBACtB,MAAM,IAAI,qBAAqB,CAAC,4CAA4C,CAAC,CAAC;YAChF,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAC3F,CAAC;QACD,KAAK,kBAAkB,EAAE,CAAC;YACxB,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;gBACtD,MAAM,IAAI,qBAAqB,CAAC,8CAA8C,CAAC,CAAC;YAClF,MAAM,MAAM,GAAG,OAAO,CAAC,qBAAqB,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;YAC3E,IAAI,CAAC,MAAM;gBACT,MAAM,IAAI,qBAAqB,CAC7B,iEAAiE,CAClE,CAAC;YACJ,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACzE,CAAC;QACD,KAAK,OAAO,EAAE,CAAC;YACb,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;gBACrD,MAAM,IAAI,qBAAqB,CAAC,+BAA+B,CAAC,CAAC;YACnE,MAAM,KAAK,GAAG,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;YAC7E,IAAI,CAAC,KAAK;gBACR,MAAM,IAAI,qBAAqB,CAAC,kDAAkD,CAAC,CAAC;YACtF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACxE,CAAC;QACD,KAAK,UAAU,EAAE,CAAC;YAChB,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO;gBACtB,MAAM,IAAI,qBAAqB,CAAC,gDAAgD,CAAC,CAAC;YACpF,MAAM,KAAK,GAAG,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;YAC1D,IAAI,CAAC,KAAK;gBACR,MAAM,IAAI,qBAAqB,CAAC,mDAAmD,CAAC,CAAC;YACvF,MAAM,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACnE,OAAO;gBACL,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,GAAG,EAAE,IAAI,CAAC,GAAG;gBACb,KAAK,EAAE,MAAM;gBACb,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ,CAAC;QACJ,CAAC;QACD,KAAK,OAAO,EAAE,CAAC;YACb,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;gBACvD,MAAM,IAAI,qBAAqB,CAAC,+BAA+B,CAAC,CAAC;YACnE,MAAM,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;YAC/E,IAAI,CAAC,MAAM;gBACT,MAAM,IAAI,qBAAqB,CAAC,kDAAkD,CAAC,CAAC;YACtF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACzE,CAAC;QACD,KAAK,YAAY,EAAE,CAAC;YAClB,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;gBACtD,MAAM,IAAI,qBAAqB,CAAC,qCAAqC,CAAC,CAAC;YACzE,MAAM,MAAM,GAAG,OAAO,CAAC,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YAC5E,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACzE,CAAC;QACD,KAAK,KAAK,EAAE,CAAC;YACX,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;gBACrD,MAAM,IAAI,qBAAqB,CAAC,6BAA6B,CAAC,CAAC;YACjE,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YAC9D,IAAI,CAAC,MAAM;gBACT,MAAM,IAAI,qBAAqB,CAAC,gDAAgD,CAAC,CAAC;YACpF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACzE,CAAC;QACD,KAAK,UAAU,EAAE,CAAC;YAChB,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;gBACtD,MAAM,IAAI,qBAAqB,CAAC,kCAAkC,CAAC,CAAC;YACtE,MAAM,MAAM,GAAG,OAAO,CAAC,qBAAqB,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YAC3E,IAAI,CAAC,MAAM;gBACT,MAAM,IAAI,qBAAqB,CAAC,qDAAqD,CAAC,CAAC;YACzF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACzE,CAAC;QACD,KAAK,UAAU,EAAE,CAAC;YAChB,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;gBACrD,MAAM,IAAI,qBAAqB,CAAC,kCAAkC,CAAC,CAAC;YACtE,MAAM,MAAM,GAAG,OAAO,CAAC,oBAAoB,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YAClE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACzE,CAAC;QACD,KAAK,UAAU,EAAE,CAAC;YAChB,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;gBACvD,MAAM,IAAI,qBAAqB,CAAC,kCAAkC,CAAC,CAAC;YACtE,MAAM,MAAM,GAAG,OAAO,CAAC,oBAAoB,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;YACpF,IAAI,CAAC,MAAM;gBACT,MAAM,IAAI,qBAAqB,CAAC,qDAAqD,CAAC,CAAC;YACzF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACzE,CAAC;QACD,KAAK,UAAU,EAAE,CAAC;YAChB,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;gBACvD,MAAM,IAAI,qBAAqB,CAAC,kCAAkC,CAAC,CAAC;YACtE,MAAM,MAAM,GAAG,OAAO,CAAC,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YACtF,IAAI,CAAC,MAAM;gBACT,MAAM,IAAI,qBAAqB,CAAC,qDAAqD,CAAC,CAAC;YACzF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACzE,CAAC;QACD,KAAK,QAAQ,EAAE,CAAC;YACd,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;gBAC7B,MAAM,IAAI,qBAAqB,CAAC,yCAAyC,CAAC,CAAC;YAC7E,MAAM,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACvE,IAAI,CAAC,MAAM;gBACT,MAAM,IAAI,qBAAqB,CAAC,mDAAmD,CAAC,CAAC;YACvF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACzE,CAAC;QACD,KAAK,OAAO,EAAE,CAAC;YACb,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK;gBACpB,MAAM,IAAI,qBAAqB,CAAC,gDAAgD,CAAC,CAAC;YACpF,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACpD,CAAC;QACD,KAAK,QAAQ,EAAE,CAAC;YACd,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;gBACvD,MAAM,IAAI,qBAAqB,CAAC,gCAAgC,CAAC,CAAC;YACpE,OAAO,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;QAChD,CAAC;QACD,KAAK,WAAW,EAAE,CAAC;YACjB,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;gBACnD,MAAM,IAAI,qBAAqB,CAAC,mCAAmC,CAAC,CAAC;YACvE,MAAM,OAAO,GAAG,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YAChE,IAAI,CAAC,OAAO;gBACV,MAAM,IAAI,qBAAqB,CAAC,sDAAsD,CAAC,CAAC;YAC1F,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAC1E,CAAC;QACD,SAAS,CAAC;YACR,MAAM,WAAW,GAAU,IAAI,CAAC;YAChC,KAAK,WAAW,CAAC;YACjB,MAAM,IAAI,qBAAqB,CAAC,aAAa,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;uEAGuE;AACvE,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,MAAc,EACd,MAAmC,EACnC,GAAW;IAEX,MAAM,GAAG,GAAG,cAAc,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;IACrD,MAAM,QAAQ,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC/C,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,IAAI,GAAG,iBAAiB,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;IAC1D,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACpC,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAC3C,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxC,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,qBAAqB,CAAC,mCAAmC,CAAC,CAAC;IAChF,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE;QAC7B,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAChD,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;YAChC,MAAM,IAAI,qBAAqB,CAAC,wCAAwC,CAAC,CAAC;QAC5E,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAC9F,IAAI,CAAC,IAAI,CAAC;YACR,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YAC1F,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC;YAC3F,KAAK,EAAE,IAAI;YACX,GAAG;SACJ,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,IAAI,CAAC,IAAI,CAAC;QACR,IAAI,EAAE,OAAO;QACb,KAAK,EAAE;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,WAAW;YACf,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,0BAA0B,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;YAChF,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE;YACjD,GAAG;SACJ;QACD,GAAG;KACJ,CAAC,CAAC;IACH,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;QACrB,IAAI;QACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QACrD,UAAU,EAAE,MAAM;QAClB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QAChE,IAAI;QACJ,GAAG;KACJ,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,OAAgB,EAChB,MAAc,EACd,IAAY,EACZ,GAAW;IAEX,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE;QAAE,OAAO,IAAI,CAAC;IAC9B,sEAAsE;IACtE,oEAAoE;IACpE,eAAe;IACf,MAAM,IAAI,GAAG,OAAO,CAAC,eAAe,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACnD,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,MAAM,GAAG,GAAG,OAAO,MAAM,IAAI,IAAI,EAAE,CAAC;IACpC,MAAM,QAAQ,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC/C,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,IAAI,GAAG,cAAc,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;IACvD,kEAAkE;IAClE,4DAA4D;IAC5D,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACpC,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;IAC1D,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,qBAAqB,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IACnF,OAAO,IAAI,CAAC;AACd,CAAC;AAED;0EAC0E;AAC1E,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,MAAc,EACd,GAA+B,EAC/B,GAAW;IAEX,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACtC,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAChF,MAAM,KAAK,GAAgB,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QACrD,IAAI,CAAC,IAAI;YAAE,OAAO,IAAI,CAAC;QACvB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC;IACD,MAAM,GAAG,GAAG,UAAU,MAAM,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;IACpD,MAAM,QAAQ,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC/C,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,IAAI,GAAG,YAAY,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;IACrD,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACpC,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;IAC1D,MAAM,CAAC,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IACvE,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;QACrB,IAAI;QACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QACpD,UAAU,EAAE,GAAG;QACf,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QAC9D,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,QAAQ;gBACd,KAAK,EAAE;oBACL,IAAI,EAAE,UAAU;oBAChB,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACzB,OAAO,CAAC,cAAc,CACpB,KAAK,CAAC,CAAC,CAAE,EACT,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,EAChF,GAAG,CAAC,IAAI,EACR,GAAG,CACJ,CACF;oBACD,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;gBACD,GAAG;aACJ;SACF;QACD,GAAG;KACJ,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;iEAIiE;AACjE,MAAM,UAAU,oBAAoB,CAClC,OAAgB,EAChB,KAAiC,EACjC,GAA+B,EAC/B,GAAW;IAEX,MAAM,GAAG,GAAG,YAAY,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;IACnE,MAAM,QAAQ,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC/C,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,IAAI,GAAG,cAAc,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;IACvD,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACpC,MAAM,CAAC,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IACvE,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;QACrB,IAAI;QACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QACpD,UAAU,EAAE,GAAG;QACf,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QAC9D,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE;oBACJ,IAAI,EAAE,KAAK;oBACX,EAAE,EAAE,KAAK;oBACT,IAAI,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;oBACvF,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;oBACnD,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;gBACD,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,OAAO;wBACb,KAAK,EAAE;4BACL,IAAI,EAAE,SAAS;4BACf,EAAE,EAAE,WAAW;4BACf,IAAI,EAAE;gCACJ;oCACE,IAAI,EAAE,QAAQ;oCACd,KAAK,EAAE,YAAY,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,iBAAiB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,uCAAuC;oCAC7G,IAAI,EAAE,MAAM;oCACZ,GAAG;iCACJ;6BACF;4BACD,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE;4BACjD,GAAG;yBACJ;wBACD,GAAG;qBACJ;iBACF;gBACD,KAAK,EAAE,EAAE;gBACT,GAAG;aACJ;YACD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE;SAChF;QACD,GAAG;KACJ,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACd,CAAC;AAED;+EAC+E;AAC/E,MAAM,UAAU,gBAAgB,CAC9B,OAAgB,EAChB,KAAiC,EACjC,GAA+B,EAC/B,GAAW;IAEX,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC;IAC5B,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC;IACxB,MAAM,QAAQ,GAAG,OAAO,CAAC,aAAa,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACzD,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,GAAG,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACtD,MAAM,GAAG,GAAG,OAAO,OAAO,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;IAC1D,MAAM,QAAQ,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC/C,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,IAAI,GAAG,cAAc,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;IACvD,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACpC,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACvD,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACrD,OAAO,CAAC,SAAS,CAAC,IAAI,CACpB,oBAAoB,CAClB,IAAI,EACJ,IAAI,EACJ,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAChD,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;QAC5B,IAAI,EAAE,cAAc;QACpB,MAAM,EAAE,MAAM;QACd,QAAQ,EAAE,MAAM;QAChB,IAAI,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;QAC9D,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,EACF,GAAG,CACJ,CACF,CAAC;IACF,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;oBAGoB;AACpB,MAAM,UAAU,oBAAoB,CAClC,OAAgB,EAChB,SAAiB,EACjB,IAAY,EACZ,GAAW;IAEX,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,CAAC,EAAE;QAAE,OAAO,IAAI,CAAC;IACrB,MAAM,IAAI,GAAG,OAAO,CAAC,eAAe,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;IACtD,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,MAAM,GAAG,GAAG,OAAO,SAAS,IAAI,IAAI,EAAE,CAAC;IACvC,MAAM,QAAQ,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC/C,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,IAAI,GAAG,cAAc,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;IACvD,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACpC,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;IACpD,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,qBAAqB,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IACnF,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;+CAI+C;AAC/C,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,MAAc,EACd,SAAiB,EACjB,GAAW;IAEX,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC5C,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,MAAM,IAAI,GAAG,OAAO,CAAC,iBAAiB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAC1D,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,MAAM,GAAG,GAAG,OAAO,MAAM,IAAI,SAAS,EAAE,CAAC;IACzC,MAAM,QAAQ,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC/C,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,IAAI,GAAG,cAAc,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;IACvD,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACpC,OAAO,CAAC,QAAQ,CAAC,IAAI,SAAS,cAAc,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;IAC1D,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;IAClD,MAAM,CAAC,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IACvE,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAU,EAAE;QACzC,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC;QAClC,IAAI,QAAQ,IAAI,KAAK,EAAE,CAAC;YACtB,MAAM,CAAC,GAAG,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACpD,IAAI,CAAC,CAAC;gBACJ,MAAM,IAAI,qBAAqB,CAC7B,2DAA2D,CAC5D,CAAC;YACJ,OAAO,CAAC,CAAC;QACX,CAAC;QACD,MAAM,GAAG,GAAW;YAClB,IAAI,EAAE,WAAW;YACjB,GAAG,EAAE,CAAC;YACN,OAAO,EAAE,MAAM;YACf,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,IAAI,EAAE,KAAK,CAAC,GAAG;YACf,GAAG;SACJ,CAAC;QACF,OAAO,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IACH,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;QACrB,IAAI;QACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QACpD,UAAU,EAAE,GAAG;QACf,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QAC9D,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC;QACxF,GAAG;KACJ,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;4BAQ4B;AAC5B,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,SAAiB,EACjB,IAAY,EACZ,GAAW;IAEX,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC5C,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IAC3D,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/D,IAAI,IAAI,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAC5C,MAAM,MAAM,GAAsC,EAAE,CAAC;IACrD,KAAK,MAAM,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QAC3B,IAAI,mBAAmB,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAC7D,MAAM,KAAK,GAAG,YAAY,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;QACnD,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;gBAAE,OAAO,IAAI,CAAC;YAC1C,MAAM,CAAC,GAAG,OAAO,CAAC,gBAAgB,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACjD,IAAI,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;YACpB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;YACzC,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAW;gBACnB,IAAI,EAAE,QAAQ;gBACd,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,QAAQ;gBAC7B,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI;gBACtB,GAAG;aACJ,CAAC;YACF,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;YAC9D,IAAI,CAAC,IAAI;gBAAE,OAAO,IAAI,CAAC;YACvB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;YACxF,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC;YAAE,OAAO,IAAI,CAAC;QACxE,MAAM,QAAQ,GAAW;YACvB,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;YAC9C,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG;SACtB,CAAC;QACF,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;QACtD,IAAI,CAAC,IAAI;YAAE,OAAO,IAAI,CAAC;QACvB,MAAM,MAAM,GAAG,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,WAAW,EAAE,CAAC,IAAI,EAAE,CAAC;QAC/D,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QACzB,MAAM,OAAO,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;QACvF,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;IAC7F,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC;AACrF,CAAC;AAED;gFACgF;AAChF,SAAS,qBAAqB,CAC5B,OAAgB,EAChB,IAAY,EACZ,MAA8C,EAC9C,MAAqB,EACrB,IAA4B,EAC5B,GAAW;IAEX,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;IACvD,MAAM,OAAO,GAAG,SAAS,GAAG,IAAI,CAAC;IACjC,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC;IAC9D,OAAO;QACL,IAAI;QACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QACpD,UAAU,EAAE,MAAM;QAClB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QACvE,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,QAAQ;gBACd,KAAK,EAAE;oBACL,IAAI,EAAE,WAAW;oBACjB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;wBAClC,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAE,CAAC;wBACzC,IAAI,WAAW,IAAI,UAAU;4BAC3B,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC;wBAC5D,IAAI,QAAQ,IAAI,UAAU,EAAE,CAAC;4BAC3B,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;gCAC7B,MAAM,IAAI,qBAAqB,CAC7B,oDAAoD,CACrD,CAAC;4BACJ,MAAM,KAAK,GAAW;gCACpB,IAAI,EAAE,WAAW;gCACjB,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,OAAO;gCAC3B,GAAG,EAAE,UAAU,CAAC,IAAI;gCACpB,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE;gCACrE,IAAI,EAAE,KAAK,CAAC,IAAI;gCAChB,GAAG;6BACJ,CAAC;4BACF,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;wBACrC,CAAC;wBACD,MAAM,IAAI,GACR,MAAM,CAAC,IAAI,KAAK,QAAQ;4BACtB,CAAC,CAAC;gCACE,IAAI,EAAE,WAAW;gCACjB,GAAG,EAAE,QAAQ;gCACb,OAAO,EAAE,MAAM,CAAC,OAAO;gCACvB,KAAK,EAAE,KAAK,CAAC,IAAI;gCACjB,IAAI,EAAE,UAAU,CAAC,GAAG;gCACpB,GAAG;6BACJ;4BACH,CAAC,CAAC;gCACE,IAAI,EAAE,UAAU;gCAChB,GAAG,EAAE,QAAQ;gCACb,SAAS,EAAE,MAAM,CAAC,SAAS;gCAC3B,KAAK,EAAE,KAAK,CAAC,IAAI;gCACjB,IAAI,EAAE,UAAU,CAAC,GAAG;gCACpB,GAAG;6BACJ,CAAC;wBACR,OAAO;4BACL,IAAI,EAAE,KAAK,CAAC,IAAI;4BAChB,KAAK,EAAE,OAAO,CAAC,cAAc,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC;yBACtE,CAAC;oBACJ,CAAC,CAAC;oBACF,IAAI,EAAE,MAAM;oBACZ,GAAG;iBACJ;gBACD,GAAG;aACJ;SACF;QACD,GAAG;KACJ,CAAC;AACJ,CAAC"}