@scriptc/compiler 0.2.2 → 0.2.3

package/dist/backend/llvm/string-lifetimes.test.js

@@ -0,0 +1,230 @@
+import { expect, test } from "vitest";
+import { BOOL, F64, STRING, VOID, funcOf } from "../../ir/ir.js";
+import { validateModule } from "../../ir/validate.js";
+import { analyzeCallLifetimes } from "./call-lifetimes.js";
+import { emitLlvmModule } from "./emitter.js";
+import { borrowsStringInputs } from "./string-lifetimes.js";
+const loc = { file: "strings.ts", start: 0, end: 1 };
+const ref = (id, type = STRING) => ({ kind: "varRef", localId: id, type, loc });
+const str = (value) => ({ kind: "strLit", value, type: STRING, loc });
+const num = (value) => ({ kind: "numLit", value, type: F64, loc });
+const ret = (value) => ({ kind: "return", value, loc });
+const equal = (left, right) => ({ kind: "strEq", left, right, negated: false, type: BOOL, loc });
+const concat = (left, right) => ({ kind: "strConcat", left, right, type: STRING, loc });
+const intrinsic = (receiver, method, args, type) => ({ kind: "strIntrinsic", receiver, method, args, type, loc });
+const call = (callee, args, type) => ({ kind: "call", callee, args, type, loc });
+function fn(name, names, value) {
+    return { name, loc, params: names.map((id) => ({ localId: id, name: id, type: STRING })),
+        locals: names.map((id) => ({ id, name: id, type: STRING, mutable: true })),
+        returnType: value.type, body: [ret(value)] };
+}
+function mod(...functions) {
+    return { irVersion: 13, sourceFile: loc.file, entry: "main", functions: [
+            { name: "main", loc, params: [], locals: [], returnType: VOID, body: [] }, ...functions,
+        ] };
+}
+function body(module, name, bits = 64) {
+    expect(validateModule(module)).toEqual([]);
+    const match = new RegExp(`^define internal [^\\n]*@${name}\\([^]*?^}`, "m").exec(emitLlvmModule(module, { pointerBits: bits }));
+    expect(match, name).not.toBeNull();
+    return match[0];
+}
+function facts(...functions) {
+    return analyzeCallLifetimes(new Map(functions.map((f) => [f.name, f])));
+}
+test("string comparisons borrow parameters while owned entry adapters release them", () => {
+    const compare = fn("compare", ["left", "right"], equal(ref("left"), ref("right")));
+    expect(facts(compare).parameters.get("compare")).toEqual(new Set([0, 1]));
+    for (const bits of [32, 64]) {
+        const borrowed = body(mod(compare), "sc_bf_compare", bits);
+        expect(borrowed).toContain("@scr_str_eq");
+        expect(borrowed).not.toContain("@scr_str_retain");
+        expect(borrowed).not.toContain("@scr_str_release");
+        const owned = body(mod(compare), "sc_f_compare", bits);
+        expect(owned).toContain("@sc_bf_compare");
+        expect(owned.match(/call void @scr_str_release/g)).toHaveLength(2);
+    }
+});
+test("returning the input retains the owned calling convention", () => {
+    const identity = fn("identity", ["text"], ref("text"));
+    expect(facts(identity).parameters.size).toBe(0);
+    const ir = body(mod(identity), "sc_f_identity");
+    expect(ir).toContain("@scr_str_retain_v");
+    expect(ir).toContain("@scr_str_release");
+});
+test("literal arguments remain immortal while the called body borrows them", () => {
+    const inspect = fn("inspect", ["value"], intrinsic(ref("value"), "length", [], F64));
+    const caller = fn("caller", [], call("inspect", [str("literal")], F64));
+    const ir = body(mod(caller, inspect), "sc_f_caller");
+    expect(ir).toContain("@sc_bf_inspect");
+    expect(ir).not.toContain("@scr_str_retain_v");
+    expect(ir).not.toContain("@scr_str_release");
+});
+test("reference-producing string operations retain their result owner", () => {
+    for (const value of [intrinsic(ref("text"), "trim", [], STRING), intrinsic(ref("text"), "toWellFormed", [], STRING)]) {
+        const f = fn("transform", ["text"], value);
+        expect(facts(f).parameters.get("transform")).toEqual(new Set([0]));
+        const ir = body(mod(f), "sc_bf_transform");
+        expect(ir).not.toContain("@scr_str_retain_v");
+        expect(ir).toMatch(/ret ptr %/);
+        expect(ir).not.toContain("@scr_str_release");
+    }
+});
+test("concatenation protects a borrowed left binding from unique-reference append", () => {
+    const f = fn("append", ["left", "right"], concat(ref("left"), ref("right")));
+    const ir = body(mod(f), "sc_bf_append");
+    const operation = ir.indexOf("@scr_str_concat");
+    expect(ir.slice(0, operation).match(/@scr_str_retain_v/g)).toHaveLength(1);
+    expect(ir.slice(operation)).toContain("@scr_str_release");
+});
+test("string operands preserve their left-to-right snapshot when a later assignment replaces the binding", () => {
+    const assigned = { kind: "assignExpr", localId: "text", value: str("replacement"), type: STRING, loc };
+    const f = fn("replace", ["text"], equal(ref("text"), assigned));
+    const ir = body(mod(f), "sc_f_replace");
+    expect(ir.indexOf("@scr_str_retain_v")).toBeLessThan(ir.indexOf("@scr_str_release"));
+    expect(ir).toContain("@scr_str_eq");
+    expect(facts(f).parameters.has("replace")).toBe(false);
+});
+test("an effectful later operand keeps mutable string arguments owned", () => {
+    const source = fn("source", [], str("next"));
+    const compare = fn("compare", ["text"], equal(ref("text"), call("source", [], STRING)));
+    // A later write anywhere in this function rules out parameter borrowing.
+    compare.body.unshift({ kind: "assign", localId: "text", value: str("first"), loc });
+    const ir = body(mod(source, compare), "sc_f_compare");
+    const sourceCall = ir.indexOf("@sc_f_source");
+    expect(sourceCall).toBeGreaterThan(0);
+    expect(ir.slice(0, sourceCall)).toContain("@scr_str_retain_v");
+});
+test("immutable lexical owners survive arbitrary later operands", () => {
+    const source = fn("source", [], str("other"));
+    const f = fn("compare", [], equal(ref("text"), call("source", [], STRING)));
+    f.locals.push({ id: "text", name: "text", type: STRING, mutable: false });
+    f.body.unshift({ kind: "varDecl", localId: "text", init: str("first"), loc });
+    const ir = body(mod(source, f), "sc_f_compare");
+    const sourceCall = ir.indexOf("@sc_f_source");
+    // Only the initializer takes a reference; the comparison borrows it.
+    expect(ir.slice(0, sourceCall).match(/@scr_str_retain_v/g)).toHaveLength(1);
+    expect(ir).toContain("@scr_str_release");
+});
+test("reference fields borrow only at their immediate consuming operation", () => {
+    const record = { kind: "record", shapeId: "text" };
+    const projection = { kind: "recordGet", obj: ref("holder", record), shapeId: "text", field: "value", type: STRING, loc };
+    const source = fn("source", [], str("other"));
+    const f = fn("compare", [], equal(projection, call("source", [], STRING)));
+    f.params = [{ localId: "holder", name: "holder", type: record }];
+    f.locals = [{ id: "holder", name: "holder", type: record, mutable: true }];
+    const module = mod(source, f);
+    module.records = [{ id: "text", fields: [{ name: "value", type: STRING }] }];
+    const ir = body(module, "sc_bf_compare");
+    expect(ir.slice(0, ir.indexOf("@sc_f_source"))).toContain("@scr_str_retain_v");
+    f.body = [ret(equal(str("constant"), projection))];
+    expect(body(module, "sc_bf_compare")).not.toContain("@scr_str_retain_v");
+});
+test("throwing string operations leave owned adapters responsible for parameters", () => {
+    const f = fn("normalize", ["text", "form"], intrinsic(ref("text"), "normalize", [ref("form")], STRING));
+    const module = mod(f);
+    const borrowed = body(module, "sc_bf_normalize");
+    expect(borrowed).toContain("@scr_str_normalize");
+    expect(borrowed).toContain("@scr_exc_pending");
+    expect(borrowed).not.toContain("@scr_str_retain_v");
+    const owned = body(module, "sc_f_normalize");
+    expect(owned.match(/@scr_str_release/g)).toHaveLength(2);
+});
+test("a temporary receiver stays owned across a throwing argument", () => {
+    const source = fn("source", [], str("temporary"));
+    const failure = fn("failure", [], num(1));
+    failure.body = [{ kind: "throw", value: str("failure"), loc }];
+    const f = fn("inspect", [], intrinsic(call("source", [], STRING), "charAt", [call("failure", [], F64)], STRING));
+    const ir = body(mod(source, failure, f), "sc_f_inspect");
+    const argument = ir.indexOf("@sc_f_failure");
+    expect(argument).toBeGreaterThan(ir.indexOf("@sc_f_source"));
+    expect(ir.slice(argument)).toContain("@scr_exc_pending");
+    expect(ir.slice(argument)).toContain("@scr_str_release");
+});
+test("indirect calls keep the ordinary ABI even for a borrowing body", () => {
+    const inspect = fn("inspect", ["text"], intrinsic(ref("text"), "length", [], F64));
+    const value = { kind: "closure", fnName: "inspect", captures: [], type: funcOf([STRING], F64), loc };
+    const caller = fn("caller", [], { kind: "callValue", callee: value, args: [str("text")], type: F64, loc });
+    const llvm = emitLlvmModule(mod(inspect, caller));
+    expect(llvm).toContain("@sc_f_inspect");
+    expect(body(mod(inspect, caller), "sc_f_inspect")).toContain("@scr_str_release");
+    expect(body(mod(inspect, caller), "sc_f_caller")).toContain("@scr_str_retain_v");
+});
+test("string method admission is explicit and unknown methods stay conservative", () => {
+    expect(borrowsStringInputs("futureMethod")).toBe(false);
+});
+const methodCases = [
+    { method: "length", args: [], result: F64, target: "utf16_len" },
+    { method: "charCodeAt", args: [num(1)], result: F64, target: "char_code_at" },
+    { method: "charAt", args: [num(1)], result: STRING, target: "char_at" },
+    { method: "indexOf", args: [ref("argument"), num(1)], result: F64, target: "index_of" },
+    { method: "includes", args: [ref("argument")], result: BOOL, target: "includes" },
+    { method: "startsWith", args: [ref("argument"), num(1)], result: BOOL, target: "starts_with_from" },
+    { method: "endsWith", args: [ref("argument"), num(4)], result: BOOL, target: "ends_with_from" },
+    { method: "slice", args: [num(1), num(3)], result: STRING, target: "slice" },
+    { method: "substring", args: [num(1), num(3)], result: STRING, target: "substring" },
+    { method: "repeat", args: [num(2)], result: STRING, target: "repeat" },
+    { method: "trim", args: [], result: STRING, target: "trim" },
+    { method: "trimStart", args: [], result: STRING, target: "trim_start" },
+    { method: "trimEnd", args: [], result: STRING, target: "trim_end" },
+    { method: "split", args: [ref("argument"), num(2)], result: { kind: "array", elem: STRING }, target: "split_limit" },
+    { method: "padStart", args: [num(5), ref("argument")], result: STRING, target: "pad_start" },
+    { method: "padEnd", args: [num(5), ref("argument")], result: STRING, target: "pad_end" },
+    { method: "toLowerCase", args: [], result: STRING, target: "to_lower" },
+    { method: "toUpperCase", args: [], result: STRING, target: "to_upper" },
+    { method: "normalize", args: [ref("argument")], result: STRING, target: "normalize" },
+    { method: "isWellFormed", args: [], result: BOOL, target: "is_well_formed" },
+    { method: "toWellFormed", args: [], result: STRING, target: "to_well_formed" },
+    { method: "cpAt", args: [num(1)], result: STRING, target: "cp_at" },
+];
+test.each(methodCases)("$method passes borrowed string inputs through its runtime ABI", ({ method, args, result, target }) => {
+    const f = fn("method", ["receiver", "argument"], intrinsic(ref("receiver"), method, args, result));
+    for (const bits of [32, 64]) {
+        const ir = body(mod(f), "sc_bf_method", bits);
+        expect(ir).toContain(`@scr_str_${target}(`);
+        expect(ir).not.toContain("@scr_str_retain_v");
+        if (method !== "normalize")
+            expect(ir).not.toContain("@scr_str_release");
+        expect(ir).toContain(result.kind === "f64" ? "ret double" : result.kind === "bool" ? "ret i1" : "ret ptr");
+    }
+});
+test("string search snapshots both receiver and needle before an effectful numeric argument", () => {
+    const position = fn("position", [], num(0));
+    const search = fn("search", ["text", "needle"], intrinsic(ref("text"), "indexOf", [ref("needle"), call("position", [], F64)], F64));
+    search.body.unshift({ kind: "assign", localId: "text", value: str("abc"), loc }, { kind: "assign", localId: "needle", value: str("b"), loc });
+    const ir = body(mod(position, search), "sc_f_search");
+    const start = ir.indexOf("@sc_f_position");
+    const searchCall = ir.indexOf("@scr_str_index_of");
+    expect(start).toBeGreaterThan(0);
+    expect(searchCall).toBeGreaterThan(start);
+    // Initializers own their literals and both reads take independent snapshots.
+    expect(ir.slice(0, start).match(/@scr_str_retain_v/g)).toHaveLength(4);
+    expect(ir.slice(searchCall)).toContain("@scr_str_release");
+});
+test("global string ownership cannot be inferred from an immutable-looking reference", () => {
+    const replacement = fn("replacement", [], str("later"));
+    const inspect = fn("inspect", [], equal(ref("%g.global"), call("replacement", [], STRING)));
+    const module = mod(replacement, inspect);
+    module.globals = [{ id: "%g.global", name: "global", type: STRING, mutable: true }];
+    const ir = body(module, "sc_f_inspect");
+    expect(ir.slice(0, ir.indexOf("@sc_f_replacement"))).toContain("@scr_str_retain_v");
+    inspect.returnType = F64;
+    inspect.body = [ret(intrinsic(ref("%g.global"), "length", [], F64))];
+    expect(body(module, "sc_f_inspect")).not.toContain("@scr_str_retain_v");
+});
+test("boxed string parameters retain their checked binding reads", () => {
+    const inspect = fn("inspect", ["value"], intrinsic(ref("value"), "length", [], F64));
+    inspect.locals[0].boxed = true;
+    const ir = body(mod(inspect), "sc_f_inspect");
+    expect(ir).toContain("@scr_box_");
+    expect(ir).toContain("@scr_str_release");
+    expect(ir).toContain("@scr_str_utf16_len");
+});
+test("borrowed literals keep UTF-16 string comparison without temporary owners", () => {
+    const compare = fn("compare", [], { kind: "strCmp", op: "<", left: str("a"), right: str("b"), utf16: true, type: BOOL, loc });
+    const ir = body(mod(compare), "sc_f_compare");
+    expect(ir).toContain("@scr_str_cmp_u16");
+    expect(ir).not.toContain("@scr_str_retain_v");
+    expect(ir).not.toContain("@scr_str_release");
+});
+//# sourceMappingURL=string-lifetimes.test.js.map

package/dist/backend/llvm/string-lifetimes.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"string-lifetimes.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/string-lifetimes.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,MAAM,EAAoG,MAAM,gBAAgB,CAAC;AACnK,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAE5D,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACrD,MAAM,GAAG,GAAG,CAAC,EAAU,EAAE,IAAI,GAAW,MAAM,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AACxG,MAAM,GAAG,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;AACtF,MAAM,GAAG,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACnF,MAAM,GAAG,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;AACxE,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AACzH,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;AAChH,MAAM,SAAS,GAAG,CAAC,QAAgB,EAAE,MAA4B,EAAE,IAAc,EAAE,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAC1K,MAAM,IAAI,GAAG,CAAC,MAAc,EAAE,IAAc,EAAE,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAEnH,SAAS,EAAE,CAAC,IAAY,EAAE,KAAe,EAAE,KAAa;IACtD,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;QACtF,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QAC1E,UAAU,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;AACjD,CAAC;AACD,SAAS,GAAG,CAAC,GAAG,SAAuB;IACrC,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE;YACtE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,GAAG,SAAS;SACxF,EAAE,CAAC;AACN,CAAC;AACD,SAAS,IAAI,CAAC,MAAgB,EAAE,IAAY,EAAE,IAAI,GAAY,EAAE;IAC9D,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,4BAA4B,IAAI,YAAY,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAChI,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IACnC,OAAO,KAAM,CAAC,CAAC,CAAC,CAAC;AACnB,CAAC;AACD,SAAS,KAAK,CAAC,GAAG,SAAuB;IACvC,OAAO,oBAAoB,CAAC,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1E,CAAC;AAED,IAAI,CAAC,8EAA8E,EAAE,GAAG,EAAE;IACxF,MAAM,OAAO,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACnF,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1E,KAAK,MAAM,IAAI,IAAI,CAAC,EAAE,EAAE,EAAE,CAAU,EAAE,CAAC;QACrC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,eAAe,EAAE,IAAI,CAAC,CAAC;QAC3D,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QAC1C,MAAM,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;QAClD,MAAM,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;QACnD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,cAAc,EAAE,IAAI,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;QAC1C,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACrE,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,0DAA0D,EAAE,GAAG,EAAE;IACpE,MAAM,QAAQ,GAAG,EAAE,CAAC,UAAU,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IACvD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChD,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,eAAe,CAAC,CAAC;IAChD,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IAC1C,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;AAC3C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sEAAsE,EAAE,GAAG,EAAE;IAChF,MAAM,OAAO,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC,OAAO,CAAC,EAAE,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;IACrF,MAAM,MAAM,GAAG,EAAE,CAAC,QAAQ,EAAE,EAAE,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IACxE,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,aAAa,CAAC,CAAC;IACrD,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;IACvC,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IAC9C,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;AAC/C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iEAAiE,EAAE,GAAG,EAAE;IAC3E,KAAK,MAAM,KAAK,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,cAAc,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;QACrH,MAAM,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC;QAC3C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnE,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAC;QAC3C,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;QAC9C,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QAChC,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;IAC/C,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,6EAA6E,EAAE,GAAG,EAAE;IACvF,MAAM,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAC7E,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC;IACxC,MAAM,SAAS,GAAG,EAAE,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAChD,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC3E,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;AAC5D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,oGAAoG,EAAE,GAAG,EAAE;IAC9G,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC/G,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;IAChE,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC;IACxC,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC;IACrF,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IACpC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACzD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iEAAiE,EAAE,GAAG,EAAE;IAC3E,MAAM,MAAM,GAAG,EAAE,CAAC,QAAQ,EAAE,EAAE,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IAC7C,MAAM,OAAO,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,QAAQ,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACxF,yEAAyE;IACzE,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACpF,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,cAAc,CAAC,CAAC;IACtD,MAAM,UAAU,GAAG,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;IAC9C,MAAM,CAAC,UAAU,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACtC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;AACjE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2DAA2D,EAAE,GAAG,EAAE;IACrE,MAAM,MAAM,GAAG,EAAE,CAAC,QAAQ,EAAE,EAAE,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9C,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,EAAE,EAAE,EAAE,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,QAAQ,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IAC5E,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;IAC1E,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IAC9E,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC;IAChD,MAAM,UAAU,GAAG,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;IAC9C,qEAAqE;IACrE,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC5E,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;AAC3C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,qEAAqE,EAAE,GAAG,EAAE;IAC/E,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;IAC3D,MAAM,UAAU,GAAW,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IACjI,MAAM,MAAM,GAAG,EAAE,CAAC,QAAQ,EAAE,EAAE,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9C,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,EAAE,EAAE,EAAE,KAAK,CAAC,UAAU,EAAE,IAAI,CAAC,QAAQ,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IAC3E,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IACjE,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3E,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAC9B,MAAM,CAAC,OAAO,GAAG,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;IAC7E,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACzC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IAC/E,CAAC,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;IACnD,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;AAC3E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,4EAA4E,EAAE,GAAG,EAAE;IACtF,MAAM,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;IACxG,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;IACtB,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IACjD,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;IACjD,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;IAC/C,MAAM,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAC7C,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;AAC3D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,6DAA6D,EAAE,GAAG,EAAE;IACvE,MAAM,MAAM,GAAG,EAAE,CAAC,QAAQ,EAAE,EAAE,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC;IAClD,MAAM,OAAO,GAAG,EAAE,CAAC,SAAS,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1C,OAAO,CAAC,IAAI,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,SAAS,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IAC/D,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,EAAE,EAAE,EAAE,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;IACjH,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC;IACzD,MAAM,QAAQ,GAAG,EAAE,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;IAC7C,MAAM,CAAC,QAAQ,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC;IAC7D,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;IACzD,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;AAC3D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gEAAgE,EAAE,GAAG,EAAE;IAC1E,MAAM,OAAO,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;IACnF,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC;IAC7G,MAAM,MAAM,GAAG,EAAE,CAAC,QAAQ,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IAC3G,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;IAClD,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;IACxC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;IACjF,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;AACnF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2EAA2E,EAAE,GAAG,EAAE;IACrF,MAAM,CAAC,mBAAmB,CAAC,cAAsC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAClF,CAAC,CAAC,CAAC;AAEH,MAAM,WAAW,GAAuF;IACtG,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,WAAW,EAAE;IAChE,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,cAAc,EAAE;IAC7E,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE;IACvE,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,UAAU,EAAE;IACvF,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE;IACjF,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,kBAAkB,EAAE;IACnG,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,gBAAgB,EAAE;IAC/F,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE;IAC5E,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE;IACpF,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE;IACtE,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE;IAC5D,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE;IACvE,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE;IACnE,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE;IACpH,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE;IAC5F,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE;IACxF,EAAE,MAAM,EAAE,aAAa,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE;IACvE,EAAE,MAAM,EAAE,aAAa,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE;IACvE,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE;IACrF,EAAE,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,gBAAgB,EAAE;IAC5E,EAAE,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,gBAAgB,EAAE;IAC9E,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE;CACpE,CAAC;AAEF,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,+DAA+D,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE;IAC3H,MAAM,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IACnG,KAAK,MAAM,IAAI,IAAI,CAAC,EAAE,EAAE,EAAE,CAAU,EAAE,CAAC;QACrC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,IAAI,CAAC,CAAC;QAC9C,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,YAAY,MAAM,GAAG,CAAC,CAAC;QAC5C,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;QAC9C,IAAI,MAAM,KAAK,WAAW;YAAE,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;QACzE,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAC7G,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,uFAAuF,EAAE,GAAG,EAAE;IACjG,MAAM,QAAQ,GAAG,EAAE,CAAC,UAAU,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,UAAU,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IACpI,MAAM,CAAC,IAAI,CAAC,OAAO,CACjB,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,EAC3D,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAC5D,CAAC;IACF,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,aAAa,CAAC,CAAC;IACtD,MAAM,KAAK,GAAG,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAC3C,MAAM,UAAU,GAAG,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;IACnD,MAAM,CAAC,KAAK,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACjC,MAAM,CAAC,UAAU,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;IAC1C,6EAA6E;IAC7E,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACvE,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;AAC7D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gFAAgF,EAAE,GAAG,EAAE;IAC1F,MAAM,WAAW,GAAG,EAAE,CAAC,aAAa,EAAE,EAAE,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,EAAE,CAAC,SAAS,EAAE,EAAE,EAAE,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,IAAI,CAAC,aAAa,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IAC5F,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IACzC,MAAM,CAAC,OAAO,GAAG,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IACpF,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IACxC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IACpF,OAAO,CAAC,UAAU,GAAG,GAAG,CAAC;IACzB,OAAO,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IACrE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;AAC1E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,4DAA4D,EAAE,GAAG,EAAE;IACtE,MAAM,OAAO,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC,OAAO,CAAC,EAAE,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;IACrF,OAAO,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,KAAK,GAAG,IAAI,CAAC;IAChC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,cAAc,CAAC,CAAC;IAC9C,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IAClC,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;IACzC,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,0EAA0E,EAAE,GAAG,EAAE;IACpF,MAAM,OAAO,GAAG,EAAE,CAAC,SAAS,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IAC9H,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,cAAc,CAAC,CAAC;IAC9C,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;IACzC,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IAC9C,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;AAC/C,CAAC,CAAC,CAAC"}

package/dist/backend/mangle.d.ts

@@ -1,4 +1,6 @@
 export declare function mangleFunction(name: string): string;
+/** Synchronous body whose proven parameters borrow from the caller. */
+export declare function mangleBorrowedFunction(name: string): string;
 export declare function mangleLocal(localId: string): string;
 /** Raw incoming value of a boxed parameter (the box itself takes the
  * sc_l_ name so every access goes through it). */

package/dist/backend/mangle.js

@@ -25,6 +25,10 @@ function sanitize(name, property = false) {
 export function mangleFunction(name) {
     return `sc_f_${sanitize(name)}`;
 }
+/** Synchronous body whose proven parameters borrow from the caller. */
+export function mangleBorrowedFunction(name) {
+    return `sc_bf_${sanitize(name)}`;
+}
 export function mangleLocal(localId) {
     return `sc_l_${sanitize(localId)}`;
 }

package/dist/backend/mangle.js.map

@@ -1 +1 @@
-{"version":3,"file":"mangle.js","sourceRoot":"","sources":["../../src/backend/mangle.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAE5C;;;;;;;;;;;GAWG;AAEH,SAAS,QAAQ,CAAC,IAAY,EAAE,QAAQ,GAAG,KAAK;IAC9C,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,IAAI,IAAI,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG;YACtC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,IAAI,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,IAAI,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,IAAI,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC;gBACrH,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC;IACvC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,OAAO,QAAQ,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;AAClC,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,OAAe;IACzC,OAAO,QAAQ,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;AACrC,CAAC;AAED;kDACkD;AAClD,MAAM,UAAU,cAAc,CAAC,OAAe;IAC5C,OAAO,QAAQ,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;AACrC,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,aAAa,CAAC,MAAc;IAC1C,OAAO,QAAQ,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACpC,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,eAAe,CAAC,MAAc;IAC5C,OAAO,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACrC,CAAC;AAED,oDAAoD;AACpD,MAAM,UAAU,iBAAiB,CAAC,SAAiB;IACjD,OAAO,QAAQ,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AACvC,CAAC;AACD,wEAAwE;AACxE,MAAM,UAAU,cAAc,CAAC,SAAiB;IAC9C,OAAO,SAAS,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AACxC,CAAC;AACD,kEAAkE;AAClE,MAAM,UAAU,eAAe,CAAC,SAAiB;IAC/C,OAAO,SAAS,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AACxC,CAAC;AACD,MAAM,UAAU,cAAc,CAAC,SAAiB;IAC9C,OAAO,UAAU,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AACzC,CAAC;AACD,MAAM,UAAU,iBAAiB,CAAC,SAAiB;IACjD,OAAO,aAAa,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AAC5C,CAAC;AACD,MAAM,UAAU,kBAAkB,CAAC,SAAiB;IAClD,OAAO,cAAc,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AAC7C,CAAC;AACD,MAAM,UAAU,WAAW,CAAC,SAAiB;IAC3C,wEAAwE;IACxE,wEAAwE;IACxE,OAAO,UAAU,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC;AAC/C,CAAC;AACD;;;gEAGgE;AAChE,MAAM,UAAU,wBAAwB,CAAC,SAAiB;IACxD,OAAO,WAAW,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AAC1C,CAAC;AACD;yDACyD;AACzD,MAAM,UAAU,cAAc,CAAC,aAAqB;IAClD,OAAO,UAAU,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;AAC7C,CAAC;AACD;2EAC2E;AAC3E,MAAM,UAAU,gBAAgB,CAAC,SAAiB;IAChD,OAAO,aAAa,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AAC5C,CAAC;AACD;;;;;uDAKuD;AACvD,MAAM,UAAU,YAAY,CAAC,MAAc,EAAE,UAAU,GAAG,CAAC;IACzD,OAAO,UAAU,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,UAAU,IAAI,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACnG,CAAC;AACD;;iCAEiC;AACjC,MAAM,UAAU,eAAe,CAAC,SAAiB,EAAE,MAAc;IAC/D,OAAO,SAAS,QAAQ,CAAC,GAAG,SAAS,IAAI,MAAM,EAAE,CAAC,EAAE,CAAC;AACvD,CAAC;AACD;;mEAEmE;AACnE,MAAM,UAAU,gBAAgB,CAAC,SAAiB;IAChD,OAAO,YAAY,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AAC3C,CAAC;AACD,MAAM,UAAU,iBAAiB,CAAC,SAAiB;IACjD,OAAO,aAAa,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AAC5C,CAAC;AAED;;;4EAG4E;AAC5E,MAAM,UAAU,kBAAkB,CAAC,OAAe;IAChD,OAAO,SAAS,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;AACtC,CAAC;AACD,MAAM,UAAU,eAAe,CAAC,OAAe;IAC7C,OAAO,WAAW,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;AACxC,CAAC;AACD,MAAM,UAAU,iBAAiB,CAAC,OAAe;IAC/C,OAAO,aAAa,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;AAC1C,CAAC;AACD,MAAM,UAAU,kBAAkB,CAAC,OAAe;IAChD,OAAO,cAAc,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;AAC3C,CAAC;AACD,MAAM,UAAU,mBAAmB,CAAC,OAAe;IACjD,OAAO,eAAe,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;AAC5C,CAAC;AACD;uEACuE;AACvE,MAAM,UAAU,iBAAiB,CAAC,OAAe;IAC/C,OAAO,aAAa,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;AAC1C,CAAC;AACD,MAAM,UAAU,kBAAkB,CAAC,OAAe;IAChD,OAAO,cAAc,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;AAC3C,CAAC;AAED;gFACgF;AAChF,MAAM,UAAU,YAAY,CAAC,QAAgB;IAC3C,OAAO,QAAQ,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;AAC3D,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,gBAAgB,CAAC,MAAc;IAC7C,OAAO,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACrC,CAAC;AACD,MAAM,UAAU,gBAAgB,CAAC,MAAc;IAC7C,OAAO,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACrC,CAAC;AACD,MAAM,UAAU,aAAa,CAAC,MAAc;IAC1C,OAAO,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACrC,CAAC;AACD;;;yBAGyB;AACzB,MAAM,UAAU,cAAc,CAAC,MAAc;IAC3C,OAAO,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACrC,CAAC;AACD,MAAM,UAAU,aAAa,CAAC,MAAc;IAC1C,OAAO,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACrC,CAAC;AACD,mEAAmE;AACnE,MAAM,UAAU,kBAAkB,CAAC,CAAS;IAC1C,OAAO,WAAW,CAAC,EAAE,CAAC;AACxB,CAAC;AACD;sCACsC;AACtC,MAAM,UAAU,iBAAiB,CAAC,CAAS;IACzC,OAAO,WAAW,CAAC,EAAE,CAAC;AACxB,CAAC;AACD;0CAC0C;AAC1C,MAAM,UAAU,eAAe,CAAC,CAAS;IACvC,OAAO,WAAW,CAAC,EAAE,CAAC;AACxB,CAAC;AACD;oCACoC;AACpC,MAAM,UAAU,oBAAoB,CAAC,CAAS;IAC5C,OAAO,aAAa,CAAC,EAAE,CAAC;AAC1B,CAAC;AACD;iEACiE;AACjE,MAAM,UAAU,mBAAmB,CAAC,CAAS;IAC3C,OAAO,YAAY,CAAC,EAAE,CAAC;AACzB,CAAC;AACD;;eAEe;AACf,MAAM,UAAU,oBAAoB,CAAC,CAAS;IAC5C,OAAO,aAAa,CAAC,EAAE,CAAC;AAC1B,CAAC;AACD;qEACqE;AACrE,MAAM,UAAU,oBAAoB,CAAC,CAAS;IAC5C,OAAO,aAAa,CAAC,EAAE,CAAC;AAC1B,CAAC;AACD;2CAC2C;AAC3C,MAAM,UAAU,uBAAuB,CAAC,CAAS;IAC/C,OAAO,aAAa,CAAC,EAAE,CAAC;AAC1B,CAAC;AACD;;8BAE8B;AAC9B,MAAM,UAAU,oBAAoB,CAAC,CAAS;IAC5C,OAAO,YAAY,CAAC,EAAE,CAAC;AACzB,CAAC;AACD;gDACgD;AAChD,MAAM,UAAU,mBAAmB,CAAC,CAAS;IAC3C,OAAO,YAAY,CAAC,EAAE,CAAC;AACzB,CAAC;AACD;;oCAEoC;AACpC,MAAM,UAAU,oBAAoB,CAAC,CAAS;IAC5C,OAAO,aAAa,CAAC,EAAE,CAAC;AAC1B,CAAC;AACD;;;oBAGoB;AACpB,MAAM,UAAU,0BAA0B,CAAC,CAAS;IAClD,OAAO,YAAY,CAAC,EAAE,CAAC;AACzB,CAAC;AACD;;oBAEoB;AACpB,MAAM,UAAU,sBAAsB,CAAC,CAAS;IAC9C,OAAO,aAAa,CAAC,EAAE,CAAC;AAC1B,CAAC;AACD,MAAM,UAAU,qBAAqB,CAAC,CAAS;IAC7C,OAAO,iBAAiB,CAAC,EAAE,CAAC;AAC9B,CAAC;AAED;;0CAE0C;AAC1C,MAAM,UAAU,wBAAwB,CAAC,CAAS;IAChD,OAAO,YAAY,CAAC,EAAE,CAAC;AACzB,CAAC;AAED;;kDAEkD;AAClD,MAAM,UAAU,mBAAmB,CAAC,CAAS;IAC3C,OAAO,aAAa,CAAC,EAAE,CAAC;AAC1B,CAAC;AAED;;iCAEiC;AACjC,MAAM,UAAU,kBAAkB,CAAC,CAAS;IAC1C,OAAO,YAAY,CAAC,EAAE,CAAC;AACzB,CAAC"}
+{"version":3,"file":"mangle.js","sourceRoot":"","sources":["../../src/backend/mangle.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAE5C;;;;;;;;;;;GAWG;AAEH,SAAS,QAAQ,CAAC,IAAY,EAAE,QAAQ,GAAG,KAAK;IAC9C,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,IAAI,IAAI,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG;YACtC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,IAAI,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,IAAI,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,IAAI,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC;gBACrH,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC;IACvC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,OAAO,QAAQ,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;AAClC,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,sBAAsB,CAAC,IAAY;IACjD,OAAO,SAAS,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;AACnC,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,OAAe;IACzC,OAAO,QAAQ,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;AACrC,CAAC;AAED;kDACkD;AAClD,MAAM,UAAU,cAAc,CAAC,OAAe;IAC5C,OAAO,QAAQ,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;AACrC,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,aAAa,CAAC,MAAc;IAC1C,OAAO,QAAQ,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACpC,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,eAAe,CAAC,MAAc;IAC5C,OAAO,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACrC,CAAC;AAED,oDAAoD;AACpD,MAAM,UAAU,iBAAiB,CAAC,SAAiB;IACjD,OAAO,QAAQ,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AACvC,CAAC;AACD,wEAAwE;AACxE,MAAM,UAAU,cAAc,CAAC,SAAiB;IAC9C,OAAO,SAAS,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AACxC,CAAC;AACD,kEAAkE;AAClE,MAAM,UAAU,eAAe,CAAC,SAAiB;IAC/C,OAAO,SAAS,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AACxC,CAAC;AACD,MAAM,UAAU,cAAc,CAAC,SAAiB;IAC9C,OAAO,UAAU,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AACzC,CAAC;AACD,MAAM,UAAU,iBAAiB,CAAC,SAAiB;IACjD,OAAO,aAAa,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AAC5C,CAAC;AACD,MAAM,UAAU,kBAAkB,CAAC,SAAiB;IAClD,OAAO,cAAc,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AAC7C,CAAC;AACD,MAAM,UAAU,WAAW,CAAC,SAAiB;IAC3C,wEAAwE;IACxE,wEAAwE;IACxE,OAAO,UAAU,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC;AAC/C,CAAC;AACD;;;gEAGgE;AAChE,MAAM,UAAU,wBAAwB,CAAC,SAAiB;IACxD,OAAO,WAAW,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AAC1C,CAAC;AACD;yDACyD;AACzD,MAAM,UAAU,cAAc,CAAC,aAAqB;IAClD,OAAO,UAAU,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;AAC7C,CAAC;AACD;2EAC2E;AAC3E,MAAM,UAAU,gBAAgB,CAAC,SAAiB;IAChD,OAAO,aAAa,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AAC5C,CAAC;AACD;;;;;uDAKuD;AACvD,MAAM,UAAU,YAAY,CAAC,MAAc,EAAE,UAAU,GAAG,CAAC;IACzD,OAAO,UAAU,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,UAAU,IAAI,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACnG,CAAC;AACD;;iCAEiC;AACjC,MAAM,UAAU,eAAe,CAAC,SAAiB,EAAE,MAAc;IAC/D,OAAO,SAAS,QAAQ,CAAC,GAAG,SAAS,IAAI,MAAM,EAAE,CAAC,EAAE,CAAC;AACvD,CAAC;AACD;;mEAEmE;AACnE,MAAM,UAAU,gBAAgB,CAAC,SAAiB;IAChD,OAAO,YAAY,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AAC3C,CAAC;AACD,MAAM,UAAU,iBAAiB,CAAC,SAAiB;IACjD,OAAO,aAAa,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;AAC5C,CAAC;AAED;;;4EAG4E;AAC5E,MAAM,UAAU,kBAAkB,CAAC,OAAe;IAChD,OAAO,SAAS,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;AACtC,CAAC;AACD,MAAM,UAAU,eAAe,CAAC,OAAe;IAC7C,OAAO,WAAW,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;AACxC,CAAC;AACD,MAAM,UAAU,iBAAiB,CAAC,OAAe;IAC/C,OAAO,aAAa,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;AAC1C,CAAC;AACD,MAAM,UAAU,kBAAkB,CAAC,OAAe;IAChD,OAAO,cAAc,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;AAC3C,CAAC;AACD,MAAM,UAAU,mBAAmB,CAAC,OAAe;IACjD,OAAO,eAAe,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;AAC5C,CAAC;AACD;uEACuE;AACvE,MAAM,UAAU,iBAAiB,CAAC,OAAe;IAC/C,OAAO,aAAa,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;AAC1C,CAAC;AACD,MAAM,UAAU,kBAAkB,CAAC,OAAe;IAChD,OAAO,cAAc,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;AAC3C,CAAC;AAED;gFACgF;AAChF,MAAM,UAAU,YAAY,CAAC,QAAgB;IAC3C,OAAO,QAAQ,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;AAC3D,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,gBAAgB,CAAC,MAAc;IAC7C,OAAO,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACrC,CAAC;AACD,MAAM,UAAU,gBAAgB,CAAC,MAAc;IAC7C,OAAO,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACrC,CAAC;AACD,MAAM,UAAU,aAAa,CAAC,MAAc;IAC1C,OAAO,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACrC,CAAC;AACD;;;yBAGyB;AACzB,MAAM,UAAU,cAAc,CAAC,MAAc;IAC3C,OAAO,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACrC,CAAC;AACD,MAAM,UAAU,aAAa,CAAC,MAAc;IAC1C,OAAO,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACrC,CAAC;AACD,mEAAmE;AACnE,MAAM,UAAU,kBAAkB,CAAC,CAAS;IAC1C,OAAO,WAAW,CAAC,EAAE,CAAC;AACxB,CAAC;AACD;sCACsC;AACtC,MAAM,UAAU,iBAAiB,CAAC,CAAS;IACzC,OAAO,WAAW,CAAC,EAAE,CAAC;AACxB,CAAC;AACD;0CAC0C;AAC1C,MAAM,UAAU,eAAe,CAAC,CAAS;IACvC,OAAO,WAAW,CAAC,EAAE,CAAC;AACxB,CAAC;AACD;oCACoC;AACpC,MAAM,UAAU,oBAAoB,CAAC,CAAS;IAC5C,OAAO,aAAa,CAAC,EAAE,CAAC;AAC1B,CAAC;AACD;iEACiE;AACjE,MAAM,UAAU,mBAAmB,CAAC,CAAS;IAC3C,OAAO,YAAY,CAAC,EAAE,CAAC;AACzB,CAAC;AACD;;eAEe;AACf,MAAM,UAAU,oBAAoB,CAAC,CAAS;IAC5C,OAAO,aAAa,CAAC,EAAE,CAAC;AAC1B,CAAC;AACD;qEACqE;AACrE,MAAM,UAAU,oBAAoB,CAAC,CAAS;IAC5C,OAAO,aAAa,CAAC,EAAE,CAAC;AAC1B,CAAC;AACD;2CAC2C;AAC3C,MAAM,UAAU,uBAAuB,CAAC,CAAS;IAC/C,OAAO,aAAa,CAAC,EAAE,CAAC;AAC1B,CAAC;AACD;;8BAE8B;AAC9B,MAAM,UAAU,oBAAoB,CAAC,CAAS;IAC5C,OAAO,YAAY,CAAC,EAAE,CAAC;AACzB,CAAC;AACD;gDACgD;AAChD,MAAM,UAAU,mBAAmB,CAAC,CAAS;IAC3C,OAAO,YAAY,CAAC,EAAE,CAAC;AACzB,CAAC;AACD;;oCAEoC;AACpC,MAAM,UAAU,oBAAoB,CAAC,CAAS;IAC5C,OAAO,aAAa,CAAC,EAAE,CAAC;AAC1B,CAAC;AACD;;;oBAGoB;AACpB,MAAM,UAAU,0BAA0B,CAAC,CAAS;IAClD,OAAO,YAAY,CAAC,EAAE,CAAC;AACzB,CAAC;AACD;;oBAEoB;AACpB,MAAM,UAAU,sBAAsB,CAAC,CAAS;IAC9C,OAAO,aAAa,CAAC,EAAE,CAAC;AAC1B,CAAC;AACD,MAAM,UAAU,qBAAqB,CAAC,CAAS;IAC7C,OAAO,iBAAiB,CAAC,EAAE,CAAC;AAC9B,CAAC;AAED;;0CAE0C;AAC1C,MAAM,UAAU,wBAAwB,CAAC,CAAS;IAChD,OAAO,YAAY,CAAC,EAAE,CAAC;AACzB,CAAC;AAED;;kDAEkD;AAClD,MAAM,UAAU,mBAAmB,CAAC,CAAS;IAC3C,OAAO,aAAa,CAAC,EAAE,CAAC;AAC1B,CAAC;AAED;;iCAEiC;AACjC,MAAM,UAAU,kBAAkB,CAAC,CAAS;IAC1C,OAAO,YAAY,CAAC,EAAE,CAAC;AACzB,CAAC"}

package/dist/backend/may-throw.js

@@ -28,8 +28,12 @@ export function computeMayThrow(mod) {
     const manifestHasRetainedCallback = hasRetainedFfiCallback(mod.ffiImports ?? []);
     // Method name → every class's implementation of it (virtualCall callees).
     const methodImpls = new Map();
+    const classes = new Map((mod.classes ?? []).map((cls) => [cls.name, cls]));
+    const constructorClasses = new Map();
+    const classValueCallers = new Map();
     const tdzGlobals = (mod.globals ?? []).filter((g) => g.tdz).map((g) => g.id);
     for (const cls of mod.classes ?? []) {
+        constructorClasses.set(`%${cls.name}.constructor`, cls.name);
         for (const m of cls.methods ?? []) {
             let list = methodImpls.get(m);
             if (!list)
@@ -78,6 +82,15 @@ export function computeMayThrow(mod) {
                         sawDynFuncAdapter = true;
                     }
                     break;
+                case "mapIntrinsic":
+                case "setIntrinsic": {
+                    const receiver = rec.receiver.type;
+                    const generic = receiver.kind === "map" ? receiver.key.kind === "dyn" && receiver.value.kind === "dyn"
+                        : receiver.kind === "set" && receiver.elem.kind === "dyn";
+                    if (generic && ["get", "set", "add", "has", "delete"].includes(rec.method))
+                        f.throws = true;
+                    break;
+                }
                 case "fieldIncDec":
                     // A checked-dynamic field's ++/-- validates the number out of
                     // the box — that dynCheck throws catchably on non-numbers.
@@ -235,19 +248,10 @@ export function computeMayThrow(mod) {
                     // hierarchy; classval flows never leave it.
                     const cls = rec.callee.type.kind === "classval" ? rec.callee.type.className : undefined;
                     if (cls !== undefined) {
-                        const descends = (name) => {
-                            for (let c = (mod.classes ?? []).find((k) => k.name === name); c; c = (mod.classes ?? []).find((k) => k.name === c.base)) {
-                                if (c.name === cls)
-                                    return true;
-                                if (c.base === undefined)
-                                    break;
-                            }
-                            return false;
-                        };
-                        for (const k of mod.classes ?? []) {
-                            if (descends(k.name))
-                                f.callees.push(`%${k.name}.constructor`);
-                        }
+                        let list = classValueCallers.get(cls);
+                        if (!list)
+                            classValueCallers.set(cls, (list = new Set()));
+                        list.add(fn.name);
                     }
                     break;
                 }
@@ -272,26 +276,60 @@ export function computeMayThrow(mod) {
         everyStmtList(fn.body, { expr: visit, stmt: visit });
         facts.set(fn.name, f);
     }
+    // Propagate each newly throwing function along reverse call edges once.
+    // Repeated full scans take one pass per level of a caller-first chain.
+    const callers = new Map();
+    const indirectCallers = [];
     const may = new Set();
-    for (const [name, f] of facts)
+    const pending = [];
+    const mark = (name) => {
+        if (may.has(name))
+            return;
+        may.add(name);
+        pending.push(name);
+    };
+    for (const [name, f] of facts) {
         if (f.throws)
-            may.add(name);
-    let indirect = sawDynFuncAdapter ||
-        [...closureTargets].some((t) => may.has(t) && !asyncFns.has(t) && !genFns.has(t));
-    let changed = true;
-    while (changed) {
-        changed = false;
-        for (const [name, f] of facts) {
-            if (may.has(name))
-                continue;
-            if ((f.callsValue && indirect) || f.callees.some((c) => may.has(c))) {
-                may.add(name);
-                changed = true;
-            }
+            mark(name);
+        if (f.callsValue)
+            indirectCallers.push(name);
+        for (const callee of new Set(f.callees)) {
+            let list = callers.get(callee);
+            if (!list)
+                callers.set(callee, (list = []));
+            list.push(name);
         }
-        if (!indirect && [...closureTargets].some((t) => may.has(t) && !asyncFns.has(t) && !genFns.has(t))) {
+    }
+    // A throwing constructor makes construction through its class value and
+    // every ancestor's class value potentially throwing. Keep this hierarchy
+    // summary separate from constructor functions: a throwing descendant must
+    // not make direct `new Base()` or a sibling's constructor throw. Each class
+    // is reached at most once, without materializing every descendant edge.
+    const throwingHierarchies = new Set();
+    let indirect = sawDynFuncAdapter;
+    if (indirect)
+        for (const name of indirectCallers)
+            mark(name);
+    for (let i = 0; i < pending.length; i++) {
+        const name = pending[i];
+        if (!indirect && closureTargets.has(name) && !asyncFns.has(name) && !genFns.has(name)) {
             indirect = true;
-            changed = true;
+            for (const caller of indirectCallers)
+                mark(caller);
+        }
+        for (const caller of callers.get(name) ?? [])
+            mark(caller);
+        let cls = constructorClasses.get(name);
+        while (cls !== undefined && !throwingHierarchies.has(cls)) {
+            const def = classes.get(cls);
+            if (!def)
+                break;
+            throwingHierarchies.add(cls);
+            const valueCallers = classValueCallers.get(cls);
+            if (valueCallers)
+                for (const caller of valueCallers)
+                    mark(caller);
+            cls = def.base;
         }
     }
     return { fns: may, indirect };

package/dist/backend/may-throw.js.map

@@ -1 +1 @@
-{"version":3,"file":"may-throw.js","sourceRoot":"","sources":["../../src/backend/may-throw.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AACpH,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAC;AAE5D;;;;;;;;;+EAS+E;AAC/E,MAAM,UAAU,eAAe,CAAC,GAAa;IAM3C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAiB,CAAC;IACvC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,uEAAuE;IACvE,+DAA+D;IAC/D,IAAI,iBAAiB,GAAG,KAAK,CAAC;IAC9B,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IACtF,mEAAmE;IACnE,sEAAsE;IACtE,uEAAuE;IACvE,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IACxF,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAChC,CAAC,GAAG,CAAC,UAAU,IAAI,EAAE,CAAC;SACnB,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;SACxD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAC9B,CAAC;IACF,MAAM,2BAA2B,GAAG,sBAAsB,CAAC,GAAG,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC;IACjF,0EAA0E;IAC1E,MAAM,WAAW,GAAG,IAAI,GAAG,EAAoB,CAAC;IAChD,MAAM,UAAU,GAAG,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC7E,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;QACpC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;YAClC,IAAI,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC9B,IAAI,CAAC,IAAI;gBAAE,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;YAC3C,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAU,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;QACnE,kEAAkE;QAClE,+DAA+D;QAC/D,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,UAAU,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC5F,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,UAAU,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAChH,uEAAuE;QACvE,MAAM,KAAK,GAAG,CAAC,GAAoB,EAAW,EAAE;YAC9C,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;gBACjB,KAAK,OAAO,CAAC;gBACb,KAAK,SAAS,CAAC;gBACf,gEAAgE;gBAChE,KAAK,cAAc;oBACjB,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,MAAM;gBACR,KAAK,QAAQ,CAAC;gBACd,KAAK,QAAQ,CAAC;gBACd,KAAK,YAAY;oBACf,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC;wBAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAC7C,MAAM;gBACR,KAAK,QAAQ;oBACX,8DAA8D;oBAC9D,6DAA6D;oBAC7D,+CAA+C;oBAC/C,IAAI,GAAG,CAAC,WAAW,KAAK,IAAI,IAAI,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC;wBAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChF,MAAM;gBACR,KAAK,UAAU,CAAC;gBAChB,KAAK,aAAa;oBAChB,4DAA4D;oBAC5D,yDAAyD;oBACzD,gEAAgE;oBAChE,yDAAyD;oBACzD,iEAAiE;oBACjE,8DAA8D;oBAC9D,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;wBAC7B,iBAAiB,GAAG,IAAI,CAAC;oBAC3B,CAAC;oBACD,MAAM;gBACR,KAAK,aAAa;oBAChB,8DAA8D;oBAC9D,2DAA2D;oBAC3D,IAAI,GAAG,CAAC,QAAQ,KAAK,IAAI;wBAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAC3C,MAAM;gBACR,KAAK,SAAS,CAAC;gBACf,6DAA6D;gBAC7D,+DAA+D;gBAC/D,KAAK,WAAW;oBACd,2DAA2D;oBAC3D,wDAAwD;oBACxD,6DAA6D;oBAC7D,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,MAAM;gBACR,KAAK,WAAW,CAAC;gBACjB,KAAK,WAAW;oBACd,4DAA4D;oBAC5D,0DAA0D;oBAC1D,yDAAyD;oBACzD,6CAA6C;oBAC7C,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,MAAM;gBACR,KAAK,eAAe,CAAC;gBACrB,KAAK,UAAU;oBACb,0DAA0D;oBAC1D,wBAAwB;oBACxB,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,MAAM;gBACR,KAAK,WAAW,CAAC;gBACjB,KAAK,gBAAgB;oBACnB,0DAA0D;oBAC1D,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,MAAM;gBACR,KAAK,WAAW;oBACd,+DAA+D;oBAC/D,kEAAkE;oBAClE,IAAI,GAAG,CAAC,IAAI,KAAK,cAAc;wBAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBACjD,MAAM;gBACR,KAAK,WAAW;oBACd,6DAA6D;oBAC7D,0CAA0C;oBAC1C,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,MAAM;gBACR,KAAK,WAAW;oBACd,wDAAwD;oBACxD,4DAA4D;oBAC5D,wCAAwC;oBACxC,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,MAAM;gBACR,KAAK,cAAc,EAAE,CAAC;oBACpB,iEAAiE;oBACjE,8DAA8D;oBAC9D,6DAA6D;oBAC7D,4DAA4D;oBAC5D,mDAAmD;oBACnD,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,OAAO,CAAC,CAAC;oBACpE,IACE,GAAG,CAAC,YAAY,KAAK,IAAI;wBACzB,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC,UAAU,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,EAC5F,CAAC;wBACD,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAClB,CAAC;oBACD,MAAM;gBACR,CAAC;gBACD,KAAK,eAAe,EAAE,CAAC;oBACrB,8DAA8D;oBAC9D,+DAA+D;oBAC/D,gEAAgE;oBAChE,8DAA8D;oBAC9D,4DAA4D;oBAC5D,QAAQ;oBACR,MAAM,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;oBAC/B,IAAI,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,QAAQ,IAAI,EAAE,KAAK,OAAO,IAAI,EAAE,KAAK,OAAO;wBAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBACzF,MAAM;gBACR,CAAC;gBACD,KAAK,UAAU;oBACb,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;wBAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChI,MAAM;gBACR,KAAK,MAAM,CAAC;gBACZ,KAAK,QAAQ,CAAC;gBACd,KAAK,WAAW,CAAC;gBACjB,KAAK,iBAAiB;oBACpB,2DAA2D;oBAC3D,4DAA4D;oBAC5D,+CAA+C;oBAC/C,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,MAAM;gBACR,KAAK,SAAS;oBACZ,yDAAyD;oBACzD,sDAAsD;oBACtD,IAAI,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;wBAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBACnD,MAAM;gBACR,KAAK,SAAS;oBACZ,kEAAkE;oBAClE,gEAAgE;oBAChE,8DAA8D;oBAC9D,IACE,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC;wBAClC,2BAA2B;wBAC3B,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAClB,MAAM;gBACR,KAAK,UAAU,EAAE,CAAC;oBAChB,6DAA6D;oBAC7D,0DAA0D;oBAC1D,mDAAmD;oBACnD,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC;oBAC1B,IAAI,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,KAAK,KAAK,IAAI,MAAM,CAAC,IAAI,EAAE,IAAI,KAAK,KAAK,CAAC;wBAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAC5F,MAAM;gBACR,CAAC;gBACD,KAAK,gBAAgB;oBACnB,8DAA8D;oBAC9D,2DAA2D;oBAC3D,eAAe;oBACf,IAAI,uBAAuB,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;wBAC5C,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAClB,CAAC;oBACD,MAAM;gBACR,KAAK,cAAc;oBACjB,IAAI,qBAAqB,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;wBAC1C,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAClB,CAAC;oBACD,MAAM;gBACR,KAAK,gBAAgB;oBACnB,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,MAAM;gBACR,KAAK,cAAc;oBACjB,IAAI,GAAG,CAAC,MAAM,KAAK,WAAW;wBAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChD,MAAM;gBACR,KAAK,gBAAgB;oBACnB,8DAA8D;oBAC9D,6DAA6D;oBAC7D,IAAI,GAAG,CAAC,MAAM,KAAK,YAAY,IAAI,GAAG,CAAC,MAAM,KAAK,OAAO,IAAI,GAAG,CAAC,MAAM,KAAK,UAAU,IAAI,GAAG,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;wBACxH,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAClB,CAAC;oBACD,MAAM;gBACR,KAAK,MAAM,EAAE,CAAC;oBACZ,6DAA6D;oBAC7D,6DAA6D;oBAC7D,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC;oBAC1B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC;wBAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;oBACzE,MAAM;gBACR,CAAC;gBACD,KAAK,KAAK;oBACR,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,SAAS,cAAc,CAAC,CAAC;oBAChD,MAAM;gBACR,KAAK,UAAU,EAAE,CAAC;oBAChB,gEAAgE;oBAChE,6DAA6D;oBAC7D,wDAAwD;oBACxD,4CAA4C;oBAC5C,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;oBACxF,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;wBACtB,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAW,EAAE;4BACzC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gCAC1H,IAAI,CAAC,CAAC,IAAI,KAAK,GAAG;oCAAE,OAAO,IAAI,CAAC;gCAChC,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;oCAAE,MAAM;4BAClC,CAAC;4BACD,OAAO,KAAK,CAAC;wBACf,CAAC,CAAC;wBACF,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;4BAClC,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;gCAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,cAAc,CAAC,CAAC;wBACjE,CAAC;oBACH,CAAC;oBACD,MAAM;gBACR,CAAC;gBACD,KAAK,aAAa,EAAE,CAAC;oBACnB,gEAAgE;oBAChE,iEAAiE;oBACjE,oDAAoD;oBACpD,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;oBAC1C,IAAI,KAAK;wBAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;oBACpC,MAAM;gBACR,CAAC;gBACD,KAAK,WAAW;oBACd,CAAC,CAAC,UAAU,GAAG,IAAI,CAAC;oBACpB,MAAM;gBACR,KAAK,SAAS;oBACZ,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;oBAC/B,MAAM;YACV,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC;QACF,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QACrD,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACxB,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,KAAK;QAAE,IAAI,CAAC,CAAC,MAAM;YAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC3D,IAAI,QAAQ,GACV,iBAAiB;QACjB,CAAC,GAAG,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACpF,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,OAAO,OAAO,EAAE,CAAC;QACf,OAAO,GAAG,KAAK,CAAC;QAChB,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC;YAC9B,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC5B,IAAI,CAAC,CAAC,CAAC,UAAU,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBACpE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACd,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,CAAC;QACD,IAAI,CAAC,QAAQ,IAAI,CAAC,GAAG,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACnG,QAAQ,GAAG,IAAI,CAAC;YAChB,OAAO,GAAG,IAAI,CAAC;QACjB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;AAChC,CAAC"}
+{"version":3,"file":"may-throw.js","sourceRoot":"","sources":["../../src/backend/may-throw.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AACpH,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAC;AAE5D;;;;;;;;;+EAS+E;AAC/E,MAAM,UAAU,eAAe,CAAC,GAAa;IAM3C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAiB,CAAC;IACvC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,uEAAuE;IACvE,+DAA+D;IAC/D,IAAI,iBAAiB,GAAG,KAAK,CAAC;IAC9B,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IACtF,mEAAmE;IACnE,sEAAsE;IACtE,uEAAuE;IACvE,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IACxF,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAChC,CAAC,GAAG,CAAC,UAAU,IAAI,EAAE,CAAC;SACnB,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;SACxD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAC9B,CAAC;IACF,MAAM,2BAA2B,GAAG,sBAAsB,CAAC,GAAG,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC;IACjF,0EAA0E;IAC1E,MAAM,WAAW,GAAG,IAAI,GAAG,EAAoB,CAAC;IAChD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IAC3E,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAkB,CAAC;IACrD,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAuB,CAAC;IACzD,MAAM,UAAU,GAAG,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC7E,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;QACpC,kBAAkB,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,cAAc,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QAC7D,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;YAClC,IAAI,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC9B,IAAI,CAAC,IAAI;gBAAE,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;YAC3C,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAU,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;QACnE,kEAAkE;QAClE,+DAA+D;QAC/D,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,UAAU,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC5F,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,UAAU,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAChH,uEAAuE;QACvE,MAAM,KAAK,GAAG,CAAC,GAAoB,EAAW,EAAE;YAC9C,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;gBACjB,KAAK,OAAO,CAAC;gBACb,KAAK,SAAS,CAAC;gBACf,gEAAgE;gBAChE,KAAK,cAAc;oBACjB,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,MAAM;gBACR,KAAK,QAAQ,CAAC;gBACd,KAAK,QAAQ,CAAC;gBACd,KAAK,YAAY;oBACf,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC;wBAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAC7C,MAAM;gBACR,KAAK,QAAQ;oBACX,8DAA8D;oBAC9D,6DAA6D;oBAC7D,+CAA+C;oBAC/C,IAAI,GAAG,CAAC,WAAW,KAAK,IAAI,IAAI,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC;wBAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChF,MAAM;gBACR,KAAK,UAAU,CAAC;gBAChB,KAAK,aAAa;oBAChB,4DAA4D;oBAC5D,yDAAyD;oBACzD,gEAAgE;oBAChE,yDAAyD;oBACzD,iEAAiE;oBACjE,8DAA8D;oBAC9D,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;wBAC7B,iBAAiB,GAAG,IAAI,CAAC;oBAC3B,CAAC;oBACD,MAAM;gBACR,KAAK,cAAc,CAAC;gBACpB,KAAK,cAAc,EAAE,CAAC;oBACpB,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC;oBACnC,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK;wBACpG,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,KAAK,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC;oBAC5D,IAAI,OAAO,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC;wBAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAC5F,MAAM;gBACR,CAAC;gBACD,KAAK,aAAa;oBAChB,8DAA8D;oBAC9D,2DAA2D;oBAC3D,IAAI,GAAG,CAAC,QAAQ,KAAK,IAAI;wBAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAC3C,MAAM;gBACR,KAAK,SAAS,CAAC;gBACf,6DAA6D;gBAC7D,+DAA+D;gBAC/D,KAAK,WAAW;oBACd,2DAA2D;oBAC3D,wDAAwD;oBACxD,6DAA6D;oBAC7D,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,MAAM;gBACR,KAAK,WAAW,CAAC;gBACjB,KAAK,WAAW;oBACd,4DAA4D;oBAC5D,0DAA0D;oBAC1D,yDAAyD;oBACzD,6CAA6C;oBAC7C,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,MAAM;gBACR,KAAK,eAAe,CAAC;gBACrB,KAAK,UAAU;oBACb,0DAA0D;oBAC1D,wBAAwB;oBACxB,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,MAAM;gBACR,KAAK,WAAW,CAAC;gBACjB,KAAK,gBAAgB;oBACnB,0DAA0D;oBAC1D,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,MAAM;gBACR,KAAK,WAAW;oBACd,+DAA+D;oBAC/D,kEAAkE;oBAClE,IAAI,GAAG,CAAC,IAAI,KAAK,cAAc;wBAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBACjD,MAAM;gBACR,KAAK,WAAW;oBACd,6DAA6D;oBAC7D,0CAA0C;oBAC1C,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,MAAM;gBACR,KAAK,WAAW;oBACd,wDAAwD;oBACxD,4DAA4D;oBAC5D,wCAAwC;oBACxC,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,MAAM;gBACR,KAAK,cAAc,EAAE,CAAC;oBACpB,iEAAiE;oBACjE,8DAA8D;oBAC9D,6DAA6D;oBAC7D,4DAA4D;oBAC5D,mDAAmD;oBACnD,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,OAAO,CAAC,CAAC;oBACpE,IACE,GAAG,CAAC,YAAY,KAAK,IAAI;wBACzB,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC,UAAU,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,EAC5F,CAAC;wBACD,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAClB,CAAC;oBACD,MAAM;gBACR,CAAC;gBACD,KAAK,eAAe,EAAE,CAAC;oBACrB,8DAA8D;oBAC9D,+DAA+D;oBAC/D,gEAAgE;oBAChE,8DAA8D;oBAC9D,4DAA4D;oBAC5D,QAAQ;oBACR,MAAM,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;oBAC/B,IAAI,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,QAAQ,IAAI,EAAE,KAAK,OAAO,IAAI,EAAE,KAAK,OAAO;wBAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBACzF,MAAM;gBACR,CAAC;gBACD,KAAK,UAAU;oBACb,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;wBAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChI,MAAM;gBACR,KAAK,MAAM,CAAC;gBACZ,KAAK,QAAQ,CAAC;gBACd,KAAK,WAAW,CAAC;gBACjB,KAAK,iBAAiB;oBACpB,2DAA2D;oBAC3D,4DAA4D;oBAC5D,+CAA+C;oBAC/C,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,MAAM;gBACR,KAAK,SAAS;oBACZ,yDAAyD;oBACzD,sDAAsD;oBACtD,IAAI,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;wBAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBACnD,MAAM;gBACR,KAAK,SAAS;oBACZ,kEAAkE;oBAClE,gEAAgE;oBAChE,8DAA8D;oBAC9D,IACE,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC;wBAClC,2BAA2B;wBAC3B,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAClB,MAAM;gBACR,KAAK,UAAU,EAAE,CAAC;oBAChB,6DAA6D;oBAC7D,0DAA0D;oBAC1D,mDAAmD;oBACnD,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC;oBAC1B,IAAI,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,KAAK,KAAK,IAAI,MAAM,CAAC,IAAI,EAAE,IAAI,KAAK,KAAK,CAAC;wBAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAC5F,MAAM;gBACR,CAAC;gBACD,KAAK,gBAAgB;oBACnB,8DAA8D;oBAC9D,2DAA2D;oBAC3D,eAAe;oBACf,IAAI,uBAAuB,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;wBAC5C,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAClB,CAAC;oBACD,MAAM;gBACR,KAAK,cAAc;oBACjB,IAAI,qBAAqB,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;wBAC1C,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAClB,CAAC;oBACD,MAAM;gBACR,KAAK,gBAAgB;oBACnB,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChB,MAAM;gBACR,KAAK,cAAc;oBACjB,IAAI,GAAG,CAAC,MAAM,KAAK,WAAW;wBAAE,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAChD,MAAM;gBACR,KAAK,gBAAgB;oBACnB,8DAA8D;oBAC9D,6DAA6D;oBAC7D,IAAI,GAAG,CAAC,MAAM,KAAK,YAAY,IAAI,GAAG,CAAC,MAAM,KAAK,OAAO,IAAI,GAAG,CAAC,MAAM,KAAK,UAAU,IAAI,GAAG,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;wBACxH,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;oBAClB,CAAC;oBACD,MAAM;gBACR,KAAK,MAAM,EAAE,CAAC;oBACZ,6DAA6D;oBAC7D,6DAA6D;oBAC7D,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC;oBAC1B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC;wBAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;oBACzE,MAAM;gBACR,CAAC;gBACD,KAAK,KAAK;oBACR,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,SAAS,cAAc,CAAC,CAAC;oBAChD,MAAM;gBACR,KAAK,UAAU,EAAE,CAAC;oBAChB,gEAAgE;oBAChE,6DAA6D;oBAC7D,wDAAwD;oBACxD,4CAA4C;oBAC5C,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;oBACxF,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;wBACtB,IAAI,IAAI,GAAG,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;wBACtC,IAAI,CAAC,IAAI;4BAAE,iBAAiB,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;wBAC1D,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;oBACpB,CAAC;oBACD,MAAM;gBACR,CAAC;gBACD,KAAK,aAAa,EAAE,CAAC;oBACnB,gEAAgE;oBAChE,iEAAiE;oBACjE,oDAAoD;oBACpD,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;oBAC1C,IAAI,KAAK;wBAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;oBACpC,MAAM;gBACR,CAAC;gBACD,KAAK,WAAW;oBACd,CAAC,CAAC,UAAU,GAAG,IAAI,CAAC;oBACpB,MAAM;gBACR,KAAK,SAAS;oBACZ,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;oBAC/B,MAAM;YACV,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC;QACF,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QACrD,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACxB,CAAC;IAED,wEAAwE;IACxE,uEAAuE;IACvE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC5C,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,IAAI,GAAG,CAAC,IAAY,EAAQ,EAAE;QAClC,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO;QAC1B,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACd,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrB,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,MAAM;YAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,IAAI,CAAC,CAAC,UAAU;YAAE,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,KAAK,MAAM,MAAM,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;YACxC,IAAI,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC/B,IAAI,CAAC,IAAI;gBAAE,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;YAC5C,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IACD,wEAAwE;IACxE,yEAAyE;IACzE,0EAA0E;IAC1E,4EAA4E;IAC5E,wEAAwE;IACxE,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9C,IAAI,QAAQ,GAAG,iBAAiB,CAAC;IACjC,IAAI,QAAQ;QAAE,KAAK,MAAM,IAAI,IAAI,eAAe;YAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC;QACzB,IAAI,CAAC,QAAQ,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACtF,QAAQ,GAAG,IAAI,CAAC;YAChB,KAAK,MAAM,MAAM,IAAI,eAAe;gBAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QACrD,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE;YAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QAC3D,IAAI,GAAG,GAAG,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACvC,OAAO,GAAG,KAAK,SAAS,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1D,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC7B,IAAI,CAAC,GAAG;gBAAE,MAAM;YAChB,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC7B,MAAM,YAAY,GAAG,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAChD,IAAI,YAAY;gBAAE,KAAK,MAAM,MAAM,IAAI,YAAY;oBAAE,IAAI,CAAC,MAAM,CAAC,CAAC;YAClE,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC;QACjB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;AAChC,CAAC"}

package/dist/backend/may-throw.test.js

@@ -1,5 +1,5 @@
 import { expect, test } from "vitest";
-import { F64, VOID, funcOf } from "../ir/ir.js";
+import { DYN, F64, VOID, funcOf } from "../ir/ir.js";
 import { computeMayThrow } from "./may-throw.js";
 const loc = { file: "tdz.ts", start: 0, end: 1 };
 const value = { kind: "numLit", value: 1, type: F64, loc };
@@ -55,4 +55,107 @@ test("initializers still propagate exceptions from their right-hand side", () =>
     const failure = fn("failure", [{ kind: "throw", value, loc }], []);
     expect([...computeMayThrow(moduleWith(fn("caller", [initialize]), failure)).fns].sort()).toEqual(["caller", "failure"]);
 });
+const call = (callee) => exprStmt({ kind: "call", callee, args: [], type: VOID, loc });
+const closureOf = (fnName) => ({ kind: "closure", fnName, captures: [], type: funcOf([], VOID), loc });
+const callClosure = (fnName) => exprStmt({ kind: "callValue", callee: closureOf(fnName), args: [], type: VOID, loc });
+const failure = { kind: "throw", value, loc };
+test("propagates through a long caller-first chain without recursive graph traversal", () => {
+    const size = 6000;
+    const functions = Array.from({ length: size }, (_, i) => fn(`fn${i}`, [i === size - 1 ? failure : call(`fn${i + 1}`)], []));
+    for (const order of [functions, [...functions].reverse()]) {
+        const answer = computeMayThrow(moduleWith(...order));
+        expect(answer.indirect).toBe(false);
+        expect(answer.fns).toEqual(new Set(functions.map((f) => f.name)));
+    }
+});
+test("recursive components only throw when they reach a throwing seed", () => {
+    const mod = moduleWith(fn("caller", [call("left"), call("left")], []), fn("left", [call("right")], []), fn("right", [call("left")], []), fn("pure", [call("pure")], []));
+    expect(computeMayThrow(mod).fns.size).toBe(0);
+    mod.functions[2].body.push(failure);
+    expect(computeMayThrow(mod).fns).toEqual(new Set(["caller", "left", "right"]));
+});
+test("a transitively throwing closure activates indirect callers and their callers", () => {
+    const mod = moduleWith(fn("outer", [call("indirect")], []), fn("indirect", [callClosure("wrapper")], []), fn("wrapper", [call("target")], []), fn("target", [failure], []), fn("otherIndirect", [callClosure("pure")], []), fn("pure", [], []));
+    const before = structuredClone(mod);
+    const answer = computeMayThrow(mod);
+    expect(answer.indirect).toBe(true);
+    expect(answer.fns).toEqual(new Set(["outer", "indirect", "wrapper", "target", "otherIndirect"]));
+    expect(mod).toEqual(before);
+    mod.functions[3].body = [];
+    expect(computeMayThrow(mod)).toEqual({ fns: new Set(), indirect: false });
+    expect(answer.fns.size).toBe(5);
+});
+test.each(["async", "generator", "async generator"])("a throwing %s body does not unwind direct or indirect callers", (kind) => {
+    const target = fn("target", [failure], []);
+    if (kind.includes("async"))
+        target.async = true;
+    if (kind.includes("generator"))
+        target.generator = { yieldT: F64, nextT: VOID, resultType: { kind: "record", shapeId: "result" } };
+    const mod = moduleWith(fn("caller", [call("target"), callClosure("target")], []), target);
+    expect(computeMayThrow(mod)).toEqual({ fns: new Set(["target"]), indirect: false });
+});
+test("dynamic function adapters activate indirect calls without an IR closure target", () => {
+    const adapter = {
+        kind: "dynCheck", value: { kind: "varRef", localId: "unknown", type: DYN, loc },
+        type: funcOf([], VOID), loc,
+    };
+    const callee = { kind: "varRef", localId: "callback", type: funcOf([], VOID), loc };
+    const mod = moduleWith(fn("caller", [call("indirect")], []), fn("indirect", [exprStmt({ kind: "callValue", callee, args: [], type: VOID, loc })], []), fn("adapter", [exprStmt(adapter)], []));
+    expect(computeMayThrow(mod)).toEqual({ fns: new Set(["caller", "indirect", "adapter"]), indirect: true });
+});
+const construct = (className, direct = false) => exprStmt(direct
+    ? { kind: "new", className, args: [], type: { kind: "object", className }, loc }
+    : { kind: "newValue", callee: { kind: "classRef", className, type: { kind: "classval", className }, loc }, args: [], type: { kind: "object", className }, loc });
+test("class-value construction includes descendants without making direct or sibling construction throw", () => {
+    const mod = moduleWith(fn("caller", [call("rootValue")], []), ...["Root", "Middle", "Leaf", "Sibling", "Other"].flatMap((name) => [
+        fn(`${name.toLowerCase()}Value`, [construct(name), construct(name)], []),
+        fn(`${name.toLowerCase()}Direct`, [construct(name, true)], []),
+        fn(`%${name}.constructor`, name === "Leaf" || name === "Other" ? [call("failure")] : [], []),
+    ]), fn("failure", [failure], []));
+    mod.classes = [
+        { name: "Leaf", base: "Middle", fields: [], loc },
+        { name: "Sibling", base: "Root", fields: [], loc },
+        { name: "Middle", base: "Root", fields: [], loc },
+        { name: "Other", fields: [], loc },
+        { name: "Root", fields: [], loc },
+    ];
+    const before = structuredClone(mod);
+    const expected = new Set(["failure", "%Leaf.constructor", "%Other.constructor", "caller", "rootValue", "middleValue", "leafValue", "leafDirect", "otherValue", "otherDirect"]);
+    expect(computeMayThrow(mod)).toEqual({ fns: expected, indirect: false });
+    expect(mod).toEqual(before);
+    mod.classes.reverse();
+    mod.functions.reverse();
+    expect(computeMayThrow(mod)).toEqual({ fns: expected, indirect: false });
+    mod.functions.find((f) => f.name === "%Leaf.constructor").body = [];
+    expect(computeMayThrow(mod)).toEqual({ fns: new Set(["failure", "%Other.constructor", "otherValue", "otherDirect"]), indirect: false });
+});
+test("class-value dependencies participate in the call graph fixpoint", () => {
+    const mod = moduleWith(fn("caller", [construct("Root")], []), fn("direct", [construct("Root", true)], []), fn("%Root.constructor", [], []), fn("%Child.constructor", [construct("Other")], []), fn("%Other.constructor", [construct("Root")], []), fn("%OtherChild.constructor", [call("failure")], []), fn("failure", [failure], []));
+    mod.classes = [
+        { name: "Root", fields: [], loc }, { name: "Child", base: "Root", fields: [], loc },
+        { name: "Other", fields: [], loc }, { name: "OtherChild", base: "Other", fields: [], loc },
+    ];
+    expect(computeMayThrow(mod)).toEqual({
+        fns: new Set(["failure", "%OtherChild.constructor", "%Child.constructor", "%Other.constructor", "caller"]), indirect: false,
+    });
+    mod.functions.find((f) => f.name === "failure").body = [];
+    expect(computeMayThrow(mod)).toEqual({ fns: new Set(), indirect: false });
+});
+test("propagates construction through a deep hierarchy without descendant expansion or recursive traversal", () => {
+    const size = 6000;
+    const mod = moduleWith(...Array.from({ length: size }, (_, i) => fn(`factory${i}`, [construct(`C${i}`)], [])), fn(`%C${size - 1}.constructor`, [failure], []));
+    mod.classes = Array.from({ length: size }, (_, i) => ({ name: `C${i}`, ...(i > 0 ? { base: `C${i - 1}` } : {}), fields: [], loc })).reverse();
+    expect(computeMayThrow(mod)).toEqual({ fns: new Set(mod.functions.map((f) => f.name)), indirect: false });
+});
+test("generic collection mutation propagates checked storage failures to callers", () => {
+    const mapType = { kind: "map", key: DYN, value: DYN };
+    const setType = { kind: "set", elem: DYN };
+    const map = { kind: "varRef", localId: "map", type: mapType, loc };
+    const set = { kind: "varRef", localId: "set", type: setType, loc };
+    const input = { kind: "varRef", localId: "input", type: DYN, loc };
+    const write = { kind: "mapIntrinsic", method: "set", receiver: map, args: [input, input], type: VOID, loc };
+    const add = { kind: "setIntrinsic", method: "add", receiver: set, args: [input], type: VOID, loc };
+    const caller = fn("caller", [exprStmt({ kind: "call", callee: "write", args: [], type: VOID, loc })], []);
+    expect(computeMayThrow(moduleWith(caller, fn("write", [exprStmt(write)], []), fn("add", [exprStmt(add)], []))).fns).toEqual(new Set(["caller", "write", "add"]));
+});
 //# sourceMappingURL=may-throw.test.js.map