@scriptc/compiler 0.2.3 → 0.2.5

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

@@ -0,0 +1,65 @@
+import * as ts from "../../ts7/adapter.js";
+import type { IrExpr, IrType, SrcLoc } from "../../../ir/ir.js";
+import type { Lowerer } from "../lowerer.js";
+/** Validate the complete union conversion before interning helpers.
+ * Recursive width plans close through the same in-progress pair guard;
+ * no optimistic result is memoized after that planning stack unwinds. */
+export declare function unionRetagMappable(lowerer: Lowerer, fromId: string, toId: string): boolean;
+/** A checker-NARROWED union flowing into a different union: `typeof r
+ * === "string" || Buffer.isBuffer(r)` proves the record arm of r away,
+ * then `{ data: r }` needs `Buffer | string | Rec` in a `Buffer | string`
+ * slot. Control-flow narrowing to a sub-union erases at lowering, so the
+ * IR value still carries the wide union — but the SITE's checker type
+ * names exactly the arms still possible, and every one of those must
+ * exist in both unions. The stranded arms compile to trap cases exactly
+ * like stranded units (divergence 38's trust-the-checker stance): sound
+ * narrowing never reaches them, a lying cast throws a catchable
+ * TypeError instead of smuggling an unrepresentable arm. Null when the
+ * site type isn't a genuine sub-union of the source (the SC2003 fence
+ * stays). */
+export declare function narrowedRetagHelper(lowerer: Lowerer, node: ts.Node, fromId: string, toId: string, loc: SrcLoc): string | null;
+/** The stranded-UNIT trap for PLAIN (non-union) slots: a null/undefined
+ * value flowing into a non-nullable typed slot the checker approved —
+ * `null!` and `null as any as T` casts, and the non-strict world's
+ * legal `let s: string = null`. The compiled representation has no null
+ * to carry, so the FLOW throws the catchable stranded TypeError
+ * (divergence 38's stance: Node lets the impossible value ride until it
+ * is used; the trap surfaces at the assignment instead). Unit sources
+ * only — they are pure, so the nullary helper evaluates nothing. */
+export declare function strandedUnitTrap(lowerer: Lowerer, expr: IrExpr, expected: IrType, loc: SrcLoc): IrExpr | null;
+/** The STRANDED-SOURCE trap: a checker-approved value flowing into a
+ * union that cannot represent it (armTag < 0, no class widening, no
+ * width lift). Only shapes that PROVE a lying assertion trap: unit
+ * sources (null/undefined literals smuggled through `null!` / `as any`
+ * casts), and record/array sources with ZERO same-family width-lift
+ * candidates among the arms — an AMBIGUOUS lift (several candidates)
+ * stays a compile fence, because honest code lands there. The interned
+ * helper evaluates the operand (JS evaluates it too) and throws the
+ * stranded-arm TypeError verbatim. Null when the shape doesn't prove
+ * the lie. */
+export declare function strandedCoercionTrap(lowerer: Lowerer, expr: IrExpr, expected: IrType & {
+    kind: "union";
+}, loc: SrcLoc): IrExpr | null;
+export declare function recordUnionWrapHelper(lowerer: Lowerer, source: IrType & {
+    kind: "record";
+}, toId: string, loc: SrcLoc): string | null;
+export declare function unionRetagHelper(lowerer: Lowerer, fromId: string, toId: string, loc: SrcLoc, trappable?: ReadonlySet<number>): string | null;
+/** Interned `%union.narrow.<n>(u)` — the CHECKED single-arm extraction
+ * behind `x!` on union values: the asserted arm's payload comes out
+ * (+1 for ref arms, like any unionNarrow), and every OTHER arm throws
+ * the catchable TypeError — divergence 38's lying-assertion stance (an
+ * unchecked unionNarrow would misread the payload where JS lets the
+ * impossible value flow on). Null when the target isn't a non-unit arm
+ * of the union — those uses keep their erasure/fences. */
+export declare function narrowedArmHelper(lowerer: Lowerer, fromId: string, target: IrType, loc: SrcLoc): string | null;
+/** The DEFERRED-INIT field read (`stream!: T` assigned past the
+ * constructor's top level — the slot is `T | undefined`): interned
+ * `%deferred.read.<n>(u)` extracting the declared type. SCALAR arms
+ * whose JS-undefined behavior a unit default reproduces read that
+ * default — bool false (conditions are exact: undefined and false are
+ * both falsy; only printing/strict-equality could tell) and f64 NaN
+ * (arithmetic and conditions exact) — while string and REF arms keep
+ * the checked-extraction TRAP: JS itself TypeErrors the first member
+ * use of such an undefined, so the catchable TypeError at the read is
+ * the same failure, named earlier (SEMANTICS.md). */
+export declare function deferredReadHelper(lowerer: Lowerer, fromId: string, target: IrType, loc: SrcLoc): string | null;

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

@@ -0,0 +1,318 @@
+import { buildUnionNarrow } from "../union-narrow.js";
+import { planUnionRetag, buildUnionRetag, planRecordUnionWrap, buildRecordUnionWrap, } from "../union-retag.js";
+import { InternalCompilerError } from "../../../errors.js";
+import * as ts from "../../ts7/adapter.js";
+import { BOOL, F64, isUnitType, STRING } from "../../../ir/ir.js";
+import { typeKey } from "../../type-mapper.js";
+/** Validate the complete union conversion before interning helpers.
+ * Recursive width plans close through the same in-progress pair guard;
+ * no optimistic result is memoized after that planning stack unwinds. */
+export function unionRetagMappable(lowerer, fromId, toId) {
+    const from = lowerer.unions.get(fromId);
+    const to = lowerer.unions.get(toId);
+    if (!from || !to)
+        return false;
+    const key = `u:${fromId}:${toId}`;
+    if (lowerer.coercions.planning.has(key))
+        return true;
+    lowerer.coercions.planning.add(key);
+    try {
+        return (planUnionRetag(from, to, (id) => lowerer.shapes.get(id), (src, dst) => lowerer.widthLiftPlan(src, dst)) !== null);
+    }
+    finally {
+        lowerer.coercions.planning.delete(key);
+    }
+}
+/** A checker-NARROWED union flowing into a different union: `typeof r
+ * === "string" || Buffer.isBuffer(r)` proves the record arm of r away,
+ * then `{ data: r }` needs `Buffer | string | Rec` in a `Buffer | string`
+ * slot. Control-flow narrowing to a sub-union erases at lowering, so the
+ * IR value still carries the wide union — but the SITE's checker type
+ * names exactly the arms still possible, and every one of those must
+ * exist in both unions. The stranded arms compile to trap cases exactly
+ * like stranded units (divergence 38's trust-the-checker stance): sound
+ * narrowing never reaches them, a lying cast throws a catchable
+ * TypeError instead of smuggling an unrepresentable arm. Null when the
+ * site type isn't a genuine sub-union of the source (the SC2003 fence
+ * stays). */
+export function narrowedRetagHelper(lowerer, node, fromId, toId, loc) {
+    const from = lowerer.unions.get(fromId);
+    if (!from || !lowerer.unions.get(toId))
+        return null;
+    const siteT = lowerer.mapTypeOf(lowerer.typeOf(node));
+    if (!siteT)
+        return null;
+    const siteArms = siteT.kind === "union" ? lowerer.unions.get(siteT.unionId)?.arms : [siteT];
+    if (!siteArms || siteArms.length === 0)
+        return null;
+    const allowed = new Set();
+    for (const a of siteArms) {
+        const fi = lowerer.armTag(fromId, a);
+        if (fi < 0)
+            return null; // not a narrowing of the source union
+        allowed.add(fi);
+    }
+    const trappable = new Set();
+    from.arms.forEach((_, i) => {
+        if (!allowed.has(i))
+            trappable.add(i);
+    });
+    if (trappable.size === 0)
+        return null; // nothing stranded: the plain re-tag already declined
+    return lowerer.unionRetagHelper(fromId, toId, loc, trappable);
+}
+/** The stranded-UNIT trap for PLAIN (non-union) slots: a null/undefined
+ * value flowing into a non-nullable typed slot the checker approved —
+ * `null!` and `null as any as T` casts, and the non-strict world's
+ * legal `let s: string = null`. The compiled representation has no null
+ * to carry, so the FLOW throws the catchable stranded TypeError
+ * (divergence 38's stance: Node lets the impossible value ride until it
+ * is used; the trap surfaces at the assignment instead). Unit sources
+ * only — they are pure, so the nullary helper evaluates nothing. */
+export function strandedUnitTrap(lowerer, expr, expected, loc) {
+    if (!isUnitType(expr.type))
+        return null;
+    if (expected.kind === "union" ||
+        expected.kind === "void" ||
+        expected.kind === "dyn" ||
+        expected.kind === "jsval" ||
+        isUnitType(expected)) {
+        return null;
+    }
+    const what = expr.type.kind === "undefinedT" ? "undefined" : "null";
+    const key = `strandunit:${typeKey(expected)}:${expr.type.kind}`;
+    let name = lowerer.coercions.retags.get(key);
+    if (!name) {
+        name = `%unit.strand.${lowerer.coercions.retags.size}`;
+        lowerer.coercions.retags.set(key, name);
+        lowerer.liftedFns.push({
+            name,
+            params: [],
+            returnType: expected,
+            locals: [],
+            body: [
+                {
+                    kind: "throw",
+                    value: {
+                        kind: "libCall",
+                        fn: "error.new",
+                        args: [
+                            {
+                                kind: "strLit",
+                                value: `${what} is not representable in a '${lowerer.fmt(expected)}' slot (a value narrowed or asserted past the type still held it)`,
+                                type: STRING,
+                                loc,
+                            },
+                        ],
+                        type: { kind: "object", className: "%TypeError" },
+                        loc,
+                    },
+                    loc,
+                },
+            ],
+            loc,
+        });
+    }
+    return { kind: "call", callee: name, args: [], type: expected, loc };
+}
+/** The STRANDED-SOURCE trap: a checker-approved value flowing into a
+ * union that cannot represent it (armTag < 0, no class widening, no
+ * width lift). Only shapes that PROVE a lying assertion trap: unit
+ * sources (null/undefined literals smuggled through `null!` / `as any`
+ * casts), and record/array sources with ZERO same-family width-lift
+ * candidates among the arms — an AMBIGUOUS lift (several candidates)
+ * stays a compile fence, because honest code lands there. The interned
+ * helper evaluates the operand (JS evaluates it too) and throws the
+ * stranded-arm TypeError verbatim. Null when the shape doesn't prove
+ * the lie. */
+export function strandedCoercionTrap(lowerer, expr, expected, loc) {
+    const def = lowerer.unions.get(expected.unionId);
+    if (!def)
+        return null;
+    const src = expr.type;
+    let what;
+    if (isUnitType(src)) {
+        what = src.kind === "undefinedT" ? "undefined" : "null";
+    }
+    else if (src.kind === "f64" || src.kind === "bool" || src.kind === "string") {
+        // A SCALAR the union has no arm for (`4 as any as X`, a generic
+        // dummy for an unmappable instantiation): no widening exists at
+        // all, so the mismatch proves the lie the same way a unit does.
+        what = `a '${lowerer.fmt(src)}' value`;
+    }
+    else if (src.kind === "record" || src.kind === "array") {
+        // Zero width-lift candidates proves no honest mapping was missed.
+        const candidates = def.arms.filter((arm) => ((src.kind === "record" && arm.kind === "record") ||
+            (src.kind === "array" && arm.kind === "array")) &&
+            lowerer.widthLiftPlan(src, arm) !== null);
+        if (candidates.length !== 0)
+            return null;
+        what = `a '${lowerer.fmt(src)}' value`;
+    }
+    else {
+        return null;
+    }
+    // Unit sources have no runtime payload and are pure — the helper is
+    // nullary (unit-typed ABI params have no representation); ref sources
+    // pass through so the operand still evaluates, exactly JS.
+    const takesOperand = !isUnitType(src);
+    const key = `strand:${expected.unionId}:${typeKey(src)}`;
+    let name = lowerer.coercions.retags.get(key);
+    if (!name) {
+        name = `%union.strand.${lowerer.coercions.retags.size}`;
+        lowerer.coercions.retags.set(key, name);
+        const toT = { kind: "union", unionId: expected.unionId };
+        lowerer.liftedFns.push({
+            name,
+            params: takesOperand ? [{ localId: "v.0", name: "v", type: src }] : [],
+            returnType: toT,
+            locals: takesOperand ? [{ id: "v.0", name: "v", type: src, mutable: false }] : [],
+            body: [
+                {
+                    kind: "throw",
+                    value: {
+                        kind: "libCall",
+                        fn: "error.new",
+                        args: [
+                            {
+                                kind: "strLit",
+                                value: `${what} is not representable in the target union (a value narrowed or asserted past it still held it)`,
+                                type: STRING,
+                                loc,
+                            },
+                        ],
+                        type: { kind: "object", className: "%TypeError" },
+                        loc,
+                    },
+                    loc,
+                },
+            ],
+            loc,
+        });
+    }
+    return { kind: "call", callee: name, args: isUnitType(src) ? [] : [expr], type: expected, loc };
+}
+export function recordUnionWrapHelper(lowerer, source, toId, loc) {
+    const shape = lowerer.shapes.get(source.shapeId);
+    const to = lowerer.unions.get(toId);
+    if (!shape || !to)
+        return null;
+    const plan = planRecordUnionWrap(shape, to, (id) => lowerer.shapes.get(id));
+    if (!plan)
+        return null;
+    const key = `recordWrap:${source.shapeId}:${toId}`;
+    const existing = lowerer.coercions.retags.get(key);
+    if (existing)
+        return existing;
+    const name = `%record.wrap.${lowerer.coercions.retags.size}`;
+    lowerer.coercions.retags.set(key, name);
+    lowerer.liftedFns.push(buildRecordUnionWrap(name, source, to, plan, loc, (lift, value, dst) => lowerer.applyWidthLift(lift, value, dst, loc)));
+    return name;
+}
+export function unionRetagHelper(lowerer, fromId, toId, loc, trappable) {
+    const from = lowerer.unions.get(fromId);
+    const to = lowerer.unions.get(toId);
+    if (!from || !to)
+        return null;
+    const request = `${fromId}:${toId}:${trappable === undefined ? "" : [...trappable].sort((a, b) => a - b).join(".")}`;
+    const cached = lowerer.coercions.copyRetags.get(request);
+    if (cached &&
+        cached.shapes === lowerer.shapes.revision &&
+        cached.unions === lowerer.unions.revision)
+        return cached.name;
+    const plan = planUnionRetag(from, to, (id) => lowerer.shapes.get(id), (src, dst) => lowerer.widthLiftPlan(src, dst), trappable);
+    if (plan === null)
+        return null;
+    // The registry pair determines every route; only checker-proven
+    // stranded arms vary by site. Publish the name before building widths
+    // so recursive records and arrays can call this same helper.
+    const stranded = [];
+    plan.forEach((arm, tag) => {
+        if (arm.kind === "trap")
+            stranded.push(tag);
+    });
+    const key = `${fromId}:${toId}:${stranded.join(".")}`;
+    const existing = lowerer.coercions.retags.get(key);
+    const name = existing ?? `%union.retag.${lowerer.coercions.retags.size}`;
+    if (!existing) {
+        lowerer.coercions.retags.set(key, name);
+        lowerer.liftedFns.push(buildUnionRetag(name, from, to, plan, loc, (lift, value, dst) => lowerer.applyWidthLift(lift, value, dst, loc), (type) => lowerer.fmt(type)));
+    }
+    // Width routes still revalidate on every request. Only a complete plan
+    // of exact payload copies and site-proven traps can bypass planning.
+    if (plan.every((arm) => arm.kind === "trap" ||
+        (arm.kind === "direct"
+            ? arm.route.lift.how === "copy"
+            : arm.routes.every((route) => route.lift.how === "copy")))) {
+        lowerer.coercions.copyRetags.set(request, {
+            name,
+            shapes: lowerer.shapes.revision,
+            unions: lowerer.unions.revision,
+        });
+    }
+    return name;
+}
+/** Interned `%union.narrow.<n>(u)` — the CHECKED single-arm extraction
+ * behind `x!` on union values: the asserted arm's payload comes out
+ * (+1 for ref arms, like any unionNarrow), and every OTHER arm throws
+ * the catchable TypeError — divergence 38's lying-assertion stance (an
+ * unchecked unionNarrow would misread the payload where JS lets the
+ * impossible value flow on). Null when the target isn't a non-unit arm
+ * of the union — those uses keep their erasure/fences. */
+export function narrowedArmHelper(lowerer, fromId, target, loc) {
+    const from = lowerer.unions.get(fromId);
+    if (!from || isUnitType(target))
+        return null;
+    const tag = lowerer.armTag(fromId, target);
+    if (tag < 0)
+        return null;
+    const key = `${fromId}:${tag}`;
+    const existing = lowerer.coercions.narrows.get(key);
+    if (existing) {
+        lowerer.coercions.checkedNarrows.add(existing);
+        return existing;
+    }
+    const name = `%union.narrow.${lowerer.coercions.narrows.size}`;
+    lowerer.coercions.narrows.set(key, name);
+    lowerer.coercions.checkedNarrows.add(name);
+    const fn = buildUnionNarrow(name, from, target, loc, (type) => lowerer.fmt(type));
+    if (!fn)
+        throw new InternalCompilerError("lowerer bug: invalid checked union extraction");
+    lowerer.liftedFns.push(fn);
+    return name;
+}
+/** The DEFERRED-INIT field read (`stream!: T` assigned past the
+ * constructor's top level — the slot is `T | undefined`): interned
+ * `%deferred.read.<n>(u)` extracting the declared type. SCALAR arms
+ * whose JS-undefined behavior a unit default reproduces read that
+ * default — bool false (conditions are exact: undefined and false are
+ * both falsy; only printing/strict-equality could tell) and f64 NaN
+ * (arithmetic and conditions exact) — while string and REF arms keep
+ * the checked-extraction TRAP: JS itself TypeErrors the first member
+ * use of such an undefined, so the catchable TypeError at the read is
+ * the same failure, named earlier (SEMANTICS.md). */
+export function deferredReadHelper(lowerer, fromId, target, loc) {
+    if (target.kind !== "bool" && target.kind !== "f64") {
+        return lowerer.narrowedArmHelper(fromId, target, loc);
+    }
+    const from = lowerer.unions.get(fromId);
+    const tag = lowerer.armTag(fromId, target);
+    const utag = from ? from.arms.findIndex((a) => a.kind === "undefinedT") : -1;
+    if (!from || tag < 0 || utag < 0)
+        return null;
+    const key = `deferred:${fromId}:${tag}`;
+    const existing = lowerer.coercions.narrows.get(key);
+    if (existing)
+        return existing;
+    const name = `%deferred.read.${lowerer.coercions.narrows.size}`;
+    lowerer.coercions.narrows.set(key, name);
+    const dflt = target.kind === "bool"
+        ? { kind: "boolLit", value: false, type: BOOL, loc }
+        : { kind: "numLit", value: NaN, type: F64, loc };
+    const fn = buildUnionNarrow(name, from, target, loc, (type) => lowerer.fmt(type), dflt);
+    if (!fn)
+        throw new InternalCompilerError("lowerer bug: invalid deferred union extraction");
+    lowerer.liftedFns.push(fn);
+    return name;
+}
+//# sourceMappingURL=unions.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"unions.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/coercions/unions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EACL,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,oBAAoB,GACrB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAE3C,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAClE,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAG/C;;yEAEyE;AACzE,MAAM,UAAU,kBAAkB,CAAC,OAAgB,EAAE,MAAc,EAAE,IAAY;IAC/E,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,KAAK,CAAC;IAC/B,MAAM,GAAG,GAAG,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC;IAClC,IAAI,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACrD,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACpC,IAAI,CAAC;QACH,OAAO,CACL,cAAc,CACZ,IAAI,EACJ,EAAE,EACF,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAC9B,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAC9C,KAAK,IAAI,CACX,CAAC;IACJ,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACzC,CAAC;AACH,CAAC;AAED;;;;;;;;;;;aAWa;AACb,MAAM,UAAU,mBAAmB,CACjC,OAAgB,EAChB,IAAa,EACb,MAAc,EACd,IAAY,EACZ,GAAW;IAEX,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxC,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACpD,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACtD,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC5F,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACpD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACrC,IAAI,EAAE,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC,CAAC,sCAAsC;QAC/D,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAClB,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACzB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IACH,IAAI,SAAS,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,sDAAsD;IAC7F,OAAO,OAAO,CAAC,gBAAgB,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;AAChE,CAAC;AAED;;;;;;;oEAOoE;AACpE,MAAM,UAAU,gBAAgB,CAC9B,OAAgB,EAChB,IAAY,EACZ,QAAgB,EAChB,GAAW;IAEX,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACxC,IACE,QAAQ,CAAC,IAAI,KAAK,OAAO;QACzB,QAAQ,CAAC,IAAI,KAAK,MAAM;QACxB,QAAQ,CAAC,IAAI,KAAK,KAAK;QACvB,QAAQ,CAAC,IAAI,KAAK,OAAO;QACzB,UAAU,CAAC,QAAQ,CAAC,EACpB,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC;IACpE,MAAM,GAAG,GAAG,cAAc,OAAO,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;IAChE,IAAI,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC7C,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,IAAI,GAAG,gBAAgB,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACvD,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACxC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI;YACJ,MAAM,EAAE,EAAE;YACV,UAAU,EAAE,QAAQ;YACpB,MAAM,EAAE,EAAE;YACV,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,OAAO;oBACb,KAAK,EAAE;wBACL,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,WAAW;wBACf,IAAI,EAAE;4BACJ;gCACE,IAAI,EAAE,QAAQ;gCACd,KAAK,EAAE,GAAG,IAAI,+BAA+B,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,mEAAmE;gCACrI,IAAI,EAAE,MAAM;gCACZ,GAAG;6BACJ;yBACF;wBACD,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE;wBACjD,GAAG;qBACJ;oBACD,GAAG;iBACJ;aACF;YACD,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;AACvE,CAAC;AAED;;;;;;;;;cASc;AACd,MAAM,UAAU,oBAAoB,CAClC,OAAgB,EAChB,IAAY,EACZ,QAAoC,EACpC,GAAW;IAEX,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IACjD,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IACtB,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC;IACtB,IAAI,IAAY,CAAC;IACjB,IAAI,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACpB,IAAI,GAAG,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC;IAC1D,CAAC;SAAM,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC9E,gEAAgE;QAChE,gEAAgE;QAChE,gEAAgE;QAChE,IAAI,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC;IACzC,CAAC;SAAM,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACzD,kEAAkE;QAClE,MAAM,UAAU,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,CAChC,CAAC,GAAG,EAAE,EAAE,CACN,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC;YAC/C,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;YACjD,OAAO,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,IAAI,CAC3C,CAAC;QACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACzC,IAAI,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC;IACzC,CAAC;SAAM,CAAC;QACN,OAAO,IAAI,CAAC;IACd,CAAC;IACD,oEAAoE;IACpE,sEAAsE;IACtE,2DAA2D;IAC3D,MAAM,YAAY,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IACtC,MAAM,GAAG,GAAG,UAAU,QAAQ,CAAC,OAAO,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;IACzD,IAAI,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC7C,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,IAAI,GAAG,iBAAiB,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACxD,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACxC,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC;QACjE,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI;YACJ,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE;YACtE,UAAU,EAAE,GAAG;YACf,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE;YACjF,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,OAAO;oBACb,KAAK,EAAE;wBACL,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,WAAW;wBACf,IAAI,EAAE;4BACJ;gCACE,IAAI,EAAE,QAAQ;gCACd,KAAK,EAAE,GAAG,IAAI,gGAAgG;gCAC9G,IAAI,EAAE,MAAM;gCACZ,GAAG;6BACJ;yBACF;wBACD,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE;wBACjD,GAAG;qBACJ;oBACD,GAAG;iBACJ;aACF;YACD,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;AAClG,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,MAAmC,EACnC,IAAY,EACZ,GAAW;IAEX,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACjD,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,CAAC,KAAK,IAAI,CAAC,EAAE;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5E,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,MAAM,GAAG,GAAG,cAAc,MAAM,CAAC,OAAO,IAAI,IAAI,EAAE,CAAC;IACnD,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,gBAAgB,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IAC7D,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACxC,OAAO,CAAC,SAAS,CAAC,IAAI,CACpB,oBAAoB,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,CACrE,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAC9C,CACF,CAAC;IACF,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,OAAgB,EAChB,MAAc,EACd,IAAY,EACZ,GAAW,EACX,SAA+B;IAE/B,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,MAAM,OAAO,GAAG,GAAG,MAAM,IAAI,IAAI,IAAI,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;IACrH,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACzD,IACE,MAAM;QACN,MAAM,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,QAAQ;QACzC,MAAM,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,QAAQ;QAEzC,OAAO,MAAM,CAAC,IAAI,CAAC;IACrB,MAAM,IAAI,GAAG,cAAc,CACzB,IAAI,EACJ,EAAE,EACF,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAC9B,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,EAC7C,SAAS,CACV,CAAC;IACF,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,gEAAgE;IAChE,sEAAsE;IACtE,6DAA6D;IAC7D,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE;QACxB,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM;YAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IACH,MAAM,GAAG,GAAG,GAAG,MAAM,IAAI,IAAI,IAAI,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;IACtD,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACnD,MAAM,IAAI,GAAG,QAAQ,IAAI,gBAAgB,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IACzE,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACxC,OAAO,CAAC,SAAS,CAAC,IAAI,CACpB,eAAe,CACb,IAAI,EACJ,IAAI,EACJ,EAAE,EACF,IAAI,EACJ,GAAG,EACH,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,EACnE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAC5B,CACF,CAAC;IACJ,CAAC;IACD,uEAAuE;IACvE,qEAAqE;IACrE,IACE,IAAI,CAAC,KAAK,CACR,CAAC,GAAG,EAAE,EAAE,CACN,GAAG,CAAC,IAAI,KAAK,MAAM;QACnB,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ;YACpB,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,MAAM;YAC/B,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAC9D,EACD,CAAC;QACD,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,EAAE;YACxC,IAAI;YACJ,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,QAAQ;YAC/B,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,QAAQ;SAChC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;0DAM0D;AAC1D,MAAM,UAAU,iBAAiB,CAC/B,OAAgB,EAChB,MAAc,EACd,MAAc,EACd,GAAW;IAEX,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxC,IAAI,CAAC,IAAI,IAAI,UAAU,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7C,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC3C,IAAI,GAAG,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,GAAG,GAAG,GAAG,MAAM,IAAI,GAAG,EAAE,CAAC;IAC/B,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACpD,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,CAAC,SAAS,CAAC,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC/C,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,MAAM,IAAI,GAAG,iBAAiB,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;IAC/D,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACzC,OAAO,CAAC,SAAS,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC3C,MAAM,EAAE,GAAG,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAClF,IAAI,CAAC,EAAE;QAAE,MAAM,IAAI,qBAAqB,CAAC,+CAA+C,CAAC,CAAC;IAC1F,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3B,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;qDASqD;AACrD,MAAM,UAAU,kBAAkB,CAChC,OAAgB,EAChB,MAAc,EACd,MAAc,EACd,GAAW;IAEX,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACpD,OAAO,OAAO,CAAC,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IACxD,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC3C,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7E,IAAI,CAAC,IAAI,IAAI,GAAG,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9C,MAAM,GAAG,GAAG,YAAY,MAAM,IAAI,GAAG,EAAE,CAAC;IACxC,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACpD,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,IAAI,GAAG,kBAAkB,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;IAChE,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACzC,MAAM,IAAI,GACR,MAAM,CAAC,IAAI,KAAK,MAAM;QACpB,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QACpD,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACrD,MAAM,EAAE,GAAG,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IACxF,IAAI,CAAC,EAAE;QAAE,MAAM,IAAI,qBAAqB,CAAC,gDAAgD,CAAC,CAAC;IAC3F,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3B,OAAO,IAAI,CAAC;AACd,CAAC"}