@elaraai/east 0.0.1-beta.9 → 1.0.0

package/dist/src/ast_to_ir.coerce_to.spec.js

@@ -0,0 +1,420 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ *
+ * Unit tests for the `coerce_to` helper in ast_to_ir.ts. This helper is the
+ * core of deep-As rewriting — it rewrites Struct and Variant IR nodes with
+ * widened declared types so that every `IR_VARIANT` node's declared type
+ * matches the variant type it is stored under (prevents the silent narrow →
+ * wide `case_idx` desync that corrupts beast2/print/match downstream).
+ *
+ * Coverage targets every supported type kind, every source/target shape
+ * combination, the RecursiveType cycle guard, and key edge cases.
+ */
+import { describe, it } from "node:test";
+import assert from "node:assert/strict";
+import { coerce_to } from "./ast_to_ir.js";
+import { toEastTypeValue } from "./type_of_type.js";
+import { IntegerType, FloatType, StringType, BooleanType, NullType, DateTimeType, BlobType, NeverType, StructType, VariantType, ArrayType, SetType, DictType, VectorType, MatrixType, RefType, FunctionType, AsyncFunctionType, OptionType, RecursiveType, } from "./types.js";
+import { variant } from "./containers/variant.js";
+// ─── IR builders ──────────────────────────────────────────────────────────
+// Hand-constructed IR nodes mirroring the shape that ast_to_ir.ts produces.
+const LOC = 1n;
+function mkValue(type, value) {
+    return variant("Value", {
+        type: toEastTypeValue(type),
+        loc_id: LOC,
+        value,
+    });
+}
+function mkVariable(type, name = "v") {
+    return variant("Variable", {
+        type: toEastTypeValue(type),
+        name,
+        loc_id: LOC,
+        mutable: false,
+        captured: false,
+    });
+}
+function mkCall(type) {
+    return variant("Call", {
+        type: toEastTypeValue(type),
+        loc_id: LOC,
+        function: mkVariable(FunctionType([], type)),
+        arguments: [],
+    });
+}
+function mkVariantIR(caseName, innerType, innerValue, declaredType) {
+    return variant("Variant", {
+        type: toEastTypeValue(declaredType),
+        loc_id: LOC,
+        case: caseName,
+        value: mkValue(innerType, innerValue),
+    });
+}
+function mkStructIR(declaredType, fields) {
+    return variant("Struct", {
+        type: toEastTypeValue(declaredType),
+        loc_id: LOC,
+        fields,
+    });
+}
+// ─── §1. Identity: isTypeEqual → no-op, returns same IR ───────────────────
+describe("coerce_to: identity (isTypeEqual → no-op)", () => {
+    for (const [name, T] of [
+        ["Integer", IntegerType],
+        ["Float", FloatType],
+        ["String", StringType],
+        ["Boolean", BooleanType],
+        ["Null", NullType],
+        ["DateTime", DateTimeType],
+        ["Blob", BlobType],
+    ]) {
+        it(`returns same IR for equal ${name}`, () => {
+            const ir = mkValue(T, null);
+            assert.equal(coerce_to(ir, T, T, LOC), ir);
+        });
+    }
+    it("returns same IR for equal compound types (Struct, Variant, Array, Dict, Set, Ref, Vector, Matrix, Function)", () => {
+        const cases = [
+            StructType({ a: IntegerType, b: StringType }),
+            VariantType({ some: IntegerType, none: NullType }),
+            ArrayType(IntegerType),
+            DictType(StringType, IntegerType),
+            SetType(IntegerType),
+            RefType(IntegerType),
+            VectorType(FloatType),
+            MatrixType(FloatType),
+            FunctionType([IntegerType], IntegerType),
+            AsyncFunctionType([IntegerType], IntegerType),
+        ];
+        for (const T of cases) {
+            const ir = mkVariable(T, "v");
+            assert.equal(coerce_to(ir, T, T, LOC), ir, `same-type IR passthrough failed for ${T.type}`);
+        }
+    });
+});
+// ─── §2. Invalid widening throws ──────────────────────────────────────────
+describe("coerce_to: invalid widening throws", () => {
+    it("Integer → String throws", () => {
+        assert.throws(() => coerce_to(mkValue(IntegerType, 1n), IntegerType, StringType, LOC), /Cannot coerce value/);
+    });
+    it("String → Integer throws", () => {
+        assert.throws(() => coerce_to(mkValue(StringType, "x"), StringType, IntegerType, LOC), /Cannot coerce value/);
+    });
+    it("VariantType adding a case that isn't in source is a widening (valid)", () => {
+        const narrow = VariantType({ some: IntegerType });
+        const wide = VariantType({ some: IntegerType, none: NullType });
+        // narrow ⊆ wide: should NOT throw.
+        const ir = mkVariantIR("some", IntegerType, 1n, narrow);
+        const out = coerce_to(ir, narrow, wide, LOC);
+        assert.equal(out.type, "Variant");
+    });
+    it("wide → narrow (removing a case the source has) throws", () => {
+        const narrow = VariantType({ some: IntegerType });
+        const wide = VariantType({ some: IntegerType, none: NullType });
+        assert.throws(() => coerce_to(mkVariable(wide), wide, narrow, LOC), /Cannot coerce value/);
+    });
+});
+// ─── §3. Variant rewrite: narrow → wide (OptionType widening) ─────────────
+describe("coerce_to: Variant narrow → wide", () => {
+    it("rewrites case='some' variant to OptionType without outer As", () => {
+        const narrow = VariantType({ some: IntegerType });
+        const wide = OptionType(IntegerType);
+        const ir = mkVariantIR("some", IntegerType, 42n, narrow);
+        const out = coerce_to(ir, narrow, wide, LOC);
+        assert.equal(out.type, "Variant");
+        assert.equal(out.value.case, "some");
+        assert.deepEqual(out.value.type, toEastTypeValue(wide));
+    });
+    it("widens subset variant {a} → {a,b,c} preserving inner value reference", () => {
+        const narrow = VariantType({ a: IntegerType });
+        const wide = VariantType({ a: IntegerType, b: StringType, c: NullType });
+        const inner = mkValue(IntegerType, 7n);
+        const ir = variant("Variant", {
+            type: toEastTypeValue(narrow),
+            loc_id: LOC,
+            case: "a",
+            value: inner,
+        });
+        const out = coerce_to(ir, narrow, wide, LOC);
+        assert.equal(out.value.value, inner);
+        assert.deepEqual(out.value.type, toEastTypeValue(wide));
+    });
+    it("widens inner field when case's sub-type is covariant", () => {
+        const narrow_inner = VariantType({ ok: IntegerType });
+        const wide_inner = VariantType({ ok: IntegerType, err: StringType });
+        const narrow = VariantType({ wrapper: narrow_inner });
+        const wide = VariantType({ wrapper: wide_inner });
+        const inner_variant = mkVariantIR("ok", IntegerType, 1n, narrow_inner);
+        const outer = variant("Variant", {
+            type: toEastTypeValue(narrow),
+            loc_id: LOC,
+            case: "wrapper",
+            value: inner_variant,
+        });
+        const out = coerce_to(outer, narrow, wide, LOC);
+        // Outer Variant has wide type, inner Variant (the 'ok' case) also
+        // has its type widened to wide_inner — THE deep-As invariant.
+        assert.deepEqual(out.value.type, toEastTypeValue(wide));
+        assert.deepEqual(out.value.value.value.type, toEastTypeValue(wide_inner));
+    });
+});
+// ─── §4. Struct rewrite: narrow fields → wide fields ──────────────────────
+describe("coerce_to: Struct with narrow → wide fields", () => {
+    it("rewrites narrow field variant to wide OptionType at the field's position", () => {
+        const narrow_area = VariantType({ some: StringType });
+        const wide_area = OptionType(StringType);
+        const Narrow = StructType({ area: narrow_area });
+        const Wide = StructType({ area: wide_area });
+        const area_ir = mkVariantIR("some", StringType, "A", narrow_area);
+        const ir = mkStructIR(Narrow, [{ name: "area", value: area_ir }]);
+        const out = coerce_to(ir, Narrow, Wide, LOC);
+        assert.equal(out.type, "Struct");
+        assert.deepEqual(out.value.type, toEastTypeValue(Wide));
+        const area_field = out.value.fields.find((f) => f.name === "area");
+        assert.equal(area_field.value.type, "Variant");
+        assert.deepEqual(area_field.value.value.type, toEastTypeValue(wide_area));
+    });
+    it("leaves equal-typed fields untouched (same IR reference)", () => {
+        const narrow_area = VariantType({ some: StringType });
+        const wide_area = OptionType(StringType);
+        const Narrow = StructType({ area: narrow_area, date: DateTimeType });
+        const Wide = StructType({ area: wide_area, date: DateTimeType });
+        const area_ir = mkVariantIR("some", StringType, "A", narrow_area);
+        const date_ir = mkValue(DateTimeType, new Date("2025-01-01T00:00:00Z"));
+        const ir = mkStructIR(Narrow, [
+            { name: "area", value: area_ir },
+            { name: "date", value: date_ir },
+        ]);
+        const out = coerce_to(ir, Narrow, Wide, LOC);
+        const date_out = out.value.fields.find((f) => f.name === "date");
+        assert.equal(date_out.value, date_ir, "equal-typed field should pass through by reference");
+    });
+    it("recursively coerces multiple fields with different widenings", () => {
+        const n1 = VariantType({ some: IntegerType });
+        const w1 = OptionType(IntegerType);
+        const n2 = VariantType({ ok: StringType });
+        const w2 = VariantType({ ok: StringType, err: StringType });
+        const Narrow = StructType({ a: n1, b: n2 });
+        const Wide = StructType({ a: w1, b: w2 });
+        const a_ir = mkVariantIR("some", IntegerType, 5n, n1);
+        const b_ir = mkVariantIR("ok", StringType, "done", n2);
+        const ir = mkStructIR(Narrow, [
+            { name: "a", value: a_ir },
+            { name: "b", value: b_ir },
+        ]);
+        const out = coerce_to(ir, Narrow, Wide, LOC);
+        const a_out = out.value.fields.find((f) => f.name === "a");
+        const b_out = out.value.fields.find((f) => f.name === "b");
+        assert.deepEqual(a_out.value.value.type, toEastTypeValue(w1));
+        assert.deepEqual(b_out.value.value.type, toEastTypeValue(w2));
+    });
+    it("preserves outer Struct's loc_id on rewrite (not inlined from arg)", () => {
+        const narrow_f = VariantType({ some: IntegerType });
+        const wide_f = OptionType(IntegerType);
+        const Narrow = StructType({ f: narrow_f });
+        const Wide = StructType({ f: wide_f });
+        const inner = mkVariantIR("some", IntegerType, 1n, narrow_f);
+        const struct_ir = variant("Struct", {
+            type: toEastTypeValue(Narrow),
+            loc_id: 99n, // outer struct loc_id
+            fields: [{ name: "f", value: inner }],
+        });
+        const out = coerce_to(struct_ir, Narrow, Wide, 500n);
+        // The outer loc_id comes from the struct IR itself, NOT the coerce
+        // loc_id argument.
+        assert.equal(out.value.loc_id, 99n);
+    });
+});
+// ─── §5. Nested compounds ─────────────────────────────────────────────────
+describe("coerce_to: nested compounds", () => {
+    it("Struct containing Struct containing Variant", () => {
+        const narrow_v = VariantType({ some: StringType });
+        const wide_v = OptionType(StringType);
+        const NarrowInner = StructType({ x: narrow_v });
+        const WideInner = StructType({ x: wide_v });
+        const Narrow = StructType({ nested: NarrowInner });
+        const Wide = StructType({ nested: WideInner });
+        const leaf = mkVariantIR("some", StringType, "A", narrow_v);
+        const inner = mkStructIR(NarrowInner, [{ name: "x", value: leaf }]);
+        const outer = mkStructIR(Narrow, [{ name: "nested", value: inner }]);
+        const out = coerce_to(outer, Narrow, Wide, LOC);
+        // Three levels: outer Struct, inner Struct, leaf Variant — all rewritten.
+        assert.deepEqual(out.value.type, toEastTypeValue(Wide));
+        const nested = out.value.fields.find((f) => f.name === "nested");
+        assert.deepEqual(nested.value.value.type, toEastTypeValue(WideInner));
+        const x = nested.value.value.fields.find((f) => f.name === "x");
+        assert.deepEqual(x.value.value.type, toEastTypeValue(wide_v));
+    });
+    it("Variant containing Struct containing Variant", () => {
+        const n_leaf = VariantType({ some: IntegerType });
+        const w_leaf = OptionType(IntegerType);
+        const NarrowStruct = StructType({ val: n_leaf });
+        const WideStruct = StructType({ val: w_leaf });
+        const Narrow = VariantType({ wrap: NarrowStruct });
+        const Wide = VariantType({ wrap: WideStruct, other: NullType });
+        const leaf = mkVariantIR("some", IntegerType, 7n, n_leaf);
+        const struct = mkStructIR(NarrowStruct, [{ name: "val", value: leaf }]);
+        const outer = variant("Variant", {
+            type: toEastTypeValue(Narrow),
+            loc_id: LOC,
+            case: "wrap",
+            value: struct,
+        });
+        const out = coerce_to(outer, Narrow, Wide, LOC);
+        // out is a Variant IR: { type: "Variant", value: { type: ETV_wide, case, value: INNER_STRUCT_IR, loc_id } }
+        assert.equal(out.type, "Variant");
+        assert.deepEqual(out.value.type, toEastTypeValue(Wide));
+        // out.value.value is the inner Struct IR: { type: "Struct", value: { type: ETV_widestruct, fields, loc_id } }
+        const innerStructIR = out.value.value;
+        assert.equal(innerStructIR.type, "Struct");
+        assert.deepEqual(innerStructIR.value.type, toEastTypeValue(WideStruct));
+        // innerStructIR.value.fields[0].value is the leaf Variant IR.
+        const leaf_field = innerStructIR.value.fields.find((f) => f.name === "val");
+        assert.equal(leaf_field.value.type, "Variant");
+        assert.deepEqual(leaf_field.value.value.type, toEastTypeValue(w_leaf));
+    });
+});
+// ─── §6. Fallback: opaque source wrapped in As ────────────────────────────
+describe("coerce_to: opaque source fallback (single outer As)", () => {
+    it("Variable(narrow) → wide wraps in outer As", () => {
+        const narrow = VariantType({ some: IntegerType });
+        const wide = OptionType(IntegerType);
+        const ir = mkVariable(narrow, "x");
+        const out = coerce_to(ir, narrow, wide, 42n);
+        assert.equal(out.type, "As");
+        assert.deepEqual(out.value.type, toEastTypeValue(wide));
+        assert.equal(out.value.value, ir);
+        assert.equal(out.value.loc_id, 42n);
+    });
+    it("Call(narrow) → wide wraps in outer As", () => {
+        const narrow = VariantType({ some: StringType });
+        const wide = OptionType(StringType);
+        const ir = mkCall(narrow);
+        const out = coerce_to(ir, narrow, wide, LOC);
+        assert.equal(out.type, "As");
+        assert.equal(out.value.value, ir);
+    });
+    it("Value(Never) → any widens (Never is subtype of everything)", () => {
+        const never_ir = variant("Error", {
+            type: variant("Never", null),
+            loc_id: LOC,
+            message: mkValue(StringType, "boom"),
+        });
+        // Never <: Integer, so this is a valid widening via the As fallback.
+        const out = coerce_to(never_ir, NeverType, IntegerType, LOC);
+        assert.equal(out.type, "As");
+        assert.deepEqual(out.value.type, toEastTypeValue(IntegerType));
+    });
+    it("Struct IR source but non-Struct target falls back to As", () => {
+        // A Struct IR whose declared type widens to something non-Struct is
+        // impossible via isSubtype in practice; but defensively verify that
+        // coerce_to doesn't try to rewrite the struct when the target's
+        // unwrapped kind isn't Struct.
+        const S = StructType({ a: IntegerType });
+        const ir = mkStructIR(S, [{ name: "a", value: mkValue(IntegerType, 1n) }]);
+        // S → S is no-op; we use S → S to show the Struct rewrite branch
+        // only fires when both sides are actually Struct.
+        assert.equal(coerce_to(ir, S, S, LOC), ir);
+    });
+});
+// ─── §7. Invariant containers: Array / Set / Dict / Vector / Matrix / Ref ─
+describe("coerce_to: invariant containers (Array/Set/Dict/Vector/Matrix/Ref)", () => {
+    it("Array<T> → Array<T> identity only (invariant)", () => {
+        const T = ArrayType(IntegerType);
+        const ir = mkVariable(T, "a");
+        assert.equal(coerce_to(ir, T, T, LOC), ir);
+    });
+    it("Array<narrow> !<: Array<wide> — throws on widening attempt", () => {
+        const narrow = ArrayType(VariantType({ some: IntegerType }));
+        const wide = ArrayType(OptionType(IntegerType));
+        assert.throws(() => coerce_to(mkVariable(narrow), narrow, wide, LOC), /Cannot coerce value/);
+    });
+    it("Set<narrow> !<: Set<wide> — throws on widening attempt", () => {
+        const narrow = SetType(VariantType({ some: IntegerType }));
+        const wide = SetType(OptionType(IntegerType));
+        assert.throws(() => coerce_to(mkVariable(narrow), narrow, wide, LOC), /Cannot coerce value/);
+    });
+    it("Dict<K, narrow> !<: Dict<K, wide> — throws on widening attempt", () => {
+        const narrow = DictType(StringType, VariantType({ some: IntegerType }));
+        const wide = DictType(StringType, OptionType(IntegerType));
+        assert.throws(() => coerce_to(mkVariable(narrow), narrow, wide, LOC), /Cannot coerce value/);
+    });
+    it("Ref<narrow> !<: Ref<wide> — throws on widening attempt (invariant)", () => {
+        const narrow = RefType(VariantType({ some: IntegerType }));
+        const wide = RefType(OptionType(IntegerType));
+        assert.throws(() => coerce_to(mkVariable(narrow), narrow, wide, LOC), /Cannot coerce value/);
+    });
+    it("Vector/Matrix element types are constrained to scalars so variant widening is unrepresentable", () => {
+        // Vector/Matrix accept only Float/Integer/Boolean elements (enforced at type
+        // construction). VectorType(VariantType({...})) throws at construction, so
+        // there's no narrow→wide widening pair to test here at the coerce_to level.
+        // This test documents the constraint so the gap in coverage is intentional.
+        assert.throws(() => VectorType(VariantType({ some: FloatType })), /element type/);
+        assert.throws(() => MatrixType(VariantType({ some: FloatType })), /element type/);
+    });
+});
+// ─── §8. RecursiveType cycle guard ────────────────────────────────────────
+describe("coerce_to: RecursiveType handling", () => {
+    it("unwraps RecursiveType on either side for equal recursive types (no-op)", () => {
+        const R = RecursiveType(self => VariantType({ nil: NullType, cons: self }));
+        const ir = variant("Variant", {
+            type: toEastTypeValue(R),
+            loc_id: LOC,
+            case: "nil",
+            value: mkValue(NullType, null),
+        });
+        assert.equal(coerce_to(ir, R, R, LOC), ir);
+    });
+    it("visited-set terminates even if recursion revisits the same pair", () => {
+        const R = RecursiveType(self => VariantType({ nil: NullType, cons: self }));
+        const ir = variant("Variant", {
+            type: toEastTypeValue(R),
+            loc_id: LOC,
+            case: "nil",
+            value: mkValue(NullType, null),
+        });
+        // Same R → R with pre-populated visited: fallback to As at boundary.
+        const visited = new Set();
+        const out = coerce_to(ir, R, R, LOC, visited);
+        // isTypeEqual short-circuits before visited check, returns ir.
+        assert.equal(out, ir);
+    });
+    it("does not infinitely recurse on nested recursive widening", () => {
+        const R = RecursiveType(self => VariantType({ nil: NullType, cons: self }));
+        // Verify coerce_to terminates (would hang or overflow if buggy).
+        const start = Date.now();
+        const ir = variant("Variant", {
+            type: toEastTypeValue(R),
+            loc_id: LOC,
+            case: "cons",
+            value: mkVariable(R, "inner"),
+        });
+        const _out = coerce_to(ir, R, R, LOC);
+        const ms = Date.now() - start;
+        assert.ok(ms < 1000, `coerce_to took ${ms}ms — possible infinite recursion`);
+    });
+});
+// ─── §9. Determinism / structural sanity ──────────────────────────────────
+describe("coerce_to: determinism", () => {
+    it("produces structurally equal IR across two calls (no hidden state)", () => {
+        const narrow = VariantType({ some: IntegerType });
+        const wide = OptionType(IntegerType);
+        const a1 = mkVariantIR("some", IntegerType, 42n, narrow);
+        const a2 = mkVariantIR("some", IntegerType, 42n, narrow);
+        const r1 = coerce_to(a1, narrow, wide, LOC);
+        const r2 = coerce_to(a2, narrow, wide, LOC);
+        assert.deepEqual(r1.value.type, r2.value.type);
+        assert.equal(r1.value.case, r2.value.case);
+    });
+    it("rewriting doesn't mutate the input IR", () => {
+        const narrow = VariantType({ some: IntegerType });
+        const wide = OptionType(IntegerType);
+        const ir = mkVariantIR("some", IntegerType, 42n, narrow);
+        const before_type = ir.value.type;
+        coerce_to(ir, narrow, wide, LOC);
+        assert.equal(ir.value.type, before_type, "input IR's type should not be mutated");
+    });
+});
+//# sourceMappingURL=ast_to_ir.coerce_to.spec.js.map

package/dist/src/ast_to_ir.coerce_to.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast_to_ir.coerce_to.spec.js","sourceRoot":"","sources":["../../src/ast_to_ir.coerce_to.spec.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EACH,WAAW,EACX,SAAS,EACT,UAAU,EACV,WAAW,EACX,QAAQ,EACR,YAAY,EACZ,QAAQ,EACR,SAAS,EACT,UAAU,EACV,WAAW,EACX,SAAS,EACT,OAAO,EACP,QAAQ,EACR,UAAU,EACV,UAAU,EACV,OAAO,EACP,YAAY,EACZ,iBAAiB,EACjB,UAAU,EACV,aAAa,GAChB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAElD,6EAA6E;AAC7E,4EAA4E;AAE5E,MAAM,GAAG,GAAG,EAAE,CAAC;AAEf,SAAS,OAAO,CAAC,IAAS,EAAE,KAAU;IAClC,OAAO,OAAO,CAAC,OAAO,EAAE;QACpB,IAAI,EAAE,eAAe,CAAC,IAAI,CAAC;QAC3B,MAAM,EAAE,GAAG;QACX,KAAK;KACR,CAAC,CAAC;AACP,CAAC;AAED,SAAS,UAAU,CAAC,IAAS,EAAE,IAAI,GAAG,GAAG;IACrC,OAAO,OAAO,CAAC,UAAU,EAAE;QACvB,IAAI,EAAE,eAAe,CAAC,IAAI,CAAC;QAC3B,IAAI;QACJ,MAAM,EAAE,GAAG;QACX,OAAO,EAAE,KAAK;QACd,QAAQ,EAAE,KAAK;KAClB,CAAC,CAAC;AACP,CAAC;AAED,SAAS,MAAM,CAAC,IAAS;IACrB,OAAO,OAAO,CAAC,MAAM,EAAE;QACnB,IAAI,EAAE,eAAe,CAAC,IAAI,CAAC;QAC3B,MAAM,EAAE,GAAG;QACX,QAAQ,EAAE,UAAU,CAAC,YAAY,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC5C,SAAS,EAAE,EAAE;KAChB,CAAC,CAAC;AACP,CAAC;AAED,SAAS,WAAW,CAAC,QAAgB,EAAE,SAAc,EAAE,UAAe,EAAE,YAAiB;IACrF,OAAO,OAAO,CAAC,SAAS,EAAE;QACtB,IAAI,EAAE,eAAe,CAAC,YAAY,CAAC;QACnC,MAAM,EAAE,GAAG;QACX,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,OAAO,CAAC,SAAS,EAAE,UAAU,CAAC;KACxC,CAAC,CAAC;AACP,CAAC;AAED,SAAS,UAAU,CAAC,YAAiB,EAAE,MAAsC;IACzE,OAAO,OAAO,CAAC,QAAQ,EAAE;QACrB,IAAI,EAAE,eAAe,CAAC,YAAY,CAAC;QACnC,MAAM,EAAE,GAAG;QACX,MAAM;KACT,CAAC,CAAC;AACP,CAAC;AAED,6EAA6E;AAE7E,QAAQ,CAAC,2CAA2C,EAAE,GAAG,EAAE;IACvD,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI;QACpB,CAAC,SAAS,EAAE,WAAW,CAAC;QACxB,CAAC,OAAO,EAAE,SAAS,CAAC;QACpB,CAAC,QAAQ,EAAE,UAAU,CAAC;QACtB,CAAC,SAAS,EAAE,WAAW,CAAC;QACxB,CAAC,MAAM,EAAE,QAAQ,CAAC;QAClB,CAAC,UAAU,EAAE,YAAY,CAAC;QAC1B,CAAC,MAAM,EAAE,QAAQ,CAAC;KACZ,EAAE,CAAC;QACT,EAAE,CAAC,6BAA6B,IAAI,EAAE,EAAE,GAAG,EAAE;YACzC,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YAC5B,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;IACP,CAAC;IAED,EAAE,CAAC,6GAA6G,EAAE,GAAG,EAAE;QACnH,MAAM,KAAK,GAAG;YACV,UAAU,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC;YAC7C,WAAW,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YAClD,SAAS,CAAC,WAAW,CAAC;YACtB,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC;YACjC,OAAO,CAAC,WAAW,CAAC;YACpB,OAAO,CAAC,WAAW,CAAC;YACpB,UAAU,CAAC,SAAS,CAAC;YACrB,UAAU,CAAC,SAAS,CAAC;YACrB,YAAY,CAAC,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC;YACxC,iBAAiB,CAAC,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC;SAChD,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACpB,MAAM,EAAE,GAAG,UAAU,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAC9B,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,uCAAuC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAChG,CAAC;IACL,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC;AAEH,6EAA6E;AAE7E,QAAQ,CAAC,oCAAoC,EAAE,GAAG,EAAE;IAChD,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;QAC/B,MAAM,CAAC,MAAM,CACT,GAAG,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,EAAE,WAAW,EAAE,UAAU,EAAE,GAAG,CAAC,EACvE,qBAAqB,CACxB,CAAC;IACN,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;QAC/B,MAAM,CAAC,MAAM,CACT,GAAG,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,CAAC,EACvE,qBAAqB,CACxB,CAAC;IACN,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAC5E,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;QAClD,MAAM,IAAI,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QAChE,mCAAmC;QACnC,MAAM,EAAE,GAAG,WAAW,CAAC,MAAM,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;QACxD,MAAM,GAAG,GAAQ,SAAS,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAClD,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC7D,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;QAClD,MAAM,IAAI,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QAChE,MAAM,CAAC,MAAM,CACT,GAAG,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,EACpD,qBAAqB,CACxB,CAAC;IACN,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC;AAEH,6EAA6E;AAE7E,QAAQ,CAAC,kCAAkC,EAAE,GAAG,EAAE;IAC9C,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACnE,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;QAClD,MAAM,IAAI,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;QACrC,MAAM,EAAE,GAAG,WAAW,CAAC,MAAM,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;QACzD,MAAM,GAAG,GAAQ,SAAS,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAElD,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAClC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACrC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAC5E,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC;QAC/C,MAAM,IAAI,GAAG,WAAW,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC;QACzE,MAAM,KAAK,GAAG,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QACvC,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE;YAC1B,IAAI,EAAE,eAAe,CAAC,MAAM,CAAC;YAC7B,MAAM,EAAE,GAAG;YACX,IAAI,EAAE,GAAG;YACT,KAAK,EAAE,KAAK;SACf,CAAC,CAAC;QACH,MAAM,GAAG,GAAQ,SAAS,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAClD,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACrC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC5D,MAAM,YAAY,GAAG,WAAW,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,CAAC,CAAC;QACtD,MAAM,UAAU,GAAG,WAAW,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC;QACrE,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,CAAC;QACtD,MAAM,IAAI,GAAG,WAAW,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC;QAElD,MAAM,aAAa,GAAG,WAAW,CAAC,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,YAAY,CAAC,CAAC;QACvE,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,EAAE;YAC7B,IAAI,EAAE,eAAe,CAAC,MAAM,CAAC;YAC7B,MAAM,EAAE,GAAG;YACX,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,aAAa;SACvB,CAAC,CAAC;QACH,MAAM,GAAG,GAAQ,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QACrD,kEAAkE;QAClE,8DAA8D;QAC9D,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;QACxD,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC;AAEH,6EAA6E;AAE7E,QAAQ,CAAC,6CAA6C,EAAE,GAAG,EAAE;IACzD,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;QAChF,MAAM,WAAW,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;QACtD,MAAM,SAAS,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,UAAU,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,UAAU,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;QAE7C,MAAM,OAAO,GAAG,WAAW,CAAC,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;QAClE,MAAM,EAAE,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;QAClE,MAAM,GAAG,GAAQ,SAAS,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAElD,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACjC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;QAExD,MAAM,UAAU,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QACxE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAC/C,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QAC/D,MAAM,WAAW,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;QACtD,MAAM,SAAS,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,UAAU,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC;QACrE,MAAM,IAAI,GAAG,UAAU,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC;QAEjE,MAAM,OAAO,GAAG,WAAW,CAAC,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;QAClE,MAAM,OAAO,GAAG,OAAO,CAAC,YAAY,EAAE,IAAI,IAAI,CAAC,sBAAsB,CAAC,CAAC,CAAC;QACxE,MAAM,EAAE,GAAG,UAAU,CAAC,MAAM,EAAE;YAC1B,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE;YAChC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE;SACnC,CAAC,CAAC;QACH,MAAM,GAAG,GAAQ,SAAS,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAElD,MAAM,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QACtE,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,EAAE,oDAAoD,CAAC,CAAC;IAChG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACpE,MAAM,EAAE,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;QAC9C,MAAM,EAAE,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,WAAW,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC;QAC3C,MAAM,EAAE,GAAG,WAAW,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC;QAC5D,MAAM,MAAM,GAAG,UAAU,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAC5C,MAAM,IAAI,GAAG,UAAU,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAE1C,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,EAAE,WAAW,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;QACtD,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;QACvD,MAAM,EAAE,GAAG,UAAU,CAAC,MAAM,EAAE;YAC1B,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE;YAC1B,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE;SAC7B,CAAC,CAAC;QACH,MAAM,GAAG,GAAQ,SAAS,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAClD,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;QAChE,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;QAChE,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,eAAe,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9D,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,eAAe,CAAC,EAAE,CAAC,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QACzE,MAAM,QAAQ,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;QACpD,MAAM,MAAM,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;QACvC,MAAM,MAAM,GAAG,UAAU,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC3C,MAAM,IAAI,GAAG,UAAU,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;QAEvC,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,EAAE,WAAW,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC;QAC7D,MAAM,SAAS,GAAG,OAAO,CAAC,QAAQ,EAAE;YAChC,IAAI,EAAE,eAAe,CAAC,MAAM,CAAC;YAC7B,MAAM,EAAE,GAAG,EAAqB,sBAAsB;YACtD,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;SACxC,CAAC,CAAC;QACH,MAAM,GAAG,GAAQ,SAAS,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC1D,mEAAmE;QACnE,mBAAmB;QACnB,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC;AAEH,6EAA6E;AAE7E,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;IACzC,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACnD,MAAM,QAAQ,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;QACnD,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;QACtC,MAAM,WAAW,GAAG,UAAU,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC;QAChD,MAAM,SAAS,GAAG,UAAU,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,UAAU,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;QACnD,MAAM,IAAI,GAAG,UAAU,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;QAE/C,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;QAC5D,MAAM,KAAK,GAAG,UAAU,CAAC,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QACpE,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QACrE,MAAM,GAAG,GAAQ,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAErD,0EAA0E;QAC1E,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;QACxD,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;QACtE,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC;QACtE,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;QACrE,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACpD,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;QAClD,MAAM,MAAM,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;QACvC,MAAM,YAAY,GAAG,UAAU,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC;QACjD,MAAM,UAAU,GAAG,UAAU,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC;QAC/C,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC;QACnD,MAAM,IAAI,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;QAEhE,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;QAC1D,MAAM,MAAM,GAAG,UAAU,CAAC,YAAY,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QACxE,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,EAAE;YAC7B,IAAI,EAAE,eAAe,CAAC,MAAM,CAAC;YAC7B,MAAM,EAAE,GAAG;YACX,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,MAAM;SAChB,CAAC,CAAC;QACH,MAAM,GAAG,GAAQ,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAErD,4GAA4G;QAC5G,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAClC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;QAExD,8GAA8G;QAC9G,MAAM,aAAa,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC;QACtC,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC3C,MAAM,CAAC,SAAS,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,CAAC;QAExE,8DAA8D;QAC9D,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;QACjF,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAC/C,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC;AAEH,6EAA6E;AAE7E,QAAQ,CAAC,qDAAqD,EAAE,GAAG,EAAE;IACjE,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACjD,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;QAClD,MAAM,IAAI,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;QACrC,MAAM,EAAE,GAAG,UAAU,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,GAAG,GAAQ,SAAS,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAClD,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC7B,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;QACxD,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAClC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC7C,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;QACpC,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;QAC1B,MAAM,GAAG,GAAQ,SAAS,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAClD,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC7B,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QAClE,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,EAAE;YAC9B,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC;YAC5B,MAAM,EAAE,GAAG;YACX,OAAO,EAAE,OAAO,CAAC,UAAU,EAAE,MAAM,CAAC;SACvC,CAAC,CAAC;QACH,qEAAqE;QACrE,MAAM,GAAG,GAAQ,SAAS,CAAC,QAAe,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,CAAC,CAAC;QACzE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC7B,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QAC/D,oEAAoE;QACpE,oEAAoE;QACpE,gEAAgE;QAChE,+BAA+B;QAC/B,MAAM,CAAC,GAAG,UAAU,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC;QACzC,MAAM,EAAE,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3E,iEAAiE;QACjE,kDAAkD;QAClD,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC;AAEH,6EAA6E;AAE7E,QAAQ,CAAC,oEAAoE,EAAE,GAAG,EAAE;IAChF,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,SAAS,CAAC,WAAW,CAAC,CAAC;QACjC,MAAM,EAAE,GAAG,UAAU,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAC9B,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QAClE,MAAM,MAAM,GAAG,SAAS,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC;QAC7D,MAAM,IAAI,GAAG,SAAS,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC;QAChD,MAAM,CAAC,MAAM,CACT,GAAG,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,EACtD,qBAAqB,CACxB,CAAC;IACN,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAC9D,MAAM,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC;QAC3D,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC;QAC9C,MAAM,CAAC,MAAM,CACT,GAAG,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,EACtD,qBAAqB,CACxB,CAAC;IACN,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACtE,MAAM,MAAM,GAAG,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC;QACxE,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC;QAC3D,MAAM,CAAC,MAAM,CACT,GAAG,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,EACtD,qBAAqB,CACxB,CAAC;IACN,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC1E,MAAM,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC;QAC3D,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC;QAC9C,MAAM,CAAC,MAAM,CACT,GAAG,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,EACtD,qBAAqB,CACxB,CAAC;IACN,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+FAA+F,EAAE,GAAG,EAAE;QACrG,6EAA6E;QAC7E,2EAA2E;QAC3E,4EAA4E;QAC5E,4EAA4E;QAC5E,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC;QAClF,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC;IACtF,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC;AAEH,6EAA6E;AAE7E,QAAQ,CAAC,mCAAmC,EAAE,GAAG,EAAE;IAC/C,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAC9E,MAAM,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAC5E,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE;YAC1B,IAAI,EAAE,eAAe,CAAC,CAAC,CAAC;YACxB,MAAM,EAAE,GAAG;YACX,IAAI,EAAE,KAAK;YACX,KAAK,EAAE,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC;SACjC,CAAC,CAAC;QACH,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACvE,MAAM,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAC5E,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE;YAC1B,IAAI,EAAE,eAAe,CAAC,CAAC,CAAC;YACxB,MAAM,EAAE,GAAG;YACX,IAAI,EAAE,KAAK;YACX,KAAK,EAAE,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC;SACjC,CAAC,CAAC;QACH,qEAAqE;QACrE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,MAAM,GAAG,GAAQ,SAAS,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QACnD,+DAA+D;QAC/D,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAC5E,iEAAiE;QACjE,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACzB,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE;YAC1B,IAAI,EAAE,eAAe,CAAC,CAAC,CAAC;YACxB,MAAM,EAAE,GAAG;YACX,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,OAAO,CAAC;SAChC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,SAAS,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;QACtC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC;QAC9B,MAAM,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,kBAAkB,EAAE,kCAAkC,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC;AAEH,6EAA6E;AAE7E,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;IACpC,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QACzE,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;QAClD,MAAM,IAAI,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;QACrC,MAAM,EAAE,GAAG,WAAW,CAAC,MAAM,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;QACzD,MAAM,EAAE,GAAG,WAAW,CAAC,MAAM,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;QACzD,MAAM,EAAE,GAAQ,SAAS,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QACjD,MAAM,EAAE,GAAQ,SAAS,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QACjD,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC/C,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC7C,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;QAClD,MAAM,IAAI,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;QACrC,MAAM,EAAE,GAAG,WAAW,CAAC,MAAM,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;QACzD,MAAM,WAAW,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;QAClC,SAAS,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QACjC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,WAAW,EAAE,uCAAuC,CAAC,CAAC;IACtF,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC"}

package/dist/src/ast_to_ir.d.ts

@@ -3,13 +3,12 @@
  * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
  */
 import type { AST, Label, VariableAST } from "./ast.js";
-import { type IR, type IRLabel, type VariableIR } from "./ir.js";
-import { type Location } from "./location.js";
+import type { IR, IRLabel, VariableIR } from "./ir.js";
 import { type EastType } from "./types.js";
 /** @internal An exception throw for the purpose of early loop continue */
 export declare class OutOfScopeException extends Error {
-    definedLocation: Location;
-    constructor(definedLocation: Location);
+    definedLocation: bigint;
+    constructor(definedLocation: bigint);
 }
 type Ctx = {
     local_ctx: Map<VariableAST, VariableIR>;
@@ -23,6 +22,21 @@ type Ctx = {
     output: EastType;
     async: boolean;
 };
+/**
+ * Coerce an IR value from `source_type` to `target_type`. When both are
+ * `StructType` or both are `VariantType` AND `value_ir` is the matching
+ * literal shape (a `Struct` / `Variant` IR node), recursively rewrite each
+ * child and rebuild the outer IR with the wider declared type — no outer
+ * `As` wrapper. Otherwise (primitives, variable references, invariant
+ * containers), emit a single outer `As`, matching legacy behaviour.
+ *
+ * Narrow→wide compound widening is only possible for Struct (covariant fields)
+ * and Variant (subset + covariant cases). All mutable-container parameters
+ * (Array/Set/Dict/Vector/Matrix/Ref) are invariant per isSubtypeImpl.
+ *
+ * @internal
+ */
+export declare function coerce_to(value_ir: IR, source_type: EastType, target_type: EastType, loc_id: bigint, visited?: Set<string>): IR;
 /** Perform scope resolution and type checking on `AST`, produce `IR` ready for serialization, compilation or evaluation.
 *
 * @internal */

package/dist/src/ast_to_ir.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ast_to_ir.d.ts","sourceRoot":"","sources":["../../src/ast_to_ir.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AACxD,OAAO,EAAsB,KAAK,EAAE,EAAE,KAAK,OAAO,EAAsB,KAAK,UAAU,EAAE,MAAM,SAAS,CAAC;AACzG,OAAO,EAAiB,KAAK,QAAQ,EAAE,MAAM,eAAe,CAAC;AAE7D,OAAO,EAAuB,KAAK,QAAQ,EAAmH,MAAM,YAAY,CAAC;AAKjL,0EAA0E;AAC1E,qBAAa,mBAAoB,SAAQ,KAAK;IACzB,eAAe,EAAE,QAAQ;gBAAzB,eAAe,EAAE,QAAQ;CAG7C;AAED,KAAK,GAAG,GAAG;IACT,SAAS,EAAE,GAAG,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IACxC,UAAU,EAAE,GAAG,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IACzC,QAAQ,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;IAC1B,QAAQ,EAAE,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC9B,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,QAAQ,EAAE,CAAC;IACnB,MAAM,EAAE,QAAQ,CAAC;IACjB,KAAK,EAAE,OAAO,CAAC;CAChB,CAAA;AAYD;;cAEc;AACd,wBAAgB,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,GAAE,GAAmK,GAAG,EAAE,CAs6BhN"}
+{"version":3,"file":"ast_to_ir.d.ts","sourceRoot":"","sources":["../../src/ast_to_ir.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AACxD,OAAO,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAEvD,OAAO,EAAuB,KAAK,QAAQ,EAAsJ,MAAM,YAAY,CAAC;AAKpN,0EAA0E;AAC1E,qBAAa,mBAAoB,SAAQ,KAAK;IACzB,eAAe,EAAE,MAAM;gBAAvB,eAAe,EAAE,MAAM;CAG3C;AAED,KAAK,GAAG,GAAG;IACT,SAAS,EAAE,GAAG,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IACxC,UAAU,EAAE,GAAG,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IACzC,QAAQ,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;IAC1B,QAAQ,EAAE,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC9B,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,QAAQ,EAAE,CAAC;IACnB,MAAM,EAAE,QAAQ,CAAC;IACjB,KAAK,EAAE,OAAO,CAAC;CAChB,CAAA;AAGD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,SAAS,CACvB,QAAQ,EAAE,EAAE,EACZ,WAAW,EAAE,QAAQ,EACrB,WAAW,EAAE,QAAQ,EACrB,MAAM,EAAE,MAAM,EACd,OAAO,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,GACpB,EAAE,CAiEJ;AAGD;;cAEc;AACd,wBAAgB,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,GAAE,GAAmK,GAAG,EAAE,CA05BhN"}