@scriptc/compiler 0.1.7 → 0.2.0

package/dist/ir/validate.test.js

@@ -1,8 +1,110 @@
 import { expect, test } from "vitest";
-import { BOOL, F64, STRING, VOID, arrayOf } from "./ir.js";
+import { BOOL, DYN, F64, NULL_T, STRING, UNDEFINED_T, VOID, arrayOf, mapOf, setOf } from "./ir.js";
 import { deserializeModule, serializeModule } from "./serialize.js";
 import { validateModule } from "./validate.js";
 const loc = { file: "numeric-read.ts", start: 0, end: 0 };
+test("static callback operations validate their complete ABI after serialization", () => {
+    const mod = expressionModule({ kind: "numLit", value: 0, type: F64, loc }, []);
+    mod.ffiImports = [
+        { name: "register", symbol: "register", library: "native", callbackOperation: "register", params: [{ callback: { id: "callback", params: ["pointer"], returns: "void", lifetime: "retained", invoke: "script-thread" } }], returns: "pointer" },
+        { name: "release", symbol: "release", library: "native", callbackOperation: "release", callbackTarget: "register", params: [], returns: "void" },
+    ];
+    expect(validateModule(deserializeModule(serializeModule(mod)))).toEqual([]);
+    for (const variant of ["target", "library", "return", "params", "callback-id"]) {
+        const bad = structuredClone(mod);
+        const registration = bad.ffiImports[0];
+        const release = bad.ffiImports[1];
+        if (variant === "target")
+            release.callbackTarget = "missing";
+        if (variant === "library")
+            release.library = "different";
+        if (variant === "return")
+            registration.returns = "void";
+        if (variant === "params")
+            release.params = ["pointer"];
+        if (variant === "callback-id")
+            registration.params[0].callback.id = "wrong";
+        expect(validateModule(bad).some(error => error.message.includes("FFI callback operation"))).toBe(true);
+    }
+});
+function localClassModule() {
+    const self = { kind: "object", className: "Local" };
+    const mod = expressionModule({ kind: "classRef", className: "Local", captures: ["outer"], type: { kind: "classval", className: "Local" }, loc }, []);
+    mod.classes = [{ name: "Local", jsName: "Local", fields: [{ name: "%classEnvironment:Local", type: { kind: "classval", className: "Local" } }], localCaptures: [{ localId: "shared", name: "value", type: F64 }], loc }];
+    mod.functions[0].locals = [{ id: "outer", name: "value", type: F64, mutable: true, boxed: true }];
+    mod.functions.push({
+        name: "%Local.constructor", params: [{ localId: "self", name: "this", type: self }],
+        locals: [{ id: "self", name: "this", type: self, mutable: false }, { id: "capture", name: "value", type: F64, mutable: true, boxed: true }],
+        classCaptures: [{ localId: "capture", name: "value", type: F64, slot: 0 }],
+        returnType: VOID, body: [], loc,
+    });
+    return mod;
+}
+test("class prototype data helpers retain their ABI after serialization", () => {
+    const mod = expressionModule({ kind: "numLit", value: 0, type: F64, loc }, []);
+    mod.classes = [{ name: "Vector", fields: [], prototypeDataHelper: "%prototype.Vector", loc }];
+    mod.functions.push({ name: "%prototype.Vector", params: [], locals: [], returnType: DYN,
+        body: [{ kind: "return", value: { kind: "dynObjLit", fields: [], type: DYN, loc }, loc }], loc });
+    expect(validateModule(deserializeModule(serializeModule(mod)))).toEqual([]);
+    for (const variant of ["missing", "params", "return", "captures"]) {
+        const bad = structuredClone(mod);
+        const helper = bad.functions[1];
+        if (variant === "missing")
+            bad.functions.pop();
+        if (variant === "params")
+            helper.params.push({ localId: "p", name: "p", type: DYN });
+        if (variant === "return")
+            helper.returnType = F64;
+        if (variant === "captures")
+            helper.captures = [];
+        expect(validateModule(bad).some((error) => error.message.includes("prototype data helper"))).toBe(true);
+    }
+});
+test("local classes retain serialized capture slots and fresh identity", () => {
+    const mod = localClassModule();
+    expect(validateModule(mod)).toEqual([]);
+    expect(deserializeModule(serializeModule(mod))).toEqual(mod);
+});
+test.each(["missing", "unboxed", "type", "slot", "receiver", "closure", "layout", "direct-new"])("local classes reject an invalid %s environment", (variant) => {
+    const mod = localClassModule();
+    const ctor = mod.functions[1];
+    if (variant === "missing")
+        mod.functions[0].locals = [];
+    if (variant === "unboxed")
+        delete mod.functions[0].locals[0].boxed;
+    if (variant === "type")
+        ctor.locals[1].type = STRING;
+    if (variant === "slot")
+        ctor.classCaptures[0].slot = 1;
+    if (variant === "receiver")
+        ctor.params[0].type = F64;
+    if (variant === "closure")
+        ctor.captures = [];
+    if (variant === "layout")
+        mod.classes[0].runtime = true;
+    if (variant === "direct-new")
+        mod.functions[0].body = [{ kind: "exprStmt", expr: { kind: "new", className: "Local", args: [], type: { kind: "object", className: "Local" }, loc }, loc }];
+    expect(validateModule(mod).length).toBeGreaterThan(0);
+});
+test.each([mapOf(STRING, F64), setOf(STRING), { kind: "promise", inner: F64 }])("nullable %j payloads preserve an explicit absence tag", (type) => {
+    const mod = expressionModule({ kind: "numLit", value: 0, type: F64, loc }, [
+        { id: "nullable", arms: [type, NULL_T, UNDEFINED_T] },
+    ]);
+    expect(validateModule(mod)).toEqual([]);
+    expect(deserializeModule(serializeModule(mod))).toEqual(mod);
+});
+test.each([mapOf(STRING, F64), setOf(STRING), { kind: "promise", inner: F64 }])("%j payloads still refuse unrelated data siblings", (type) => {
+    const mod = expressionModule({ kind: "numLit", value: 0, type: F64, loc }, [
+        { id: "mixed", arms: [type, STRING, UNDEFINED_T] },
+    ]);
+    expect(validateModule(mod).map((error) => error.message)).toContain(`union mixed: ${type.kind} arm 0 beside non-unit arms`);
+});
+test("two differently typed Map payloads cannot silently share one tag test", () => {
+    const mod = expressionModule({ kind: "numLit", value: 0, type: F64, loc }, [
+        { id: "maps", arms: [mapOf(STRING, F64), mapOf(STRING, STRING), UNDEFINED_T] },
+    ]);
+    expect(validateModule(mod).filter((error) => error.message.includes("beside non-unit arms"))).toHaveLength(2);
+});
 function numericReadModule(overrides = {}) {
     const read = {
         kind: "arrIntrinsic", method: "getNumber",
@@ -11,10 +113,206 @@ function numericReadModule(overrides = {}) {
         type: F64, loc, ...overrides,
     };
     return {
-        irVersion: 11, sourceFile: loc.file, entry: "main",
+        irVersion: 13, sourceFile: loc.file, entry: "main",
         functions: [{ name: "main", params: [], locals: [], returnType: VOID, body: [{ kind: "exprStmt", expr: read, loc }], loc }],
     };
 }
+function expressionModule(expr, unions) {
+    return {
+        irVersion: 13, sourceFile: loc.file, entry: "main", unions,
+        functions: [{ name: "main", params: [], locals: [], returnType: VOID, body: [{ kind: "exprStmt", expr, loc }], loc }],
+    };
+}
+test("library callbacks retain child, specialized, and generic result diagnostics", () => {
+    const expr = {
+        kind: "libCall", fn: "cp.execFile", type: F64, loc,
+        args: [
+            { kind: "strLit", value: "tool", type: STRING, loc },
+            { kind: "arrayLit", elems: [], type: arrayOf(STRING), loc },
+            { kind: "boolLit", value: true, type: F64, loc },
+        ],
+    };
+    expect(validateModule(expressionModule(expr, [])).map((error) => error.message)).toEqual([
+        "in main: boolLit must be bool",
+        "in main: libCall cp.execFile callback must be a non-rest void function with at most three parameters",
+        "in main: libCall cp.execFile must be child, got f64",
+    ]);
+});
+test("nullish chains retain child-before-parent diagnostic order", () => {
+    const at = (start) => ({ ...loc, start });
+    const expr = {
+        kind: "nullish", type: F64, loc: at(4),
+        left: {
+            kind: "nullish", type: STRING, loc: at(2),
+            left: { kind: "numLit", value: 0, type: STRING, loc: at(0) },
+            right: { kind: "boolLit", value: true, type: F64, loc: at(1) },
+        },
+        right: { kind: "strLit", value: "wrong", type: F64, loc: at(3) },
+    };
+    expect(validateModule(expressionModule(expr, [])).map((error) => [error.loc.start, error.message])).toEqual([
+        [0, "in main: numLit must be f64"],
+        [1, "in main: boolLit must be bool"],
+        [1, "in main: nullish right operand: expected string, got f64"],
+        [2, "in main: nullish left must be a union, got string"],
+        [3, "in main: strLit must be string"],
+        [4, "in main: nullish left must be a union, got string"],
+    ]);
+});
+test("logical trees retain left/right/parent diagnostic order", () => {
+    const at = (start) => ({ ...loc, start });
+    const expr = {
+        kind: "logical", op: "&&", type: BOOL, loc: at(4),
+        left: {
+            kind: "logical", op: "||", type: STRING, loc: at(2),
+            left: { kind: "numLit", value: 0, type: STRING, loc: at(0) },
+            right: { kind: "boolLit", value: true, type: F64, loc: at(1) },
+        },
+        right: { kind: "strLit", value: "wrong", type: BOOL, loc: at(3) },
+    };
+    expect(validateModule(expressionModule(expr, [])).map((error) => [error.loc.start, error.message])).toEqual([
+        [0, "in main: numLit must be f64"],
+        [1, "in main: boolLit must be bool"],
+        [1, "in main: logical || right: expected string, got f64"],
+        [3, "in main: strLit must be string"],
+        [2, "in main: logical && left: expected bool, got string"],
+    ]);
+});
+test("conditional trees retain condition/then/else/parent diagnostic order", () => {
+    const at = (start) => ({ ...loc, start });
+    const expr = {
+        kind: "ternary", type: STRING, loc: at(3),
+        cond: { kind: "numLit", value: 0, type: BOOL, loc: at(0) },
+        then: { kind: "boolLit", value: true, type: F64, loc: at(1) },
+        else_: { kind: "strLit", value: "wrong", type: BOOL, loc: at(2) },
+    };
+    expect(validateModule(expressionModule(expr, [])).map((error) => [error.loc.start, error.message])).toEqual([
+        [0, "in main: numLit must be f64"],
+        [1, "in main: boolLit must be bool"],
+        [2, "in main: strLit must be string"],
+        [1, "in main: ternary then-branch: expected string, got f64"],
+        [2, "in main: ternary else-branch: expected string, got bool"],
+    ]);
+});
+test.each(["callValue", "dynCall"])("%s requires a checked-value receiver and preserves it in serialization", (kind) => {
+    const funcType = { kind: "func", params: [], ret: DYN };
+    const closure = { kind: "closure", fnName: "callback", captures: [], type: funcType, loc };
+    const receiver = { kind: "dynFrom", value: { kind: "unitLit", unit: "undefined", type: UNDEFINED_T, loc }, type: DYN, loc };
+    const call = kind === "callValue"
+        ? { kind, callee: closure, receiver, args: [], type: DYN, loc }
+        : { kind, callee: { kind: "dynFrom", value: closure, type: DYN, loc }, receiver, calleeName: "callback", args: [], type: DYN, loc };
+    const mod = expressionModule(call, []);
+    mod.functions.push({ name: "callback", params: [], locals: [], returnType: DYN, body: [{ kind: "return", value: receiver, loc }], loc });
+    expect(validateModule(mod)).toEqual([]);
+    expect(deserializeModule(serializeModule(mod))).toEqual(mod);
+    call.receiver = { kind: "numLit", value: 1, type: F64, loc };
+    expect(validateModule(mod).some((error) => error.message.includes(`${kind} receiver`))).toBe(true);
+    call.receiver = { kind: "varRef", localId: "missing", type: DYN, loc };
+    expect(validateModule(mod).some((error) => error.message.includes("missing"))).toBe(true);
+});
+function optionalUnionModule(arms = [BOOL, F64, UNDEFINED_T]) {
+    const type = { kind: "union", unionId: "receiver" };
+    const tag = arms.findIndex((arm) => arm.kind === "f64");
+    const receiver = tag >= 0
+        ? { kind: "unionWrap", unionId: "receiver", tag, value: { kind: "numLit", value: 7, type: F64, loc }, type, loc }
+        : {
+            kind: "unionWrap", unionId: "receiver", tag: arms.findIndex((arm) => arm.kind === "undefinedT"),
+            value: { kind: "unitLit", unit: "undefined", type: UNDEFINED_T, loc }, type, loc,
+        };
+    const chain = {
+        kind: "optChain", id: "test", receiver,
+        body: { kind: "chainRecv", id: "test", type, loc }, type, loc,
+    };
+    return expressionModule(chain, [{ id: "receiver", arms }]);
+}
+test("optional chains over several value arms bind the tagged receiver", () => {
+    const mod = optionalUnionModule();
+    expect(validateModule(mod)).toEqual([]);
+    expect(deserializeModule(serializeModule(mod))).toEqual(mod);
+});
+test("optional chains reject bindings that discard a surviving variant", () => {
+    const mod = optionalUnionModule();
+    const statement = mod.functions[0].body[0];
+    if (statement.kind !== "exprStmt" || statement.expr.kind !== "optChain")
+        throw new Error("fixture");
+    statement.expr.body = { kind: "chainRecv", id: "test", type: F64, loc };
+    expect(validateModule(mod).some((error) => error.message.includes("chainRecv: expected"))).toBe(true);
+});
+test.each([
+    [BOOL, F64],
+    [NULL_T, UNDEFINED_T],
+])("optional chains need both a present and an absent path %#", (...arms) => {
+    expect(validateModule(optionalUnionModule(arms)).some((error) => error.message.includes("must have unit arms and at least one non-unit arm"))).toBe(true);
+});
+test("a single present arm still binds its payload", () => {
+    const mod = optionalUnionModule([F64, UNDEFINED_T]);
+    expect(validateModule(mod).some((error) => error.message.includes("chainRecv: expected"))).toBe(true);
+    const statement = mod.functions[0].body[0];
+    if (statement.kind !== "exprStmt" || statement.expr.kind !== "optChain")
+        throw new Error("fixture");
+    statement.expr.body = {
+        kind: "unionWrap", unionId: "receiver", tag: 0,
+        value: { kind: "chainRecv", id: "test", type: F64, loc },
+        type: { kind: "union", unionId: "receiver" }, loc,
+    };
+    expect(validateModule(mod)).toEqual([]);
+});
+function keyedUnionModule(resultArms, overflowOnly = false) {
+    const stored = { kind: "union", unionId: "stored" };
+    const result = { kind: "union", unionId: "result" };
+    const record = { kind: "record", shapeId: "row" };
+    const obj = {
+        kind: "recordLit", type: record, loc,
+        fields: [{ name: "value", value: {
+                    kind: "unionWrap", unionId: "stored", tag: 0,
+                    value: { kind: "numLit", value: 9, type: F64, loc }, type: stored, loc,
+                } }],
+    };
+    const read = {
+        kind: "recordKeyGet", obj, shapeId: "row",
+        key: { kind: "strLit", value: overflowOnly ? "extra" : "value", type: STRING, loc },
+        type: result, loc, ...(overflowOnly ? { overflowOnly: true } : {}),
+    };
+    const mod = expressionModule(read, [
+        { id: "stored", arms: [F64, NULL_T] }, { id: "result", arms: resultArms },
+    ]);
+    mod.records = [{ id: "row", fields: [{ name: "value", type: stored }], indexValue: stored }];
+    return mod;
+}
+test.each([false, true])("keyed union reads validate a payload-preserving widening (overflow=%s)", (overflow) => {
+    const mod = keyedUnionModule([BOOL, F64, NULL_T, UNDEFINED_T], overflow);
+    expect(validateModule(mod)).toEqual([]);
+    expect(deserializeModule(serializeModule(mod))).toEqual(mod);
+});
+test.each([false, true])("keyed union reads refuse to discard a stored arm (overflow=%s)", (overflow) => {
+    const errors = validateModule(keyedUnionModule([F64, STRING, UNDEFINED_T], overflow));
+    expect(errors.some((error) => error.message.includes("cannot surface as the result type"))).toBe(true);
+});
+test("union array reads validate every element layout against the joined result", () => {
+    const stored = { kind: "union", unionId: "stored" };
+    const receiver = { kind: "union", unionId: "arrays" };
+    const result = { kind: "union", unionId: "result" };
+    const array = {
+        kind: "arrayLit", elems: [{
+                kind: "unionWrap", unionId: "stored", tag: 1,
+                value: { kind: "unitLit", unit: "null", type: NULL_T, loc }, type: stored, loc,
+            }],
+        type: arrayOf(stored), loc,
+    };
+    const read = {
+        kind: "unionKeyGet", unionId: "arrays",
+        value: { kind: "unionWrap", unionId: "arrays", tag: 0, value: array, type: receiver, loc },
+        key: { kind: "numLit", value: 0, type: F64, loc }, type: result, loc,
+    };
+    const mod = expressionModule(read, [
+        { id: "stored", arms: [F64, NULL_T] },
+        { id: "arrays", arms: [arrayOf(stored), arrayOf(STRING), UNDEFINED_T] },
+        { id: "result", arms: [F64, NULL_T, STRING, UNDEFINED_T] },
+    ]);
+    expect(validateModule(mod)).toEqual([]);
+    expect(deserializeModule(serializeModule(mod))).toEqual(mod);
+    mod.unions[2].arms = [F64, STRING, UNDEFINED_T];
+    expect(validateModule(mod).some((error) => error.message.includes("element union cannot surface"))).toBe(true);
+});
 test("numeric array-read intrinsic validates and round-trips", () => {
     const mod = numericReadModule();
     expect(validateModule(mod)).toEqual([]);
@@ -45,4 +343,180 @@ test.each([
 ])("numeric array-read intrinsic rejects malformed IR %#", (overrides, message) => {
     expect(validateModule(numericReadModule(overrides)).some((error) => error.message.includes(message))).toBe(true);
 });
+function tdzModule(mutable = true) {
+    const value = { kind: "numLit", value: 0, type: F64, loc };
+    return {
+        irVersion: 13, sourceFile: loc.file, entry: "main",
+        functions: [{
+                name: "main", params: [], returnType: VOID, loc,
+                locals: [{ id: "value", name: "value", type: F64, mutable, boxed: true, tdz: true }],
+                body: [
+                    { kind: "varDecl", localId: "value", init: null, loc },
+                    { kind: "assign", localId: "value", value, initializes: true, loc },
+                ],
+            }],
+    };
+}
+test.each([true, false])("TDZ declarations round-trip their initialization marker (mutable=%s)", (mutable) => {
+    const mod = tdzModule(mutable);
+    expect(validateModule(mod)).toEqual([]);
+    expect(deserializeModule(serializeModule(mod))).toEqual(mod);
+});
+test("an initialization marker cannot bypass an ordinary immutable binding", () => {
+    const mod = tdzModule(false);
+    delete mod.functions[0].locals[0].tdz;
+    const messages = validateModule(mod).map((error) => error.message);
+    expect(messages.some((message) => message.includes('initializing assign requires a TDZ binding "value"'))).toBe(true);
+    expect(messages.some((message) => message.includes('assign to immutable local "value"'))).toBe(true);
+});
+test("global assignments cannot masquerade as lexical initialization", () => {
+    const mod = tdzModule();
+    mod.globals = [{ id: "value", name: "value", type: F64, mutable: true }];
+    mod.functions[0].locals = [];
+    mod.functions[0].body.shift();
+    expect(validateModule(mod).some((error) => error.message.includes("initializing assign requires a TDZ binding"))).toBe(true);
+});
+test("TDZ globals require guarded pointer storage and round-trip initialization", () => {
+    const mod = tdzModule();
+    const type = { kind: "record", shapeId: "codec" };
+    mod.records = [{ id: "codec", fields: [{ name: "%TextEncoder", type: F64 }], declaredOrder: [] }];
+    mod.globals = [{ id: "%g.value", name: "value", type, mutable: false, tdz: true }];
+    mod.functions[0].locals = [];
+    mod.functions[0].body = [{
+            kind: "assign", localId: "%g.value", initializes: true, loc,
+            value: { kind: "recordLit", fields: [{ name: "%TextEncoder", value: { kind: "numLit", value: -1, type: F64, loc } }], type, loc },
+        }];
+    expect(validateModule(mod)).toEqual([]);
+    expect(deserializeModule(serializeModule(mod))).toEqual(mod);
+    mod.globals[0].type = F64;
+    expect(validateModule(mod).some((error) => error.message.includes('TDZ global "value" must have record, function, or checked-value storage'))).toBe(true);
+});
+test("legacy const TDZ declarations remain readable", () => {
+    const mod = tdzModule(false);
+    const store = mod.functions[0].body[1];
+    if (store.kind !== "assign")
+        throw new Error("fixture");
+    delete store.initializes;
+    expect(validateModule(mod)).toEqual([]);
+});
+test("TDZ initialization still checks the payload representation", () => {
+    const mod = tdzModule();
+    const store = mod.functions[0].body[1];
+    if (store.kind !== "assign")
+        throw new Error("fixture");
+    store.value = { kind: "strLit", value: "wrong", type: STRING, loc };
+    expect(validateModule(mod).some((error) => error.message.includes('assign "value"'))).toBe(true);
+});
+function overflowPresenceModule() {
+    const record = { kind: "record", shapeId: "dictionary" };
+    const check = {
+        kind: "recordOvfHas", shapeId: "dictionary",
+        obj: { kind: "recordLit", fields: [], type: record, loc },
+        key: { kind: "strLit", value: "key", type: STRING, loc }, type: BOOL, loc,
+    };
+    const mod = expressionModule(check, []);
+    mod.records = [{ id: "dictionary", fields: [], indexValue: F64 }];
+    return mod;
+}
+test("overflow presence checks validate and serialize", () => {
+    const mod = overflowPresenceModule();
+    expect(validateModule(mod)).toEqual([]);
+    expect(deserializeModule(serializeModule(mod))).toEqual(mod);
+});
+test("overflow presence requires a map-bearing shape", () => {
+    const mod = overflowPresenceModule();
+    delete mod.records[0].indexValue;
+    expect(validateModule(mod).some((error) => error.message.includes("requires an index-signature record"))).toBe(true);
+});
+test("overflow presence rejects an undeclared shape", () => {
+    const mod = overflowPresenceModule();
+    mod.records = [];
+    expect(validateModule(mod).some((error) => error.message.includes("recordOvfHas on undeclared shape"))).toBe(true);
+});
+test.each(["receiver", "key", "result"])("overflow presence checks its %s type", (slot) => {
+    const mod = overflowPresenceModule();
+    const statement = mod.functions[0].body[0];
+    if (statement.kind !== "exprStmt" || statement.expr.kind !== "recordOvfHas")
+        throw new Error("fixture");
+    const check = statement.expr;
+    const wrong = { kind: "numLit", value: 1, type: F64, loc };
+    if (slot === "receiver")
+        check.obj = wrong;
+    else if (slot === "key")
+        check.key = wrong;
+    else
+        check.type = F64;
+    const message = slot === "result" ? "recordOvfHas must be bool" : `recordOvfHas ${slot}`;
+    expect(validateModule(mod).some((error) => error.message.includes(message))).toBe(true);
+});
+test("TDZ locals require a shared box", () => {
+    const mod = tdzModule();
+    delete mod.functions[0].locals[0].boxed;
+    expect(validateModule(mod).some((error) => error.message.includes('TDZ local "value" must be boxed'))).toBe(true);
+});
+function discriminatedModule() {
+    return {
+        irVersion: 13, sourceFile: loc.file, entry: "main",
+        functions: [{ name: "main", params: [], locals: [], returnType: VOID, body: [], loc }],
+        records: [
+            { id: "empty", fields: [{ name: "kind", type: STRING }] },
+            { id: "value", fields: [{ name: "kind", type: STRING }, { name: "value", type: F64 }] },
+        ],
+        unions: [{
+                id: "variants", arms: [NULL_T, { kind: "record", shapeId: "empty" }, { kind: "record", shapeId: "value" }, UNDEFINED_T],
+                discriminant: { field: "kind", cases: [{ tag: 1, values: ["empty"] }, { tag: 2, values: ["number", "value"] }] },
+            }],
+    };
+}
+test("discriminator metadata validates and survives serialization", () => {
+    const mod = discriminatedModule();
+    expect(validateModule(mod)).toEqual([]);
+    expect(deserializeModule(serializeModule(mod))).toEqual(mod);
+});
+test.each([
+    ["missing arm", (m) => { m.unions[0].discriminant.cases.pop(); }, "missing discriminant"],
+    ["unit arm", (m) => { m.unions[0].discriminant.cases[0].tag = 0; }, "invalid discriminant tag"],
+    ["negative tag", (m) => { m.unions[0].discriminant.cases[0].tag = -1; }, "invalid discriminant tag"],
+    ["fractional tag", (m) => { m.unions[0].discriminant.cases[0].tag = 1.5; }, "invalid discriminant tag"],
+    ["missing field", (m) => { m.unions[0].discriminant.field = "absent"; }, "invalid discriminant tag"],
+    ["duplicate tag", (m) => { m.unions[0].discriminant.cases.push({ tag: 1, values: ["other"] }); }, "invalid discriminant tag"],
+    ["empty values", (m) => { m.unions[0].discriminant.cases[0].values = []; }, "empty discriminant values"],
+    ["wrong primitive", (m) => { m.unions[0].discriminant.cases[0].values = [false]; }, "invalid or repeated"],
+    ["shared literal", (m) => { m.unions[0].discriminant.cases[1].values = ["empty"]; }, "invalid or repeated"],
+    ["duplicate literal", (m) => { m.unions[0].discriminant.cases[0].values = ["empty", "empty"]; }, "invalid or repeated"],
+])("discriminator metadata rejects %s", (_name, mutate, message) => {
+    const mod = discriminatedModule();
+    mutate(mod);
+    expect(validateModule(mod).some((error) => error.message.includes(message))).toBe(true);
+});
+test("numeric discriminators reject non-finite values", () => {
+    const mod = discriminatedModule();
+    for (const record of mod.records)
+        record.fields[0].type = F64;
+    const guard = mod.unions[0].discriminant;
+    guard.cases[0].values = [0];
+    guard.cases[1].values = [1];
+    expect(validateModule(mod)).toEqual([]);
+    for (const invalid of [NaN, Infinity, -Infinity]) {
+        guard.cases[1].values = [invalid];
+        expect(validateModule(mod).some((error) => error.message.includes("invalid or repeated"))).toBe(true);
+    }
+});
+test("mixed literal discriminators resolve field unions declared later", () => {
+    const mod = discriminatedModule();
+    mod.records[1].fields[0].type = { kind: "union", unionId: "literal" };
+    mod.unions[0].discriminant.cases[1].values = ["value", 1];
+    mod.unions.push({ id: "literal", arms: [F64, STRING] });
+    expect(validateModule(mod)).toEqual([]);
+    mod.unions[0].discriminant.cases[1].values.push(false);
+    expect(validateModule(mod).some((error) => error.message.includes("invalid or repeated"))).toBe(true);
+});
+test("typed-array brand tests serialize their element kind and reject misplaced brands", () => {
+    const expr = { kind: "dynTest", test: "bytes", bytesElem: "u16", value: { kind: "dynObjLit", type: DYN, loc }, type: BOOL, loc };
+    const mod = expressionModule(expr, []);
+    expect(validateModule(mod)).toEqual([]);
+    expect(deserializeModule(serializeModule(mod))).toEqual(mod);
+    expr.test = "array";
+    expect(validateModule(mod).map((d) => d.message)).toContain("in main: dynTest bytesElem requires a valid bytes test");
+});
 //# sourceMappingURL=validate.test.js.map

package/dist/ir/validate.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"validate.test.js","sourceRoot":"","sources":["../../src/ir/validate.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAA8B,MAAM,SAAS,CAAC;AACvF,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACpE,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAE/C,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAE1D,SAAS,iBAAiB,CAAC,SAAS,GAA+C,EAAE;IACnF,MAAM,IAAI,GAAW;QACnB,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,WAAW;QACzC,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;QAClE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACpD,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,SAAS;KAC7B,CAAC;IACF,OAAO;QACL,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM;QAClD,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;KAC5H,CAAC;AACJ,CAAC;AAED,IAAI,CAAC,wDAAwD,EAAE,GAAG,EAAE;IAClE,MAAM,GAAG,GAAG,iBAAiB,EAAE,CAAC;IAChC,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,CAAC,iBAAiB,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;AAC/D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,mEAAmE,EAAE,GAAG,EAAE;IAC7E,MAAM,IAAI,GAAa;QACrB,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QAC5C,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;QACxD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;KAC7C,CAAC;IACF,MAAM,GAAG,GAAG,iBAAiB,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IACvE,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,CAAC,iBAAiB,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC7D,KAAK,MAAM,QAAQ,IAAI;QACrB,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE;QAC3B,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,EAAE;QAC3F,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE;KACzB,EAAE,CAAC;QACzD,MAAM,CAAC,cAAc,CAAC,iBAAiB,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAClH,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC;IACR,CAAC,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,uBAAuB,CAAC;IACpG,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,oBAAoB,CAAC;IACpC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,qBAAqB,CAAC;IACtF,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,aAAa,CAAC;CACiC,CAAC,CAAC,sDAAsD,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,EAAE;IACjJ,MAAM,CAAC,cAAc,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACnH,CAAC,CAAC,CAAC"}
+{"version":3,"file":"validate.test.js","sourceRoot":"","sources":["../../src/ir/validate.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAA4D,MAAM,SAAS,CAAC;AAC7J,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACpE,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAE/C,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAE1D,IAAI,CAAC,4EAA4E,EAAE,GAAG,EAAE;IACtF,MAAM,GAAG,GAAG,gBAAgB,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;IAC/E,GAAG,CAAC,UAAU,GAAG;QACf,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,eAAe,EAAE,EAAE,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE;QAC/O,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,SAAS,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE;KACjJ,CAAC;IACF,MAAM,CAAC,cAAc,CAAC,iBAAiB,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC5E,KAAK,MAAM,OAAO,IAAI,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,aAAa,CAAC,EAAE,CAAC;QAC/E,MAAM,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACjC,MAAM,YAAY,GAAG,GAAG,CAAC,UAAW,CAAC,CAAC,CAAE,CAAC;QACzC,MAAM,OAAO,GAAG,GAAG,CAAC,UAAW,CAAC,CAAC,CAAE,CAAC;QACpC,IAAI,OAAO,KAAK,QAAQ;YAAE,OAAO,CAAC,cAAc,GAAG,SAAS,CAAC;QAC7D,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,CAAC,OAAO,GAAG,WAAW,CAAC;QACzD,IAAI,OAAO,KAAK,QAAQ;YAAE,YAAY,CAAC,OAAO,GAAG,MAAM,CAAC;QACxD,IAAI,OAAO,KAAK,QAAQ;YAAE,OAAO,CAAC,MAAM,GAAG,CAAC,SAAS,CAAC,CAAC;QACvD,IAAI,OAAO,KAAK,aAAa;YAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAkC,CAAC,QAAQ,CAAC,EAAE,GAAG,OAAO,CAAC;QAC9G,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,wBAAwB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzG,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,SAAS,gBAAgB;IACvB,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;IAC5D,MAAM,GAAG,GAAG,gBAAgB,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;IACrJ,GAAG,CAAC,OAAO,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACzN,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,MAAM,GAAG,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACnG,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC;QACjB,IAAI,EAAE,oBAAoB,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QACnF,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAC3I,aAAa,EAAE,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QAC1E,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;KAChC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACb,CAAC;AAED,IAAI,CAAC,mEAAmE,EAAE,GAAG,EAAE;IAC7E,MAAM,GAAG,GAAG,gBAAgB,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;IAC/E,GAAG,CAAC,OAAO,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,GAAG,EAAE,CAAC,CAAC;IAC9F,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG;QACrF,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACpG,MAAM,CAAC,cAAc,CAAC,iBAAiB,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC5E,KAAK,MAAM,OAAO,IAAI,CAAC,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,CAAC,EAAE,CAAC;QAClE,MAAM,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACjC,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;QACjC,IAAI,OAAO,KAAK,SAAS;YAAE,GAAG,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC;QAC/C,IAAI,OAAO,KAAK,QAAQ;YAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QACrF,IAAI,OAAO,KAAK,QAAQ;YAAE,MAAM,CAAC,UAAU,GAAG,GAAG,CAAC;QAClD,IAAI,OAAO,KAAK,UAAU;YAAE,MAAM,CAAC,QAAQ,GAAG,EAAE,CAAC;QACjD,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,uBAAuB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1G,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kEAAkE,EAAE,GAAG,EAAE;IAC5E,MAAM,GAAG,GAAG,gBAAgB,EAAE,CAAC;IAC/B,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,CAAC,iBAAiB,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;AAC/D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC,gDAAgD,EAAE,CAAC,OAAO,EAAE,EAAE;IAC7J,MAAM,GAAG,GAAG,gBAAgB,EAAE,CAAC;IAC/B,MAAM,IAAI,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;IAC/B,IAAI,OAAO,KAAK,SAAS;QAAE,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,MAAM,GAAG,EAAE,CAAC;IACzD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC;IACrE,IAAI,OAAO,KAAK,MAAM;QAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,GAAG,MAAM,CAAC;IACtD,IAAI,OAAO,KAAK,MAAM;QAAE,IAAI,CAAC,aAAc,CAAC,CAAC,CAAE,CAAC,IAAI,GAAG,CAAC,CAAC;IACzD,IAAI,OAAO,KAAK,UAAU;QAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,GAAG,GAAG,CAAC;IACvD,IAAI,OAAO,KAAK,SAAS;QAAE,IAAI,CAAC,QAAQ,GAAG,EAAE,CAAC;IAC9C,IAAI,OAAO,KAAK,QAAQ;QAAE,GAAG,CAAC,OAAQ,CAAC,CAAC,CAAE,CAAC,OAAO,GAAG,IAAI,CAAC;IAC1D,IAAI,OAAO,KAAK,YAAY;QAAE,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,GAAG,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;IAC3L,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;AACxD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAY,CAAC,CAAC,CAAC,uDAAuD,EAAE,CAAC,IAAI,EAAE,EAAE;IAC1J,MAAM,GAAG,GAAG,gBAAgB,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE;QACzE,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE;KACtD,CAAC,CAAC;IACH,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,CAAC,iBAAiB,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;AAC/D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAY,CAAC,CAAC,CAAC,kDAAkD,EAAE,CAAC,IAAI,EAAE,EAAE;IACrJ,MAAM,GAAG,GAAG,gBAAgB,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE;QACzE,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE;KACnD,CAAC,CAAC;IACH,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,gBAAgB,IAAI,CAAC,IAAI,6BAA6B,CAAC,CAAC;AAC9H,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,uEAAuE,EAAE,GAAG,EAAE;IACjF,MAAM,GAAG,GAAG,gBAAgB,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE;QACzE,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,WAAW,CAAC,EAAE;KAC/E,CAAC,CAAC;IACH,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;AAChH,CAAC,CAAC,CAAC;AAEH,SAAS,iBAAiB,CAAC,SAAS,GAA+C,EAAE;IACnF,MAAM,IAAI,GAAW;QACnB,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,WAAW;QACzC,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;QAClE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACpD,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,SAAS;KAC7B,CAAC;IACF,OAAO;QACL,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM;QAClD,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;KAC5H,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAY,EAAE,MAAoB;IAC1D,OAAO;QACL,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM;QAC1D,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;KACtH,CAAC;AACJ,CAAC;AAED,IAAI,CAAC,6EAA6E,EAAE,GAAG,EAAE;IACvF,MAAM,IAAI,GAAW;QACnB,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG;QAClD,IAAI,EAAE;YACJ,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;YACpD,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE;YAC3D,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;SACjD;KACF,CAAC;IACF,MAAM,CAAC,cAAc,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;QACvF,+BAA+B;QAC/B,sGAAsG;QACtG,qDAAqD;KACtD,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,4DAA4D,EAAE,GAAG,EAAE;IACtE,MAAM,EAAE,GAAG,CAAC,KAAa,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;IAClD,MAAM,IAAI,GAAW;QACnB,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;QACtC,IAAI,EAAE;YACJ,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;YACzC,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE;YAC5D,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE;SAC/D;QACD,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE;KACjE,CAAC;IACF,MAAM,CAAC,cAAc,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;QAC1G,CAAC,CAAC,EAAE,6BAA6B,CAAC;QAClC,CAAC,CAAC,EAAE,+BAA+B,CAAC;QACpC,CAAC,CAAC,EAAE,0DAA0D,CAAC;QAC/D,CAAC,CAAC,EAAE,mDAAmD,CAAC;QACxD,CAAC,CAAC,EAAE,gCAAgC,CAAC;QACrC,CAAC,CAAC,EAAE,mDAAmD,CAAC;KACzD,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,yDAAyD,EAAE,GAAG,EAAE;IACnE,MAAM,EAAE,GAAG,CAAC,KAAa,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;IAClD,MAAM,IAAI,GAAW;QACnB,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;QACjD,IAAI,EAAE;YACJ,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;YACnD,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE;YAC5D,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE;SAC/D;QACD,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE;KAClE,CAAC;IACF,MAAM,CAAC,cAAc,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;QAC1G,CAAC,CAAC,EAAE,6BAA6B,CAAC;QAClC,CAAC,CAAC,EAAE,+BAA+B,CAAC;QACpC,CAAC,CAAC,EAAE,qDAAqD,CAAC;QAC1D,CAAC,CAAC,EAAE,gCAAgC,CAAC;QACrC,CAAC,CAAC,EAAE,qDAAqD,CAAC;KAC3D,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sEAAsE,EAAE,GAAG,EAAE;IAChF,MAAM,EAAE,GAAG,CAAC,KAAa,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;IAClD,MAAM,IAAI,GAAW;QACnB,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;QACzC,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE;QAC1D,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE;QAC7D,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE;KAClE,CAAC;IACF,MAAM,CAAC,cAAc,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;QAC1G,CAAC,CAAC,EAAE,6BAA6B,CAAC;QAClC,CAAC,CAAC,EAAE,+BAA+B,CAAC;QACpC,CAAC,CAAC,EAAE,gCAAgC,CAAC;QACrC,CAAC,CAAC,EAAE,wDAAwD,CAAC;QAC7D,CAAC,CAAC,EAAE,yDAAyD,CAAC;KAC/D,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,SAAS,CAAU,CAAC,CAAC,wEAAwE,EAAE,CAAC,IAAI,EAAE,EAAE;IAC9H,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAChE,MAAM,OAAO,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;IACnG,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACpI,MAAM,IAAI,GAAW,IAAI,KAAK,WAAW;QACvC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QAC/D,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACtI,MAAM,GAAG,GAAG,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACvC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACzI,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,CAAC,iBAAiB,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC7D,IAAI,CAAC,QAAQ,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAC7D,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnG,IAAI,CAAC,QAAQ,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACvE,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5F,CAAC,CAAC,CAAC;AAEH,SAAS,mBAAmB,CAAC,IAAI,GAAa,CAAC,IAAI,EAAE,GAAG,EAAE,WAAW,CAAC;IACpE,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;IAC5D,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;IACxD,MAAM,QAAQ,GAAW,GAAG,IAAI,CAAC;QAC/B,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE;QACjH,CAAC,CAAC;YACA,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC;YAC/F,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,GAAG;SACjF,CAAC;IACJ,MAAM,KAAK,GAAW;QACpB,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,QAAQ;QACtC,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,GAAG;KAC9D,CAAC;IACF,OAAO,gBAAgB,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AAC7D,CAAC;AAED,IAAI,CAAC,kEAAkE,EAAE,GAAG,EAAE;IAC5E,MAAM,GAAG,GAAG,mBAAmB,EAAE,CAAC;IAClC,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,CAAC,iBAAiB,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;AAC/D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kEAAkE,EAAE,GAAG,EAAE;IAC5E,MAAM,GAAG,GAAG,mBAAmB,EAAE,CAAC;IAClC,MAAM,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;IAC7C,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC;IACpG,SAAS,CAAC,IAAI,CAAC,IAAI,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACxE,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACxG,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC;IACR,CAAC,IAAI,EAAE,GAAG,CAAC;IACX,CAAC,MAAM,EAAE,WAAW,CAAC;CACtB,CAAC,CAAC,2DAA2D,EAAE,CAAC,GAAG,IAAI,EAAE,EAAE;IAC1E,MAAM,CAAC,cAAc,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAC9D,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,mDAAmD,CAAC,CAC5E,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,8CAA8C,EAAE,GAAG,EAAE;IACxD,MAAM,GAAG,GAAG,mBAAmB,CAAC,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC,CAAC;IACpD,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtG,MAAM,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;IAC7C,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC;IACpG,SAAS,CAAC,IAAI,CAAC,IAAI,GAAG;QACpB,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;QAC9C,KAAK,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QACxD,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,GAAG;KAClD,CAAC;IACF,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAC1C,CAAC,CAAC,CAAC;AAEH,SAAS,gBAAgB,CAAC,UAAoB,EAAE,YAAY,GAAG,KAAK;IAClE,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;IAC5D,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;IAC5D,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAC1D,MAAM,GAAG,GAAW;QAClB,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG;QACpC,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE;oBAC/B,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;oBAC5C,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG;iBACvE,EAAE,CAAC;KACL,CAAC;IACF,MAAM,IAAI,GAAW;QACnB,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK;QACzC,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;QACnF,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC5E,CAAC;IACF,MAAM,GAAG,GAAG,gBAAgB,CAAC,IAAI,EAAE;QACjC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE;KAC1E,CAAC,CAAC;IACH,GAAG,CAAC,OAAO,GAAG,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;IAC7F,OAAO,GAAG,CAAC;AACb,CAAC;AAED,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,wEAAwE,EAAE,CAAC,QAAQ,EAAE,EAAE;IAC9G,MAAM,GAAG,GAAG,gBAAgB,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,QAAQ,CAAC,CAAC;IACzE,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,CAAC,iBAAiB,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;AAC/D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,gEAAgE,EAAE,CAAC,QAAQ,EAAE,EAAE;IACtG,MAAM,MAAM,GAAG,cAAc,CAAC,gBAAgB,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;IACtF,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,mCAAmC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACzG,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2EAA2E,EAAE,GAAG,EAAE;IACrF,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;IAC5D,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;IAC9D,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;IAC5D,MAAM,KAAK,GAAW;QACpB,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;gBACxB,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;gBAC5C,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG;aAC/E,CAAC;QACF,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG;KAC3B,CAAC;IACF,MAAM,IAAI,GAAW;QACnB,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,QAAQ;QACtC,KAAK,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE;QAC1F,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG;KACrE,CAAC;IACF,MAAM,GAAG,GAAG,gBAAgB,CAAC,IAAI,EAAE;QACjC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE;QACrC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC,EAAE;QACvE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE;KAC3D,CAAC,CAAC;IACH,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,CAAC,iBAAiB,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC7D,GAAG,CAAC,MAAO,CAAC,CAAC,CAAE,CAAC,IAAI,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;IAClD,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,8BAA8B,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACjH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,wDAAwD,EAAE,GAAG,EAAE;IAClE,MAAM,GAAG,GAAG,iBAAiB,EAAE,CAAC;IAChC,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,CAAC,iBAAiB,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;AAC/D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,mEAAmE,EAAE,GAAG,EAAE;IAC7E,MAAM,IAAI,GAAa;QACrB,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QAC5C,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;QACxD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;KAC7C,CAAC;IACF,MAAM,GAAG,GAAG,iBAAiB,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IACvE,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,CAAC,iBAAiB,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC7D,KAAK,MAAM,QAAQ,IAAI;QACrB,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE;QAC3B,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,EAAE;QAC3F,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE;KACzB,EAAE,CAAC;QACzD,MAAM,CAAC,cAAc,CAAC,iBAAiB,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAClH,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC;IACR,CAAC,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,uBAAuB,CAAC;IACpG,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,oBAAoB,CAAC;IACpC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,qBAAqB,CAAC;IACtF,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,aAAa,CAAC;CACiC,CAAC,CAAC,sDAAsD,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,EAAE;IACjJ,MAAM,CAAC,cAAc,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACnH,CAAC,CAAC,CAAC;AAEH,SAAS,SAAS,CAAC,OAAO,GAAG,IAAI;IAC/B,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACnE,OAAO;QACL,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM;QAClD,SAAS,EAAE,CAAC;gBACV,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG;gBAC/C,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;gBACpF,IAAI,EAAE;oBACJ,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBACtD,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,EAAE;iBACpE;aACF,CAAC;KACH,CAAC;AACJ,CAAC;AAED,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,sEAAsE,EAAE,CAAC,OAAO,EAAE,EAAE;IAC3G,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IAC/B,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,CAAC,iBAAiB,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;AAC/D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sEAAsE,EAAE,GAAG,EAAE;IAChF,MAAM,GAAG,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IAC7B,OAAO,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC;IACxC,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACnE,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,oDAAoD,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtH,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,mCAAmC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACvG,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gEAAgE,EAAE,GAAG,EAAE;IAC1E,MAAM,GAAG,GAAG,SAAS,EAAE,CAAC;IACxB,GAAG,CAAC,OAAO,GAAG,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IACzE,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,MAAM,GAAG,EAAE,CAAC;IAC9B,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;IAC/B,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,4CAA4C,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC/H,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2EAA2E,EAAE,GAAG,EAAE;IACrF,MAAM,GAAG,GAAG,SAAS,EAAE,CAAC;IACxB,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAW,CAAC;IAC3D,GAAG,CAAC,OAAO,GAAG,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC,CAAC;IAClG,GAAG,CAAC,OAAO,GAAG,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;IACnF,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,MAAM,GAAG,EAAE,CAAC;IAC9B,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,GAAG,CAAC;YACxB,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG;YAC3D,KAAK,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE;SAClI,CAAC,CAAC;IACH,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,CAAC,iBAAiB,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC7D,GAAG,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,IAAI,GAAG,GAAG,CAAC;IAC3B,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,yEAAyE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5J,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,+CAA+C,EAAE,GAAG,EAAE;IACzD,MAAM,GAAG,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IAC7B,MAAM,KAAK,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;IACzC,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC;IACxD,OAAO,KAAK,CAAC,WAAW,CAAC;IACzB,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAC1C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,4DAA4D,EAAE,GAAG,EAAE;IACtE,MAAM,GAAG,GAAG,SAAS,EAAE,CAAC;IACxB,MAAM,KAAK,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;IACzC,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC;IACxD,KAAK,CAAC,KAAK,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IACpE,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACnG,CAAC,CAAC,CAAC;AAEH,SAAS,sBAAsB;IAC7B,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC;IACjE,MAAM,KAAK,GAAW;QACpB,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,YAAY;QAC3C,GAAG,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;QACzD,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG;KAC1E,CAAC;IACF,MAAM,GAAG,GAAG,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACxC,GAAG,CAAC,OAAO,GAAG,CAAC,EAAE,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC;IAClE,OAAO,GAAG,CAAC;AACb,CAAC;AAED,IAAI,CAAC,iDAAiD,EAAE,GAAG,EAAE;IAC3D,MAAM,GAAG,GAAG,sBAAsB,EAAE,CAAC;IACrC,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,CAAC,iBAAiB,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;AAC/D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gDAAgD,EAAE,GAAG,EAAE;IAC1D,MAAM,GAAG,GAAG,sBAAsB,EAAE,CAAC;IACrC,OAAO,GAAG,CAAC,OAAQ,CAAC,CAAC,CAAE,CAAC,UAAU,CAAC;IACnC,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,oCAAoC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACvH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,+CAA+C,EAAE,GAAG,EAAE;IACzD,MAAM,GAAG,GAAG,sBAAsB,EAAE,CAAC;IACrC,GAAG,CAAC,OAAO,GAAG,EAAE,CAAC;IACjB,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,kCAAkC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACrH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,QAAQ,CAAU,CAAC,CAAC,sCAAsC,EAAE,CAAC,IAAI,EAAE,EAAE;IACjG,MAAM,GAAG,GAAG,sBAAsB,EAAE,CAAC;IACrC,MAAM,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;IAC7C,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc;QAAE,MAAM,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC;IACxG,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC;IAC7B,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACnE,IAAI,IAAI,KAAK,UAAU;QAAE,KAAK,CAAC,GAAG,GAAG,KAAK,CAAC;SACtC,IAAI,IAAI,KAAK,KAAK;QAAE,KAAK,CAAC,GAAG,GAAG,KAAK,CAAC;;QACtC,KAAK,CAAC,IAAI,GAAG,GAAG,CAAC;IACtB,MAAM,OAAO,GAAG,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,CAAC,gBAAgB,IAAI,EAAE,CAAC;IACzF,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1F,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iCAAiC,EAAE,GAAG,EAAE;IAC3C,MAAM,GAAG,GAAG,SAAS,EAAE,CAAC;IACxB,OAAO,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC;IAC1C,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,iCAAiC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACpH,CAAC,CAAC,CAAC;AAEH,SAAS,mBAAmB;IAC1B,OAAO;QACL,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM;QAClD,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC;QACtF,OAAO,EAAE;YACP,EAAE,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE;YACzD,EAAE,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE;SACxF;QACD,MAAM,EAAE,CAAC;gBACP,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,WAAW,CAAC;gBACvH,YAAY,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC,EAAE;aACjH,CAAC;KACH,CAAC;AACJ,CAAC;AAED,IAAI,CAAC,6DAA6D,EAAE,GAAG,EAAE;IACvE,MAAM,GAAG,GAAG,mBAAmB,EAAE,CAAC;IAClC,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,CAAC,iBAAiB,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;AAC/D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC;IACR,CAAC,aAAa,EAAE,CAAC,CAAW,EAAE,EAAE,GAAG,CAAC,CAAC,MAAO,CAAC,CAAC,CAAE,CAAC,YAAa,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,sBAAsB,CAAC;IACtG,CAAC,UAAU,EAAE,CAAC,CAAW,EAAE,EAAE,GAAG,CAAC,CAAC,MAAO,CAAC,CAAC,CAAE,CAAC,YAAa,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,0BAA0B,CAAC;IAC7G,CAAC,cAAc,EAAE,CAAC,CAAW,EAAE,EAAE,GAAG,CAAC,CAAC,MAAO,CAAC,CAAC,CAAE,CAAC,YAAa,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,0BAA0B,CAAC;IAClH,CAAC,gBAAgB,EAAE,CAAC,CAAW,EAAE,EAAE,GAAG,CAAC,CAAC,MAAO,CAAC,CAAC,CAAE,CAAC,YAAa,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,0BAA0B,CAAC;IACrH,CAAC,eAAe,EAAE,CAAC,CAAW,EAAE,EAAE,GAAG,CAAC,CAAC,MAAO,CAAC,CAAC,CAAE,CAAC,YAAa,CAAC,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,0BAA0B,CAAC;IACjH,CAAC,eAAe,EAAE,CAAC,CAAW,EAAE,EAAE,GAAG,CAAC,CAAC,MAAO,CAAC,CAAC,CAAE,CAAC,YAAa,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,0BAA0B,CAAC;IAC1I,CAAC,cAAc,EAAE,CAAC,CAAW,EAAE,EAAE,GAAG,CAAC,CAAC,MAAO,CAAC,CAAC,CAAE,CAAC,YAAa,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,2BAA2B,CAAC;IACtH,CAAC,iBAAiB,EAAE,CAAC,CAAW,EAAE,EAAE,GAAG,CAAC,CAAC,MAAO,CAAC,CAAC,CAAE,CAAC,YAAa,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,qBAAqB,CAAC;IACxH,CAAC,gBAAgB,EAAE,CAAC,CAAW,EAAE,EAAE,GAAG,CAAC,CAAC,MAAO,CAAC,CAAC,CAAE,CAAC,YAAa,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,MAAM,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,qBAAqB,CAAC;IACzH,CAAC,mBAAmB,EAAE,CAAC,CAAW,EAAE,EAAE,GAAG,CAAC,CAAC,MAAO,CAAC,CAAC,CAAE,CAAC,YAAa,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,MAAM,GAAG,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,qBAAqB,CAAC;CAC7H,CAAC,CAAC,mCAAmC,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE;IAC1E,MAAM,GAAG,GAAG,mBAAmB,EAAE,CAAC;IAClC,MAAM,CAAC,GAAG,CAAC,CAAC;IACZ,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1F,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iDAAiD,EAAE,GAAG,EAAE;IAC3D,MAAM,GAAG,GAAG,mBAAmB,EAAE,CAAC;IAClC,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAQ;QAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,GAAG,GAAG,CAAC;IAChE,MAAM,KAAK,GAAG,GAAG,CAAC,MAAO,CAAC,CAAC,CAAE,CAAC,YAAa,CAAC;IAC5C,KAAK,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IAC7B,KAAK,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IAC7B,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,KAAK,MAAM,OAAO,IAAI,CAAC,GAAG,EAAE,QAAQ,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjD,KAAK,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,MAAM,GAAG,CAAC,OAAO,CAAC,CAAC;QACnC,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxG,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kEAAkE,EAAE,GAAG,EAAE;IAC5E,MAAM,GAAG,GAAG,mBAAmB,EAAE,CAAC;IAClC,GAAG,CAAC,OAAQ,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;IACzE,GAAG,CAAC,MAAO,CAAC,CAAC,CAAE,CAAC,YAAa,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,MAAM,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IAC9D,GAAG,CAAC,MAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;IACzD,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,GAAG,CAAC,MAAO,CAAC,CAAC,CAAE,CAAC,YAAa,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3D,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACxG,CAAC,CAAC,CAAC;AAGH,IAAI,CAAC,kFAAkF,EAAE,GAAG,EAAE;IAC5F,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACzI,MAAM,GAAG,GAAG,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACvC,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,CAAC,iBAAiB,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC7D,IAAI,CAAC,IAAI,GAAG,OAAO,CAAC;IACpB,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,wDAAwD,CAAC,CAAC;AACxH,CAAC,CAAC,CAAC"}

package/dist/library/cache-primitives.d.ts

@@ -1,13 +1,12 @@
 import type { FrontendInputExclusions } from "../frontend/input-tracker.js";
-export type CacheBackend = "c" | "llvm";
+export type CacheBackend = "llvm";
 interface CacheOutputOptions {
     entryPath: string;
     outDir: string;
     emitIr: boolean;
 }
 export interface CacheOutputPaths {
-    cPath: string;
-    alternateCPath: string;
+    llvmPath: string;
     irPath: string;
 }
 export declare function digest(bytes: Uint8Array): string;

package/dist/library/cache-primitives.js

@@ -28,16 +28,14 @@ export function stampIntegrity(namespace, stamp) {
 export function outputPaths(options, backend, stemSuffix = "") {
     const stem = basename(options.entryPath).replace(/\.(ts|mts|cts|js|mjs|cjs)$/, "") + stemSuffix;
     return {
-        cPath: join(options.outDir, `${stem}.${backend === "llvm" ? "ll" : "c"}`),
-        alternateCPath: join(options.outDir, `${stem}.${backend === "llvm" ? "c" : "ll"}`),
+        llvmPath: join(options.outDir, `${stem}.ll`),
         irPath: join(options.outDir, `${stem}.ir.json`),
     };
 }
 export function frontendOutputExclusions(options, backend, stemSuffix, additionalPaths) {
     const paths = outputPaths(options, backend, stemSuffix);
     const outputArtifacts = [
-        paths.cPath,
-        paths.alternateCPath,
+        paths.llvmPath,
         paths.irPath,
         ...additionalPaths,
     ].map((path) => resolve(path));
@@ -49,7 +47,7 @@ export function frontendOutputExclusions(options, backend, stemSuffix, additiona
                 break;
         }
     }
-    return { outputPaths: outputArtifacts, outputDirectories };
+    return { outputPaths: outputArtifacts, outputDirectories: [...outputDirectories] };
 }
 export async function readCachedFile(path, expected) {
     try {
@@ -76,7 +74,7 @@ export function validNativeFeatures(value, booleanKeys, validAdditional = () =>
     if (value === null || typeof value !== "object")
         return false;
     const native = value;
-    return (native.backend === "c" || native.backend === "llvm") &&
+    return native.backend === "llvm" &&
         booleanKeys.every((key) => typeof native[key] === "boolean") &&
         validAdditional(native);
 }