@scriptc/compiler 0.2.4 → 0.2.6

package/dist/frontend/lowering/coercions/function-adapters.js

@@ -0,0 +1,430 @@
+import { dynUndefinedExpr } from "../../../ir/build.js";
+import { buildFunctionAdapter } from "./builders.js";
+import { InternalCompilerError } from "../../../errors.js";
+import { canAdaptDynFuncTo, canMarshalTypedFuncIntoIsland, DYN, F64, isUnitType, JSVAL, STRING, typeEquals, UNDEFINED_T, } from "../../../ir/ir.js";
+import { typeKey } from "../../type-mapper.js";
+/** Wrap a zero-argument function whose array result needs an element
+ * conversion. Each invocation creates a fresh converted array; the factory
+ * creates a fresh closure capturing the original function. */
+export function funcReturnWidthAdapter(lowerer, fromT, toT, loc) {
+    if (fromT.params.length !== 0 || toT.params.length !== 0)
+        return null;
+    if (fromT.ret.kind !== "array" || toT.ret.kind !== "array")
+        return null;
+    const mapper = lowerer.arrayWidthHelper(fromT.ret, toT.ret, loc);
+    if (!mapper)
+        return null;
+    const key = `fn:${typeKey(fromT.ret.elem)}:${typeKey(toT.ret.elem)}`;
+    const existing = lowerer.valueHelpers.get(key);
+    if (existing)
+        return existing;
+    const name = `%fn.width.${lowerer.valueHelpers.size}`;
+    lowerer.valueHelpers.set(key, name);
+    lowerer.freshClosureAdapters.add(name);
+    // The returned closure's body: call the captured original, width-map.
+    lowerer.liftedFns.push(...buildFunctionAdapter(name, fromT, toT, [], [], [
+        {
+            kind: "return",
+            value: {
+                kind: "call",
+                callee: mapper,
+                args: [
+                    {
+                        kind: "callValue",
+                        callee: { kind: "varRef", localId: "f.0", type: fromT, loc },
+                        receiver: { kind: "libCall", fn: "dyn.this", args: [], type: DYN, loc },
+                        args: [],
+                        type: fromT.ret,
+                        loc,
+                    },
+                ],
+                type: toT.ret,
+                loc,
+            },
+            loc,
+        },
+    ], loc));
+    return name;
+}
+/** Probe mechanical value conversions without creating helpers.
+ * Trap-only conversions are excluded: they cannot justify an adapter that
+ * promises to accept the destination signature. */
+export function coercibleValue(lowerer, src, dst) {
+    if (typeEquals(src, dst))
+        return true;
+    // The island boundary joins the mechanical set: values that MARSHAL
+    // in (units, the checked-dynamic deep copy, JSON-safe data, liftable
+    // composites, marshalable closures — coerceToExpected's jsval-IN
+    // block) and island handles whose exits VALIDATE (boundaryExitSafe) —
+    // the `defaultFallback(cfg) { return { login, id, scopes } }` shape,
+    // whose slot returns a package ('any') type.
+    if (dst.kind === "jsval") {
+        return (src.kind !== "jsval" &&
+            (isUnitType(src) ||
+                src.kind === "dyn" ||
+                lowerer.boundarySafe(src) ||
+                lowerer.jsvalLiftable(src) ||
+                (src.kind === "func" &&
+                    canMarshalTypedFuncIntoIsland(src, (id) => lowerer.shapes.get(id), (id) => lowerer.unions.get(id)))));
+    }
+    if (src.kind === "jsval")
+        return lowerer.boundaryExitSafe(dst);
+    if (dst.kind === "dyn")
+        return src.kind !== "dyn" && lowerer.dynConvertible(src);
+    if (src.kind === "dyn") {
+        // The checked-dynamic function boundary's OUT direction joins the
+        // mechanical set: a dyn result landing in an adaptable func slot
+        // takes dynCheck's per-target shim (coerceToExpected's funcOk rule
+        // — the production/development function-choice ternary shape).
+        return (lowerer.jsonSafe(dst) ||
+            (dst.kind === "func" &&
+                canAdaptDynFuncTo(dst, (id) => lowerer.shapes.get(id), (id) => lowerer.unions.get(id))));
+    }
+    if (dst.kind === "union") {
+        if (src.kind === "union")
+            return lowerer.unionRetagMappable(src.unionId, dst.unionId);
+        if (src.kind === "void")
+            return lowerer.armTag(dst.unionId, UNDEFINED_T) >= 0;
+        return !isUnitType(src) && lowerer.armTag(dst.unionId, src) >= 0;
+    }
+    if (src.kind === "union") {
+        return !isUnitType(dst) && dst.kind !== "void" && lowerer.armTag(src.unionId, dst) >= 0;
+    }
+    return false;
+}
+/** Whether all parameters and the result adapt without a trap-only path.
+ * Rest signatures are excluded; extra destination parameters are ignored. */
+export function cleanFuncAdaptable(lowerer, src, dst) {
+    if (src.rest === true || dst.rest === true)
+        return false;
+    if (src.params.length > dst.params.length)
+        return false;
+    for (let i = 0; i < src.params.length; i++) {
+        if (!lowerer.coercibleValue(dst.params[i], src.params[i]))
+            return false;
+    }
+    if (dst.ret.kind === "void")
+        return src.ret.kind !== "jsval";
+    if (lowerer.coercibleValue(src.ret, dst.ret))
+        return true;
+    return src.ret.kind === "void" && (dst.ret.kind === "dyn" || dst.ret.kind === "jsval");
+}
+/** Adapt a function value to a destination signature, forwarding and
+ * converting its arguments and result. Unsupported parameter/result pairs
+ * produce checked traps when called; rest signatures remain refused. */
+export function funcCoerceAdapter(lowerer, fromT, toT, loc) {
+    if (fromT.rest === true || toT.rest === true)
+        return null;
+    if (fromT.params.length > toT.params.length)
+        return null;
+    // Piece dispositions beyond coercibleValue, all CHECKER-APPROVED
+    // function compatibilities (bivariant method params under the suite's
+    // non-strict settings, `() => never` throwers displayed as void by
+    // the type mapping, void functions into unknown/any-returning slots):
+    // - strandParams: some parameter cannot convert — the assignment
+    //   compiles, INVOKING the slot throws the stranded TypeError (a
+    //   never-called mismatched callback is exact; divergence 38's stance
+    //   extended to calls).
+    // - voidRet "dyn"/"jsval": calling yields JS's undefined — the exact
+    //   undefined dyn/engine value after the call's effects.
+    // - voidRet "strand": a void result where the slot promises a typed
+    //   value — the call runs (a `never` thrower never comes back, so the
+    //   trap is unreachable there), then the stranded TypeError.
+    let strandParams = false;
+    const narrowedParams = new Map();
+    const partialDynParams = new Map();
+    for (let i = 0; i < fromT.params.length; i++) {
+        const actual = toT.params[i];
+        const expected = fromT.params[i];
+        if (lowerer.coercibleValue(actual, expected))
+            continue;
+        if (actual.kind === "union" && expected.kind === "dyn") {
+            const arms = lowerer.unions.get(actual.unionId)?.arms.filter((arm) => lowerer.dynConvertible(arm)) ?? [];
+            if (arms.length > 0) {
+                partialDynParams.set(i, arms.length === 1 ? arms[0] : { kind: "union", unionId: lowerer.unions.intern(arms) });
+                continue;
+            }
+        }
+        // A stored native builtin can have a narrower supported overload
+        // than its public declaration. Preserve every supported union arm
+        // and reject only an invocation carrying an unsupported arm. This
+        // is the union counterpart of the checked single-arm extraction.
+        if (actual.kind === "union" && expected.kind === "union") {
+            const source = lowerer.unions.get(actual.unionId);
+            const target = lowerer.unions.get(expected.unionId);
+            if (source &&
+                target &&
+                target.arms.every((arm) => lowerer.armTag(actual.unionId, arm) >= 0)) {
+                narrowedParams.set(i, new Set(source.arms.flatMap((arm, tag) => lowerer.armTag(expected.unionId, arm) < 0 ? [tag] : [])));
+                continue;
+            }
+        }
+        strandParams = true;
+    }
+    let voidRet = null;
+    let strandRet = false;
+    if (toT.ret.kind !== "void" && !lowerer.coercibleValue(fromT.ret, toT.ret)) {
+        if (fromT.ret.kind !== "void") {
+            // A RESULT that cannot convert — the strandParams stance, result
+            // side (the production/development function-choice ternary: the
+            // untaken arm's result shape never lands in the slot's): the
+            // assignment compiles, INVOKING the slot runs the function and
+            // throws the stranded TypeError where its result would convert.
+            strandRet = true;
+        }
+        else {
+            voidRet = toT.ret.kind === "dyn" ? "dyn" : toT.ret.kind === "jsval" ? "jsval" : "strand";
+        }
+    }
+    if (toT.ret.kind === "void" && fromT.ret.kind === "jsval")
+        return null;
+    const key = `fnadapt:${typeKey(fromT)}:${typeKey(toT)}`;
+    const existing = lowerer.coercions.retags.get(key);
+    if (existing)
+        return existing;
+    const name = `%fn.adapt.${lowerer.coercions.retags.size}`;
+    lowerer.coercions.retags.set(key, name);
+    lowerer.freshClosureAdapters.add(name);
+    const params = toT.params.map((t, i) => ({
+        localId: `a.${i}`,
+        name: `a${i}`,
+        type: t,
+    }));
+    const strandThrow = (why) => ({
+        kind: "throw",
+        value: {
+            kind: "libCall",
+            fn: "error.new",
+            args: [{ kind: "strLit", value: why, type: STRING, loc }],
+            type: { kind: "object", className: "%TypeError" },
+            loc,
+        },
+        loc,
+    });
+    let body;
+    if (strandParams) {
+        body = [
+            strandThrow(`a '${lowerer.fmt(fromT)}' function invoked through a '${lowerer.fmt(toT)}' slot (the parameter types cannot convert — the checker's loose function compatibility admitted the assignment, but the call has no exact lowering)`),
+        ];
+    }
+    else {
+        const args = fromT.params.map((pt, i) => {
+            const aRef = { kind: "varRef", localId: `a.${i}`, type: toT.params[i], loc };
+            const partial = partialDynParams.get(i);
+            if (partial && aRef.type.kind === "union") {
+                const source = lowerer.unions.get(aRef.type.unionId);
+                const supported = partial.kind === "union" ? lowerer.unions.get(partial.unionId).arms : [partial];
+                const rejected = new Set(source.arms.flatMap((arm, tag) => supported.some((accepted) => typeEquals(accepted, arm)) ? [] : [tag]));
+                const narrow = partial.kind === "union"
+                    ? lowerer.unionRetagHelper(aRef.type.unionId, partial.unionId, loc, rejected)
+                    : lowerer.narrowedArmHelper(aRef.type.unionId, partial, loc);
+                if (!narrow)
+                    throw new InternalCompilerError("lowerer bug: partial callable parameter stopped narrowing");
+                return lowerer.coerceToExpected({ kind: "call", callee: narrow, args: [aRef], type: partial, loc }, pt);
+            }
+            const narrowed = narrowedParams.get(i);
+            const helper = narrowed && aRef.type.kind === "union" && pt.kind === "union"
+                ? lowerer.unionRetagHelper(aRef.type.unionId, pt.unionId, loc, narrowed)
+                : null;
+            const converted = helper
+                ? { kind: "call", callee: helper, args: [aRef], type: pt, loc }
+                : lowerer.coerceToExpected(aRef, pt);
+            if (!typeEquals(converted.type, pt))
+                throw new InternalCompilerError("lowerer bug: probed fn-adapter param stopped coercing");
+            return converted;
+        });
+        const call = {
+            kind: "callValue",
+            callee: { kind: "varRef", localId: "f.0", type: fromT, loc },
+            receiver: { kind: "libCall", fn: "dyn.this", args: [], type: DYN, loc },
+            args,
+            type: fromT.ret,
+            loc,
+        };
+        if (toT.ret.kind === "void") {
+            body = [
+                { kind: "exprStmt", expr: call, loc },
+                { kind: "return", value: null, loc },
+            ];
+        }
+        else if (voidRet === "dyn") {
+            body = [
+                { kind: "exprStmt", expr: call, loc },
+                { kind: "return", value: dynUndefinedExpr(loc), loc },
+            ];
+        }
+        else if (voidRet === "jsval") {
+            body = [
+                { kind: "exprStmt", expr: call, loc },
+                {
+                    kind: "return",
+                    value: { kind: "jsOp", op: "undefLit", args: [], type: JSVAL, loc },
+                    loc,
+                },
+            ];
+        }
+        else if (voidRet === "strand") {
+            body = [
+                { kind: "exprStmt", expr: call, loc },
+                strandThrow(`a void result where the '${lowerer.fmt(toT)}' slot promises '${lowerer.fmt(toT.ret)}' (a thrower typed 'never' never reaches this; a genuinely void function has no result to hand over)`),
+            ];
+        }
+        else if (strandRet) {
+            body = [
+                { kind: "exprStmt", expr: call, loc },
+                strandThrow(`a '${lowerer.fmt(fromT)}' function invoked through a '${lowerer.fmt(toT)}' slot (the result cannot convert to '${lowerer.fmt(toT.ret)}' — the checker's loose function compatibility admitted the assignment, but the call has no exact lowering)`),
+            ];
+        }
+        else {
+            const result = lowerer.coerceToExpected(call, toT.ret);
+            if (!typeEquals(result.type, toT.ret))
+                throw new InternalCompilerError("lowerer bug: probed fn-adapter return stopped coercing");
+            body = [{ kind: "return", value: result, loc }];
+        }
+    }
+    lowerer.liftedFns.push(...buildFunctionAdapter(name, fromT, toT, params, [], body, loc));
+    return name;
+}
+/** The spawnSync-runner VALUE adapter's plan — a function returning the
+ * opaque spawnRes flowing into a slot whose signature returns the
+ * STRUCTURAL result record tsc accepted (`defaultRunner` into a
+ * `CommandRunner` param: `{ status: number | null; stdout?: string;
+ * stderr?: string; error?: Error }`). Parameters must agree pairwise;
+ * each target field must be one of the spawnRes reads (status, stdout,
+ * stderr, error) at its exact lowered type — string fields optionally
+ * undefined-armed. Null when the pair isn't this shape. Pure: callers
+ * probe before interning. */
+export function spawnResFnAdapterPlan(lowerer, fromT, toT) {
+    if (!Array.isArray(fromT.params) || !Array.isArray(toT.params))
+        return null; // defensive: degenerate func types
+    if (fromT.params.length !== toT.params.length)
+        return null;
+    if (!fromT.params.every((p, i) => typeEquals(p, toT.params[i])))
+        return null;
+    if (fromT.ret.kind !== "spawnRes" || toT.ret.kind !== "record")
+        return null;
+    const shape = lowerer.shapes.get(toT.ret.shapeId);
+    if (!shape || shape.tuple || shape.indexValue)
+        return null;
+    const statusT = {
+        kind: "union",
+        unionId: lowerer.unions.intern([F64, { kind: "nullT" }]),
+    };
+    const errorT = {
+        kind: "union",
+        unionId: lowerer.unions.intern([{ kind: "object", className: "%Error" }, UNDEFINED_T]),
+    };
+    const strOptT = { kind: "union", unionId: lowerer.unions.intern([STRING, UNDEFINED_T]) };
+    const plan = [];
+    for (const f of shape.fields) {
+        if (f.name === "status" && typeEquals(f.type, statusT)) {
+            plan.push({
+                field: f.name,
+                build: (r, loc) => ({
+                    kind: "libCall",
+                    fn: "spawnRes.status",
+                    args: [r],
+                    type: statusT,
+                    loc,
+                }),
+            });
+            continue;
+        }
+        if ((f.name === "stdout" || f.name === "stderr") &&
+            (typeEquals(f.type, strOptT) || f.type.kind === "string")) {
+            const fn = f.name === "stdout" ? "spawnRes.stdout" : "spawnRes.stderr";
+            const strTag = lowerer.armTag(strOptT.kind === "union" ? strOptT.unionId : "", STRING);
+            plan.push({
+                field: f.name,
+                build: (r, loc) => {
+                    const read = { kind: "libCall", fn, args: [r], type: STRING, loc };
+                    return f.type.kind === "string"
+                        ? read
+                        : {
+                            kind: "unionWrap",
+                            unionId: f.type.unionId,
+                            tag: strTag,
+                            value: read,
+                            type: f.type,
+                            loc,
+                        };
+                },
+            });
+            continue;
+        }
+        if (f.name === "error" && typeEquals(f.type, errorT)) {
+            plan.push({
+                field: f.name,
+                build: (r, loc) => ({
+                    kind: "libCall",
+                    fn: "spawnRes.error",
+                    args: [r],
+                    type: errorT,
+                    loc,
+                }),
+            });
+            continue;
+        }
+        return null;
+    }
+    return plan;
+}
+/** Interned `%fnval.spawnres.<n>(f)` — the runner-value adapter: a
+ * fresh closure of the TARGET signature forwarding its arguments to the
+ * captured function and converting the opaque spawnRes result into the
+ * target's structural record (one eager read per declared field —
+ * spawnResFnAdapterPlan's set). Divergence caveat: stdout/stderr read
+ * as the captured text ("" when nothing was captured, e.g. stdio
+ * "inherit") where Node stores null. */
+export function spawnResFnAdapter(lowerer, fromT, toT, loc) {
+    const plan = lowerer.spawnResFnAdapterPlan(fromT, toT);
+    if (!plan)
+        return null;
+    if (toT.ret.kind !== "record")
+        return null;
+    const key = `fnspawn:${typeKey(fromT)}:${typeKey(toT)}`;
+    const existing = lowerer.valueHelpers.get(key);
+    if (existing)
+        return existing;
+    const name = `%fnval.spawnres.${lowerer.valueHelpers.size}`;
+    lowerer.valueHelpers.set(key, name);
+    lowerer.freshClosureAdapters.add(name);
+    const params = toT.params.map((p, i) => ({
+        localId: `p${i}.0`,
+        name: `p${i}`,
+        type: p,
+    }));
+    const rRef = { kind: "varRef", localId: "r.0", type: fromT.ret, loc };
+    lowerer.liftedFns.push(...buildFunctionAdapter(name, fromT, toT, params, [{ id: "r.0", name: "r", type: fromT.ret, mutable: false }], [
+        {
+            kind: "varDecl",
+            localId: "r.0",
+            init: {
+                kind: "callValue",
+                callee: { kind: "varRef", localId: "f.0", type: fromT, loc },
+                receiver: { kind: "libCall", fn: "dyn.this", args: [], type: DYN, loc },
+                args: params.map((p) => ({
+                    kind: "varRef",
+                    localId: p.localId,
+                    type: p.type,
+                    loc,
+                })),
+                type: fromT.ret,
+                loc,
+            },
+            loc,
+        },
+        {
+            kind: "return",
+            value: {
+                kind: "recordLit",
+                fields: plan.map((entry) => ({ name: entry.field, value: entry.build(rRef, loc) })),
+                type: toT.ret,
+                loc,
+            },
+            loc,
+        },
+    ], loc));
+    return name;
+}
+//# sourceMappingURL=function-adapters.js.map

package/dist/frontend/lowering/coercions/function-adapters.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"function-adapters.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/coercions/function-adapters.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AACrD,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAE3D,OAAO,EACL,iBAAiB,EACjB,6BAA6B,EAC7B,GAAG,EACH,GAAG,EACH,UAAU,EACV,KAAK,EACL,MAAM,EACN,UAAU,EACV,WAAW,GACZ,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAG/C;;8DAE8D;AAC9D,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,KAAgC,EAChC,GAA8B,EAC9B,GAAW;IAEX,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACtE,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACxE,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACjE,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;IACrE,MAAM,QAAQ,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC/C,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,IAAI,GAAG,aAAa,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;IACtD,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACpC,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACvC,sEAAsE;IACtE,OAAO,CAAC,SAAS,CAAC,IAAI,CACpB,GAAG,oBAAoB,CACrB,IAAI,EACJ,KAAK,EACL,GAAG,EACH,EAAE,EACF,EAAE,EACF;QACE;YACE,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE;gBACL,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,MAAM;gBACd,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,WAAW;wBACjB,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE;wBAC5D,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;wBACvE,IAAI,EAAE,EAAE;wBACR,IAAI,EAAE,KAAK,CAAC,GAAG;wBACf,GAAG;qBACJ;iBACF;gBACD,IAAI,EAAE,GAAG,CAAC,GAAG;gBACb,GAAG;aACJ;YACD,GAAG;SACJ;KACF,EACD,GAAG,CACJ,CACF,CAAC;IACF,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;mDAEmD;AACnD,MAAM,UAAU,cAAc,CAAC,OAAgB,EAAE,GAAW,EAAE,GAAW;IACvE,IAAI,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,oEAAoE;IACpE,qEAAqE;IACrE,iEAAiE;IACjE,sEAAsE;IACtE,qEAAqE;IACrE,6CAA6C;IAC7C,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACzB,OAAO,CACL,GAAG,CAAC,IAAI,KAAK,OAAO;YACpB,CAAC,UAAU,CAAC,GAAG,CAAC;gBACd,GAAG,CAAC,IAAI,KAAK,KAAK;gBAClB,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC;gBACzB,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC;gBAC1B,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM;oBAClB,6BAA6B,CAC3B,GAAG,EACH,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAC9B,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAC/B,CAAC,CAAC,CACR,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAC/D,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC;IACjF,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACvB,kEAAkE;QAClE,iEAAiE;QACjE,mEAAmE;QACnE,+DAA+D;QAC/D,OAAO,CACL,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;YACrB,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM;gBAClB,iBAAiB,CACf,GAAG,EACH,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAC9B,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAC/B,CAAC,CACL,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACzB,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;QACtF,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;QAC9E,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IACnE,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACzB,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;6EAC6E;AAC7E,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,GAA8B,EAC9B,GAA8B;IAE9B,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACzD,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IACxD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;YAAE,OAAO,KAAK,CAAC;IAC5E,CAAC;IACD,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC;IAC7D,IAAI,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1D,OAAO,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;AACzF,CAAC;AAED;;wEAEwE;AACxE,MAAM,UAAU,iBAAiB,CAC/B,OAAgB,EAChB,KAAgC,EAChC,GAA8B,EAC9B,GAAW;IAEX,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC1D,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzD,iEAAiE;IACjE,sEAAsE;IACtE,mEAAmE;IACnE,sEAAsE;IACtE,iEAAiE;IACjE,iEAAiE;IACjE,sEAAsE;IACtE,wBAAwB;IACxB,qEAAqE;IACrE,yDAAyD;IACzD,oEAAoE;IACpE,sEAAsE;IACtE,6DAA6D;IAC7D,IAAI,YAAY,GAAG,KAAK,CAAC;IACzB,MAAM,cAAc,GAAG,IAAI,GAAG,EAA+B,CAAC;IAC9D,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAkB,CAAC;IACnD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;QAC9B,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;QAClC,IAAI,OAAO,CAAC,cAAc,CAAC,MAAM,EAAE,QAAQ,CAAC;YAAE,SAAS;QACvD,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACvD,MAAM,IAAI,GACR,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;YAC9F,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpB,gBAAgB,CAAC,GAAG,CAClB,CAAC,EACD,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CACvF,CAAC;gBACF,SAAS;YACX,CAAC;QACH,CAAC;QACD,iEAAiE;QACjE,kEAAkE;QAClE,kEAAkE;QAClE,iEAAiE;QACjE,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACzD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAClD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YACpD,IACE,MAAM;gBACN,MAAM;gBACN,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,EACpE,CAAC;gBACD,cAAc,CAAC,GAAG,CAChB,CAAC,EACD,IAAI,GAAG,CACL,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAC/B,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CACvD,CACF,CACF,CAAC;gBACF,SAAS;YACX,CAAC;QACH,CAAC;QACD,YAAY,GAAG,IAAI,CAAC;IACtB,CAAC;IACD,IAAI,OAAO,GAAsC,IAAI,CAAC;IACtD,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3E,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC9B,iEAAiE;YACjE,gEAAgE;YAChE,6DAA6D;YAC7D,+DAA+D;YAC/D,gEAAgE;YAChE,SAAS,GAAG,IAAI,CAAC;QACnB,CAAC;aAAM,CAAC;YACN,OAAO,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;QAC3F,CAAC;IACH,CAAC;IACD,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACvE,MAAM,GAAG,GAAG,WAAW,OAAO,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;IACxD,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACnD,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,IAAI,GAAG,aAAa,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IAC1D,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACxC,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,MAAM,GAAc,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAClD,OAAO,EAAE,KAAK,CAAC,EAAE;QACjB,IAAI,EAAE,IAAI,CAAC,EAAE;QACb,IAAI,EAAE,CAAC;KACR,CAAC,CAAC,CAAC;IACJ,MAAM,WAAW,GAAG,CAAC,GAAW,EAAU,EAAE,CAAC,CAAC;QAC5C,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,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;YACzD,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE;YACjD,GAAG;SACJ;QACD,GAAG;KACJ,CAAC,CAAC;IACH,IAAI,IAAc,CAAC;IACnB,IAAI,YAAY,EAAE,CAAC;QACjB,IAAI,GAAG;YACL,WAAW,CACT,MAAM,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,iCAAiC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,sJAAsJ,CAChO;SACF,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE;YACtC,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,GAAG,EAAE,CAAC;YACtF,MAAM,OAAO,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACxC,IAAI,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC1C,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAE,CAAC;gBACtD,MAAM,SAAS,GACb,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBACnF,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAC/B,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CACrE,CACF,CAAC;gBACF,MAAM,MAAM,GACV,OAAO,CAAC,IAAI,KAAK,OAAO;oBACtB,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,GAAG,EAAE,QAAQ,CAAC;oBAC7E,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;gBACjE,IAAI,CAAC,MAAM;oBACT,MAAM,IAAI,qBAAqB,CAC7B,2DAA2D,CAC5D,CAAC;gBACJ,OAAO,OAAO,CAAC,gBAAgB,CAC7B,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,EAClE,EAAE,CACH,CAAC;YACJ,CAAC;YACD,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACvC,MAAM,MAAM,GACV,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO;gBAC3D,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,QAAQ,CAAC;gBACxE,CAAC,CAAC,IAAI,CAAC;YACX,MAAM,SAAS,GAAW,MAAM;gBAC9B,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE;gBAC/D,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACvC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC;gBACjC,MAAM,IAAI,qBAAqB,CAAC,uDAAuD,CAAC,CAAC;YAC3F,OAAO,SAAS,CAAC;QACnB,CAAC,CAAC,CAAC;QACH,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,WAAW;YACjB,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE;YAC5D,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YACvE,IAAI;YACJ,IAAI,EAAE,KAAK,CAAC,GAAG;YACf,GAAG;SACJ,CAAC;QACF,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC5B,IAAI,GAAG;gBACL,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBACrC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;aACrC,CAAC;QACJ,CAAC;aAAM,IAAI,OAAO,KAAK,KAAK,EAAE,CAAC;YAC7B,IAAI,GAAG;gBACL,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBACrC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,gBAAgB,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;aACtD,CAAC;QACJ,CAAC;aAAM,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;YAC/B,IAAI,GAAG;gBACL,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBACrC;oBACE,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE;oBACnE,GAAG;iBACJ;aACF,CAAC;QACJ,CAAC;aAAM,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;YAChC,IAAI,GAAG;gBACL,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBACrC,WAAW,CACT,4BAA4B,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,oBAAoB,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,sGAAsG,CAC3L;aACF,CAAC;QACJ,CAAC;aAAM,IAAI,SAAS,EAAE,CAAC;YACrB,IAAI,GAAG;gBACL,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBACrC,WAAW,CACT,MAAM,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,iCAAiC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,yCAAyC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,6GAA6G,CACpP;aACF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;YACvD,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC;gBACnC,MAAM,IAAI,qBAAqB,CAAC,wDAAwD,CAAC,CAAC;YAC5F,IAAI,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;IACD,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IACzF,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;6BAQ6B;AAC7B,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,KAAgC,EAChC,GAA8B;IAE9B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,mCAAmC;IAChH,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAC3D,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9E,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,UAAU,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC5E,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAClD,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,UAAU;QAAE,OAAO,IAAI,CAAC;IAC3D,MAAM,OAAO,GAAW;QACtB,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;KACzD,CAAC;IACF,MAAM,MAAM,GAAW;QACrB,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,WAAW,CAAC,CAAC;KACvF,CAAC;IACF,MAAM,OAAO,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC;IACjG,MAAM,IAAI,GAAmE,EAAE,CAAC;IAChF,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;YACvD,IAAI,CAAC,IAAI,CAAC;gBACR,KAAK,EAAE,CAAC,CAAC,IAAI;gBACb,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;oBAClB,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,iBAAiB;oBACrB,IAAI,EAAE,CAAC,CAAC,CAAC;oBACT,IAAI,EAAE,OAAO;oBACb,GAAG;iBACJ,CAAC;aACH,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IACE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;YAC5C,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,EACzD,CAAC;YACD,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAE,iBAA2B,CAAC,CAAC,CAAE,iBAA2B,CAAC;YAC7F,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;YACvF,IAAI,CAAC,IAAI,CAAC;gBACR,KAAK,EAAE,CAAC,CAAC,IAAI;gBACb,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE;oBAChB,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;oBAC3E,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;wBAC7B,CAAC,CAAC,IAAI;wBACN,CAAC,CAAC;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAG,CAAC,CAAC,IAAmC,CAAC,OAAO;4BACvD,GAAG,EAAE,MAAM;4BACX,KAAK,EAAE,IAAI;4BACX,IAAI,EAAE,CAAC,CAAC,IAAI;4BACZ,GAAG;yBACJ,CAAC;gBACR,CAAC;aACF,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;YACrD,IAAI,CAAC,IAAI,CAAC;gBACR,KAAK,EAAE,CAAC,CAAC,IAAI;gBACb,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;oBAClB,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,gBAAgB;oBACpB,IAAI,EAAE,CAAC,CAAC,CAAC;oBACT,IAAI,EAAE,MAAM;oBACZ,GAAG;iBACJ,CAAC;aACH,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;wCAMwC;AACxC,MAAM,UAAU,iBAAiB,CAC/B,OAAgB,EAChB,KAAgC,EAChC,GAA8B,EAC9B,GAAW;IAEX,MAAM,IAAI,GAAG,OAAO,CAAC,qBAAqB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACvD,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,GAAG,GAAG,WAAW,OAAO,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;IACxD,MAAM,QAAQ,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC/C,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,IAAI,GAAG,mBAAmB,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;IAC5D,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACpC,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,MAAM,GAAc,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAClD,OAAO,EAAE,IAAI,CAAC,IAAI;QAClB,IAAI,EAAE,IAAI,CAAC,EAAE;QACb,IAAI,EAAE,CAAC;KACR,CAAC,CAAC,CAAC;IACJ,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC;IAC9E,OAAO,CAAC,SAAS,CAAC,IAAI,CACpB,GAAG,oBAAoB,CACrB,IAAI,EACJ,KAAK,EACL,GAAG,EACH,MAAM,EACN,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAC3D;QACE;YACE,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,KAAK;YACd,IAAI,EAAE;gBACJ,IAAI,EAAE,WAAW;gBACjB,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE;gBAC5D,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;gBACvE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAU,EAAE,CAAC,CAAC;oBAC/B,IAAI,EAAE,QAAQ;oBACd,OAAO,EAAE,CAAC,CAAC,OAAO;oBAClB,IAAI,EAAE,CAAC,CAAC,IAAI;oBACZ,GAAG;iBACJ,CAAC,CAAC;gBACH,IAAI,EAAE,KAAK,CAAC,GAAG;gBACf,GAAG;aACJ;YACD,GAAG;SACJ;QACD;YACE,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE;gBACL,IAAI,EAAE,WAAW;gBACjB,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;gBACnF,IAAI,EAAE,GAAG,CAAC,GAAG;gBACb,GAAG;aACJ;YACD,GAAG;SACJ;KACF,EACD,GAAG,CACJ,CACF,CAAC;IACF,OAAO,IAAI,CAAC;AACd,CAAC"}

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

@@ -0,0 +1,37 @@
+import type { IrExpr, IrType, SrcLoc } from "../../../ir/ir.js";
+import type { Lowerer } from "../lowerer.js";
+/** Whether a static value can become one island value. JSON-safe values
+ * use deep marshaling; composites containing island handles are constructed
+ * field by field. Recursive shapes outside the JSON-safe path are refused. */
+export declare function jsvalLiftable(lowerer: Lowerer, t: IrType, visiting?: Set<string>): boolean;
+/** A jsval-typed expression carrying `e`'s value into the island —
+ * jsvalLiftable's constructive side. Primitives and JSON-safe composites
+ * keep the jsMarshal deep copy; jsval-bearing records and arrays go
+ * through interned per-type builder helpers (%jsin.*), so the operand is
+ * always evaluated exactly once (as the helper's argument). */
+export declare function jsvalLiftExpr(lowerer: Lowerer, e: IrExpr, loc: SrcLoc): IrExpr;
+/** Interned `%jsin.union.<n>(u)` — the runtime tag switch marshaling a
+ * union value INTO the island: unit arms become the engine's own
+ * undefined/null (JS-exact — `{ instructions: undefined }` crossing in
+ * has the property present and undefined, exactly what the source
+ * spells), every other arm narrows and lifts as itself (strings by
+ * value, JSON-safe composites as deep copies, typed arrays as engine
+ * typed-array copies, URLs as engine URL instances). Caller must have
+ * checked jsvalLiftable. */
+export declare function unionToJsvalHelper(lowerer: Lowerer, unionId: string, loc: SrcLoc): string;
+/** Interned `%jsin.rec.<n>(r)` — builds an island OBJECT from a
+ * jsval-bearing record: marshaled key strings, each field lifted through
+ * jsvalLiftExpr (jsval fields pass as handles, JSON-safe fields deep-copy,
+ * nested composites recurse through their own helpers). Caller must have
+ * checked jsvalLiftable. */
+export declare function recordToJsvalHelper(lowerer: Lowerer, shapeId: string, loc: SrcLoc): string;
+/** Interned `%jsin.arr.<n>(a)` — builds ONE island ARRAY from a native
+ * array whose elements lift: out = []; for (...) out[i] = lift(a[i]);
+ * return out. The index marshals by value like any number. Caller must
+ * have checked jsvalLiftable of the element. */
+export declare function arrayToJsvalHelper(lowerer: Lowerer, elem: IrType, loc: SrcLoc): string;
+/** Interned `%jsin.elems.<n>(a)` — a NATIVE array of island handles from
+ * a native array whose elements lift: the `any[]`-slot coercion (each
+ * element becomes one island value; the array stays static). Null when
+ * the element doesn't lift. */
+export declare function arrayToJsvalArrayHelper(lowerer: Lowerer, fromElem: IrType, loc: SrcLoc): string | null;