@scriptc/compiler 0.1.7 → 0.2.1

package/dist/frontend/lowering/union-retag.test.js

@@ -0,0 +1,405 @@
+import { describe, expect, test } from "vitest";
+import { BOOL, F64, NULL_T, STRING, UNDEFINED_T, typeEquals, typeKey } from "../../ir/ir.js";
+import { planUnionRetag, buildUnionRetag, planRecordUnionWrap } from "./union-retag.js";
+const loc = { file: "retag.ts", start: 0, end: 1 };
+const record = (shapeId) => ({ kind: "record", shapeId });
+function fixture(fieldType = STRING, values = ["left", "right"]) {
+    const shapes = [
+        { id: "r0", fields: [{ name: "kind", type: fieldType }, { name: "left", type: F64 }, { name: "right", type: F64 }] },
+        { id: "r1", fields: [{ name: "kind", type: fieldType }, { name: "left", type: F64 }] },
+        { id: "r2", fields: [{ name: "kind", type: fieldType }, { name: "right", type: F64 }] },
+    ];
+    const from = {
+        id: "u0", arms: [record("r0"), UNDEFINED_T],
+        discriminant: { field: "kind", cases: [{ tag: 0, values }] },
+    };
+    const to = {
+        id: "u1", arms: [record("r1"), record("r2"), UNDEFINED_T],
+        discriminant: { field: "kind", cases: [{ tag: 0, values: [values[0]] }, { tag: 1, values: [values[1]] }] },
+    };
+    const shapeOf = (id) => shapes.find((shape) => shape.id === id);
+    const lift = (source, target) => {
+        if (typeEquals(source, target))
+            return { how: "copy" };
+        if (source.kind === "record" && target.kind === "record") {
+            const src = shapeOf(source.shapeId), dst = shapeOf(target.shapeId);
+            if (src && dst && dst.fields.every((field) => src.fields.some((old) => old.name === field.name && typeEquals(old.type, field.type)))) {
+                return { how: "width" };
+            }
+        }
+        if (target.kind === "union") {
+            const candidates = to.arms.map((arm, tag) => ({ arm, tag })).filter(({ arm }) => lift(source, arm) !== null);
+            if (candidates.length === 1)
+                return { how: "liftWrap", tag: candidates[0].tag, arm: candidates[0].arm };
+        }
+        return null;
+    };
+    const plan = (trappable) => planUnionRetag(from, to, shapeOf, lift, trappable);
+    return { from, to, shapes, shapeOf, lift, plan };
+}
+function split(plan) {
+    expect(plan).not.toBeNull();
+    const first = plan[0];
+    if (first.kind !== "discriminant")
+        throw new Error("expected discriminant plan");
+    return first;
+}
+describe("record conversion with shared layouts", () => {
+    test.each([
+        [STRING, ["binary", "logical"]], [F64, [0, 1]], [BOOL, [false, true]],
+    ])("selects %j variants by their value", (type, values) => {
+        const f = fixture(type, values);
+        f.shapes[2].fields = f.shapes[1].fields.slice();
+        expect(planRecordUnionWrap(f.shapes[1], f.to, f.shapeOf)).toEqual({
+            field: "kind", fieldType: type, routes: [
+                { tag: 0, lift: { how: "copy" }, values: [values[0]] },
+                { tag: 1, lift: { how: "width" }, values: [values[1]] },
+            ],
+        });
+        // Re-read registry definitions: a later field incompatibility must
+        // invalidate a previously possible shared-layout conversion.
+        f.shapes[2].fields = [{ name: "kind", type }, { name: "left", type: STRING }];
+        expect(planRecordUnionWrap(f.shapes[1], f.to, f.shapeOf)).toBeNull();
+    });
+    test("requires unambiguous literal ownership and matching field order", () => {
+        const f = fixture();
+        f.shapes[2].fields = f.shapes[1].fields.slice();
+        f.to.discriminant.cases[1].values = ["left"];
+        expect(planRecordUnionWrap(f.shapes[1], f.to, f.shapeOf)).toBeNull();
+        f.to.discriminant.cases[1].values = ["right"];
+        f.shapes[2].fields.reverse();
+        expect(planRecordUnionWrap(f.shapes[1], f.to, f.shapeOf)).toBeNull();
+    });
+});
+describe("union conversion planning", () => {
+    test("matches large unions in source order, including duplicate destination arms", () => {
+        const arms = Array.from({ length: 48 }, (_, index) => record(`r${index}`));
+        const from = { id: "large-from", arms };
+        const to = { id: "large-to", arms: [record("r7"), ...arms.slice().reverse(), record("r7")] };
+        const plan = planUnionRetag(from, to, () => undefined, () => null);
+        expect(plan).toEqual(arms.map((source) => ({
+            kind: "direct", route: { tag: to.arms.findIndex((arm) => typeEquals(arm, source)), lift: { how: "copy" }, values: [] },
+        })));
+        to.arms = to.arms.filter((arm) => !typeEquals(arm, arms[11]));
+        expect(planUnionRetag(from, to, () => undefined, () => null)).toBeNull();
+        expect(planUnionRetag(from, to, () => undefined, () => null, new Set([11]))?.[11]).toEqual({ kind: "trap" });
+    });
+    test("checks exact ABI equality within type-key collisions", () => {
+        const fixed = { kind: "func", params: [STRING], ret: F64 };
+        const withArguments = { kind: "func", params: [STRING], ret: F64, argumentsAll: true };
+        expect(typeKey(fixed)).toBe(typeKey(withArguments));
+        expect(typeEquals(fixed, withArguments)).toBe(false);
+        const padding = Array.from({ length: 12 }, (_, index) => record(`r${index}`));
+        const from = { id: "collision-from", arms: [fixed, withArguments, ...padding] };
+        const to = { id: "collision-to", arms: [withArguments, fixed, ...padding] };
+        expect(planUnionRetag(from, to, () => undefined, () => null)?.slice(0, 2)).toEqual([
+            { kind: "direct", route: { tag: 1, lift: { how: "copy" }, values: [] } },
+            { kind: "direct", route: { tag: 0, lift: { how: "copy" }, values: [] } },
+        ]);
+        to.arms.splice(1, 1);
+        expect(planUnionRetag(from, to, () => undefined, () => null)).toBeNull();
+    });
+    test("splits one source layout by semantic kind", () => {
+        const f = fixture();
+        const arm = split(f.plan());
+        expect(arm.field).toBe("kind");
+        expect(arm.fieldType).toEqual(STRING);
+        expect(arm.routes).toEqual([
+            { tag: 0, lift: { how: "width" }, values: ["left"] },
+            { tag: 1, lift: { how: "width" }, values: ["right"] },
+        ]);
+        expect(f.plan()[1]).toEqual({ kind: "direct", route: { tag: 2, lift: { how: "copy" }, values: [] } });
+    });
+    test.each([
+        [F64, [0, -1]], [F64, [1.5, 2.5]], [BOOL, [false, true]],
+        [STRING, ["constructor", "__proto__"]], [STRING, ["\u0000", '"\\\n']],
+    ])("supports literal comparisons for %j", (type, values) => {
+        const f = fixture(type, values);
+        expect(split(f.plan()).routes.map((route) => route.values)).toEqual([[values[0]], [values[1]]]);
+    });
+    test("uses semantic routes even when an exact storage arm exists", () => {
+        const f = fixture();
+        f.to.arms[0] = record("r0");
+        const arm = split(f.plan());
+        expect(arm.routes.map((route) => route.lift.how)).toEqual(["copy", "width"]);
+        expect(arm.routes.map((route) => route.tag)).toEqual([0, 1]);
+    });
+    test("retains exact storage when narrowing omits literal cases", () => {
+        const f = fixture();
+        f.to.arms[1] = record("r0");
+        f.to.discriminant.cases[0].values = ["other"];
+        f.to.discriminant.cases[1].values = ["left"];
+        expect(f.plan()[0]).toEqual({
+            kind: "direct", route: { tag: 1, lift: { how: "copy" }, values: ["left", "right"] },
+        });
+    });
+    test("combines omitted literal identity with explicit width routes", () => {
+        const f = fixture();
+        f.to.arms[0] = record("r0");
+        f.from.discriminant.cases[0].values.push("omitted");
+        expect(split(f.plan()).routes).toEqual([
+            { tag: 0, lift: { how: "copy" }, values: ["left", "omitted"] },
+            { tag: 1, lift: { how: "width" }, values: ["right"] },
+        ]);
+    });
+    test("coalesces several literals targeting the same layout", () => {
+        const f = fixture();
+        f.from.discriminant.cases[0].values.push("middle", "middle");
+        f.to.discriminant.cases[0].values.push("middle");
+        expect(split(f.plan()).routes[0].values).toEqual(["left", "middle"]);
+    });
+    test("does not dispatch when all semantic cases select one destination", () => {
+        const f = fixture();
+        f.to.discriminant.cases[0].values.push("right");
+        f.to.discriminant.cases[1].values = ["unused"];
+        expect(f.plan()[0]).toEqual({
+            kind: "direct", route: { tag: 0, lift: { how: "width" }, values: ["left", "right"] },
+        });
+    });
+    test("refuses a missing destination literal even when a structural choice exists", () => {
+        const f = fixture();
+        f.to.discriminant.cases[1].values = ["other"];
+        expect(f.plan()).toBeNull();
+    });
+    test("validates every selected layout before succeeding", () => {
+        const f = fixture();
+        const calls = [];
+        expect(planUnionRetag(f.from, f.to, f.shapeOf, (source, target) => {
+            if (target.kind !== "record")
+                return null;
+            calls.push(target.shapeId);
+            return target.shapeId === "r2" ? null : f.lift(source, target);
+        })).toBeNull();
+        expect(calls).toEqual(["r1", "r2"]);
+    });
+    test("declines when any destination payload field is incompatible", () => {
+        const f = fixture();
+        f.shapes[2].fields[1].type = STRING;
+        expect(f.plan()).toBeNull();
+    });
+    test("does not retain a successful partial plan after a later rejection", () => {
+        const f = fixture();
+        f.shapes[2].fields[1].type = STRING;
+        expect(f.plan()).toBeNull();
+        f.shapes[2].fields[1].type = F64;
+        expect(split(f.plan()).routes).toHaveLength(2);
+        f.shapes[1].fields[1].type = STRING;
+        expect(f.plan()).toBeNull();
+    });
+    test("does not infer a discriminator from only one union", () => {
+        const f = fixture();
+        delete f.to.discriminant;
+        expect(f.plan()).toBeNull();
+        f.to.arms.splice(1, 1);
+        expect(f.plan()[0].kind).toBe("direct");
+    });
+    test("keeps ambiguous unannotated structural conversions refused", () => {
+        const f = fixture();
+        delete f.from.discriminant;
+        delete f.to.discriminant;
+        expect(f.plan()).toBeNull();
+    });
+    test("does not match differently named discriminants", () => {
+        const f = fixture();
+        f.to.discriminant.field = "mode";
+        expect(f.plan()).toBeNull();
+    });
+    test("preserves exact arms without metadata", () => {
+        const f = fixture();
+        delete f.from.discriminant;
+        delete f.to.discriminant;
+        f.to.arms[1] = record("r0");
+        expect(f.plan()[0]).toEqual({ kind: "direct", route: { tag: 1, lift: { how: "copy" }, values: [] } });
+    });
+    test("stranded units trap and matching units retain their destination tags", () => {
+        const f = fixture();
+        f.from.arms.push(NULL_T);
+        expect(f.plan().at(-1)).toEqual({ kind: "trap" });
+        f.to.arms.push(NULL_T);
+        expect(f.plan().at(-1)).toEqual({ kind: "direct", route: { tag: 3, lift: { how: "copy" }, values: [] } });
+    });
+    test("stranded non-unit arms require site-specific checker evidence", () => {
+        const f = fixture();
+        f.from.arms.push(F64);
+        expect(f.plan()).toBeNull();
+        expect(f.plan(new Set([2])).at(-1)).toEqual({ kind: "trap" });
+        expect(f.plan()).toBeNull();
+    });
+    test("does not plan a width helper for a record the checker proved absent", () => {
+        const f = fixture();
+        let calls = 0;
+        const plan = planUnionRetag(f.from, f.to, f.shapeOf, (src, dst) => {
+            calls++;
+            return f.lift(src, dst);
+        }, new Set([0]));
+        expect(plan[0]).toEqual({ kind: "trap" });
+        expect(calls).toBe(0);
+    });
+    test("site evidence does not discard exact payload representations", () => {
+        const f = fixture();
+        f.from.arms.push(F64);
+        f.to.arms.push(F64);
+        expect(f.plan(new Set([2])).at(-1)).toEqual({ kind: "direct", route: { tag: 3, lift: { how: "copy" }, values: [] } });
+    });
+    test.each([["1", 1, F64], ["true", true, BOOL]])("distinguishes %s from a scalar discriminator with the same spelling", (text, scalar, scalarType) => {
+        const f = fixture();
+        const other = {
+            id: "r3", fields: [{ name: "kind", type: scalarType }, { name: "left", type: F64 }, { name: "right", type: F64 }],
+        };
+        f.shapes.push(other);
+        f.shapes[2].fields[0].type = scalarType;
+        f.from.arms = [record("r0"), record("r3"), UNDEFINED_T];
+        f.from.discriminant.cases = [{ tag: 0, values: [text] }, { tag: 1, values: [scalar] }];
+        f.to.discriminant.cases = [{ tag: 0, values: [text] }, { tag: 1, values: [scalar] }];
+        const plan = f.plan();
+        expect(plan).not.toBeNull();
+        expect(plan[0]).toEqual({ kind: "direct", route: { tag: 0, lift: { how: "width" }, values: [text] } });
+        expect(plan[1]).toEqual({ kind: "direct", route: { tag: 1, lift: { how: "width" }, values: [scalar] } });
+    });
+    test("rejects ambiguous source ownership before asking for payload conversions", () => {
+        const f = fixture();
+        f.from.arms.unshift(record("r1"));
+        f.from.discriminant.cases[0].tag = 1;
+        f.from.discriminant.cases.push({ tag: 0, values: ["left"] });
+        let calls = 0;
+        const plan = planUnionRetag(f.from, f.to, f.shapeOf, (src, dst) => { calls++; return f.lift(src, dst); });
+        expect(plan).toBeNull();
+        expect(calls).toBe(0);
+    });
+    test("reserved implementation fields cannot become user discriminants", () => {
+        const f = fixture();
+        for (const shape of f.shapes)
+            shape.fields[0].name = "%kind";
+        f.from.discriminant.field = "%kind";
+        f.to.discriminant.field = "%kind";
+        expect(f.plan()).toBeNull();
+    });
+    test("keeps input metadata unchanged and plans independent", () => {
+        const f = fixture();
+        const before = JSON.stringify([f.from, f.to, f.shapes]);
+        const first = split(f.plan());
+        first.routes[0].values.push("mutated");
+        expect(split(f.plan()).routes[0].values).toEqual(["left"]);
+        expect(JSON.stringify([f.from, f.to, f.shapes])).toBe(before);
+    });
+});
+describe("discriminator metadata validation", () => {
+    for (const side of ["from", "to"]) {
+        test(`${side}: refuses incomplete coverage of record arms`, () => {
+            const f = fixture();
+            f[side].discriminant.cases.pop();
+            expect(f.plan()).toBeNull();
+        });
+        test(`${side}: refuses a duplicate tag`, () => {
+            const f = fixture();
+            f[side].discriminant.cases.push(f[side].discriminant.cases[0]);
+            expect(f.plan()).toBeNull();
+        });
+        test(`${side}: refuses an empty literal set`, () => {
+            const f = fixture();
+            f[side].discriminant.cases[0].values = [];
+            expect(f.plan()).toBeNull();
+        });
+        test(`${side}: refuses a literal with the wrong primitive type`, () => {
+            const f = fixture();
+            f[side].discriminant.cases[0].values = [1];
+            expect(f.plan()).toBeNull();
+        });
+        test(`${side}: refuses a missing shape`, () => {
+            const f = fixture();
+            expect(planUnionRetag(f.from, f.to, (id) => id === (side === "from" ? "r0" : "r1") ? undefined : f.shapeOf(id), f.lift)).toBeNull();
+        });
+        for (const tag of [-1, 0.5, 99, Number.NaN]) {
+            test(`${side}: refuses invalid tag ${tag}`, () => {
+                const f = fixture();
+                f[side].discriminant.cases[0].tag = tag;
+                expect(f.plan()).toBeNull();
+            });
+        }
+        for (const literal of [Number.NaN, Number.POSITIVE_INFINITY, Number.NEGATIVE_INFINITY]) {
+            test(`${side}: refuses non-finite literal ${literal}`, () => {
+                const f = fixture(F64, [1, 2]);
+                f[side].discriminant.cases[0].values[0] = literal;
+                expect(f.plan()).toBeNull();
+            });
+        }
+    }
+    test("refuses competing destination owners", () => {
+        const f = fixture();
+        f.to.discriminant.cases[1].values.push("left");
+        expect(f.plan()).toBeNull();
+    });
+    for (const shapeIndex of [0, 1]) {
+        test(`refuses optional or dynamic field in shape ${shapeIndex}`, () => {
+            const f = fixture();
+            f.shapes[shapeIndex].fields[0].type = { kind: "dyn" };
+            expect(f.plan()).toBeNull();
+        });
+        test(`refuses tuple representation in shape ${shapeIndex}`, () => {
+            const f = fixture();
+            f.shapes[shapeIndex].tuple = true;
+            expect(f.plan()).toBeNull();
+        });
+        for (const accessor of ["get", "set"]) {
+            test(`refuses ${accessor} accessor in shape ${shapeIndex}`, () => {
+                const f = fixture();
+                f.shapes[shapeIndex].fields.push({ name: `%${accessor}:kind`, type: { kind: "func", params: [], ret: STRING } });
+                expect(f.plan()).toBeNull();
+            });
+        }
+    }
+});
+describe("retag IR construction", () => {
+    test.each([[STRING, ["left", "right"], "strEq"], [F64, [0, 1], "bin"], [BOOL, [false, true], "bin"]])("reads %j discriminator with its source layout", (fieldType, values, comparison) => {
+        const f = fixture(fieldType, [...values]);
+        const uses = [];
+        const fn = buildUnionRetag("retag", f.from, f.to, f.plan(), loc, (lift, value, dst) => {
+            uses.push({ how: lift.how, src: value.type, dst });
+            return { kind: "varRef", localId: "converted", type: dst, loc };
+        }, () => "source");
+        const branch = fn.body[0];
+        if (branch.kind !== "if")
+            throw new Error("missing source tag branch");
+        expect(branch.cond.kind).toBe("unionIsTag");
+        const read = branch.then[0];
+        if (read.kind !== "varDecl" || read.init?.kind !== "recordGet")
+            throw new Error("missing field capture");
+        expect(read.init.shapeId).toBe("r0");
+        expect(read.init.type).toEqual(fieldType);
+        for (const item of branch.then.slice(1, 3)) {
+            if (item.kind !== "if")
+                throw new Error("missing literal dispatch");
+            expect(item.cond.kind).toBe(comparison);
+            const returned = item.then[0];
+            if (returned.kind !== "return" || returned.value?.kind !== "unionWrap")
+                throw new Error("missing destination wrap");
+            expect(returned.value.unionId).toBe("u1");
+        }
+        expect(uses).toEqual([
+            { how: "width", src: record("r0"), dst: record("r1") },
+            { how: "width", src: record("r0"), dst: record("r2") },
+            { how: "copy", src: UNDEFINED_T, dst: UNDEFINED_T },
+        ]);
+        expect(branch.then.at(-1)?.kind).toBe("throw");
+        expect(fn.body.at(-1)?.kind).toBe("throw");
+        expect(fn.locals.filter((local) => local.name === "kind")).toHaveLength(1);
+    });
+    test("emits a catchable TypeError for a stranded arm", () => {
+        const f = fixture();
+        f.from.arms.push(NULL_T);
+        const fn = buildUnionRetag("retag", f.from, f.to, f.plan(), loc, (_, value) => value, () => "source");
+        const branch = fn.body[2];
+        if (branch.kind !== "if")
+            throw new Error("missing trap branch");
+        const thrown = branch.then[0];
+        if (thrown.kind !== "throw" || thrown.value.kind !== "libCall")
+            throw new Error("missing TypeError");
+        expect(thrown.value.type).toEqual({ kind: "object", className: "%TypeError" });
+        expect(thrown.value.args[0]).toMatchObject({ value: expect.stringContaining("null is not representable") });
+    });
+    test("refuses an incomplete build plan", () => {
+        const f = fixture();
+        expect(() => buildUnionRetag("broken", f.from, f.to, [], loc, (_, value) => value, () => "")).toThrow("incomplete union retag plan");
+    });
+});
+//# sourceMappingURL=union-retag.test.js.map

package/dist/frontend/lowering/union-retag.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"union-retag.test.js","sourceRoot":"","sources":["../../../src/frontend/lowering/union-retag.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAChD,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAE7F,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAIxF,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAC3D,MAAM,MAAM,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;AAE1E,SAAS,OAAO,CAAC,SAAS,GAAW,MAAM,EAAE,MAAM,GAAkC,CAAC,MAAM,EAAE,OAAO,CAAC;IACpG,MAAM,MAAM,GAAoB;QAC9B,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE;QACpH,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE;QACtF,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE;KACxF,CAAC;IACF,MAAM,IAAI,GAAe;QACvB,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,WAAW,CAAC;QAC3C,YAAY,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE;KAC7D,CAAC;IACF,MAAM,EAAE,GAAe;QACrB,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,WAAW,CAAC;QACzD,YAAY,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,EAAE;KAC7G,CAAC;IACF,MAAM,OAAO,GAAG,CAAC,EAAU,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IACxE,MAAM,IAAI,GAAG,CAAC,MAAc,EAAE,MAAc,EAAoB,EAAE;QAChE,IAAI,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC;YAAE,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;QACvD,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACzD,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YACnE,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrI,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;YAC1B,CAAC;QACH,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC5B,MAAM,UAAU,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,KAAK,IAAI,CAAC,CAAC;YAC7G,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC,CAAE,CAAC,GAAG,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC,CAAE,CAAC,GAAG,EAAE,CAAC;QAC5G,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,SAA+B,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;IACrG,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AACnD,CAAC;AAED,SAAS,KAAK,CAAC,IAA4B;IACzC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC5B,MAAM,KAAK,GAAG,IAAK,CAAC,CAAC,CAAE,CAAC;IACxB,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc;QAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;IACjF,OAAO,KAAK,CAAC;AACf,CAAC;AAED,QAAQ,CAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAI,CAAC,IAAI,CAAC;QACR,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;KACzB,CAAC,CAAC,oCAAoC,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE;QACrG,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAChC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QAClD,MAAM,CAAC,mBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;YACjE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE;gBACtC,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE;gBACtD,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE;aACxD;SACF,CAAC,CAAC;QACH,mEAAmE;QACnE,6DAA6D;QAC7D,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,MAAM,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;QAC/E,MAAM,CAAC,mBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,iEAAiE,EAAE,GAAG,EAAE;QAC3E,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QAClD,CAAC,CAAC,EAAE,CAAC,YAAa,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,MAAM,GAAG,CAAC,MAAM,CAAC,CAAC;QAC/C,MAAM,CAAC,mBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACtE,CAAC,CAAC,EAAE,CAAC,YAAa,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,MAAM,GAAG,CAAC,OAAO,CAAC,CAAC;QAChD,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QAC9B,MAAM,CAAC,mBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACxE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAI,CAAC,4EAA4E,EAAE,GAAG,EAAE;QACtF,MAAM,IAAI,GAAa,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC;QACrF,MAAM,IAAI,GAAe,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;QACpD,MAAM,EAAE,GAAe,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACzG,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QACnE,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YACzC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE;SACvH,CAAC,CAAC,CAAC,CAAC;QACL,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAE,CAAC,CAAC,CAAC;QAC/D,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACzE,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IAC/G,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAChE,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACnE,MAAM,aAAa,GAAW,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;QAC/F,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC;QACpD,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrD,MAAM,OAAO,GAAa,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC;QACxF,MAAM,IAAI,GAAe,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,aAAa,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC;QAC5F,MAAM,EAAE,GAAe,EAAE,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,aAAa,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC;QACxF,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YACjF,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE;YACxE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE;SACzE,CAAC,CAAC;QACH,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACrB,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC/B,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACtC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC;YACzB,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE;YACpD,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE;SACtD,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,IAAI,EAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;IACzG,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,IAAI,CAAC;QACR,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACxD,CAAC,MAAM,EAAE,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;KACzB,CAAC,CAAC,qCAAqC,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE;QACtG,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAChC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClG,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACtE,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC5B,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;QAC7E,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,0DAA0D,EAAE,GAAG,EAAE;QACpE,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC,CAAC,EAAE,CAAC,YAAa,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,MAAM,GAAG,CAAC,OAAO,CAAC,CAAC;QAChD,CAAC,CAAC,EAAE,CAAC,YAAa,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,MAAM,GAAG,CAAC,MAAM,CAAC,CAAC;QAC/C,MAAM,CAAC,CAAC,CAAC,IAAI,EAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YAC3B,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE;SACpF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACxE,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC,CAAC,IAAI,CAAC,YAAa,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACtD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC;YACrC,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE;YAC9D,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE;SACtD,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,CAAC,CAAC,IAAI,CAAC,YAAa,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAC/D,CAAC,CAAC,EAAE,CAAC,YAAa,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACnD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC5E,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,CAAC,CAAC,EAAE,CAAC,YAAa,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAClD,CAAC,CAAC,EAAE,CAAC,YAAa,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,MAAM,GAAG,CAAC,QAAQ,CAAC,CAAC;QACjD,MAAM,CAAC,CAAC,CAAC,IAAI,EAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YAC3B,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE;SACrF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,4EAA4E,EAAE,GAAG,EAAE;QACtF,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,CAAC,CAAC,EAAE,CAAC,YAAa,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,MAAM,GAAG,CAAC,OAAO,CAAC,CAAC;QAChD,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE;YAChE,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,IAAI,CAAC;YAC1C,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC3B,OAAO,MAAM,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACjE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACf,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACvE,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,GAAG,MAAM,CAAC;QACtC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC7E,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,GAAG,MAAM,CAAC;QACtC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC5B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,GAAG,GAAG,CAAC;QACnC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,GAAG,MAAM,CAAC;QACtC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,OAAO,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC;QACzB,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC5B,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACvB,MAAM,CAAC,CAAC,CAAC,IAAI,EAAG,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACtE,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,OAAO,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC;QAC3B,OAAO,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC;QACzB,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,gDAAgD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,CAAC,CAAC,EAAE,CAAC,YAAa,CAAC,KAAK,GAAG,MAAM,CAAC;QAClC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,uCAAuC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,OAAO,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC;QAC3B,OAAO,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC;QACzB,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC5B,MAAM,CAAC,CAAC,CAAC,IAAI,EAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;IACzG,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAChF,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACzB,MAAM,CAAC,CAAC,CAAC,IAAI,EAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;QACnD,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACvB,MAAM,CAAC,CAAC,CAAC,IAAI,EAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;IAC7G,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACzE,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACtB,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC5B,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;QAC/D,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC/E,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,MAAM,IAAI,GAAG,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE;YAChE,KAAK,EAAE,CAAC;YACR,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC1B,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;QAC3C,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxB,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACxE,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACtB,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;IACzH,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAyC,CAAC,CACtF,qEAAqE,EACrE,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE;QAC3B,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,MAAM,KAAK,GAAkB;YAC3B,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;SAClH,CAAC;QACF,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,GAAG,UAAU,CAAC;QAC1C,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,WAAW,CAAC,CAAC;QACxD,CAAC,CAAC,IAAI,CAAC,YAAa,CAAC,KAAK,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACxF,CAAC,CAAC,EAAE,CAAC,YAAa,CAAC,KAAK,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACtF,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACtB,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5B,MAAM,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QACxG,MAAM,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;IAC5G,CAAC,CACF,CAAC;IAEF,IAAI,CAAC,0EAA0E,EAAE,GAAG,EAAE;QACpF,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QAClC,CAAC,CAAC,IAAI,CAAC,YAAa,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,GAAG,GAAG,CAAC,CAAC;QACvC,CAAC,CAAC,IAAI,CAAC,YAAa,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC9D,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,MAAM,IAAI,GAAG,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1G,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;QACxB,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxB,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,iEAAiE,EAAE,GAAG,EAAE;QAC3E,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,MAAM;YAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,GAAG,OAAO,CAAC;QAC9D,CAAC,CAAC,IAAI,CAAC,YAAa,CAAC,KAAK,GAAG,OAAO,CAAC;QACrC,CAAC,CAAC,EAAE,CAAC,YAAa,CAAC,KAAK,GAAG,OAAO,CAAC;QACnC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACxD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAC9B,KAAK,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACxC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QAC5D,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,EAAE,IAAI,CAAU,EAAE,CAAC;QAC3C,IAAI,CAAC,GAAG,IAAI,8CAA8C,EAAE,GAAG,EAAE;YAC/D,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;YACpB,CAAC,CAAC,IAAI,CAAC,CAAC,YAAa,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;YAClC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC9B,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,GAAG,IAAI,2BAA2B,EAAE,GAAG,EAAE;YAC5C,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;YACpB,CAAC,CAAC,IAAI,CAAC,CAAC,YAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,YAAa,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC;YAClE,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC9B,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,GAAG,IAAI,gCAAgC,EAAE,GAAG,EAAE;YACjD,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;YACpB,CAAC,CAAC,IAAI,CAAC,CAAC,YAAa,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,MAAM,GAAG,EAAE,CAAC;YAC5C,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC9B,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,GAAG,IAAI,mDAAmD,EAAE,GAAG,EAAE;YACpE,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;YACpB,CAAC,CAAC,IAAI,CAAC,CAAC,YAAa,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC9B,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,GAAG,IAAI,2BAA2B,EAAE,GAAG,EAAE;YAC5C,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;YACpB,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACtI,CAAC,CAAC,CAAC;QACH,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5C,IAAI,CAAC,GAAG,IAAI,yBAAyB,GAAG,EAAE,EAAE,GAAG,EAAE;gBAC/C,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;gBACpB,CAAC,CAAC,IAAI,CAAC,CAAC,YAAa,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,GAAG,GAAG,GAAG,CAAC;gBAC1C,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC9B,CAAC,CAAC,CAAC;QACL,CAAC;QACD,KAAK,MAAM,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,CAAC,EAAE,CAAC;YACvF,IAAI,CAAC,GAAG,IAAI,gCAAgC,OAAO,EAAE,EAAE,GAAG,EAAE;gBAC1D,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBAC/B,CAAC,CAAC,IAAI,CAAC,CAAC,YAAa,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC;gBACpD,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC9B,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,IAAI,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAChD,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,CAAC,CAAC,EAAE,CAAC,YAAa,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACjD,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,KAAK,MAAM,UAAU,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAChC,IAAI,CAAC,8CAA8C,UAAU,EAAE,EAAE,GAAG,EAAE;YACpE,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;YACpB,CAAC,CAAC,MAAM,CAAC,UAAU,CAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;YACxD,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC9B,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,yCAAyC,UAAU,EAAE,EAAE,GAAG,EAAE;YAC/D,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;YACpB,CAAC,CAAC,MAAM,CAAC,UAAU,CAAE,CAAC,KAAK,GAAG,IAAI,CAAC;YACnC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC9B,CAAC,CAAC,CAAC;QACH,KAAK,MAAM,QAAQ,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;YACtC,IAAI,CAAC,WAAW,QAAQ,sBAAsB,UAAU,EAAE,EAAE,GAAG,EAAE;gBAC/D,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;gBACpB,CAAC,CAAC,MAAM,CAAC,UAAU,CAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,QAAQ,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;gBAClH,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC9B,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,KAAK,CAAC,CAAU,CAAC,CAC5G,+CAA+C,EAC/C,CAAC,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE;QAChC,MAAM,CAAC,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;QAC1C,MAAM,IAAI,GAAgD,EAAE,CAAC;QAC7D,MAAM,EAAE,GAAG,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAG,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE;YACrF,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;YACnD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAClE,CAAC,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,CAAC;QACnB,MAAM,MAAM,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;QAC3B,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;YAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;QACvE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC5C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;QAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,WAAW;YAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;QACzG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAC1C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAC3C,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;gBAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;YACpE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;YAC/B,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,KAAK,EAAE,IAAI,KAAK,WAAW;gBAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;YACpH,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC;YACnB,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE;YACtD,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE;YACtD,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,WAAW,EAAE;SACpD,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC/C,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC3C,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC7E,CAAC,CACF,CAAC;IAEF,IAAI,CAAC,gDAAgD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACzB,MAAM,EAAE,GAAG,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAG,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,CAAC;QACvG,MAAM,MAAM,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;QAC3B,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;YAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;QAC/B,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,mBAAmB,CAAC,CAAC;QACrG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC,CAAC;QAC/E,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,gBAAgB,CAAC,2BAA2B,CAAC,EAAE,CAAC,CAAC;IAC9G,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,MAAM,CAAC,GAAG,EAAE,CAAC,eAAe,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC;IACvI,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/frontend/lowering/unregistered-class-types.d.ts

@@ -0,0 +1,14 @@
+import type { IrRecordShape, IrType, IrUnionDef } from "../../ir/ir.js";
+/** Reuse class-reference checks while the type tables and class registry are
+ * fixed. Create a new index after lowering or retention changes those tables. */
+export declare class UnregisteredClassTypes {
+    private readonly record;
+    private readonly union;
+    private readonly hasClass;
+    private readonly safeRecords;
+    private readonly safeUnions;
+    private readonly badRecords;
+    private readonly badUnions;
+    constructor(record: (id: string) => IrRecordShape | undefined, union: (id: string) => IrUnionDef | undefined, hasClass: (name: string) => boolean);
+    has(root: IrType): boolean;
+}

package/dist/frontend/lowering/unregistered-class-types.js

@@ -0,0 +1,94 @@
+/** Reuse class-reference checks while the type tables and class registry are
+ * fixed. Create a new index after lowering or retention changes those tables. */
+export class UnregisteredClassTypes {
+    record;
+    union;
+    hasClass;
+    safeRecords = new Set();
+    safeUnions = new Set();
+    badRecords = new Set();
+    badUnions = new Set();
+    constructor(record, union, hasClass) {
+        this.record = record;
+        this.union = union;
+        this.hasClass = hasClass;
+    }
+    has(root) {
+        const pending = [root];
+        const records = new Set();
+        const unions = new Set();
+        let bad = false;
+        while (pending.length > 0 && !bad) {
+            const type = pending.pop();
+            switch (type.kind) {
+                case "object":
+                    bad = !this.hasClass(type.className);
+                    break;
+                case "array":
+                case "set":
+                    pending.push(type.elem);
+                    break;
+                case "map":
+                    pending.push(type.value, type.key);
+                    break;
+                case "promise":
+                    pending.push(type.inner);
+                    break;
+                case "func":
+                    pending.push(type.ret);
+                    for (let i = type.params.length - 1; i >= 0; i--)
+                        pending.push(type.params[i]);
+                    break;
+                case "record": {
+                    if (this.badRecords.has(type.shapeId)) {
+                        bad = true;
+                        break;
+                    }
+                    if (this.safeRecords.has(type.shapeId) || records.has(type.shapeId))
+                        break;
+                    records.add(type.shapeId);
+                    const shape = this.record(type.shapeId);
+                    if (shape !== undefined) {
+                        for (let i = shape.fields.length - 1; i >= 0; i--)
+                            pending.push(shape.fields[i].type);
+                        if (shape.indexValue !== undefined)
+                            pending.push(shape.indexValue);
+                    }
+                    break;
+                }
+                case "union": {
+                    if (this.badUnions.has(type.unionId)) {
+                        bad = true;
+                        break;
+                    }
+                    if (this.safeUnions.has(type.unionId) || unions.has(type.unionId))
+                        break;
+                    unions.add(type.unionId);
+                    const definition = this.union(type.unionId);
+                    if (definition !== undefined) {
+                        for (let i = definition.arms.length - 1; i >= 0; i--)
+                            pending.push(definition.arms[i]);
+                    }
+                    break;
+                }
+            }
+        }
+        if (bad) {
+            // Only the root is proven bad; visited sibling types may be safe.
+            if (root.kind === "record")
+                this.badRecords.add(root.shapeId);
+            if (root.kind === "union")
+                this.badUnions.add(root.unionId);
+        }
+        else {
+            // A cycle back-edge is provisional. Cache negative answers only after
+            // the entire reachable graph has been checked, including its siblings.
+            for (const id of records)
+                this.safeRecords.add(id);
+            for (const id of unions)
+                this.safeUnions.add(id);
+        }
+        return bad;
+    }
+}
+//# sourceMappingURL=unregistered-class-types.js.map

package/dist/frontend/lowering/unregistered-class-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"unregistered-class-types.js","sourceRoot":"","sources":["../../../src/frontend/lowering/unregistered-class-types.ts"],"names":[],"mappings":"AAEA;iFACiF;AACjF,MAAM,OAAO,sBAAsB;IAOd,MAAM;IACN,KAAK;IACL,QAAQ;IARV,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/C,YACmB,MAAiD,EACjD,KAA6C,EAC7C,QAAmC;sBAFnC,MAAM;qBACN,KAAK;wBACL,QAAQ;IACxB,CAAC;IAEJ,GAAG,CAAC,IAAY;QACd,MAAM,OAAO,GAAa,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;QACjC,IAAI,GAAG,GAAG,KAAK,CAAC;QAChB,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;YAClC,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,EAAG,CAAC;YAC5B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;gBAClB,KAAK,QAAQ;oBACX,GAAG,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;oBACrC,MAAM;gBACR,KAAK,OAAO,CAAC;gBACb,KAAK,KAAK;oBACR,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACxB,MAAM;gBACR,KAAK,KAAK;oBACR,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;oBACnC,MAAM;gBACR,KAAK,SAAS;oBACZ,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;oBACzB,MAAM;gBACR,KAAK,MAAM;oBACT,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBACvB,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;wBAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC;oBAChF,MAAM;gBACR,KAAK,QAAQ,EAAE,CAAC;oBACd,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;wBAAC,GAAG,GAAG,IAAI,CAAC;wBAAC,MAAM;oBAAC,CAAC;oBAC7D,IAAI,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;wBAAE,MAAM;oBAC3E,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBACxC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;wBACxB,KAAK,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;4BAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC;wBACvF,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS;4BAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;oBACrE,CAAC;oBACD,MAAM;gBACR,CAAC;gBACD,KAAK,OAAO,EAAE,CAAC;oBACb,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;wBAAC,GAAG,GAAG,IAAI,CAAC;wBAAC,MAAM;oBAAC,CAAC;oBAC5D,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;wBAAE,MAAM;oBACzE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBACzB,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBAC5C,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;wBAC7B,KAAK,IAAI,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;4BAAE,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;oBAC1F,CAAC;oBACD,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,GAAG,EAAE,CAAC;YACR,kEAAkE;YAClE,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC9D,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;gBAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC9D,CAAC;aAAM,CAAC;YACN,sEAAsE;YACtE,uEAAuE;YACvE,KAAK,MAAM,EAAE,IAAI,OAAO;gBAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACnD,KAAK,MAAM,EAAE,IAAI,MAAM;gBAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACnD,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF"}

package/dist/frontend/lowering/unregistered-class-types.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/frontend/lowering/unregistered-class-types.test.js

@@ -0,0 +1,65 @@
+import { expect, test } from "vitest";
+import { F64, VOID } from "../../ir/ir.js";
+import { UnregisteredClassTypes } from "./unregistered-class-types.js";
+const record = (shapeId) => ({ kind: "record", shapeId });
+const union = (unionId) => ({ kind: "union", unionId });
+const missing = { kind: "object", className: "Missing" };
+test("cyclic references wait for sibling checks before caching safe types", () => {
+    const records = new Map([
+        ["a", { id: "a", fields: [{ name: "cycle", type: record("b") }, { name: "missing", type: missing }] }],
+        ["b", { id: "b", fields: [{ name: "back", type: union("u") }, { name: "safe", type: record("safe") }] }],
+        ["safe", { id: "safe", fields: [{ name: "value", type: F64 }] }],
+    ]);
+    const unions = new Map([["u", { id: "u", arms: [record("a")] }]]);
+    const index = new UnregisteredClassTypes((id) => records.get(id), (id) => unions.get(id), () => false);
+    expect(index.has(record("a"))).toBe(true);
+    expect(index.has(record("b"))).toBe(true);
+    expect(index.has(union("u"))).toBe(true);
+    expect(index.has(record("safe"))).toBe(false);
+});
+test("shared recursive graphs are traversed once across repeated local types", () => {
+    const records = new Map();
+    const count = 2048;
+    for (let i = 0; i < count; i++)
+        records.set(String(i), {
+            id: String(i), fields: [{ name: "next", type: record(String((i + 1) % count)) }],
+        });
+    let lookups = 0;
+    const index = new UnregisteredClassTypes((id) => { lookups++; return records.get(id); }, () => undefined, () => true);
+    for (let i = 0; i < count; i++) {
+        expect(index.has({ kind: "array", elem: record(String(i)) })).toBe(false);
+    }
+    expect(lookups).toBe(count);
+});
+test("nested containers, signatures and index values expose missing instances", () => {
+    const shape = { id: "r", fields: [], indexValue: missing };
+    const definition = { id: "u", arms: [record("r")] };
+    const index = new UnregisteredClassTypes(() => shape, () => definition, () => false);
+    const types = [
+        { kind: "array", elem: missing }, { kind: "set", elem: missing },
+        { kind: "map", key: missing, value: F64 }, { kind: "map", key: F64, value: missing },
+        { kind: "promise", inner: missing },
+        { kind: "func", params: [missing], ret: VOID }, { kind: "func", params: [], ret: missing },
+        record("r"), union("u"),
+    ];
+    for (const type of types)
+        expect(index.has(type)).toBe(true);
+    expect(index.has({ kind: "classval", className: "Missing" })).toBe(false);
+});
+test("record and union IDs have independent identities", () => {
+    const index = new UnregisteredClassTypes((id) => ({ id, fields: [] }), (id) => ({ id, arms: [missing] }), () => false);
+    expect(index.has(record("same"))).toBe(false);
+    expect(index.has(union("same"))).toBe(true);
+    expect(index.has(record("same"))).toBe(false);
+});
+test("fresh indexes observe later class registration and type-table completion", () => {
+    const table = {};
+    const classes = new Set();
+    const fresh = () => new UnregisteredClassTypes(() => table.shape, () => undefined, (name) => classes.has(name));
+    expect(fresh().has(record("r"))).toBe(false);
+    table.shape = { id: "r", fields: [{ name: "value", type: missing }] };
+    expect(fresh().has(record("r"))).toBe(true);
+    classes.add("Missing");
+    expect(fresh().has(record("r"))).toBe(false);
+});
+//# sourceMappingURL=unregistered-class-types.test.js.map