@scriptc/compiler 0.2.4 → 0.2.6

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

@@ -0,0 +1,447 @@
+import { planRecordUnionWrap } from "../union-retag.js";
+import { isUnitType, typeEquals, UNDEFINED_T } from "../../../ir/ir.js";
+import { findMethodOn, findGenericMethodOn } from "../lower-classes.js";
+/** Plan one recursive structural conversion without interning helpers.
+ * Validate the entire plan before building it; ambiguous union destinations
+ * and conversions that can only throw are not structural conversions. */
+export function widthLiftPlan(lowerer, src, dst) {
+    if (typeEquals(src, dst))
+        return { how: "copy" };
+    // An 'unknown' (dyn) DESTINATION slot: the static→dyn conversion —
+    // dynFrom, a DEEP COPY (`{ v: 5 }` into `{ v: unknown }`, `number[]`
+    // into `unknown[]` — tsc's top type over the width family's copies).
+    if (dst.kind === "dyn" && src.kind !== "dyn" && lowerer.dynConvertible(src)) {
+        return { how: "dynIn" };
+    }
+    if (dst.kind === "union") {
+        if (src.kind === "union") {
+            return lowerer.unionRetagMappable(src.unionId, dst.unionId) ? { how: "retag" } : null;
+        }
+        // A unit-typed source can't wrap here (unionWrap requires the
+        // LITERAL unit — and no lowered shape carries a bare unit field).
+        if (isUnitType(src))
+            return null;
+        const tag = lowerer.armTag(dst.unionId, src);
+        const def = lowerer.unions.get(dst.unionId);
+        if (!def)
+            return null;
+        if (tag >= 0) {
+            const shape = src.kind === "record" ? lowerer.shapes.get(src.shapeId) : undefined;
+            if (shape && planRecordUnionWrap(shape, def, (id) => lowerer.shapes.get(id)))
+                return { how: "discriminantWrap" };
+            return { how: "wrap", tag };
+        }
+        const candidates = [];
+        def.arms.forEach((arm, i) => {
+            if (isUnitType(arm))
+                return;
+            const sameFamily = (src.kind === "record" && arm.kind === "record") ||
+                (src.kind === "array" && arm.kind === "array") ||
+                (src.kind === "func" && arm.kind === "func") ||
+                (src.kind === "object" && arm.kind === "object") ||
+                // Tuples already lift into ordinary array slots. Consider that
+                // same conversion when the array is an arm of a union too.
+                (src.kind === "record" &&
+                    lowerer.shapes.get(src.shapeId)?.tuple === true &&
+                    arm.kind === "array") ||
+                (src.kind === "object" && arm.kind === "record") ||
+                (src.kind === "record" && arm.kind === "object");
+            if (sameFamily && lowerer.widthLiftPlan(src, arm) !== null)
+                candidates.push({ tag: i, arm });
+        });
+        let selected = candidates;
+        if (selected.length > 1 && src.kind === "record") {
+            const source = lowerer.shapes.get(src.shapeId);
+            // An inferred JS union may widen its tag while retaining variants
+            // with and without a value. Prefer the unique layout whose omitted
+            // fields are explicitly undefined, rather than filling an optional
+            // unknown slot and making both variants look equally compatible.
+            const absentOnly = selected.filter(({ arm }) => {
+                if (!source || arm.kind !== "record")
+                    return false;
+                const target = lowerer.shapes.get(arm.shapeId);
+                return (target !== undefined &&
+                    target.fields.every((field) => {
+                        if (source.fields.some((present) => present.name === field.name))
+                            return true;
+                        return (isUnitType(field.type) ||
+                            (field.type.kind === "union" &&
+                                lowerer.unions.get(field.type.unionId)?.arms.every(isUnitType) === true));
+                    }));
+            });
+            if (absentOnly.length === 1)
+                selected = absentOnly;
+        }
+        if (selected.length !== 1)
+            return null;
+        return { how: "liftWrap", tag: selected[0].tag, arm: selected[0].arm };
+    }
+    // A UNION source into a slot that is ONE of its arms (a width copy
+    // whose target field narrowed — the option-table choices shape:
+    // `value: boolean | string` copying into a `value: string` slot the
+    // checker approved): the CHECKED extraction — narrowedArmHelper,
+    // exactly `x!`'s machinery — the proven arm's payload comes out, any
+    // other arm throws the catchable TypeError (divergence 38's stance).
+    if (src.kind === "union" &&
+        !isUnitType(dst) &&
+        dst.kind !== "void" &&
+        lowerer.armTag(src.unionId, dst) >= 0) {
+        return { how: "narrow" };
+    }
+    // A DERIVED instance into a BASE-typed slot (`{ p: Q }` copying into
+    // `{ p: P }`): the same implicit upcast coerceToExpected performs at
+    // top level — prefix layout, a pointer reinterpret, no copy.
+    if (dst.kind === "object" &&
+        src.kind === "object" &&
+        lowerer.isSubclassOf(src.className, dst.className)) {
+        return { how: "upcast" };
+    }
+    // A FUNCTION into a slot whose signature differs only by CLEAN
+    // mechanical conversions (fewer params — JS ignores extras — and
+    // coercibleValue pieces): the general function-value adapter, plan-
+    // gated to the clean subset. The stranded (trap-only) dispositions
+    // funcCoerceAdapter also builds stay TOP-LEVEL only: a width plan
+    // never promises a bridge that can only throw.
+    if (dst.kind === "func" && src.kind === "func" && lowerer.cleanFuncAdaptable(src, dst)) {
+        return { how: "funcAdapt" };
+    }
+    if (dst.kind === "record" && src.kind === "record") {
+        return lowerer.recordWidthPlan(src.shapeId, dst.shapeId) !== null ? { how: "width" } : null;
+    }
+    if (dst.kind === "record" && src.kind === "union") {
+        // A union of records can share a structural destination without
+        // choosing one payload layout in advance. Plan every arm: omitted
+        // destination fields need the ordinary optional-field completion,
+        // and a required field missing from any arm still rejects the pair.
+        const from = lowerer.unions.get(src.unionId);
+        if (!from || from.arms.length === 0 || !from.arms.every((arm) => arm.kind === "record"))
+            return null;
+        const key = `unionWidth:${src.unionId}:${dst.shapeId}`;
+        if (lowerer.coercions.planning.has(key))
+            return { how: "unionWidth" };
+        lowerer.coercions.planning.add(key);
+        try {
+            return from.arms.every((arm) => lowerer.widthLiftPlan(arm, dst) !== null)
+                ? { how: "unionWidth" }
+                : null;
+        }
+        finally {
+            lowerer.coercions.planning.delete(key);
+        }
+    }
+    if (dst.kind === "record" && src.kind === "object") {
+        return lowerer.objToRecordPlan(src.className, dst.shapeId) !== null
+            ? { how: "objWidth" }
+            : null;
+    }
+    if (dst.kind === "object" && src.kind === "record") {
+        return lowerer.recordToClassPlan(src.shapeId, dst.className) !== null
+            ? { how: "clsWidth" }
+            : null;
+    }
+    if (dst.kind === "array" && src.kind === "array") {
+        if (lowerer.widthLiftPlan(src.elem, dst.elem) !== null)
+            return { how: "arr" };
+        // The EMPTY-array lift: a unit-only element type (`readonly []`
+        // mapped as the unit-element array, `(null | undefined)[]`) has no
+        // per-element conversion into a data element — but the only value
+        // such a slot honestly holds in the width family is EMPTY, so the
+        // lift is a fresh empty array of the target type, guarded by a
+        // runtime non-empty trap (the checked-extraction stance).
+        if (lowerer.unitOnlyElem(src.elem) &&
+            dst.elem.kind !== "jsval" &&
+            !lowerer.unitOnlyElem(dst.elem)) {
+            return { how: "emptyArr" };
+        }
+        return null;
+    }
+    // A TUPLE flowing into an array FIELD/ELEMENT (`aliases: ["ls"]` into
+    // an `aliases: string[]` slot): per-position lifts, the top-level
+    // tuple-into-array coercion applied recursively.
+    if (dst.kind === "array" && src.kind === "record" && dst.elem.kind !== "jsval") {
+        const from = lowerer.shapes.get(src.shapeId);
+        if (from?.tuple && from.fields.every((f) => lowerer.widthLiftPlan(f.type, dst.elem) !== null)) {
+            return { how: "tupleArr" };
+        }
+        return null;
+    }
+    return null;
+}
+/** True for the unit-only element types (`(null | undefined)[]`, the
+ * `readonly []` mapping): a union whose every arm is a unit. */
+export function unitOnlyElem(lowerer, t) {
+    if (t.kind !== "union")
+        return false;
+    const def = lowerer.unions.get(t.unionId);
+    return def !== undefined && def.arms.every((a) => isUnitType(a));
+}
+/** Plan each destination field before interning a record projection.
+ * Missing optional fields complete to undefined; tuples require equal arity.
+ * Index-signature destinations use the separate overflow-capture path. */
+export function recordWidthPlan(lowerer, fromId, toId) {
+    const from = lowerer.shapes.get(fromId);
+    const to = lowerer.shapes.get(toId);
+    // INDEX-SIGNATURE sources narrow like any wider record — the target
+    // fields copy off the declared struct slots and the overflow drops
+    // with the rest of the width (divergence 36's stance; the absent-
+    // completion rule below is the one extra fence). Index-signature
+    // TARGETS keep the overflow CAPTURE helper (widthCoerce's other arm):
+    // a fresh hybrid needs keyed writes, not a field-list literal.
+    if (!from || !to || to.indexValue)
+        return null;
+    // Tuple↔record pairs never relate; tuple↔tuple only arity-exact.
+    if (!!from.tuple !== !!to.tuple)
+        return null;
+    if (from.tuple && from.fields.length !== to.fields.length)
+        return null;
+    const key = `${fromId}:${toId}`;
+    // Recursive shapes: an in-progress pair re-entered through its own
+    // fields answers "assume coercible" — see CoercionState.planning.
+    if (lowerer.coercions.planning.has(key))
+        return new Map();
+    lowerer.coercions.planning.add(key);
+    try {
+        const plan = new Map();
+        for (const tf of to.fields) {
+            const ff = from.fields.find((f) => f.name === tf.name);
+            if (!ff) {
+                // A target field MISSING on the source: legal exactly when it is
+                // optional-flavored (an undefined-armed union) — the unset field
+                // IS the undefined arm, the same rule literal completion applies
+                // — or 'unknown' (a dyn slot holds the dyn undefined, exactly
+                // the absent-property read: the options-record call shape
+                // against `{ plugins: unknown, ... }`). Never for tuples: a
+                // completed position would change .length and JSON where Node
+                // keeps the source arity. Never for INDEX-SIGNATURE sources:
+                // the overflow may hold this very key at runtime (tsc lets the
+                // signature satisfy optional target members), so completing to
+                // undefined would drop a value Node keeps — the pair stays
+                // fenced.
+                if (from.tuple || from.indexValue)
+                    return null;
+                if (tf.type.kind === "dyn") {
+                    plan.set(tf.name, { absentDyn: true });
+                    continue;
+                }
+                if (tf.type.kind !== "union")
+                    return null;
+                const def = lowerer.unions.get(tf.type.unionId);
+                const utag = def ? def.arms.findIndex((a) => a.kind === "undefinedT") : -1;
+                if (utag < 0)
+                    return null;
+                plan.set(tf.name, { absent: true, utag });
+                continue;
+            }
+            const lift = lowerer.widthLiftPlan(ff.type, tf.type);
+            if (!lift)
+                return null;
+            plan.set(tf.name, { src: ff.type, lift });
+        }
+        return plan;
+    }
+    finally {
+        lowerer.coercions.planning.delete(key);
+    }
+}
+/** Explain the first blocked field conversion after SC2002 rejects a pair.
+ * This describes the planning rules without changing which pairs convert. */
+export function describeRecordWidthBlocker(lowerer, fromId, toId) {
+    const from = lowerer.shapes.get(fromId);
+    const to = lowerer.shapes.get(toId);
+    if (!from || !to)
+        return null;
+    if (to.indexValue) {
+        // The overflow CAPTURE's gates (lowerRecordOvfCaptureHelper).
+        if (from.tuple || to.tuple)
+            return "a tuple cannot reshape into an index-signature record";
+        const tIv = to.indexValue;
+        const slotOk = (t) => typeEquals(t, tIv) ||
+            (tIv.kind === "dyn" && (t.kind === "dyn" || lowerer.dynConvertible(t))) ||
+            lowerer.widthLiftPlan(t, tIv) !== null;
+        const consumed = new Set();
+        for (const tf of to.fields) {
+            const sf = from.fields.find((f) => f.name === tf.name);
+            if (sf) {
+                if (lowerer.widthLiftPlan(sf.type, tf.type) !== null) {
+                    consumed.add(tf.name);
+                    continue;
+                }
+                return `field '${tf.name}': '${lowerer.fmt(sf.type)}' does not lift into '${lowerer.fmt(tf.type)}'`;
+            }
+            if (tf.type.kind !== "union" || lowerer.armTag(tf.type.unionId, UNDEFINED_T) < 0) {
+                return `the expected field '${tf.name}' is required and the source has no field to copy into it`;
+            }
+            if (tIv.kind === "dyn" ? !lowerer.dynConvertible(tf.type) : !typeEquals(tf.type, tIv)) {
+                return `the expected field '${tf.name}' ('${lowerer.fmt(tf.type)}') cannot take a runtime key collision from the '${lowerer.fmt(tIv)}' signature slot`;
+            }
+        }
+        for (const ff of from.fields) {
+            if (consumed.has(ff.name))
+                continue;
+            if (!slotOk(ff.type)) {
+                return `the source field '${ff.name}' ('${lowerer.fmt(ff.type)}') cannot enter the expected '[key: string]: ${lowerer.fmt(tIv)}' slot`;
+            }
+        }
+        if (from.indexValue && !slotOk(from.indexValue)) {
+            return `the source's '[key: string]: ${lowerer.fmt(from.indexValue)}' slot cannot enter the expected '[key: string]: ${lowerer.fmt(tIv)}' slot`;
+        }
+        // The dispatch-writes gate: runtime-keyed writes can collide with a
+        // declared field whose type is not the slot's.
+        const dispatchWrites = from.indexValue !== undefined ||
+            from.fields.some((ff) => !consumed.has(ff.name) && to.fields.some((f) => f.name === ff.name));
+        if (dispatchWrites) {
+            const bad = to.fields.find((f) => tIv.kind === "dyn" ? !lowerer.dynConvertible(f.type) : !typeEquals(f.type, tIv));
+            if (bad) {
+                return `runtime-keyed writes can collide with the expected field '${bad.name}' ('${lowerer.fmt(bad.type)}'), which cannot take a '${lowerer.fmt(tIv)}' slot value`;
+            }
+        }
+        return null;
+    }
+    // The field-copy plan's gates (recordWidthPlan).
+    if (!!from.tuple !== !!to.tuple)
+        return null;
+    if (from.tuple && from.fields.length !== to.fields.length) {
+        return `tuple arities differ (${from.fields.length} vs ${to.fields.length}; TS permits no tuple width)`;
+    }
+    for (const tf of to.fields) {
+        const ff = from.fields.find((f) => f.name === tf.name);
+        if (!ff) {
+            if (from.tuple)
+                return null;
+            if (from.indexValue) {
+                return `'${tf.name}' is not a declared field of the source, and the source's index signature could hold it at runtime (a completed undefined would drop that value)`;
+            }
+            if (tf.type.kind === "dyn")
+                continue;
+            if (tf.type.kind !== "union" || lowerer.armTag(tf.type.unionId, UNDEFINED_T) < 0) {
+                return `the expected field '${tf.name}' is missing on the source and is not optional`;
+            }
+            continue;
+        }
+        if (lowerer.widthLiftPlan(ff.type, tf.type) === null) {
+            return `field '${tf.name}': '${lowerer.fmt(ff.type)}' does not lift into '${lowerer.fmt(tf.type)}'`;
+        }
+    }
+    return null;
+}
+/** Plan a record projection from plain class fields, including inherited
+ * fields and absent optional fields. Methods, accessors, reserved slots and
+ * builtin runtime layouts cannot be read as ordinary emitted storage. */
+export function objToRecordPlan(lowerer, className, toId) {
+    const info = lowerer.classes.get(className);
+    const to = lowerer.shapes.get(toId);
+    if (!info || !to || to.indexValue || to.tuple)
+        return null;
+    // Reserved slots (%call hybrids, %get:/%set: accessor closures) are
+    // not projectable storage.
+    if (to.fields.some((f) => f.name.startsWith("%")))
+        return null;
+    for (let c = info; c; c = c.base) {
+        if (c.builtinError || c.builtinEmitter || c.builtinStream !== undefined || c.def.runtime)
+            return null;
+    }
+    const key = `obj:${className}:${toId}`;
+    if (lowerer.coercions.planning.has(key))
+        return new Map();
+    lowerer.coercions.planning.add(key);
+    try {
+        const plan = new Map();
+        for (const tf of to.fields) {
+            // A method/accessor satisfying the checker has no projectable
+            // value — decline the whole plan, field or not.
+            if (findMethodOn(lowerer, info, tf.name) ||
+                findMethodOn(lowerer, info, `get:${tf.name}`) ||
+                findGenericMethodOn(lowerer, info, tf.name)) {
+                return null;
+            }
+            const ft = info.fields.get(tf.name);
+            if (ft === undefined) {
+                if (tf.type.kind !== "union")
+                    return null;
+                const def = lowerer.unions.get(tf.type.unionId);
+                const utag = def ? def.arms.findIndex((a) => a.kind === "undefinedT") : -1;
+                if (utag < 0)
+                    return null;
+                plan.set(tf.name, { absent: true, utag });
+                continue;
+            }
+            const lift = lowerer.widthLiftPlan(ft, tf.type);
+            if (!lift)
+                return null;
+            plan.set(tf.name, { src: ft, lift });
+        }
+        return plan;
+    }
+    finally {
+        lowerer.coercions.planning.delete(key);
+    }
+}
+/** Plan construction of a data class from record fields. The class must
+ * have only parameter properties and a trivial constructor, with no methods,
+ * accessors, decorations or runtime layout. Entries follow parameter order. */
+export function recordToClassPlan(lowerer, fromId, className) {
+    const from = lowerer.shapes.get(fromId);
+    const info = lowerer.classes.get(className);
+    if (!from || !info || from.indexValue || from.tuple)
+        return null;
+    if (from.fields.some((f) => f.name.startsWith("%")))
+        return null;
+    if (!info.decl || info.def.abstract || info.def.runtime || info.generic)
+        return null;
+    if (info.builtinError || info.builtinEmitter || info.builtinStream !== undefined)
+        return null;
+    if (info.classDecorators)
+        return null;
+    if (info.base && !(info.base.generic && !info.base.base))
+        return null;
+    for (let c = info; c; c = c.base) {
+        if (c.methods.size > 0 ||
+            (c.genericMethods?.size ?? 0) > 0 ||
+            (c.symbolFields?.size ?? 0) > 0 ||
+            c.throwingSetters.length > 0 ||
+            (c.def.abstractMethods?.length ?? 0) > 0) {
+            return null;
+        }
+    }
+    if (!info.ctor || info.ctor.body === undefined || info.ctor.body.statements.length > 0)
+        return null;
+    const props = info.paramProps ?? [];
+    if (props.length !== info.ctorParams.length)
+        return null;
+    // Every layout field must come from a parameter property (no declared
+    // fields with initializers the projection would silently prefer).
+    if (info.def.fields.length !== props.length)
+        return null;
+    const key = `cls:${fromId}:${className}`;
+    if (lowerer.coercions.planning.has(key))
+        return [];
+    lowerer.coercions.planning.add(key);
+    try {
+        const plan = [];
+        for (let i = 0; i < props.length; i++) {
+            const shape = info.ctorParams[i];
+            if (!shape || (shape.mode !== "required" && shape.mode !== "omittable"))
+                return null;
+            const name = props[i].name;
+            const ff = from.fields.find((f) => f.name === name);
+            if (!ff) {
+                if (shape.mode !== "omittable" || shape.type.kind !== "union")
+                    return null;
+                const def = lowerer.unions.get(shape.type.unionId);
+                if (!def || !def.arms.some((a) => a.kind === "undefinedT"))
+                    return null;
+                plan.push({ absent: true });
+                continue;
+            }
+            const lift = lowerer.widthLiftPlan(ff.type, shape.type);
+            if (!lift)
+                return null;
+            plan.push({ field: name, src: ff.type, lift });
+        }
+        return plan;
+    }
+    finally {
+        lowerer.coercions.planning.delete(key);
+    }
+}
+//# sourceMappingURL=structural-plans.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"structural-plans.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/coercions/structural-plans.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAGxD,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACxE,OAAO,EAAkB,YAAY,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAQxF;;yEAEyE;AACzE,MAAM,UAAU,aAAa,CAAC,OAAgB,EAAE,GAAW,EAAE,GAAW;IACtE,IAAI,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC;QAAE,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;IACjD,mEAAmE;IACnE,qEAAqE;IACrE,qEAAqE;IACrE,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5E,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;IAC1B,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACzB,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACzB,OAAO,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACxF,CAAC;QACD,8DAA8D;QAC9D,kEAAkE;QAClE,IAAI,UAAU,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QACjC,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAC7C,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC5C,IAAI,CAAC,GAAG;YAAE,OAAO,IAAI,CAAC;QACtB,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;YACb,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAClF,IAAI,KAAK,IAAI,mBAAmB,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAC1E,OAAO,EAAE,GAAG,EAAE,kBAAkB,EAAE,CAAC;YACrC,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;QAC9B,CAAC;QACD,MAAM,UAAU,GAAmC,EAAE,CAAC;QACtD,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;YAC1B,IAAI,UAAU,CAAC,GAAG,CAAC;gBAAE,OAAO;YAC5B,MAAM,UAAU,GACd,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC;gBAChD,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC;gBAC9C,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC;gBAC5C,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC;gBAChD,+DAA+D;gBAC/D,2DAA2D;gBAC3D,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;oBACpB,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,KAAK,KAAK,IAAI;oBAC/C,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC;gBACvB,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC;gBAChD,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;YACnD,IAAI,UAAU,IAAI,OAAO,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,IAAI;gBAAE,UAAU,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;QAC/F,CAAC,CAAC,CAAC;QACH,IAAI,QAAQ,GAAG,UAAU,CAAC;QAC1B,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACjD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAC/C,kEAAkE;YAClE,mEAAmE;YACnE,mEAAmE;YACnE,iEAAiE;YACjE,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE;gBAC7C,IAAI,CAAC,MAAM,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;oBAAE,OAAO,KAAK,CAAC;gBACnD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBAC/C,OAAO,CACL,MAAM,KAAK,SAAS;oBACpB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE;wBAC5B,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC;4BAAE,OAAO,IAAI,CAAC;wBAC9E,OAAO,CACL,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC;4BACtB,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;gCAC1B,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,IAAI,CAAC,CAC3E,CAAC;oBACJ,CAAC,CAAC,CACH,CAAC;YACJ,CAAC,CAAC,CAAC;YACH,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;gBAAE,QAAQ,GAAG,UAAU,CAAC;QACrD,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACvC,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAE,CAAC,GAAG,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAE,CAAC,GAAG,EAAE,CAAC;IAC3E,CAAC;IACD,mEAAmE;IACnE,gEAAgE;IAChE,oEAAoE;IACpE,iEAAiE;IACjE,qEAAqE;IACrE,qEAAqE;IACrE,IACE,GAAG,CAAC,IAAI,KAAK,OAAO;QACpB,CAAC,UAAU,CAAC,GAAG,CAAC;QAChB,GAAG,CAAC,IAAI,KAAK,MAAM;QACnB,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,EACrC,CAAC;QACD,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;IAC3B,CAAC;IACD,qEAAqE;IACrE,qEAAqE;IACrE,6DAA6D;IAC7D,IACE,GAAG,CAAC,IAAI,KAAK,QAAQ;QACrB,GAAG,CAAC,IAAI,KAAK,QAAQ;QACrB,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,SAAS,CAAC,EAClD,CAAC;QACD,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;IAC3B,CAAC;IACD,+DAA+D;IAC/D,iEAAiE;IACjE,oEAAoE;IACpE,mEAAmE;IACnE,kEAAkE;IAClE,+CAA+C;IAC/C,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,kBAAkB,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;QACvF,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;IAC9B,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACnD,OAAO,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9F,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAClD,gEAAgE;QAChE,kEAAkE;QAClE,kEAAkE;QAClE,oEAAoE;QACpE,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC7C,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC;YACrF,OAAO,IAAI,CAAC;QACd,MAAM,GAAG,GAAG,cAAc,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QACvD,IAAI,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,EAAE,GAAG,EAAE,YAAY,EAAE,CAAC;QACtE,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpC,IAAI,CAAC;YACH,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,IAAI,CAAC;gBACvE,CAAC,CAAC,EAAE,GAAG,EAAE,YAAY,EAAE;gBACvB,CAAC,CAAC,IAAI,CAAC;QACX,CAAC;gBAAS,CAAC;YACT,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACnD,OAAO,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,OAAO,CAAC,KAAK,IAAI;YACjE,CAAC,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE;YACrB,CAAC,CAAC,IAAI,CAAC;IACX,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACnD,OAAO,OAAO,CAAC,iBAAiB,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,SAAS,CAAC,KAAK,IAAI;YACnE,CAAC,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE;YACrB,CAAC,CAAC,IAAI,CAAC;IACX,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACjD,IAAI,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;QAC9E,gEAAgE;QAChE,mEAAmE;QACnE,kEAAkE;QAClE,kEAAkE;QAClE,+DAA+D;QAC/D,0DAA0D;QAC1D,IACE,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC;YAC9B,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;YACzB,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAC/B,CAAC;YACD,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC;QAC7B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,sEAAsE;IACtE,kEAAkE;IAClE,iDAAiD;IACjD,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC/E,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC7C,IAAI,IAAI,EAAE,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC;YAC9F,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC;QAC7B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;gEACgE;AAChE,MAAM,UAAU,YAAY,CAAC,OAAgB,EAAE,CAAS;IACtD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC;IACrC,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC1C,OAAO,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;AACnE,CAAC;AAED;;0EAE0E;AAC1E,MAAM,UAAU,eAAe,CAC7B,OAAgB,EAChB,MAAc,EACd,IAAY;IAEZ,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,oEAAoE;IACpE,mEAAmE;IACnE,kEAAkE;IAClE,iEAAiE;IACjE,sEAAsE;IACtE,+DAA+D;IAC/D,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,UAAU;QAAE,OAAO,IAAI,CAAC;IAC/C,iEAAiE;IACjE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IAC7C,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACvE,MAAM,GAAG,GAAG,GAAG,MAAM,IAAI,IAAI,EAAE,CAAC;IAChC,mEAAmE;IACnE,kEAAkE;IAClE,IAAI,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,GAAG,EAAE,CAAC;IAC1D,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACpC,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,IAAI,GAAG,EAAqB,CAAC;QAC1C,KAAK,MAAM,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;YAC3B,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC;YACvD,IAAI,CAAC,EAAE,EAAE,CAAC;gBACR,iEAAiE;gBACjE,iEAAiE;gBACjE,iEAAiE;gBACjE,8DAA8D;gBAC9D,0DAA0D;gBAC1D,4DAA4D;gBAC5D,8DAA8D;gBAC9D,6DAA6D;gBAC7D,+DAA+D;gBAC/D,+DAA+D;gBAC/D,2DAA2D;gBAC3D,UAAU;gBACV,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,UAAU;oBAAE,OAAO,IAAI,CAAC;gBAC/C,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;oBAC3B,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;oBACvC,SAAS;gBACX,CAAC;gBACD,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;oBAAE,OAAO,IAAI,CAAC;gBAC1C,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAChD,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC3E,IAAI,IAAI,GAAG,CAAC;oBAAE,OAAO,IAAI,CAAC;gBAC1B,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC1C,SAAS;YACX,CAAC;YACD,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;YACrD,IAAI,CAAC,IAAI;gBAAE,OAAO,IAAI,CAAC;YACvB,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QAC5C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACzC,CAAC;AACH,CAAC;AAED;6EAC6E;AAC7E,MAAM,UAAU,0BAA0B,CACxC,OAAgB,EAChB,MAAc,EACd,IAAY;IAEZ,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,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;QAClB,8DAA8D;QAC9D,IAAI,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,KAAK;YAAE,OAAO,uDAAuD,CAAC;QAC3F,MAAM,GAAG,GAAG,EAAE,CAAC,UAAU,CAAC;QAC1B,MAAM,MAAM,GAAG,CAAC,CAAS,EAAW,EAAE,CACpC,UAAU,CAAC,CAAC,EAAE,GAAG,CAAC;YAClB,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;YACvE,OAAO,CAAC,aAAa,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,IAAI,CAAC;QACzC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QACnC,KAAK,MAAM,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;YAC3B,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC;YACvD,IAAI,EAAE,EAAE,CAAC;gBACP,IAAI,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;oBACrD,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;oBACtB,SAAS;gBACX,CAAC;gBACD,OAAO,UAAU,EAAE,CAAC,IAAI,OAAO,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,yBAAyB,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;YACtG,CAAC;YACD,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;gBACjF,OAAO,uBAAuB,EAAE,CAAC,IAAI,2DAA2D,CAAC;YACnG,CAAC;YACD,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;gBACtF,OAAO,uBAAuB,EAAE,CAAC,IAAI,OAAO,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,oDAAoD,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,kBAAkB,CAAC;YACzJ,CAAC;QACH,CAAC;QACD,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC7B,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC;gBAAE,SAAS;YACpC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBACrB,OAAO,qBAAqB,EAAE,CAAC,IAAI,OAAO,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,gDAAgD,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC;YACzI,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,UAAU,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YAChD,OAAO,gCAAgC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,oDAAoD,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClJ,CAAC;QACD,oEAAoE;QACpE,+CAA+C;QAC/C,MAAM,cAAc,GAClB,IAAI,CAAC,UAAU,KAAK,SAAS;YAC7B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QAChG,IAAI,cAAc,EAAE,CAAC;YACnB,MAAM,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAC/B,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAChF,CAAC;YACF,IAAI,GAAG,EAAE,CAAC;gBACR,OAAO,6DAA6D,GAAG,CAAC,IAAI,OAAO,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,4BAA4B,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC;YACrK,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,iDAAiD;IACjD,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IAC7C,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QAC1D,OAAO,yBAAyB,IAAI,CAAC,MAAM,CAAC,MAAM,OAAO,EAAE,CAAC,MAAM,CAAC,MAAM,8BAA8B,CAAC;IAC1G,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QAC3B,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC;QACvD,IAAI,CAAC,EAAE,EAAE,CAAC;YACR,IAAI,IAAI,CAAC,KAAK;gBAAE,OAAO,IAAI,CAAC;YAC5B,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpB,OAAO,IAAI,EAAE,CAAC,IAAI,kJAAkJ,CAAC;YACvK,CAAC;YACD,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;gBAAE,SAAS;YACrC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;gBACjF,OAAO,uBAAuB,EAAE,CAAC,IAAI,gDAAgD,CAAC;YACxF,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACrD,OAAO,UAAU,EAAE,CAAC,IAAI,OAAO,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,yBAAyB,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;QACtG,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;yEAEyE;AACzE,MAAM,UAAU,eAAe,CAC7B,OAAgB,EAChB,SAAiB,EACjB,IAAY;IAEZ,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,oEAAoE;IACpE,2BAA2B;IAC3B,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,KAAK,IAAI,CAAC,GAAqB,IAAI,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACnD,IAAI,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,cAAc,IAAI,CAAC,CAAC,aAAa,KAAK,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO;YACtF,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,MAAM,GAAG,GAAG,OAAO,SAAS,IAAI,IAAI,EAAE,CAAC;IACvC,IAAI,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,GAAG,EAAE,CAAC;IAC1D,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACpC,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,IAAI,GAAG,EAAqB,CAAC;QAC1C,KAAK,MAAM,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;YAC3B,8DAA8D;YAC9D,gDAAgD;YAChD,IACE,YAAY,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC;gBACpC,YAAY,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,CAAC;gBAC7C,mBAAmB,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAC3C,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YACpC,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;gBACrB,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;oBAAE,OAAO,IAAI,CAAC;gBAC1C,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAChD,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC3E,IAAI,IAAI,GAAG,CAAC;oBAAE,OAAO,IAAI,CAAC;gBAC1B,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC1C,SAAS;YACX,CAAC;YACD,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;YAChD,IAAI,CAAC,IAAI;gBAAE,OAAO,IAAI,CAAC;YACvB,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACvC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACzC,CAAC;AACH,CAAC;AAED;;+EAE+E;AAC/E,MAAM,UAAU,iBAAiB,CAC/B,OAAgB,EAChB,MAAc,EACd,SAAiB;IAEjB,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC5C,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACjE,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACjE,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IACrF,IAAI,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,cAAc,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC9F,IAAI,IAAI,CAAC,eAAe;QAAE,OAAO,IAAI,CAAC;IACtC,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACtE,KAAK,IAAI,CAAC,GAAqB,IAAI,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACnD,IACE,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC;YAClB,CAAC,CAAC,CAAC,cAAc,EAAE,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC;YACjC,CAAC,CAAC,CAAC,YAAY,EAAE,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC;YAC/B,CAAC,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC;YAC5B,CAAC,CAAC,CAAC,GAAG,CAAC,eAAe,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,EACxC,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;QACpF,OAAO,IAAI,CAAC;IACd,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC;IACpC,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,UAAU,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzD,sEAAsE;IACtE,kEAAkE;IAClE,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzD,MAAM,GAAG,GAAG,OAAO,MAAM,IAAI,SAAS,EAAE,CAAC;IACzC,IAAI,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IACnD,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACpC,IAAI,CAAC;QACH,MAAM,IAAI,GAA2E,EAAE,CAAC;QACxF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YACjC,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,CAAC;gBAAE,OAAO,IAAI,CAAC;YACrF,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC;YAC5B,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;YACpD,IAAI,CAAC,EAAE,EAAE,CAAC;gBACR,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;oBAAE,OAAO,IAAI,CAAC;gBAC3E,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACnD,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACxE,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC5B,SAAS;YACX,CAAC;YACD,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YACxD,IAAI,CAAC,IAAI;gBAAE,OAAO,IAAI,CAAC;YACvB,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QACjD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACzC,CAAC;AACH,CAAC"}

package/dist/frontend/lowering/coercions/structural.d.ts

@@ -0,0 +1,63 @@
+import type { WidthLift } from "../width-lift.js";
+import type { IrExpr, IrType, SrcLoc } from "../../../ir/ir.js";
+import type { Lowerer } from "../lowerer.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 declare function widthCoerce(lowerer: Lowerer, expr: IrExpr, expected: IrType): IrExpr | 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 declare function applyWidthLift(lowerer: Lowerer, lift: WidthLift, value: IrExpr, dst: IrType, loc: SrcLoc): IrExpr;
+/** 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 declare function unionRecordWidthHelper(lowerer: Lowerer, fromId: string, target: IrType & {
+    kind: "record";
+}, loc: SrcLoc): string;
+export declare function recordWidthHelper(lowerer: Lowerer, fromId: string, toId: string, loc: SrcLoc): string | null;
+/** 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 declare function tupleArrayWidthHelper(lowerer: Lowerer, fromId: string, toT: IrType & {
+    kind: "array";
+}, loc: SrcLoc): string | null;
+/** 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 declare function emptyArrayLiftHelper(lowerer: Lowerer, fromT: IrType & {
+    kind: "array";
+}, toT: IrType & {
+    kind: "array";
+}, loc: SrcLoc): string;
+/** Copy an array through its validated element conversion. Intern before
+ * building the body so recursive element conversions can reuse this helper. */
+export declare function arrayWidthHelper(lowerer: Lowerer, fromT: IrType & {
+    kind: "array";
+}, toT: IrType & {
+    kind: "array";
+}, loc: SrcLoc): string | null;
+/** 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 declare function objRecordWidthHelper(lowerer: Lowerer, className: string, toId: string, loc: SrcLoc): string | null;
+/** 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 declare function recordClassWidthHelper(lowerer: Lowerer, fromId: string, className: string, loc: SrcLoc): string | null;
+/** 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 declare function classStaticsProjection(lowerer: Lowerer, className: string, toId: string, loc: SrcLoc): IrExpr | null;