@scriptc/compiler 0.4.1 → 0.4.3

package/dist/backend/llvm/dense-array-loops.test.js

@@ -1,6 +1,6 @@
 import { expect, test } from "vitest";
 import { BOOL, F64, arrayOf } from "../../ir/ir.js";
-import { countedDenseShape, matchDenseArrayLoop, } from "./dense-array-loops.js";
+import { countedDenseShape, matchDenseArrayLoop, pairedDenseShape, } from "./dense-array-loops.js";
 const loc = { file: "dense-array-loops.ts", start: 0, end: 0 };
 const ARR = arrayOf(F64);
 const num = (value) => ({ kind: "numLit", value, type: F64, loc });
@@ -32,6 +32,8 @@ const locals = new Map([
     ["a", { id: "a", name: "a", type: ARR, mutable: false }],
     ["b", { id: "b", name: "b", type: ARR, mutable: true }],
     ["c", { id: "c", name: "c", type: ARR, mutable: false }],
+    ["j", { id: "j", name: "j", type: F64, mutable: true }],
+    ["t", { id: "t", name: "t", type: F64, mutable: false }],
 ]);
 /** for (let i = 0; i < a.length; i++) body */
 function loop(body) {
@@ -93,15 +95,17 @@ test("loops that may resize, rebind or move storage keep the ordinary copy only"
     ]);
     expect([...rebound.arrays.keys()]).toEqual(["a"]);
 });
+const counted = (fields) => ({
+    localId: "i",
+    guarded: false,
+    limitGuarded: false,
+    startGuarded: false,
+    guardLimit: 0,
+    followers: [],
+    ...fields,
+});
 test("counted shapes need a non-negative counter strictly below the length", () => {
-    const ascending = (limit, inclusive, min = 0) => countedDenseShape(loop([]), {
-        localId: "i",
-        start: num(min),
-        limit,
-        step: 1,
-        inclusive,
-        range: { min, max: 100 },
-    });
+    const ascending = (limit, inclusive, min = 0) => countedDenseShape(loop([]), counted({ start: num(min), limit, step: 1, inclusive, range: { min, max: 100 } }));
     const minus = (offset) => ({
         kind: "bin",
         op: "-",
@@ -110,19 +114,140 @@ test("counted shapes need a non-negative counter strictly below the length", ()
         type: F64,
         loc,
     });
-    expect(ascending(method("a", "length"), false)?.length.localId).toBe("a");
-    expect(ascending(minus(1), true)?.length.localId).toBe("a");
+    expect(ascending(method("a", "length"), false)?.length?.localId).toBe("a");
+    expect(ascending(minus(1), true)?.length?.localId).toBe("a");
     expect(ascending(method("a", "length"), true)).toBeNull();
     expect(ascending(minus(1), false, -1)).toBeNull();
-    const descending = (offset) => countedDenseShape(loop([]), {
-        localId: "i",
+    // Another invariant limit bounds the counter itself; the entry test
+    // compares it with every indexed array's hole-free prefix.
+    const limited = ascending(ref("n"), false);
+    expect(limited?.length).toBeNull();
+    expect(limited?.limit?.limit).toEqual(ref("n"));
+    expect(ascending(ref("n"), false, -1)).toBeNull();
+    const descending = (offset) => countedDenseShape(loop([]), counted({
         start: minus(offset),
         limit: num(0),
         step: -1,
         inclusive: true,
         range: { min: 0, max: 100 },
-    });
-    expect(descending(1)?.length.localId).toBe("a");
+    }));
+    expect(descending(1)?.length?.localId).toBe("a");
     expect(descending(0)).toBeNull();
 });
+test("a loop to another invariant limit covers each array whose length it keeps", () => {
+    const limited = {
+        counter: "i",
+        length: null,
+        limit: counted({
+            start: num(0),
+            limit: ref("n"),
+            step: 1,
+            inclusive: false,
+            range: { min: 0, max: 100 },
+        }),
+        range: { min: 0, max: 100 },
+    };
+    const matchLimited = (body, unaliased = new Set()) => matchDenseArrayLoop(loop(body), limited, locals, unaliased, new Set(["a", "b"]));
+    const copy = write("b", read("a"));
+    const dense = matchLimited([copy]);
+    expect([...dense.arrays.keys()].sort()).toEqual(["a", "b"]);
+    expect(dense.length).toBeNull();
+    expect(dense.limit?.limit).toEqual(ref("n"));
+    // An array the loop may resize is not covered; neither is one it may
+    // share storage with.
+    const resizing = [
+        { kind: "exprStmt", expr: read("a"), loc },
+        { kind: "exprStmt", expr: method("b", "getNumber", [ref("i")]), loc },
+        { kind: "exprStmt", expr: method("b", "push", [num(1)]), loc },
+    ];
+    expect([...matchLimited(resizing, new Set(["b"])).arrays.keys()]).toEqual(["a"]);
+    expect(matchLimited(resizing)).toBeNull();
+});
+test("a two-counter loop covers the arrays indexed at either counter", () => {
+    // for (let i = 1, j = k - 1; i < j; i++, j--) { t = a[i]; a[i] = a[j]; a[j] = t; }
+    const paired = {
+        low: { localId: "i", start: num(1), step: 1, startGuarded: false },
+        high: { localId: "j", start: ref("k"), step: -1, startGuarded: true },
+        inclusive: false,
+        guarded: true,
+        range: { min: -Number.MAX_SAFE_INTEGER, max: Number.MAX_SAFE_INTEGER },
+    };
+    const pairedShape = pairedDenseShape(paired);
+    const matchPaired = (body) => matchDenseArrayLoop(loop(body), pairedShape, locals, new Set(), new Set(["a", "b"]));
+    const swap = [
+        { kind: "varDecl", localId: "t", init: read("a"), loc },
+        write("a", read("a", ref("j"))),
+        write("a", ref("t"), ref("j")),
+    ];
+    const dense = matchPaired(swap);
+    expect([...dense.arrays.keys()]).toEqual(["a"]);
+    expect(dense.pair).toEqual({ high: "j", lowStart: num(1), highStart: ref("k") });
+    expect(dense.range).toEqual({ min: 0, max: 2147483646 });
+    // Stores at any other index may extend the array.
+    expect(matchPaired([...swap, write("a", num(0), ref("k"))])).toBeNull();
+});
+test("a present-undefined store is covered only where it stores a covered read's missing arm", () => {
+    // const v = b[i] (as number | undefined);
+    // if (v is undefined) c[i] = undefined; else c[i] = v is number ? v : throw;
+    const unionType = { kind: "union", unionId: "u" };
+    const v = { kind: "varRef", localId: "v", type: unionType, loc };
+    const isTag = (tag) => ({
+        kind: "unionIsTag",
+        unionId: "u",
+        tag,
+        negated: false,
+        value: v,
+        type: BOOL,
+        loc,
+    });
+    const reader = (array, index = ref("i")) => ({
+        kind: "call",
+        callee: "%arr.idxOr.f64",
+        args: [arr(array), index],
+        type: unionType,
+        loc,
+    });
+    const undefinedStore = { kind: "arraySetUndefined", arr: arr("c"), index: ref("i"), loc };
+    const guarded = (array) => [
+        { kind: "varDecl", localId: "v", init: reader(array), loc },
+        {
+            kind: "if",
+            cond: isTag(1),
+            then: [undefinedStore],
+            else_: [
+                write("c", {
+                    kind: "ternary",
+                    cond: isTag(0),
+                    then: { kind: "unionNarrow", unionId: "u", tag: 0, value: v, type: F64, loc },
+                    else_: {
+                        kind: "libCall",
+                        fn: "error.nodeThrow",
+                        args: [num(1), { kind: "strLit", value: "", type: { kind: "string" }, loc }],
+                        type: F64,
+                        loc,
+                    },
+                    type: F64,
+                    loc,
+                }),
+            ],
+            loc,
+        },
+    ];
+    const withV = new Map([
+        ...locals,
+        ["v", { id: "v", name: "v", type: unionType, mutable: false }],
+    ]);
+    const matchStores = (body, initialized) => matchDenseArrayLoop(loop(body), shape, withV, new Set(), new Set(initialized));
+    const dense = matchStores(guarded("b"), ["a", "b", "c"]);
+    expect([...dense.arrays.keys()].sort()).toEqual(["b", "c"]);
+    // A read of an array the entry test does not cover may miss in the fast
+    // copy, and its undefined store would run there.
+    expect(matchStores(guarded("b"), ["a", "c"])).toBeNull();
+    // A present undefined stored on its own leaves out its array and every
+    // array the other name may hold.
+    const alone = [{ kind: "exprStmt", expr: read("b"), loc }, undefinedStore];
+    expect(matchStores(alone, ["a", "b", "c"])).toBeNull();
+    const separate = matchDenseArrayLoop(loop(alone), shape, withV, new Set(["c"]), new Set(["a", "b", "c"]));
+    expect([...separate.arrays.keys()]).toEqual(["b"]);
+});
 //# sourceMappingURL=dense-array-loops.test.js.map

package/dist/backend/llvm/dense-array-loops.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"dense-array-loops.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/dense-array-loops.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAA0C,MAAM,gBAAgB,CAAC;AAC5F,OAAO,EACL,iBAAiB,EACjB,mBAAmB,GAEpB,MAAM,wBAAwB,CAAC;AAEhC,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,sBAAsB,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAC/D,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;AACzB,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,OAAe,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACvF,MAAM,GAAG,GAAG,CAAC,OAAe,EAA+B,EAAE,CAAC,CAAC;IAC7D,IAAI,EAAE,QAAQ;IACd,OAAO;IACP,IAAI,EAAE,GAAG;IACT,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,MAAM,GAAG,CACb,QAAgB,EAChB,IAAyD,EACzD,IAAI,GAAa,EAAE,EACX,EAAE,CAAC,CAAC;IACZ,IAAI,EAAE,cAAc;IACpB,MAAM,EAAE,IAAI;IACZ,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC;IACvB,IAAI;IACJ,IAAI,EAAE,GAAG;IACT,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,IAAI,GAAG,CAAC,QAAgB,EAAE,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,EAAU,EAAE,CAAC,MAAM,CAAC,QAAQ,EAAE,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;AACpG,MAAM,KAAK,GAAG,CAAC,QAAgB,EAAE,KAAa,EAAE,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,EAAU,EAAE,CAAC,CAAC;IAC5E,IAAI,EAAE,UAAU;IAChB,GAAG,EAAE,GAAG,CAAC,QAAQ,CAAC;IAClB,KAAK;IACL,KAAK;IACL,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,MAAM,GAAG,IAAI,GAAG,CAAkB;IACtC,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACvD,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACxD,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACvD,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;CACzD,CAAC,CAAC;AAEH,8CAA8C;AAC9C,SAAS,IAAI,CAAC,IAAc;IAC1B,OAAO;QACL,IAAI,EAAE,KAAK;QACX,GAAG;QACH,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE;QAC1D,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QAC7F,MAAM,EAAE;YACN,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,GAAG;YACZ,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YAC9E,GAAG;SACJ;QACD,IAAI;KACL,CAAC;AACJ,CAAC;AACD,MAAM,KAAK,GAAmB;IAC5B,OAAO,EAAE,GAAG;IACZ,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC;IAChB,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE;CACnC,CAAC;AACF,MAAM,KAAK,GAAG,CAAC,IAAc,EAAE,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,CAClE,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,WAAW,CAAC,CAAC;AAEzE,IAAI,CAAC,kFAAkF,EAAE,GAAG,EAAE;IAC5F,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,EAAE;QACvB,IAAI,EAAE,KAAK;QACX,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;QACf,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;QACb,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAC7B,MAAM,CAAC,CAAC,GAAG,KAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC7D,MAAM,CAAC,KAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC;IAC1D,8EAA8E;IAC9E,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,EAAE,IAAI,GAAG,EAAE,CAAE,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AACvE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2EAA2E,EAAE,GAAG,EAAE;IACrF,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3F,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC/D,MAAM,CACJ,KAAK,CAAC;QACJ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE;KACzF,CAAC,CACH,CAAC,QAAQ,EAAE,CAAC;IACb,yCAAyC;IACzC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACjF,8CAA8C;IAC9C,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC/E,kEAAkE;IAClE,MAAM,CACJ,KAAK,CAAC;QACJ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;QAC1C,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;KACvD,CAAC,CACH,CAAC,QAAQ,EAAE,CAAC;IACb,mEAAmE;IACnE,MAAM,OAAO,GAAG,KAAK,CAAC;QACpB,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;QAC1C,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;QAC1C,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;KACvD,CAAC,CAAC;IACH,MAAM,CAAC,CAAC,GAAG,OAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AACrD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sEAAsE,EAAE,GAAG,EAAE;IAChF,MAAM,SAAS,GAAG,CAAC,KAAa,EAAE,SAAkB,EAAE,GAAG,GAAG,CAAC,EAAE,EAAE,CAC/D,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;QAC1B,OAAO,EAAE,GAAG;QACZ,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC;QACf,KAAK;QACL,IAAI,EAAE,CAAC;QACP,SAAS;QACT,KAAK,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE;KACzB,CAAC,CAAC;IACL,MAAM,KAAK,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,CAAC;QACzC,IAAI,EAAE,KAAK;QACX,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC;QAC3B,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC;QAClB,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,KAAK,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1E,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5D,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC1D,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAClD,MAAM,UAAU,GAAG,CAAC,MAAc,EAAE,EAAE,CACpC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;QAC1B,OAAO,EAAE,GAAG;QACZ,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC;QACpB,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;QACb,IAAI,EAAE,CAAC,CAAC;QACR,SAAS,EAAE,IAAI;QACf,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE;KAC5B,CAAC,CAAC;IACL,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChD,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACnC,CAAC,CAAC,CAAC"}
+{"version":3,"file":"dense-array-loops.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/dense-array-loops.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAA0C,MAAM,gBAAgB,CAAC;AAE5F,OAAO,EACL,iBAAiB,EACjB,mBAAmB,EACnB,gBAAgB,GAEjB,MAAM,wBAAwB,CAAC;AAEhC,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,sBAAsB,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAC/D,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;AACzB,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,OAAe,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACvF,MAAM,GAAG,GAAG,CAAC,OAAe,EAA+B,EAAE,CAAC,CAAC;IAC7D,IAAI,EAAE,QAAQ;IACd,OAAO;IACP,IAAI,EAAE,GAAG;IACT,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,MAAM,GAAG,CACb,QAAgB,EAChB,IAAyD,EACzD,IAAI,GAAa,EAAE,EACX,EAAE,CAAC,CAAC;IACZ,IAAI,EAAE,cAAc;IACpB,MAAM,EAAE,IAAI;IACZ,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC;IACvB,IAAI;IACJ,IAAI,EAAE,GAAG;IACT,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,IAAI,GAAG,CAAC,QAAgB,EAAE,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,EAAU,EAAE,CAAC,MAAM,CAAC,QAAQ,EAAE,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;AACpG,MAAM,KAAK,GAAG,CAAC,QAAgB,EAAE,KAAa,EAAE,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,EAAU,EAAE,CAAC,CAAC;IAC5E,IAAI,EAAE,UAAU;IAChB,GAAG,EAAE,GAAG,CAAC,QAAQ,CAAC;IAClB,KAAK;IACL,KAAK;IACL,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,MAAM,GAAG,IAAI,GAAG,CAAkB;IACtC,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACvD,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACxD,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACvD,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACxD,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACvD,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;CACzD,CAAC,CAAC;AAEH,8CAA8C;AAC9C,SAAS,IAAI,CAAC,IAAc;IAC1B,OAAO;QACL,IAAI,EAAE,KAAK;QACX,GAAG;QACH,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE;QAC1D,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QAC7F,MAAM,EAAE;YACN,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,GAAG;YACZ,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YAC9E,GAAG;SACJ;QACD,IAAI;KACL,CAAC;AACJ,CAAC;AACD,MAAM,KAAK,GAAmB;IAC5B,OAAO,EAAE,GAAG;IACZ,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC;IAChB,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE;CACnC,CAAC;AACF,MAAM,KAAK,GAAG,CAAC,IAAc,EAAE,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,CAClE,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,WAAW,CAAC,CAAC;AAEzE,IAAI,CAAC,kFAAkF,EAAE,GAAG,EAAE;IAC5F,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,EAAE;QACvB,IAAI,EAAE,KAAK;QACX,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;QACf,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;QACb,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAC7B,MAAM,CAAC,CAAC,GAAG,KAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC7D,MAAM,CAAC,KAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC;IAC1D,8EAA8E;IAC9E,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,EAAE,IAAI,GAAG,EAAE,CAAE,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AACvE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2EAA2E,EAAE,GAAG,EAAE;IACrF,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3F,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC/D,MAAM,CACJ,KAAK,CAAC;QACJ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE;KACzF,CAAC,CACH,CAAC,QAAQ,EAAE,CAAC;IACb,yCAAyC;IACzC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACjF,8CAA8C;IAC9C,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC/E,kEAAkE;IAClE,MAAM,CACJ,KAAK,CAAC;QACJ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;QAC1C,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;KACvD,CAAC,CACH,CAAC,QAAQ,EAAE,CAAC;IACb,mEAAmE;IACnE,MAAM,OAAO,GAAG,KAAK,CAAC;QACpB,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;QAC1C,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;QAC1C,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;KACvD,CAAC,CAAC;IACH,MAAM,CAAC,CAAC,GAAG,OAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AACrD,CAAC,CAAC,CAAC;AAEH,MAAM,OAAO,GAAG,CACd,MAAuF,EAChE,EAAE,CAAC,CAAC;IAC3B,OAAO,EAAE,GAAG;IACZ,OAAO,EAAE,KAAK;IACd,YAAY,EAAE,KAAK;IACnB,YAAY,EAAE,KAAK;IACnB,UAAU,EAAE,CAAC;IACb,SAAS,EAAE,EAAE;IACb,GAAG,MAAM;CACV,CAAC,CAAC;AAEH,IAAI,CAAC,sEAAsE,EAAE,GAAG,EAAE;IAChF,MAAM,SAAS,GAAG,CAAC,KAAa,EAAE,SAAkB,EAAE,GAAG,GAAG,CAAC,EAAE,EAAE,CAC/D,iBAAiB,CACf,IAAI,CAAC,EAAE,CAAC,EACR,OAAO,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAClF,CAAC;IACJ,MAAM,KAAK,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,CAAC;QACzC,IAAI,EAAE,KAAK;QACX,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC;QAC3B,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC;QAClB,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,KAAK,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3E,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC7D,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC1D,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAClD,oEAAoE;IACpE,2DAA2D;IAC3D,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;IAC3C,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IACnC,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IAChD,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAClD,MAAM,UAAU,GAAG,CAAC,MAAc,EAAE,EAAE,CACpC,iBAAiB,CACf,IAAI,CAAC,EAAE,CAAC,EACR,OAAO,CAAC;QACN,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC;QACpB,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;QACb,IAAI,EAAE,CAAC,CAAC;QACR,SAAS,EAAE,IAAI;QACf,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE;KAC5B,CAAC,CACH,CAAC;IACJ,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjD,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACnC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2EAA2E,EAAE,GAAG,EAAE;IACrF,MAAM,OAAO,GAAmB;QAC9B,OAAO,EAAE,GAAG;QACZ,MAAM,EAAE,IAAI;QACZ,KAAK,EAAE,OAAO,CAAC;YACb,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;YACb,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC;YACf,IAAI,EAAE,CAAC;YACP,SAAS,EAAE,KAAK;YAChB,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE;SAC5B,CAAC;QACF,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE;KAC5B,CAAC;IACF,MAAM,YAAY,GAAG,CAAC,IAAc,EAAE,SAAS,GAAG,IAAI,GAAG,EAAU,EAAE,EAAE,CACrE,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IACnF,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACnC,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACnC,MAAM,CAAC,CAAC,GAAG,KAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC7D,MAAM,CAAC,KAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IACjC,MAAM,CAAC,KAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9C,qEAAqE;IACrE,sBAAsB;IACtB,MAAM,QAAQ,GAAG;QACf,EAAE,IAAI,EAAE,UAAmB,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;QACnD,EAAE,IAAI,EAAE,UAAmB,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,EAAE,WAAW,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE;QAC9E,EAAE,IAAI,EAAE,UAAmB,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE;KACxE,CAAC;IACF,MAAM,CAAC,CAAC,GAAG,YAAY,CAAC,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAClF,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AAC5C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gEAAgE,EAAE,GAAG,EAAE;IAC1E,mFAAmF;IACnF,MAAM,MAAM,GAAyB;QACnC,GAAG,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,YAAY,EAAE,KAAK,EAAE;QAClE,IAAI,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,YAAY,EAAE,IAAI,EAAE;QACrE,SAAS,EAAE,KAAK;QAChB,OAAO,EAAE,IAAI;QACb,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,gBAAgB,EAAE,GAAG,EAAE,MAAM,CAAC,gBAAgB,EAAE;KACvE,CAAC;IACF,MAAM,WAAW,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;IAC7C,MAAM,WAAW,GAAG,CAAC,IAAc,EAAE,EAAE,CACrC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IACvF,MAAM,IAAI,GAAa;QACrB,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;QACvD,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/B,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;KAC/B,CAAC;IACF,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,CAAC,CAAC,GAAG,KAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACjD,MAAM,CAAC,KAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAClF,MAAM,CAAC,KAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC;IAC1D,kDAAkD;IAClD,MAAM,CAAC,WAAW,CAAC,CAAC,GAAG,IAAI,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AAC1E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,wFAAwF,EAAE,GAAG,EAAE;IAClG,0CAA0C;IAC1C,6EAA6E;IAC7E,MAAM,SAAS,GAAG,EAAE,IAAI,EAAE,OAAgB,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;IAC3D,MAAM,CAAC,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;IACzE,MAAM,KAAK,GAAG,CAAC,GAAW,EAAU,EAAE,CAAC,CAAC;QACtC,IAAI,EAAE,YAAY;QAClB,OAAO,EAAE,GAAG;QACZ,GAAG;QACH,OAAO,EAAE,KAAK;QACd,KAAK,EAAE,CAAC;QACR,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,CAAC,KAAa,EAAE,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,EAAU,EAAE,CAAC,CAAC;QAC3D,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,gBAAgB;QACxB,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC;QACzB,IAAI,EAAE,SAAS;QACf,GAAG;KACJ,CAAC,CAAC;IACH,MAAM,cAAc,GAAW,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC;IAClG,MAAM,OAAO,GAAG,CAAC,KAAa,EAAY,EAAE,CAAC;QAC3C,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE;QAC3D;YACE,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;YACd,IAAI,EAAE,CAAC,cAAc,CAAC;YACtB,KAAK,EAAE;gBACL,KAAK,CAAC,GAAG,EAAE;oBACT,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;oBACd,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;oBAC7E,KAAK,EAAE;wBACL,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,iBAAiB;wBACrB,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,CAAC;wBAC5E,IAAI,EAAE,GAAG;wBACT,GAAG;qBACJ;oBACD,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ,CAAC;aACH;YACD,GAAG;SACJ;KACF,CAAC;IACF,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC;QACpB,GAAG,MAAM;QACT,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;KAC/D,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,CAAC,IAAc,EAAE,WAAqB,EAAE,EAAE,CAC5D,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC;IACjF,MAAM,KAAK,GAAG,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACzD,MAAM,CAAC,CAAC,GAAG,KAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC7D,wEAAwE;IACxE,iDAAiD;IACjD,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACzD,uEAAuE;IACvE,iCAAiC;IACjC,MAAM,KAAK,GAAa,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,cAAc,CAAC,CAAC;IACrF,MAAM,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACvD,MAAM,QAAQ,GAAG,mBAAmB,CAClC,IAAI,CAAC,KAAK,CAAC,EACX,KAAK,EACL,KAAK,EACL,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EACd,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CACzB,CAAC;IACF,MAAM,CAAC,CAAC,GAAG,QAAS,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AACtD,CAAC,CAAC,CAAC"}

package/dist/backend/llvm/dyn-handle-tags.test.js

@@ -1,7 +1,7 @@
 import { readFileSync } from "node:fs";
 import { expect, test } from "vitest";
 import { DYN_HANDLE_KINDS } from "../../ir/ir.js";
-import { DYN_HANDLE_TAG_NUM } from "./dyn.js";
+import { DYN_HANDLE_TAG_NUM, TEXT_CODEC_TAG_NUM } from "./dyn.js";
 // SCR_DYNH_TAGS in scr_dyn.h lists the ScrDynHandleTag values by name, each
 // with an explicit value, so changes that add tags edit different lines. The
 // header itself fails to compile on a duplicate or out-of-range value; these
@@ -35,4 +35,9 @@ test("the backend's handle tag numbers match scr_dyn.h", () => {
         expect(values.get(tag), `${kind} (${tag})`).toBe(num);
     }
 });
+test("the backend's codec handle tag numbers match scr_dyn.h", () => {
+    const values = new Map(tags.map((tag) => [tag.name, tag.value]));
+    expect(values.get("SCR_DYNH_TEXT_DECODER")).toBe(TEXT_CODEC_TAG_NUM.TextDecoder);
+    expect(values.get("SCR_DYNH_TEXT_ENCODER")).toBe(TEXT_CODEC_TAG_NUM.TextEncoder);
+});
 //# sourceMappingURL=dyn-handle-tags.test.js.map

package/dist/backend/llvm/dyn-handle-tags.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"dyn-handle-tags.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/dyn-handle-tags.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAAE,kBAAkB,EAAE,MAAM,UAAU,CAAC;AAE9C,4EAA4E;AAC5E,6EAA6E;AAC7E,6EAA6E;AAC7E,4EAA4E;AAC5E,QAAQ;AACR,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,GAAG,CAAC,mCAAmC,EAAE,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;AACnG,MAAM,IAAI,GAAG,+CAA+C,CAAC,IAAI,CAAC,MAAM,CAAE,CAAC,CAAC,CAAE,CAAC;AAC/E,MAAM,IAAI,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,gCAAgC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;IAC1F,IAAI,EAAE,YAAY,IAAK,EAAE;IACzB,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC;CACrB,CAAC,CAAC,CAAC;AACJ,MAAM,QAAQ,GAAG,MAAM,CAAC,iCAAiC,CAAC,IAAI,CAAC,MAAM,CAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAE5E,IAAI,CAAC,4DAA4D,EAAE,GAAG,EAAE;IACtE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9E,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;AACtF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,+DAA+D,EAAE,GAAG,EAAE;IACzE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAK,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,IAAI,EAAE,CAAC;QACnC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI,MAAM,KAAK,EAAE,CAAC,CAAC,aAAa,EAAE,CAAC;QAChE,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACxB,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;IAC7C,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kDAAkD,EAAE,GAAG,EAAE;IAC5D,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACjE,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,EAAE,CAAC;QAC7D,MAAM,GAAG,GAAG,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC;QAC5C,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;QAChC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,GAAI,CAAC,EAAE,GAAG,IAAI,KAAK,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzD,CAAC;AACH,CAAC,CAAC,CAAC"}
+{"version":3,"file":"dyn-handle-tags.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/dyn-handle-tags.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,UAAU,CAAC;AAElE,4EAA4E;AAC5E,6EAA6E;AAC7E,6EAA6E;AAC7E,4EAA4E;AAC5E,QAAQ;AACR,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,GAAG,CAAC,mCAAmC,EAAE,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;AACnG,MAAM,IAAI,GAAG,+CAA+C,CAAC,IAAI,CAAC,MAAM,CAAE,CAAC,CAAC,CAAE,CAAC;AAC/E,MAAM,IAAI,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,gCAAgC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;IAC1F,IAAI,EAAE,YAAY,IAAK,EAAE;IACzB,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC;CACrB,CAAC,CAAC,CAAC;AACJ,MAAM,QAAQ,GAAG,MAAM,CAAC,iCAAiC,CAAC,IAAI,CAAC,MAAM,CAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAE5E,IAAI,CAAC,4DAA4D,EAAE,GAAG,EAAE;IACtE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9E,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;AACtF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,+DAA+D,EAAE,GAAG,EAAE;IACzE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAK,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,IAAI,EAAE,CAAC;QACnC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI,MAAM,KAAK,EAAE,CAAC,CAAC,aAAa,EAAE,CAAC;QAChE,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACxB,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;IAC7C,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kDAAkD,EAAE,GAAG,EAAE;IAC5D,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACjE,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,EAAE,CAAC;QAC7D,MAAM,GAAG,GAAG,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC;QAC5C,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;QAChC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,GAAI,CAAC,EAAE,GAAG,IAAI,KAAK,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzD,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,wDAAwD,EAAE,GAAG,EAAE;IAClE,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACjE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,WAAW,CAAC,CAAC;IACjF,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,WAAW,CAAC,CAAC;AACnF,CAAC,CAAC,CAAC"}

package/dist/backend/llvm/dyn.d.ts

@@ -9,6 +9,9 @@ export declare function recordDynKeepsIdentity(shape: IrRecordShape): boolean;
 /** ScrDynKind values (scr_runtime.h). */
 /** ScrDynHandleTag values (scr_dyn.h's explicit values; dyn-handle-tags.test.ts checks them). */
 export declare const DYN_HANDLE_TAG_NUM: Record<string, number>;
+/** The handle tags of TextEncoder and TextDecoder records boxed as dyn
+ * (scr_dyn.h; scr_text_codec_dyn.c boxes and unboxes them). */
+export declare const TEXT_CODEC_TAG_NUM: Record<"TextEncoder" | "TextDecoder", number>;
 export declare const DYN_KIND: {
     readonly NULL: 0;
     readonly BOOL: 1;
@@ -46,6 +49,8 @@ export interface DynHost extends WalkerHost {
     liveDynUnionRefAdapter(t: IrType & {
         kind: "union";
     }): string;
+    /** The module has declaration-typed boundary casts (IrModule.declBoundary). */
+    declBoundary?(): boolean;
     dynPromiseAdapter(t: IrType): string;
     isErrorClass(className: string): boolean;
     classSubtypes(className: string): readonly string[];
@@ -60,6 +65,8 @@ export declare class LlDyn {
     private readonly dynFuncThunks;
     private readonly dynFuncBoxes;
     private readonly dynFuncAdapters;
+    private readonly messageListeners;
+    private readonly messageReaders;
     private readonly promiseDynAdapters;
     private readonly mapDynOps;
     private dynToStrFn;
@@ -70,6 +77,9 @@ export declare class LlDyn {
     /** Emitted function definitions, in interning order. */
     readonly defs: string[];
     constructor(host: DynHost);
+    /** Journal replay (emit-journal.ts): builds or finds the helper a chunk
+     * emitter recorded, and answers its name. */
+    replayHelper(op: string, args: readonly unknown[]): string;
     /** The types a dyn matcher or builder for `t` checks structurally: record
      * fields and index values, array elements and union arms. */
     private structuralChildren;
@@ -97,6 +107,13 @@ export declare class LlDyn {
     /** In a recursive shape's builder body: record `value`, just allocated
      * for %d, before its members are built. */
     private recordBuilt;
+    /** The order a dyn value tries a union's arms in: the canonical order,
+     * except that among the record arms, those with more required fields go
+     * first, then those with more fields. Records are width-tolerant, so an
+     * arm with fewer fields (`{}`, or one whose fields are all optional,
+     * matches every object) would otherwise take an object that a wider arm
+     * also matches and drop the fields only the wider arm has. */
+    private unionArmOrder;
     /** Branch to a variant only after its literal discriminator and complete
      * structure match. Use the same path for predicates and builders. */
     private unionArmMatch;
@@ -228,6 +245,12 @@ export declare class LlDyn {
      * BUILD the typed value (+1), or throw the catchable path-annotated
      * TypeError and return a dummy with the pending flag set. */
     dynCheckHelper(t: IrType, preserveRefs?: boolean): string;
+    /** `i1`: %d is a handle box with tag `tag`. */
+    private handleTagMatches;
+    /** A TextEncoder or TextDecoder record boxes as its handle (+1), which
+     * holds the record by reference. A decoder passes the byte offsets of the
+     * fields its boxed decode reads. */
+    private textCodecToDyn;
     /** `sc_td_<n>(<T> v) -> ptr` — build a fresh dyn value from a
      * static one (+1), DEEP-COPYING composites. Borrows the operand.
      * Never throws. */
@@ -241,7 +264,8 @@ export declare class LlDyn {
      * inner typeKey. */
     private promiseDynAdapterHelper;
     /** Node's String() over a dyn value — sc_ds (+1 result) over the
-     * recursive sc_ds_buf walker. Borrowed operand; never throws. */
+     * recursive sc_ds_buf walker. Borrowed operand; an exception that an
+     * object's toString or valueOf throws stays pending. */
     dynToStrHelper(): string;
     /** A catch binding flowing into an `unknown` slot: the typed→unknown
      * deep-copy stance over the exception snapshot's runtime kind. */
@@ -255,6 +279,11 @@ export declare class LlDyn {
     /** The dyn argument spelling of one static value: dyn passes through
      * (+1), funcs box anonymously, everything else rides toDyn. `expr` is
      * BORROWED in every arm. Emits into the given builder. */
+    /** A live capsule of a record or array value (+1; the value is
+     * borrowed), as `dynFrom` with `liveRef` builds it; null for other
+     * types. Closures boxed in a declaration-typed boundary program return
+     * their records and arrays this way. */
+    private liveToDyn;
     private toDynExpr;
     /** The call thunk for one closure signature: validate each dyn arg
      * into the declared param type, call through the closure, convert the
@@ -266,6 +295,27 @@ export declare class LlDyn {
     dynFuncBoxHelper(t: IrType & {
         kind: "func";
     }): string;
+    /** `sc_dml_<n>(ptr c, ptr message) -> i1`, the typed message entry of a
+     * closure registered as a 'message' listener (ScrDynMessageListener):
+     * builds the closure's parameter from the message's nodes and calls the
+     * closure. It answers false, without calling it, when the message does
+     * not have the parameter's exact layout, and the listener then runs
+     * through its thunk on the decoded message, as before. Null when the
+     * signature's parameter has no message reader (messageReadable). */
+    messageListenerHelper(t: IrType & {
+        kind: "func";
+    }): string | null;
+    /** Whether a message reader can build T: numbers, booleans and strings;
+     * records of them with only declared fields, none of union type; and
+     * boxed unions of those arms and null or undefined without a literal
+     * discriminator, with at most one number, boolean and string arm. */
+    private messageReadable;
+    /** `sc_dmr_<n>(ptr message, size node, ptr fail) -> T`: T (+1) built
+     * from a message node, for a type messageReadable accepts. Sets *fail
+     * and returns a dummy when the node does not have T's layout: the arm
+     * the checked conversion would choose, a record's declared keys in
+     * declaration order and no others. */
+    private messageReaderHelper;
     /** The adapter closure body for one TARGET signature: caps[0] is an
      * untraced obj-box owning the dyn function value. */
     dynFuncAdapterHelper(t: IrType & {