@scriptc/compiler 0.4.5 → 0.4.6

package/dist/ir/ir.test.js

@@ -99,7 +99,9 @@ describe("checked records with opaque payloads", () => {
                 id: "unsafe",
                 fields: [
                     { name: "child", type: { kind: "record", shapeId: "unsafe" } },
-                    { name: "map", type: { kind: "map", key: STRING, value: F64 } },
+                    // The back-edge answers coinductively; this sibling is what makes
+                    // the shape uncheckable.
+                    { name: "payload", type: { kind: "caught" } },
                 ],
             },
         ],
@@ -197,6 +199,137 @@ describe("native process stream checked storage", () => {
         expect(canDynCheckTo(arrayOf(stream), record, union)).toBe(false);
     });
 });
+describe("native promise checked storage", () => {
+    test("preserves promise fields, elements and union arms without claiming JSON storage", () => {
+        const promise = { kind: "promise", inner: STRING };
+        const openPromise = { kind: "promise", inner: DYN };
+        const settled = { kind: "promise", inner: { kind: "void" } };
+        const reload = { kind: "record", shapeId: "reload" };
+        const optional = { kind: "union", unionId: "optionalReload" };
+        const record = (id) => id === "reload"
+            ? {
+                id,
+                fields: [
+                    { name: "readers", type: F64 },
+                    { name: "promise", type: promise },
+                ],
+            }
+            : undefined;
+        const union = (id) => id === "optionalReload" ? { id, arms: [reload, { kind: "undefinedT" }] } : undefined;
+        for (const type of [
+            promise,
+            openPromise,
+            settled,
+            arrayOf(promise),
+            { kind: "map", key: STRING, value: promise },
+            reload,
+            optional,
+            arrayOf(optional),
+        ]) {
+            expect(canConvertToDyn(type, record, union)).toBe(true);
+            expect(canDynCheckTo(type, record, union)).toBe(true);
+            expect(isJsonSafeType(type, record, union)).toBe(false);
+            expect(isJsonStringifySafeType(type, record, union)).toBe(false);
+        }
+        // A promise of a value with no dynamic representation stays outside the
+        // conversion domain, including when it sits in a record field.
+        const blocked = { kind: "promise", inner: arrayOf({ kind: "procStream" }) };
+        expect(canConvertToDyn(blocked, record, union)).toBe(false);
+        expect(canConvertToDyn(arrayOf(blocked), record, union)).toBe(false);
+        expect(canConvertToDyn({ kind: "record", shapeId: "blockedReload" }, (id) => id === "blockedReload" ? { id, fields: [{ name: "promise", type: blocked }] } : undefined, () => undefined)).toBe(false);
+    });
+});
+describe("recursive checked graphs", () => {
+    // A context whose method takes an options object whose callback receives
+    // the same context: the check domain re-enters the record through a
+    // checked slot, as a callback-options API does.
+    const records = new Map([
+        [
+            "context",
+            {
+                id: "context",
+                fields: [
+                    {
+                        name: "fork",
+                        type: {
+                            kind: "func",
+                            params: [STRING, { kind: "union", unionId: "options" }],
+                            ret: { kind: "promise", inner: { kind: "record", shapeId: "result" } },
+                        },
+                    },
+                ],
+            },
+        ],
+        [
+            "options",
+            {
+                id: "options",
+                fields: [
+                    {
+                        name: "withSession",
+                        type: {
+                            kind: "func",
+                            params: [{ kind: "record", shapeId: "context" }],
+                            ret: { kind: "promise", inner: { kind: "void" } },
+                        },
+                    },
+                ],
+            },
+        ],
+        ["result", { id: "result", fields: [{ name: "cancelled", type: { kind: "bool" } }] }],
+        [
+            "unsafeContext",
+            {
+                id: "unsafeContext",
+                fields: [
+                    {
+                        name: "fork",
+                        type: {
+                            kind: "func",
+                            params: [{ kind: "record", shapeId: "unsafeOptions" }],
+                            ret: { kind: "void" },
+                        },
+                    },
+                ],
+            },
+        ],
+        [
+            "unsafeOptions",
+            {
+                id: "unsafeOptions",
+                fields: [
+                    {
+                        name: "withSession",
+                        type: {
+                            kind: "func",
+                            params: [{ kind: "record", shapeId: "unsafeContext" }],
+                            ret: { kind: "void" },
+                        },
+                    },
+                    { name: "body", type: { kind: "caught" } },
+                ],
+            },
+        ],
+    ]);
+    const unions = new Map([
+        [
+            "options",
+            { id: "options", arms: [{ kind: "record", shapeId: "options" }, { kind: "undefinedT" }] },
+        ],
+    ]);
+    const record = (id) => records.get(id);
+    const union = (id) => unions.get(id);
+    test("answers a recursion back-edge coinductively in both directions", () => {
+        const context = { kind: "record", shapeId: "context" };
+        expect(canConvertToDyn(context, record, union)).toBe(true);
+        expect(canDynCheckTo(context, record, union)).toBe(true);
+        expect(canDynCheckTo({ kind: "union", unionId: "options" }, record, union)).toBe(true);
+    });
+    test("a failing field inside the cycle still refuses it", () => {
+        expect(canDynCheckTo({ kind: "record", shapeId: "unsafeContext" }, record, union)).toBe(false);
+        expect(canDynCheckTo({ kind: "record", shapeId: "unsafeOptions" }, record, union)).toBe(false);
+    });
+});
 describe("checked conversion graph traversal", () => {
     test.each([
         { label: "boxing", convert: canConvertToDyn },

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

@@ -1 +1 @@
-{"version":3,"file":"ir.test.js","sourceRoot":"","sources":["../../src/ir/ir.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAEhD,OAAO,EACL,GAAG,EACH,GAAG,EACH,YAAY,EACZ,kBAAkB,EAClB,OAAO,EACP,eAAe,EACf,aAAa,EAEb,cAAc,EACd,gBAAgB,EAChB,uBAAuB,EACvB,0BAA0B,EAI1B,aAAa,EACb,MAAM,EACN,OAAO,EACP,UAAU,EACV,OAAO,GACR,MAAM,SAAS,CAAC;AAEjB,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,MAAM,GAAG,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,CAAC;QACvC,IAAI,EAAE,WAAW;QACjB,MAAM;QACN,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;QACtB,KAAK,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;KAC9B,CAAC,CAAC;IAEH,IAAI,CAAC,gDAAgD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC5F,MAAM,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACjF,MAAM,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC1F,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACxF,MAAM,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC5D,MAAM,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACjE,MAAM,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC3E,MAAM,CAAC,gBAAgB,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACxD,MAAM,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,GAAG,EAAY,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC7F,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,IAAI,CAAC,iDAAiD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClD,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpD,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;YAChC,IAAI,IAAI,KAAK,YAAY;gBAAE,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxE,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,uDAAuD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/C,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,uCAAuC,EAAE,GAAG,EAAE;QACjD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;QAC/B,MAAM,SAAS,GAAG;YAChB,IAAI,EAAE,MAAe;YACrB,MAAM,EAAE,CAAC,MAAM,CAAC;YAChB,GAAG,EAAE,MAAM;YACX,IAAI,EAAE,IAAa;YACnB,OAAO,EAAE,OAAgB;SAC1B,CAAC;QACF,MAAM,KAAK,GAAG,EAAE,IAAI,EAAE,MAAe,EAAE,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;QACvE,MAAM,CAAC,UAAU,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjD,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACvE,MAAM,IAAI,GAAG;YACX,IAAI,EAAE,MAAe;YACrB,MAAM,EAAE,CAAC,MAAM,CAAC;YAChB,GAAG,EAAE,MAAM;YACX,IAAI,EAAE,IAAa;YACnB,YAAY,EAAE,IAAa;SAC5B,CAAC;QACF,MAAM,OAAO,GAAG,EAAE,IAAI,EAAE,MAAe,EAAE,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,IAAa,EAAE,CAAC;QAC9F,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9C,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAwB;QAC7C;YACE,SAAS;YACT;gBACE,EAAE,EAAE,SAAS;gBACb,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBACzB,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE;iBAC7B;aACF;SACF;QACD;YACE,WAAW;YACX;gBACE,EAAE,EAAE,WAAW;gBACf,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,EAAE;oBAC7E,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE;iBAC/B;aACF;SACF;QACD;YACE,OAAO;YACP;gBACE,EAAE,EAAE,OAAO;gBACX,KAAK,EAAE,IAAI;gBACX,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE;oBAC3B,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE;iBACzB;aACF;SACF;QACD;YACE,QAAQ;YACR;gBACE,EAAE,EAAE,QAAQ;gBACZ,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE;oBAC9D,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE;iBAChE;aACF;SACF;KACF,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,IAAI,GAAG,CAAqB;QACzC;YACE,UAAU;YACV,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,EAAE;SAC3F;KACF,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,CAAC,EAAU,EAA6B,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC1E,MAAM,KAAK,GAAG,CAAC,EAAU,EAA0B,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAErE,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC,CAC1C,uDAAuD,EACvD,CAAC,EAAE,EAAE,EAAE;QACL,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;QACrD,MAAM,CAAC,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtD,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxD,MAAM,CAAC,uBAAuB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjE,MAAM,CAAC,0BAA0B,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrE,CAAC,CACF,CAAC;IAEF,IAAI,CAAC,+EAA+E,EAAE,GAAG,EAAE;QACzF,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9D,MAAM,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1F,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxF,MAAM,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzF,MAAM,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxF,MAAM,CAAC,0BAA0B,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAC3F,KAAK,CACN,CAAC;QACF,MAAM,CAAC,0BAA0B,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAC5F,KAAK,CACN,CAAC;QACF,MAAM,CAAC,0BAA0B,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAC3F,KAAK,CACN,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,4EAA4E,EAAE,GAAG,EAAE;QACtF,MAAM,CAAC,0BAA0B,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAC5F,KAAK,CACN,CAAC;QACF,MAAM,CAAC,0BAA0B,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnE,MAAM,CAAC,0BAA0B,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3E,MAAM,CAAC,0BAA0B,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/E,MAAM,CACJ,0BAA0B,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,CAC3F,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC7E,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;QAC7D,MAAM,OAAO,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;QAChE,MAAM,CAAC,0BAA0B,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpE,MAAM,CAAC,0BAA0B,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7E,MAAM,CAAC,0BAA0B,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvE,MAAM,CAAC,uBAAuB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClE,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzD,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAkB,CAAC,CACzD,6DAA6D,EAC7D,CAAC,IAAI,EAAE,EAAE;QACP,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QAC3B,MAAM,MAAM,GAAG,CAAC,EAAU,EAA6B,EAAE,CACvD,EAAE,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACzF,MAAM,KAAK,GAAG,GAAG,EAAE,CAAC,SAAS,CAAC;QAC9B,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;QAC3D,MAAM,CAAC,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,MAAM,CAAC,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvD,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3D,CAAC,CACF,CAAC;AACJ,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAI,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC5E,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QAC1C,MAAM,MAAM,GAAG,CAAC,EAAU,EAA6B,EAAE,CACvD,EAAE,KAAK,UAAU,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QAC9F,MAAM,KAAK,GAAG,GAA2B,EAAE,CAAC,SAAS,CAAC;QACtD,KAAK,MAAM,IAAI,IAAI;YACjB,MAAM;YACN,OAAO,CAAC,MAAM,CAAC;YACf,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAY;SAClD,EAAE,CAAC;YACF,MAAM,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxD,MAAM,CAAC,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtD,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACxD,MAAM,CAAC,uBAAuB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnE,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAI,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACxF,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;QAC9C,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,gBAAgB,EAAE,CAAC;QACtE,MAAM,MAAM,GAAG,CAAC,EAAU,EAA6B,EAAE,CACvD,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACtF,MAAM,KAAK,GAAG,CAAC,EAAU,EAA0B,EAAE,CACnD,EAAE,KAAK,gBAAgB,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACvF,KAAK,MAAM,IAAI,IAAI;YACjB,MAAM;YACN,QAAQ;YACR,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAY;YAChD,OAAO,CAAC,QAAQ,CAAC;SAClB,EAAE,CAAC;YACF,MAAM,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxD,MAAM,CAAC,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtD,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1D,CAAC;QACD,MAAM,CAAC,eAAe,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpE,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAI,CAAC,IAAI,CAAC;QACR,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,eAAe,EAAE;QAC7C,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,aAAa,EAAE;KAC9C,CAAC,CAAC,iDAAiD,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE;QACpE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAyB,CAAC;QACjD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAsB,CAAC;QAC7C,IAAI,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,EAChB,OAAO,GAAG,IAAI,CAAC,EAAE,CAAC;YACpB,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE;gBACd,EAAE;gBACF,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE;oBACtB,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE;iBACxB;aACF,CAAC,CAAC;YACH,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE;gBAClB,EAAE,EAAE,OAAO;gBACX,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;aAChE,CAAC,CAAC;YACH,IAAI,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;QACpC,CAAC;QACD,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,MAAM,CACJ,OAAO,CACL,IAAI,EACJ,CAAC,EAAE,EAAE,EAAE;YACL,OAAO,EAAE,CAAC;YACV,OAAO,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACzB,CAAC,EACD,CAAC,EAAE,EAAE,EAAE;YACL,OAAO,EAAE,CAAC;YACV,OAAO,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACxB,CAAC,CACF,CACF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,gEAAgE,EAAE,GAAG,EAAE;QAC1E,MAAM,OAAO,GAAG,IAAI,GAAG,CAAwB;YAC7C;gBACE,QAAQ;gBACR;oBACE,EAAE,EAAE,QAAQ;oBACZ,MAAM,EAAE;wBACN,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE;wBAC7D,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;qBAClD;iBACF;aACF;YACD;gBACE,OAAO;gBACP;oBACE,EAAE,EAAE,OAAO;oBACX,MAAM,EAAE;wBACN,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE;wBAC/D,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;qBAC7C;iBACF;aACF;SACF,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QACnC,MAAM,SAAS,GAAG,CAAC,EAAU,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAClD,MAAM,CACJ,eAAe,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC,CAC7F,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACd,MAAM,CACJ,eAAe,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC,CAC5F,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"ir.test.js","sourceRoot":"","sources":["../../src/ir/ir.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAEhD,OAAO,EACL,GAAG,EACH,GAAG,EACH,YAAY,EACZ,kBAAkB,EAClB,OAAO,EACP,eAAe,EACf,aAAa,EAEb,cAAc,EACd,gBAAgB,EAChB,uBAAuB,EACvB,0BAA0B,EAI1B,aAAa,EACb,MAAM,EACN,OAAO,EACP,UAAU,EACV,OAAO,GACR,MAAM,SAAS,CAAC;AAEjB,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,MAAM,GAAG,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,CAAC;QACvC,IAAI,EAAE,WAAW;QACjB,MAAM;QACN,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;QACtB,KAAK,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;KAC9B,CAAC,CAAC;IAEH,IAAI,CAAC,gDAAgD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC5F,MAAM,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACjF,MAAM,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC1F,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACxF,MAAM,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC5D,MAAM,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACjE,MAAM,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC3E,MAAM,CAAC,gBAAgB,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACxD,MAAM,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,GAAG,EAAY,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC7F,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,IAAI,CAAC,iDAAiD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClD,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpD,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;YAChC,IAAI,IAAI,KAAK,YAAY;gBAAE,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxE,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,uDAAuD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/C,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,uCAAuC,EAAE,GAAG,EAAE;QACjD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;QAC/B,MAAM,SAAS,GAAG;YAChB,IAAI,EAAE,MAAe;YACrB,MAAM,EAAE,CAAC,MAAM,CAAC;YAChB,GAAG,EAAE,MAAM;YACX,IAAI,EAAE,IAAa;YACnB,OAAO,EAAE,OAAgB;SAC1B,CAAC;QACF,MAAM,KAAK,GAAG,EAAE,IAAI,EAAE,MAAe,EAAE,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;QACvE,MAAM,CAAC,UAAU,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjD,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACvE,MAAM,IAAI,GAAG;YACX,IAAI,EAAE,MAAe;YACrB,MAAM,EAAE,CAAC,MAAM,CAAC;YAChB,GAAG,EAAE,MAAM;YACX,IAAI,EAAE,IAAa;YACnB,YAAY,EAAE,IAAa;SAC5B,CAAC;QACF,MAAM,OAAO,GAAG,EAAE,IAAI,EAAE,MAAe,EAAE,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,IAAa,EAAE,CAAC;QAC9F,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9C,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAwB;QAC7C;YACE,SAAS;YACT;gBACE,EAAE,EAAE,SAAS;gBACb,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBACzB,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE;iBAC7B;aACF;SACF;QACD;YACE,WAAW;YACX;gBACE,EAAE,EAAE,WAAW;gBACf,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,EAAE;oBAC7E,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE;iBAC/B;aACF;SACF;QACD;YACE,OAAO;YACP;gBACE,EAAE,EAAE,OAAO;gBACX,KAAK,EAAE,IAAI;gBACX,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE;oBAC3B,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE;iBACzB;aACF;SACF;QACD;YACE,QAAQ;YACR;gBACE,EAAE,EAAE,QAAQ;gBACZ,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE;oBAC9D,kEAAkE;oBAClE,yBAAyB;oBACzB,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;iBAC9C;aACF;SACF;KACF,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,IAAI,GAAG,CAAqB;QACzC;YACE,UAAU;YACV,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,EAAE;SAC3F;KACF,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,CAAC,EAAU,EAA6B,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC1E,MAAM,KAAK,GAAG,CAAC,EAAU,EAA0B,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAErE,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC,CAC1C,uDAAuD,EACvD,CAAC,EAAE,EAAE,EAAE;QACL,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;QACrD,MAAM,CAAC,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtD,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxD,MAAM,CAAC,uBAAuB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjE,MAAM,CAAC,0BAA0B,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrE,CAAC,CACF,CAAC;IAEF,IAAI,CAAC,+EAA+E,EAAE,GAAG,EAAE;QACzF,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9D,MAAM,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1F,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxF,MAAM,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzF,MAAM,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxF,MAAM,CAAC,0BAA0B,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAC3F,KAAK,CACN,CAAC;QACF,MAAM,CAAC,0BAA0B,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAC5F,KAAK,CACN,CAAC;QACF,MAAM,CAAC,0BAA0B,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAC3F,KAAK,CACN,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,4EAA4E,EAAE,GAAG,EAAE;QACtF,MAAM,CAAC,0BAA0B,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAC5F,KAAK,CACN,CAAC;QACF,MAAM,CAAC,0BAA0B,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnE,MAAM,CAAC,0BAA0B,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3E,MAAM,CAAC,0BAA0B,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/E,MAAM,CACJ,0BAA0B,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,CAC3F,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC7E,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;QAC7D,MAAM,OAAO,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;QAChE,MAAM,CAAC,0BAA0B,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpE,MAAM,CAAC,0BAA0B,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7E,MAAM,CAAC,0BAA0B,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvE,MAAM,CAAC,uBAAuB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClE,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzD,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAkB,CAAC,CACzD,6DAA6D,EAC7D,CAAC,IAAI,EAAE,EAAE;QACP,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QAC3B,MAAM,MAAM,GAAG,CAAC,EAAU,EAA6B,EAAE,CACvD,EAAE,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACzF,MAAM,KAAK,GAAG,GAAG,EAAE,CAAC,SAAS,CAAC;QAC9B,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;QAC3D,MAAM,CAAC,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,MAAM,CAAC,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvD,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3D,CAAC,CACF,CAAC;AACJ,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAI,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC5E,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QAC1C,MAAM,MAAM,GAAG,CAAC,EAAU,EAA6B,EAAE,CACvD,EAAE,KAAK,UAAU,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QAC9F,MAAM,KAAK,GAAG,GAA2B,EAAE,CAAC,SAAS,CAAC;QACtD,KAAK,MAAM,IAAI,IAAI;YACjB,MAAM;YACN,OAAO,CAAC,MAAM,CAAC;YACf,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAY;SAClD,EAAE,CAAC;YACF,MAAM,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxD,MAAM,CAAC,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtD,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACxD,MAAM,CAAC,uBAAuB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnE,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAI,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACxF,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;QAC9C,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,gBAAgB,EAAE,CAAC;QACtE,MAAM,MAAM,GAAG,CAAC,EAAU,EAA6B,EAAE,CACvD,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACtF,MAAM,KAAK,GAAG,CAAC,EAAU,EAA0B,EAAE,CACnD,EAAE,KAAK,gBAAgB,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACvF,KAAK,MAAM,IAAI,IAAI;YACjB,MAAM;YACN,QAAQ;YACR,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAY;YAChD,OAAO,CAAC,QAAQ,CAAC;SAClB,EAAE,CAAC;YACF,MAAM,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxD,MAAM,CAAC,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtD,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1D,CAAC;QACD,MAAM,CAAC,eAAe,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpE,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAI,CAAC,iFAAiF,EAAE,GAAG,EAAE;QAC3F,MAAM,OAAO,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QAC3D,MAAM,WAAW,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QAC5D,MAAM,OAAO,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC;QACrE,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;QAC7D,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,gBAAgB,EAAE,CAAC;QACtE,MAAM,MAAM,GAAG,CAAC,EAAU,EAA6B,EAAE,CACvD,EAAE,KAAK,QAAQ;YACb,CAAC,CAAC;gBACE,EAAE;gBACF,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE;oBAC9B,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE;iBACnC;aACF;YACH,CAAC,CAAC,SAAS,CAAC;QAChB,MAAM,KAAK,GAAG,CAAC,EAAU,EAA0B,EAAE,CACnD,EAAE,KAAK,gBAAgB,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACvF,KAAK,MAAM,IAAI,IAAI;YACjB,OAAO;YACP,WAAW;YACX,OAAO;YACP,OAAO,CAAC,OAAO,CAAC;YAChB,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAY;YACtD,MAAM;YACN,QAAQ;YACR,OAAO,CAAC,QAAQ,CAAC;SAClB,EAAE,CAAC;YACF,MAAM,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxD,MAAM,CAAC,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtD,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACxD,MAAM,CAAC,uBAAuB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnE,CAAC;QACD,wEAAwE;QACxE,+DAA+D;QAC/D,MAAM,OAAO,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC;QACpF,MAAM,CAAC,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5D,MAAM,CAAC,eAAe,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrE,MAAM,CACJ,eAAe,CACb,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,eAAe,EAAE,EAC5C,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,KAAK,eAAe,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,EAC3F,GAAG,EAAE,CAAC,SAAS,CAChB,CACF,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,yEAAyE;IACzE,oEAAoE;IACpE,gDAAgD;IAChD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAwB;QAC7C;YACE,SAAS;YACT;gBACE,EAAE,EAAE,SAAS;gBACb,MAAM,EAAE;oBACN;wBACE,IAAI,EAAE,MAAM;wBACZ,IAAI,EAAE;4BACJ,IAAI,EAAE,MAAM;4BACZ,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;4BACvD,GAAG,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE;yBACvE;qBACF;iBACF;aACF;SACF;QACD;YACE,SAAS;YACT;gBACE,EAAE,EAAE,SAAS;gBACb,MAAM,EAAE;oBACN;wBACE,IAAI,EAAE,aAAa;wBACnB,IAAI,EAAE;4BACJ,IAAI,EAAE,MAAM;4BACZ,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;4BAChD,GAAG,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE;yBAClD;qBACF;iBACF;aACF;SACF;QACD,CAAC,QAAQ,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC;QACrF;YACE,eAAe;YACf;gBACE,EAAE,EAAE,eAAe;gBACnB,MAAM,EAAE;oBACN;wBACE,IAAI,EAAE,MAAM;wBACZ,IAAI,EAAE;4BACJ,IAAI,EAAE,MAAM;4BACZ,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC;4BACtD,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;yBACtB;qBACF;iBACF;aACF;SACF;QACD;YACE,eAAe;YACf;gBACE,EAAE,EAAE,eAAe;gBACnB,MAAM,EAAE;oBACN;wBACE,IAAI,EAAE,aAAa;wBACnB,IAAI,EAAE;4BACJ,IAAI,EAAE,MAAM;4BACZ,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC;4BACtD,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;yBACtB;qBACF;oBACD,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;iBAC3C;aACF;SACF;KACF,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,IAAI,GAAG,CAAqB;QACzC;YACE,SAAS;YACT,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,EAAE;SAC1F;KACF,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,CAAC,EAAU,EAA6B,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC1E,MAAM,KAAK,GAAG,CAAC,EAAU,EAA0B,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAErE,IAAI,CAAC,gEAAgE,EAAE,GAAG,EAAE;QAC1E,MAAM,OAAO,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;QAC/D,MAAM,CAAC,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3D,MAAM,CAAC,aAAa,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,MAAM,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzF,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,eAAe,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/F,MAAM,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,eAAe,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjG,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAI,CAAC,IAAI,CAAC;QACR,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,eAAe,EAAE;QAC7C,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,aAAa,EAAE;KAC9C,CAAC,CAAC,iDAAiD,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE;QACpE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAyB,CAAC;QACjD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAsB,CAAC;QAC7C,IAAI,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,EAChB,OAAO,GAAG,IAAI,CAAC,EAAE,CAAC;YACpB,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE;gBACd,EAAE;gBACF,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE;oBACtB,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE;iBACxB;aACF,CAAC,CAAC;YACH,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE;gBAClB,EAAE,EAAE,OAAO;gBACX,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;aAChE,CAAC,CAAC;YACH,IAAI,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;QACpC,CAAC;QACD,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,MAAM,CACJ,OAAO,CACL,IAAI,EACJ,CAAC,EAAE,EAAE,EAAE;YACL,OAAO,EAAE,CAAC;YACV,OAAO,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACzB,CAAC,EACD,CAAC,EAAE,EAAE,EAAE;YACL,OAAO,EAAE,CAAC;YACV,OAAO,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACxB,CAAC,CACF,CACF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,gEAAgE,EAAE,GAAG,EAAE;QAC1E,MAAM,OAAO,GAAG,IAAI,GAAG,CAAwB;YAC7C;gBACE,QAAQ;gBACR;oBACE,EAAE,EAAE,QAAQ;oBACZ,MAAM,EAAE;wBACN,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE;wBAC7D,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;qBAClD;iBACF;aACF;YACD;gBACE,OAAO;gBACP;oBACE,EAAE,EAAE,OAAO;oBACX,MAAM,EAAE;wBACN,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE;wBAC/D,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;qBAC7C;iBACF;aACF;SACF,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QACnC,MAAM,SAAS,GAAG,CAAC,EAAU,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAClD,MAAM,CACJ,eAAe,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC,CAC7F,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACd,MAAM,CACJ,eAAe,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC,CAC5F,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/ir/jsval.js

@@ -27,16 +27,22 @@
  *   dynamic functions returns a jsval, so a number it returns is not boxed
  *   (static callers, function values, exports and class members keep the
  *   dyn ABI);
+ * - such a function also takes a jsval for each parameter whose callers
+ *   mostly pass operator results or static numbers, unless its own reads
+ *   of the parameter by dyn consumers box more often than its callers do;
  * - a dyn local becomes a jsval local when the boxing it saves on writes
  *   of operator results outweighs the boxing its reads by dyn consumers add
- *   (loop depth weights both).
+ *   (loop depth weights both);
+ * - a dyn module global becomes a jsval global by the same measure, summed
+ *   over every function, when only dynamic-tier functions reference it.
  *
  * The rewrite changes representation only: every js builtin implements its
  * dyn twin's JS semantics, including ToPrimitive order and error messages
  * (scr_js_value.c delegates every non-number case to the dyn operator).
- * Static functions are never touched (invariant I1). Parameters, captures
- * and containers still hold cells until the shaped object model and the
- * dynamic call ABI (stages S4 and S5) replace them.
+ * Static functions are never touched (invariant I1). Captures, containers
+ * and the parameters of functions reached other than by direct calls still
+ * hold cells until the shaped object model and the dynamic call ABI
+ * (stages S4 and S5) replace them.
  *
  * Async functions and generators are rewritten like other functions (their
  * suspensions keep jsvals like any pointer) but keep the dyn result ABI. */
@@ -88,25 +94,34 @@ export function jsvalEligible(fn) {
 /** Rewrite every eligible dynamic-tier function of a module in place.
  * Returns the number of functions that now use jsval. */
 export function promoteJsvals(mod) {
-    const results = jsvalResults(mod);
+    const direct = directCallees(mod);
+    const results = new Set();
+    for (const fn of mod.functions)
+        if (direct.has(fn.name) && fn.returnType.kind === "dyn")
+            results.add(fn.name);
     const sites = new JsIcSites(mod);
     const storesJs = (e) => e.kind === "call" && sites.site(e.callee)?.kind === "set";
+    const params = jsvalParams(mod, direct, results, storesJs);
+    const globals = promotableGlobals(mod, results, params, storesJs);
     let count = 0;
     for (const fn of mod.functions)
-        if (jsvalEligible(fn) && promoteFunction(fn, results, storesJs))
+        if (jsvalEligible(fn) && promoteFunction(fn, results, params, storesJs, globals))
             count++;
     for (const fn of mod.functions)
         if (results.has(fn.name))
             fn.returnType = JSVAL;
+    for (const global of mod.globals ?? [])
+        if (globals.has(global.id))
+            global.type = JSVAL;
     return count;
 }
-/** Dynamic-tier functions whose dyn result becomes a jsval result, so a
- * number they return is not boxed: eligible functions whose every
- * reference is a direct call from a dynamic-tier function (static callers
- * keep their exact code, I1). Function values, library exports, the entry
- * and class members (`%<class>.<member>`, which vtables and the runtime
- * reach by name) keep the dyn ABI. */
-function jsvalResults(mod) {
+/** Dynamic-tier functions whose ABI the pass may change, so a number they
+ * return or take is not boxed: eligible functions whose every reference is
+ * a direct call from a dynamic-tier function (static callers keep their
+ * exact code, I1). Function values, library exports, the entry and class
+ * members (`%<class>.<member>`, which vtables and the runtime reach by
+ * name) keep the dyn ABI. */
+function directCallees(mod) {
     const classPrefixes = (mod.classes ?? []).map((cls) => `%${cls.name}.`);
     const results = new Set();
     for (const fn of mod.functions) {
@@ -114,8 +129,6 @@ function jsvalResults(mod) {
         // generator object: only synchronous functions return their result.
         if (!jsvalEligible(fn) || fn.async !== undefined || fn.generator !== undefined)
             continue;
-        if (fn.returnType.kind !== "dyn")
-            continue;
         if (fn.name.includes(".") && !fn.name.startsWith("%dyn."))
             continue;
         if (classPrefixes.some((prefix) => fn.name.startsWith(prefix)))
@@ -144,26 +157,175 @@ function jsvalResults(mod) {
     }
     return results;
 }
+/** The parameters of direct callees that take a jsval, by position. A dyn
+ * parameter of a direct callee other than a library helper (`%dyn.*`,
+ * whose calls the inline caches emit) is a candidate. Its credit is the
+ * share of its arguments, weighted by the callers' loop depth, that the
+ * callers compute as jsvals (operator results, jsval results and static
+ * numbers): the boxing a call saves. promotableLocals weighs it against
+ * the callee's reads of the parameter by dyn consumers. */
+function jsvalParams(mod, direct, results, storesJs) {
+    const byName = new Map();
+    const passed = new Map();
+    for (const fn of mod.functions) {
+        byName.set(fn.name, fn);
+        if (!direct.has(fn.name) || fn.name.startsWith("%dyn."))
+            continue;
+        if (!fn.params.some((p) => p.type.kind === "dyn"))
+            continue;
+        passed.set(fn.name, { total: fn.params.map(() => 0), js: fn.params.map(() => 0) });
+    }
+    const params = new Map();
+    if (passed.size === 0)
+        return params;
+    const jsArgument = (e) => isProducerCall(e) || isImmediateSource(e) || (e.kind === "call" && results.has(e.callee));
+    for (const fn of mod.functions) {
+        if (fn.tier !== "dynamic")
+            continue;
+        everyWeightedExpr(fn.body, (e, weight) => {
+            const counts = e.kind === "call" ? passed.get(e.callee) : undefined;
+            if (counts === undefined || e.kind !== "call")
+                return;
+            e.args.forEach((arg, i) => {
+                if (i >= counts.total.length || arg.type.kind !== "dyn")
+                    return;
+                counts.total[i] += weight;
+                if (jsArgument(arg))
+                    counts.js[i] += weight;
+            });
+        });
+    }
+    const producer = (e) => isProducerCall(e) || (e.kind === "call" && results.has(e.callee));
+    for (const [name, counts] of passed) {
+        const fn = byName.get(name);
+        const credits = new Map();
+        fn.params.forEach((p, i) => {
+            if (p.type.kind === "dyn" && counts.js[i] > 0)
+                credits.set(p.localId, counts.js[i] / counts.total[i]);
+        });
+        if (credits.size === 0)
+            continue;
+        const promoted = promotableLocals(fn, producer, results.has(name), storesJs, credits);
+        const js = fn.params.map((p) => credits.has(p.localId) && promoted.has(p.localId));
+        if (js.includes(true))
+            params.set(name, js);
+    }
+    return params;
+}
+/** Visit every expression of a body with its loop weight. */
+function everyWeightedExpr(body, visit) {
+    const expr = (e, weight) => {
+        visit(e, weight);
+        everyExprChild(e, (child) => {
+            expr(child, weight);
+            return true;
+        }, (child) => {
+            stmt(child, weight);
+            return true;
+        });
+    };
+    const stmt = (s, weight) => {
+        const inner = s.kind === "while" || s.kind === "doWhile" || s.kind === "for" || s.kind === "forOf"
+            ? Math.min(weight * LOOP_WEIGHT, MAX_WEIGHT)
+            : weight;
+        everyStmtChild(s, (child) => {
+            expr(child, inner);
+            return true;
+        }, (child) => {
+            stmt(child, inner);
+            return true;
+        });
+    };
+    for (const s of body)
+        stmt(s, 1);
+}
 /* ── local promotion ─────────────────────────────────────────────────── */
 const LOOP_WEIGHT = 8;
 const MAX_WEIGHT = 8 ** 6;
 /** The dyn locals of a function that become jsval locals. `producer`
- * tells which dyn expressions the rewrite computes as jsvals. */
-function promotableLocals(fn, producer, jsResult, storesJs) {
+ * tells which dyn expressions the rewrite computes as jsvals. Parameters
+ * are candidates only with a credit (jsvalParams); `jsParams` lists the
+ * arguments that calls pass as jsvals. */
+function promotableLocals(fn, producer, jsResult, storesJs, credits = new Map(), jsParams = new Map()) {
+    const candidates = localCandidates(fn, credits);
+    if (candidates.size === 0)
+        return new Set();
+    const blocked = new Set();
+    scanBindingCosts(fn, candidates, blocked, producer, jsResult, storesJs, jsParams);
+    const promoted = new Set();
+    for (const [id, cost] of candidates)
+        if (!blocked.has(id) && cost.saved > cost.added)
+            promoted.add(id);
+    return promoted;
+}
+/** The dyn locals of a function that may become jsval locals, parameters
+ * with their credit. */
+function localCandidates(fn, credits) {
     const candidates = new Map();
     for (const local of fn.locals) {
         if (local.type.kind === "dyn" && local.boxed === undefined && local.tdz === undefined)
             candidates.set(local.id, { saved: 0, added: 0 });
     }
-    for (const p of fn.params)
-        candidates.delete(p.localId);
+    for (const p of fn.params) {
+        const cost = candidates.get(p.localId);
+        const credit = credits.get(p.localId);
+        if (cost === undefined || credit === undefined)
+            candidates.delete(p.localId);
+        else
+            cost.saved += credit;
+    }
     for (const c of fn.captures ?? [])
         candidates.delete(c.localId);
     for (const c of fn.classCaptures ?? [])
         candidates.delete(c.localId);
+    return candidates;
+}
+/** The dyn module globals that become jsval globals: those that only
+ * dynamic-tier functions reference, by reads and plain writes, and whose
+ * saved boxing outweighs the added boxing summed over every function, the
+ * same measure as for locals. Libraries keep every global (the host reads
+ * exported bindings), and so do bindings with a temporal dead zone. */
+function promotableGlobals(mod, results, jsParams, storesJs) {
+    const candidates = new Map();
+    if (mod.lib !== undefined)
+        return new Set();
+    for (const global of mod.globals ?? [])
+        if (global.type.kind === "dyn" && global.tdz === undefined && global.initFlag === undefined)
+            candidates.set(global.id, { saved: 0, added: 0 });
     if (candidates.size === 0)
         return new Set();
     const blocked = new Set();
+    const producer = (e) => isProducerCall(e) || (e.kind === "call" && results.has(e.callee));
+    for (const fn of mod.functions) {
+        if (!jsvalEligible(fn)) {
+            // A static function reads and writes the binding as a cell (I1).
+            everyStmtList(fn.body, {
+                expr: (e) => {
+                    if ((e.kind === "varRef" || e.kind === "assignExpr" || e.kind === "incDec") &&
+                        candidates.has(e.localId))
+                        blocked.add(e.localId);
+                    return true;
+                },
+                stmt: (st) => {
+                    if ((st.kind === "assign" || st.kind === "forOf") && candidates.has(st.localId))
+                        blocked.add(st.localId);
+                    return true;
+                },
+            });
+            continue;
+        }
+        scanBindingCosts(fn, candidates, blocked, producer, results.has(fn.name), storesJs, jsParams);
+    }
+    const promoted = new Set();
+    for (const [id, cost] of candidates)
+        if (!blocked.has(id) && cost.saved > cost.added)
+            promoted.add(id);
+    return promoted;
+}
+/** Adds to `candidates` the boxing a jsval binding saves and adds in `fn`,
+ * and to `blocked` the candidates `fn` references other than by reads and
+ * plain writes. */
+function scanBindingCosts(fn, candidates, blocked, producer, jsResult, storesJs, jsParams) {
     const write = (id, value, weight) => {
         const cost = candidates.get(id);
         if (cost === undefined)
@@ -211,14 +373,20 @@ function promotableLocals(fn, producer, jsResult, storesJs) {
                     return;
                 }
                 break;
-            case "call":
+            case "call": {
                 // An inline-cache store takes its value as a jsval (S4).
                 if (storesJs(e)) {
                     expr(e.args[0], false, weight);
                     expr(e.args[1], true, weight);
                     return;
                 }
+                const js = jsParams.get(e.callee);
+                if (js !== undefined) {
+                    e.args.forEach((arg, i) => expr(arg, js[i] === true, weight));
+                    return;
+                }
                 break;
+            }
             default:
                 break;
         }
@@ -306,23 +474,25 @@ function promotableLocals(fn, producer, jsResult, storesJs) {
     };
     for (const s of fn.body)
         stmt(s, 1);
-    const promoted = new Set();
-    for (const [id, cost] of candidates)
-        if (!blocked.has(id) && cost.saved > cost.added)
-            promoted.add(id);
-    return promoted;
 }
 /** A statement-level sequence whose result nothing reads. */
 function discardedSequence(e) {
     return e.kind === "seqExpr" && e.generatorDelegate === undefined && e.diverges === undefined;
 }
 /* ── the rewrite ─────────────────────────────────────────────────────── */
-function promoteFunction(fn, results, storesJs) {
+function promoteFunction(fn, results, params, storesJs, globals) {
     const resultCall = (e) => e.kind === "call" && results.has(e.callee);
     const operatorCall = (e) => isProducerCall(e);
-    const promoted = promotableLocals(fn, (e) => operatorCall(e) || resultCall(e), results.has(fn.name), storesJs);
+    const promoted = promotableLocals(fn, (e) => operatorCall(e) || resultCall(e), results.has(fn.name), storesJs, new Map(), params);
+    for (const id of globals)
+        promoted.add(id);
+    const ownParams = params.get(fn.name);
+    fn.params.forEach((p, i) => {
+        if (ownParams?.[i] === true)
+            promoted.add(p.localId);
+    });
     const ownResult = results.has(fn.name);
-    let changed = false;
+    let changed = ownParams !== undefined;
     const producesJs = (e) => operatorCall(e) ||
         resultCall(e) ||
         ((e.kind === "varRef" || e.kind === "assignExpr") && promoted.has(e.localId));
@@ -333,11 +503,16 @@ function promoteFunction(fn, results, storesJs) {
         type,
         loc: e.loc,
     });
+    /** A call's arguments, as jsvals where the callee takes them so. */
+    const callArgs = (e) => {
+        const js = params.get(e.callee);
+        return e.args.map((arg, i) => (js?.[i] === true ? toJs(arg) : rewrite(arg)));
+    };
     /** A dyn-typed expression as a jsval. */
     const toJs = (e) => {
         changed = true;
         if (e.kind === "call" && results.has(e.callee))
-            return { ...e, args: e.args.map(rewrite), type: JSVAL };
+            return { ...e, args: callArgs(e), type: JSVAL };
         if (e.kind === "libCall" && Object.hasOwn(PRODUCERS, e.fn)) {
             return libCall(PRODUCERS[e.fn], e.args.map((arg) => (arg.type.kind === "dyn" ? toJs(arg) : rewrite(arg))), e);
         }
@@ -366,6 +541,10 @@ function promoteFunction(fn, results, storesJs) {
             return { ...e, operand: toJs(e.operand) };
         if (e.type.kind === "dyn" && producesJs(e))
             return libCall("js.toDyn", [toJs(e)], e, DYN);
+        if (e.kind === "call" && params.has(e.callee)) {
+            changed = true;
+            return { ...e, args: callArgs(e) };
+        }
         return mapExprChildren(e, rewrite, rewriteStmt);
     };
     const rewriteStmt = (s) => {
@@ -394,6 +573,9 @@ function promoteFunction(fn, results, storesJs) {
     for (const local of fn.locals)
         if (promoted.has(local.id))
             local.type = JSVAL;
+    for (const p of fn.params)
+        if (promoted.has(p.localId))
+            p.type = JSVAL;
     return true;
 }
 //# sourceMappingURL=jsval.js.map